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.

6 CONP 64<br />

Induktionsvoraussetzung: |C(qi)| ≤ 5 log 2 qi (da qi < p)<br />

⇒<br />

|C(p)| ≤ 5 log p + 2 + |C(2)| + 5<br />

k<br />

log qi ≤ log<br />

i=2<br />

= 5 log p + 5 + 5<br />

p − 1<br />

2<br />

k<br />

log 2 qi < (log p − 1) 2<br />

i=2<br />

k<br />

i=2<br />

< log p − 1<br />

log 2 qi<br />

k<br />

i=2<br />

log 2 qi<br />

Also ist |C(p)| ≤ 5 log 2 p − 10 log p + 5 + 5 + 5 log p = 5 log 2 p + 10 − 5 log p.<br />

<br />

≤0 für p≥5<br />

Behauptung: C(p) kann in polynomieller Zeit getestet werden.<br />

Sei l = ⌈log p⌉. Berechne die Residuen r2 = rr, r4 = r2r2 , . . . , r2l =<br />

r2l−1r2l−1 (alle modulo p, da sonst die Zahlen zu groß würden). Es werden<br />

jeweils l Multiplikationen mit Zahlen der Länge ≤ l benötigt, Kosten<br />

jeweils O(l2 ). Max<strong>im</strong>al l Multiplikationen und Residuenbildungen werden<br />

für rx O(l<br />

mod p, 1 ≤ x ≤ p − 1 und beliebiges x gebraucht. Insgesamt also<br />

3 ).<br />

Das heißt, für r p−1 mod p und r p−1<br />

q i mod p wird insgesamt O(l 4 ) Zeit<br />

benötigt, etwa c log 4 p.<br />

Behauptung: T (C(p)) ≤ c log 5 p.<br />

Beweis durch Induktion:<br />

T (C(p)) ≤<br />

Schritt 1<br />

<br />

c log 4 Schritt 2<br />

<br />

k<br />

p + T (C(qi))<br />

≤ c log 4 p + c<br />

i=1<br />

k<br />

i=1<br />

log 5 qi<br />

≤ c log 4 <br />

k<br />

p + c(log p − 1) log qi<br />

Es ist log qi ≤ log p−1<br />

2 < log p − 1 und log qi ≤ log(p − 1) ≤ log p.<br />

Daher gilt:<br />

i=1<br />

T (C(p)) ≤ c log 4 p + c(log p − 1) log 4 p<br />

= c log 5 p − c log 4 p + c log 4 p<br />

= c log 5 p<br />

4<br />

q.e.d.

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!