NP-Vollständigkeit & Satz von Cook und Levin
NP-Vollständigkeit & Satz von Cook und Levin
NP-Vollständigkeit & Satz von Cook und Levin
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
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 />
Beweis des <strong>Satz</strong>es <strong>von</strong> <strong>Cook</strong> <strong>und</strong> <strong>Levin</strong><br />
Wir betrachten nun nur noch Belegungen, die die Teilformeln<br />
φ 0 ,...,φ p(n) erfüllen <strong>und</strong> somit Konfigurationen K 0 , ...,K p(n)<br />
beschreiben.<br />
Als nächstes konstruieren wir eine Formel φ ′ t für 1 ≤ t ≤ p(n), die<br />
nur für solche Belegungen erfüllt ist, bei denen K t eine direkte<br />
Nachfolgekonfiguration <strong>von</strong> K t−1 ist.<br />
Die Formel φ ′ t besteht aus zwei Arten <strong>von</strong> Teilformeln ...<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>-