Ups Nr. 2: So, wie der Label-Checking Algorithmus aufgeschrieben war, wird, wenn ein Knoten betrachtet und neue Label erstellt werden, Dominanz immer nur für das letzte Label gecheckt.
Als wir den Algorithmus in der Vorlesung am Beispiel ausgeführt haben, haben wir es anders gemacht und für jedes erstellte Label gleich Dominanz gecheckt. Dahingehend habe ich die Folie jetzt verbessert (Dominanzcheck steht jetzt in der inneren While-Schleife)
Gerade in der Übung vorgeschlagen wurde, man könne sich die Label auch erstmal merken und dann Dominanzcheck auf der Menge der gemerkten Label, L_open und L_closed ausführen. Wer es dahingehend verbessert hat (oder auf eine andere, hier nicht erwähnte Art) der darf natürlich damit weiterarbeiten