29.10.2013 Aufrufe

Skript zur Vorlesung Komplexitätstheorie im SS 1996

Skript zur Vorlesung Komplexitätstheorie im SS 1996

Skript zur Vorlesung Komplexitätstheorie im SS 1996

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

5 NP-VOLLSTÄNDIGE PROBLEME 50<br />

Das heißt, C hat jetzt 3m + 1 Eingaben statt 3m.<br />

R(x) kann wieder in Platz O(log |x|) erstellt werden, da nur Zahlen ≤ |x| k<br />

in die Berechnung eingehen.<br />

Es folgt sofort, R(x) ist erfüllbar, d. h., es gibt Sequenz von Eingaben<br />

c0, . . . , c |x| k −1, so daß genau dann Wert (R(x)) = true ist, wenn x ∈ L<br />

gilt. q.e.d.<br />

Anmerkung: Wenn eine Belegung c0, . . . , c |x| k −1 erst einmal festgelegt ist,<br />

dann haben wir nur noch ein CIRCUIT VALUE Problem zu lösen. (Es gibt<br />

aber exponentiell viele Belegungen!)<br />

Bemerkungen:<br />

• Oft wird von den Transformationen nur verlangt, daß sie in polynomieller<br />

Zeit ausführbar sind (Karp) (für Klassen P, NP und aufwärts)<br />

bzw. in log n Platz für P und darunter.<br />

• Auch nichtdeterministische Reduktionen sind untersucht worden.<br />

5 NP-vollständige Probleme<br />

Wir haben nun zwei NP-vollständige Probleme kennengelernt: SAT und<br />

CIRCUIT SAT. Im folgenden werden weitere vorgestellt.<br />

Worin liegt die Bedeutung der NP-vollständigen Probleme?<br />

1. Sei L NP-vollständig. Falls L ∈ P gilt, würde P = NP folgen.<br />

Ein Nachweis, daß auch nur ein NP-vollständiges Problem in P liegt,<br />

ist bisher nicht erbracht und ist nach heutiger Kenntnis eher unwahrscheinlich.<br />

2. NP-Vollständigkeit ist selbst eine Eigenschaft von Probleme und Sprachen,<br />

die diese charakterisieren. Sie gelten als ” sehr schwer“ lösbar.<br />

Wenn wir von einem NP-vollständigem Problem den bestmöglichen<br />

Rechenaufwand auch nicht exakt kennen, so können wir doch sagen,<br />

daß alle schwierigen Probleme in NP etwa gleich schwer sind (Relativ<br />

<strong>zur</strong> Reduktion mit Platzaufwand O(log n)).<br />

Sei L ∈ NP und M NP-vollständig. Falls M ≤ L gilt, dann ist L aufgrund<br />

der Transitivität der Reduktion NP-vollständig.<br />

Woher weiß man nun, daß ein Problem NP-vollständig ist?<br />

• Nachsehen in Büchern<br />

• Beweisen mit folgendem Beweismuster: PROB liege vor<br />

1. PROB ∈ NP

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!