Handout - Institut für Theoretische Informatik - Technische ...

6. Komplexität von Algorithmen 6.7 NP - Vollständigkeit und Cooke’scher Satz
Beweis (Fortsetzung)
Dafür dienen entsprechende Variable:
Name Interpretation: zur Zeit t Anzahl
qi t ist M in Zustand q i i < m, t < p(|w|)
kr t ließt M Bandzelle r −p(|w|) < r < p(|w|), t < p(|w|)
l t r , nr t , er t , steht #, 0, 1 in Bandzelle r −p(|w|) < r < p(|w|), t < p(|w|)
uy t wird Übergang y ausgeführt y < d, t < p(|w|) − 1
ϕ w
wird Konjunktion der Beschreibung folgender vier Teile sein:
der Initialkonfiguration;
der Akzeptanzbedingung für w ;
der Konsistenzbedingungen (KBD’n) für M : zu jedem Zeitpunkt t
− ist M in höchstens einem Zustand;
− steht in jedem Feld genau ein Symbol;
− steht der Kopf auf genau einer Position;
− findet höchstens ein Übergang statt.
des Übergangseffekts auf Zustand, Kopfposition und Bandinhalt.
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 153 / 215