Verifizierung

Beim Verifizieren wird fogendes geprüft:

• Ist das Labeling eine Abbildung von der Menge der Knoten?
• Ist das kleinste Label die Zahl 0?
• Ist das größte Label gleich der Anzahl der Kanten?
• Ist das Labeling eine eineindeutige Abbildung?
• Ist die Differenzenliste dicht gegenüber der natürlichen Zahlen?

Ausgaben:

• Das Labeling ist keine Abbildung von der Menge der Knoten.
• Das kleinste Label muss 0 sein.
• Das gößte Label muss mit der Anzahl der Kanten (...) übereinstimmen.
• Das Labeling ist keine eineindeutige Abbildung.
• Die Menge der Differenzen ist nicht dicht gegenüber den natürlichen Zahlen.
• Die Lösung ist richtig.