• Keine Ergebnisse gefunden

Aufgabe 1. Die Algorithmen von Floyd bzw. Brent bestimmen das klein- ste n mit x

N/A
N/A
Protected

Academic year: 2021

Aktie "Aufgabe 1. Die Algorithmen von Floyd bzw. Brent bestimmen das klein- ste n mit x"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Prof. C. P. Schnorr Sommersemester 2004

Kryptographische Algorithmen

Blatt 1, 21.04.2004, Abgabe 28.04.2004

Aufgabe 1. Die Algorithmen von Floyd bzw. Brent bestimmen das klein- ste n mit x

n

= x

2n

, n ≥ µ bzw. x

n

= x

`(n)−1

, `(n) − 1 ≥ µ ,

`(n) =

def

max{2

i

| 2

i

≤ n} .

Formuliere Brent's Alg. und zeige folgende Laufzeit-Schranken

Floyd : 3(µ + λ), Brent : 2

dlg max(µ+1,λ)e

− 1 + λ ≤ 2 max(µ + 1, λ) + λ.

Hinweis. Knuth, Exercises 3.1.6, 3.1.7.

Aufgabe 2. Woodru's Alg. zum Perioden-Finden benützt eine Zerlegung von D in k ≥ 2 zufällige Klassen [ν] ⊂ D , ν = 0, ..., k − 1 der Grösse |D|/k und speichert für jedes ν ein (x

i

, i) mit x

i

∈ [ν] in der Liste S .

Schritt j : Bestimme die Klasse [ν] von x

j

, 0 ≤ ν < k , (x

l

, l) := S[ν] . IF x

l

= x

j

THEN return " λ | (j − l) "

ELSE S[ν] := (x

j

, j) mit Ws. k/i

Zeige 1. Zur Zeit n k ist S[ν] nahezu gleichverteilt über den x

i

, i ≤ n , der Klasse [ν] .

2. Die Gleichverteilung in 1. liefert mittlere Laufzeit (µ + λ)(1 +

k−11

) .

Aufgabe 3. Cherno-Schranke

Seien X

1

, . . . , X

n

unabh. 0,1-wertige Z.V. mit Pr[X

i

] =

12

. Zeige: Pr[

n

P

i=1

X

i

n2

+ εn] = Pr[

n

P

i=1

X

i

n2

+ εn] ≤ exp(−2nε

2

) . Hinweis: Deniere f (X

1

, . . . , X

n

) = (1 + 2ε)

PiXi

(1 − 2ε)

n−PiXi

. Zeige: P

n

i=1

X

i

n2

+ εn ⇒ f(X

1

, . . . , X

n

) ≥ exp(n(2ε

2

+

43

ε

4

)) und wende

die Markow'sche Ungleichung an auf X := f (X

1

, . . . , X

n

) . Zeige E[X] = 1 .

Literatur: Motwani, Raghavan: Randomized Algorithms. Cambridge Uni-

versity Press, 1995, Theorems 4.1, 4.2.

Referenzen

ÄHNLICHE DOKUMENTE

Kann man davon ausgehen, dass langfristig alle möglichen Zahlen gleich häufig vorkommen werden.. Welche Zahlen

Zwei Lösungen sind dann verschieden, wenn an mindestens einer Stelle zwei verschiedene

Technische Universität Chemnitz Stochastik Fakultät für

Otto steht im Treppenhaus des H¨ olderlingeb¨ audes und l¨ auft die Treppen hoch und runter. Jedes Mal, wenn er eine Stufe hinaufsteigt, notiert er sich

Damit Otto am Ende wieder an der Anfangsposition steht, muss die Anzahl der ↑ im Wort gleich der Anzahl der

Zeigen Sie, dass die Menge der nat¨ urlichen Zahlen nicht in der reellen Arithmetik definierbar ist (ohne zu verwenden, dass Th( N , +, ·) unentscheidbar ist).

[r]

Sie k¨onnen alle 6 Aufgaben bearbeiten; die 4 besten werden Ihnen angerechnet.. Die L¨osungen m¨ ussen lesbar geschrieben und ausreichend begr¨