Verifiziere-Funktion

Es wird geprueft, ob sich Knoten einer Kante in einer Klasse befinden. Ist dies so, handelt es sich nicht um eine Colorisierung. Ist dies fuer alle Kanten nicht so, handelt es sich um eine Colorisierung.