• Keine Ergebnisse gefunden

Aufgabe 2. Gib ein Verfahren an, welches eine gegebene, reguläre ternäre Form f A zu f A0 = f A T derart reduziert, dass

N/A
N/A
Protected

Academic year: 2021

Aktie "Aufgabe 2. Gib ein Verfahren an, welches eine gegebene, reguläre ternäre Form f A zu f A0 = f A T derart reduziert, dass "

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Prof. C. P. Schnorr Wintersemester 2007/08 Gitter und Kryptographie

Blatt 2, 25.10.2007, Abgabe 02.11.2007

Aufgabe 1. Beweise Theorem 1 von [Hartung, Schnorr] für t = 1. Skiz- ziere einen Algorithmus, der ein S ¯ ∈ O(f 1 )S berechnet, indem er ( P e , V) 1 im Mittel (ε − 1/2) −1 mal ausführt. Gegeben sei P e als resettable black box.

Zusatz: Wie geht der Beweis für t = 2 ?

Aufgabe 2. Gib ein Verfahren an, welches eine gegebene, reguläre ternäre Form f A zu f A

0

= f A T derart reduziert, dass

1. a 0 1,3 = 0 ,

2. |a 0 1,2 | ≤ |a 0 1,1 |/2 , |a 0 2,3 | ≤ |a 0 3,3 |/2 , sofern a 0 1,1 , a 0 3,3 6= 0 .

Aufgabe 3. Zeige, dass das Verfahren zu Aufgabe 2 pol. Zeit ist und entwickle eine Laufzeitschranke mit Analyse.

Aufgabe 4. Sei B =

1 0

0 1

aN bN

!

Basismatrix mit a, b, N ∈ Z. Zeige:

1. det L = (1 + N 2 (a 2 + b 2 )) 1/2 , 2. Für N >

q 4

3 (a 2 + b 2 ) 1/2

gilt für jede reduzierte Basis b 1 , b 2 :

b 1 =

∗ 0

!

, b 2 =

∗ N · ggT(a, b)

! . Hinweis. Benutzen Sie dass :

kb 1 k 2 ≤ q 4

3 det L = q 4

3 (det B t B) 1/2 für jede reduzierte Basis B = [b 1 , b 2 ] ,

ggT (a, b) = min{|t 1 a + t 2 b| | (t 1 , t 2 ) ∈ Z 2 \ 0} für a, b ∈ Z.

Referenzen

ÄHNLICHE DOKUMENTE

[r]

Fachbereich Mathematik und Statistik Prof.

Die L ¨osung konvergiert f ¨ur t → ∞ gegen einen konstanten Vektor, dessen Wert bestimmt werden soll.. Die in jedem Zeitschritt auftretenden nichtlinearen Gleichungssysteme sollen

Universit¨ at Konstanz Sebastian Gruler Fachbereich Mathematik und Statistik Mar´ıa L´ opez Quijorna. Sommersemester 2013

[r]

Präsenzaufgaben zu Mathematik für Biologen und Biotechnologen Blatt II vom 11.04.19.

[r]

• $Flags: falls der Wert PREG_OFFSET_CAPTURE gesetzt ist, wird in dem Er- gebnisfeld auch die jeweilige Position, an der das Muster gefunden wurde, eingetragen. • $Versatz: die