29.10.2013 Aufrufe

Skript zur Vorlesung Komplexitätstheorie im SS 1996

Skript zur Vorlesung Komplexitätstheorie im SS 1996

Skript zur Vorlesung Komplexitätstheorie im SS 1996

MEHR ANZEIGEN
WENIGER ANZEIGEN

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-

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!