2. Satz: der Wert von logdet(span(b1,…, bi)) ist anfangs beschränkt durch ... bleibt bei Größenreduktion unverändert sinkt bei Tausch um eine Konstante (der von δ abhängt - wie? Daraus ergibt sich der Bereich der für δ zulässigen Werte) ist immer ≥ 0 Folgerung: Laufzeit von LLL ist polynomiell in der Dimension. Johannes Waldmann 2015-12-11
(der von δ abhängt - wie? Daraus ergibt sich der Bereich der für δ zulässigen Werte)
Daraus ergibt sich der Bereich der für δ zulässigen Werte)
Folgerung: Laufzeit von LLL ist polynomiell in der Dimension.