Skript zur Vorlesung Komplexitätstheorie im SS 1996
Skript zur Vorlesung Komplexitätstheorie im SS 1996
Skript zur Vorlesung Komplexitätstheorie im SS 1996
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 56<br />
dann, wenn ein B ⊆ A mit <br />
x∈B x = M existiert.<br />
” ⇒“: o.B.d.A. sei |S| = k (Zunahme von Knoten). Für i = 1, . . . , m<br />
sei φi = <br />
vj∈S ɛij. 1 ≤ φi ≤ 2: Zu jeder Kante ei gehören mindestens<br />
ein vj ∈ S (Überdeckung) und höchstens zwei Knoten aus S.<br />
Sei B1 = {aj|vj ∈ S}, B2 = {bi|1 ≤ i ≤ m, φi = 1}, B = B1 ∪ B2<br />
(Füllelemente, falls ei nur von einem v ∈ S getroffen). Es gilt:<br />
<br />
x = <br />
aj + <br />
x∈B<br />
vj∈S<br />
φi=1<br />
= <br />
<br />
4 m +<br />
vj∈S<br />
= |S| · 4 m +<br />
= k · 4 m +<br />
bi<br />
m<br />
i=1<br />
ɛij4 i−1<br />
<br />
+ <br />
4 i−1<br />
φi=1<br />
⎜ ⎟<br />
m ⎜ ⎟<br />
⎜ ɛij⎟<br />
4<br />
⎜ ⎟<br />
⎝vj∈S<br />
⎠<br />
<br />
i−1 + <br />
4<br />
φi=1<br />
i−1<br />
i=1<br />
⎛<br />
φi<br />
⎞<br />
m<br />
φi4 i−1 + <br />
4 i−1<br />
i=1<br />
= k4 m + <br />
= k4 m + 2<br />
= M<br />
i,φi=2<br />
φi=1<br />
2 · 4 i−1 + <br />
m<br />
4 i−1<br />
i=1<br />
i,φi=1<br />
4 i−1 + <br />
i,φi=1<br />
4 i−1<br />
” ⇐“: Es existiere B ⊆ A mit <br />
x∈B x = M. Sei B1 = B ∩ {a1 . . . , an}<br />
und B2 = B ∩ {b1, . . . , bm}. Behauptung: S = {vj|aj ∈ B1} ist Kno-