VL9: Reduktion auf/von Clique

[hstrass]

Um NP-Vollständigkeit von „Unabhängige Menge“ zu zeigen, muss Enthaltensein in NP und NP-Schwere gezeigt werden. Die Reduktion auf Clique zeigt nur Enthaltensein. Dieselbe Funktion (Graphen auf Komplementgraphen abbilden) funktioniert natürlich auch als Reduktion in die Rückrichtung (von Clique), insofern würde es genügen, in Zeile 490 „auf“ durch „auf und von“ zu ersetzen.