Es wird überprüft, ob das Labeling eine Abbildung von der Menge der Knoten ist,
wobei das kleinste Label die Zahl 0 und das größte Label gleich der Anzahl der
Kanten sein muss.
Desweiteren muss das Labeling eine eineindeutige Abbildung sein und die
Differenzenliste muss dicht gegenüber der natürlichen Zahlen sein.
Johannes Waldmann
2009-11-17