Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ... Handout - Institut für Theoretische Informatik - Technische ...
6. Komplexität von Algorithmen 6.7 NP - Vollständigkeit und Cooke’scher Satz Beweis (Fortsetzung) Initialkonfiguration: Initialzustand bzw. -kopfposition sind bestimmt durch q0 0 und k0 0 , während der Bandinhalt w = s 0 . . . s n−1 ∈ {0, 1} ∗ mittels geeigneter Variablen nr 0 bzw. er 0 mit −n < r ≤ 0 spezifiziert wird. Dazu kommt die Angabe, daß die übrigen relevanten Felder leer sind: ⎛ ⎞ ⎛ ⎞ ∧ ⎝ ⎠ ∧ ⎝ ∧ ⎠ l 0 r l 0 r −p(n)
6. Komplexität von Algorithmen 6.7 NP - Vollständigkeit und Cooke’scher Satz Beweis (Fortsetzung) KBD Zustände: Für t < p(n) ist M in höchstens einem Zustand: q t i ⇒ ¬q t j bzw. ¬q t i ∨ ¬q t j für alle i < j < m (m(m − 1)/2 Klauseln) KBD Feldinhalt: Für t < p(n) und −p(n) < r < p(n) gilt (l t r ∨ n t r ∨ e t r ) ∧ (¬l t r ∨ ¬n t r ) ∧ (¬n t r ∨ ¬e t r ) ∧ (¬e t r ∨ ¬l t r ) Diese 4 · p(n)(2p(n) − 1) ∈ O((p(n)) 2 ) Klauseln besagen, daß jedes relevante Feld genau ein Symbol enthält. KBD Kopfposition: Für t < p(n) drücken 1 + (2p(n) − 1)(p(n) − 1) Klauseln aus, daß der Kopf in genau einer Position steht: ⎛ ⎝ ⎞ ∨ ⎠ ∧ ∧ ( ¬k t r ∨ ¬kr t ) ′ −p(n)
- Seite 103 und 104: 6. Komplexität von Algorithmen 6.0
- Seite 105 und 106: 6. Komplexität von Algorithmen 6.0
- Seite 107 und 108: 6. Komplexität von Algorithmen 6.1
- Seite 109 und 110: 6. Komplexität von Algorithmen 6.1
- Seite 111 und 112: 6. Komplexität von Algorithmen 6.1
- Seite 113 und 114: 6. Komplexität von Algorithmen 6.1
- Seite 115 und 116: 6. Komplexität von Algorithmen 6.1
- Seite 117 und 118: 6. Komplexität von Algorithmen 6.1
- Seite 119 und 120: 6. Komplexität von Algorithmen 6.1
- Seite 121 und 122: 6. Komplexität von Algorithmen 6.2
- Seite 123 und 124: 6. Komplexität von Algorithmen 6.2
- Seite 125 und 126: 6. Komplexität von Algorithmen 6.2
- Seite 127 und 128: 6. Komplexität von Algorithmen 6.2
- Seite 129 und 130: 6. Komplexität von Algorithmen 6.3
- Seite 131 und 132: 6. Komplexität von Algorithmen 6.3
- Seite 133 und 134: 6. Komplexität von Algorithmen 6.4
- Seite 135 und 136: 6. Komplexität von Algorithmen 6.4
- Seite 137 und 138: 6. Komplexität von Algorithmen 6.4
- Seite 139 und 140: 6. Komplexität von Algorithmen 6.4
- Seite 141 und 142: 6. Komplexität von Algorithmen 6.4
- Seite 143 und 144: 6. Komplexität von Algorithmen 6.5
- Seite 145 und 146: 6. Komplexität von Algorithmen 6.5
- Seite 147 und 148: 6. Komplexität von Algorithmen 6.6
- Seite 149 und 150: 6. Komplexität von Algorithmen 6.6
- Seite 151 und 152: 6. Komplexität von Algorithmen 6.7
- Seite 153: 6. Komplexität von Algorithmen 6.7
- Seite 157 und 158: 6. Komplexität von Algorithmen 6.7
- Seite 159 und 160: 6. Komplexität von Algorithmen 6.7
- Seite 161 und 162: 6. Komplexität von Algorithmen 6.8
- Seite 163 und 164: 6. Komplexität von Algorithmen 6.8
- Seite 165 und 166: 6. Komplexität von Algorithmen 6.8
- Seite 167 und 168: 6. Komplexität von Algorithmen 6.8
- Seite 169 und 170: 6. Komplexität von Algorithmen 6.9
- Seite 171 und 172: 6. Komplexität von Algorithmen 6.9
- Seite 173 und 174: 6. Komplexität von Algorithmen 6.1
- Seite 175 und 176: 6. Komplexität von Algorithmen 6.1
- Seite 177 und 178: 6. Komplexität von Algorithmen 6.1
- Seite 179 und 180: 6. Komplexität von Algorithmen 6.1
- Seite 181 und 182: 6. Komplexität von Algorithmen 6.1
- Seite 183 und 184: 6. Komplexität von Algorithmen 6.1
- Seite 185 und 186: 6. Komplexität von Algorithmen 6.1
- Seite 187 und 188: 6. Komplexität von Algorithmen 6.1
- Seite 189 und 190: 6. Komplexität von Algorithmen 6.1
- Seite 191 und 192: 6. Komplexität von Algorithmen 6.1
- Seite 193 und 194: 6. Komplexität von Algorithmen 6.1
- Seite 195 und 196: 6. Komplexität von Algorithmen 6.1
- Seite 197 und 198: 6. Komplexität von Algorithmen 6.1
- Seite 199 und 200: 6. Komplexität von Algorithmen 6.1
- Seite 201 und 202: 6. Komplexität von Algorithmen 6.1
- Seite 203 und 204: 6. Komplexität von Algorithmen 6.1
6. Komplexität von Algorithmen 6.7 NP - Vollständigkeit und Cooke’scher Satz<br />
Beweis (Fortsetzung)<br />
Initialkonfiguration: Initialzustand bzw. -kopfposition sind bestimmt<br />
durch q0<br />
0 und k0 0 , während der Bandinhalt w = s 0 . . . s n−1 ∈ {0, 1} ∗<br />
mittels geeigneter Variablen nr 0 bzw. er 0 mit −n < r ≤ 0 spezifiziert<br />
wird. Dazu kommt die Angabe, daß die übrigen relevanten Felder leer sind:<br />
⎛<br />
⎞ ⎛ ⎞<br />
∧<br />
⎝<br />
⎠ ∧ ⎝<br />
∧ ⎠<br />
l 0 r<br />
l 0 r<br />
−p(n)