NP-Vollständigkeit & Satz von Cook und Levin
NP-Vollständigkeit & Satz von Cook und Levin
NP-Vollständigkeit & Satz von Cook und Levin
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Gr<strong>und</strong>legende Definitionen<br />
Der <strong>Satz</strong> <strong>von</strong> <strong>Cook</strong> <strong>und</strong> <strong>Levin</strong><br />
Kochrezept für <strong>NP</strong>-Vollständigkeitsbeweise<br />
Beispiel einer polyn. Reduktion: COLORING ≤ p SAT<br />
<strong>Satz</strong><br />
COLORING ≤ p SAT.<br />
Beweis:<br />
Wir beschreiben eine polynomiell berechenbare Funktion f , die eine<br />
Eingabe (G,k) für das COLORING-Problem auf eine Formel φ für<br />
das SAT-Problem abbildet, mit der Eigenschaft<br />
G hat eine k-Färbung ⇔ φ ist erfüllbar .<br />
Prof. Dr. Berthold Vöcking Lehrstuhl Informatik 1 Algorithmen <strong>und</strong>Berechenbarkeit Komplexität <strong>und</strong> Komplexität: Polynomielle Reduktion / <strong>NP</strong>-