Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Blatt 8 Aufgabe 42 c)
Kann es sein das da ein kleiner Druckfehler bei Teilaufgabe c ist. Und man die Konstruktion für Phi = (x1 v x2 v x3) und (!x1 v !x2 v !x3) ausführen soll, anstatt für Phi = (x1 v !x2 v x3) und (!x1 v !x2 v !x3)
Nein, das war letztes Semester auch schon so. Und für das Prinzip der Aufgabe macht das absolut keinen Unterschied, das Ziel ist ja gerade beliebige 3SAT Instanzen auf 3COL reduzieren zu können.