Bewiesen durch
:Involvierte Definitionen
:Veranstaltung
: AlMaReferenz
:
⠀
Algorithmus: Havel-Hakimi Verfahren
Sei
eine monoton fallende Folge. Mithilfe des Verfahrens nach Havel-Hakimi können wir bestimmen, ob
die Valenzsequenz eines einfachen Graphen ist und diesen konstruieren.
- Wähle den höchsten Grad
. - Ziehe für die nächsten
Grade jeweils ab. Setze . - Wiederhole
Schritt 1
solange, bis
- du entweder keine Grade mehr hast, also
. ( ist eine Valenzsequenz) - bei
Schritt 2
negative Zahlen entstehen (ist keine Valenzsequenz)