Ein Problem heißt stark N P-vollst¨ andig, falls es auch N P -vollst¨ andig bleibt, wenn in den Probleminstanzen

Jede aussagenlogische Formel kann in eine ¨ aquivalente konjunktive Normalform gebracht werden:.. ⇐⇒ , = ⇒

Hinweis: Ersetzen Sie jedes Vorkommen einer Variable x durch eine eigene Variable, und sorgen Sie dafur, dass die verschiedenen Ersetzungen von x alle zueinander aquivalent

Hinweis: deniere zu einer Formel F in 2 -KNF einen geeigneten Graphen G , so dass sich die Unerfullbarkeit von F durch die Existenz von Wegen in G ausdrucken lasst.. Aufgabe

Ein Problem L auf großen Zahlen heisst stark NP-vollst¨andig wenn es ein Polynom p gibt, so dass L auf Eingaben, deren Zahlenwerte bei Eingabel¨ange n durch p(n) beschr¨ankt

Zeigen Sie, dass man falls CLIQUE ∈ P auch in Polynomialzeit eine k-Clique in einem gegebenen Graphen G berechnen kann, wenn sie existiert.. Sie d¨ urfen dabei annehmen, dass

• Ihnen bekannt ist, dass die Teilnahme an der Pr¨ ufung eine ordnungsgem¨ aße Anmeldung voraussetzt, andernfalls die Pr¨ ufung nicht g¨ ultig ist (§39 Abs. 2 AllgStuPO).. •

Ihnen ist außerdem bewusst, dass ihre Nichterf¨ ullung zur Ung¨ ultigkeit der Pr¨ ufung f¨ uhren kann (§39 Abs. 2 Satz 4 AllgStuPO).. • Ihnen bekannt ist, dass die Teilnahme an

[r]