Vorverarbeiten, zählen, kollidieren

Doppelzählung bestimmt die Gradsumme; das Schubfachprinzip erzwingt daraus einen großen Einzelgrad.

Die Existenz oder Abwesenheit eines isolierten Knotens entscheidet, welche $n-1$ Gradwerte möglich bleiben.

Vorverarbeitung, Fachdefinition, strikte Kollision und Zielübersetzung brauchen jeweils eine eigene Begründung.