Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen (beispielsweise Einzelnachweisen) ausgestattet. Angaben ohne ausreichenden Beleg könnten demnächst entfernt werden. Bitte hilf Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst.
Einzelnachweise fehlen völlig. --NeptunT (Diskussion) 19:46, 6. Mai 2021 (CEST)
Der Babystep-Giantstep-Algorithmus (auch Shanks’ Algorithmus für diskrete Logarithmen genannt) berechnet den diskreten Logarithmus eines Elements einer zyklischen Gruppe. Der Algorithmus ist zwar in der Laufzeit dem naiven Ausprobieren aller Möglichkeiten überlegen, ist aber dennoch für sehr große Gruppen praktisch nicht durchführbar. Der Algorithmus stammt von Daniel Shanks.
Gesucht sei der diskrete Logarithmus mit eine endliche zyklische Gruppe der Ordnung und ein Gruppenelement.
Mittels Division mit Rest lässt sich zu einem fest gewählten eine eindeutige Darstellung mit finden. Hierbei wird häufig gewählt (siehe Landau-Symbole), um den möglichen Zahlenbereich der und ähnlich groß zu halten. Durch Umformen ergibt sich mit dieser Darstellung wegen die dem Algorithmus zugrunde liegende Eigenschaft .
Der Algorithmus sucht nach einem Paar , das diese Eigenschaft erfüllt, und erstellt hierzu zunächst eine Tabelle der „baby steps“ . Anschließend berechnet man für wachsende sukzessive die „giant steps“ und prüft auf Gleichheit mit einem Wert in der Tabelle. Liegt eine solche Kollision vor, ist dies das gesuchte Paar und der Logarithmus wird ausgegeben.
Mit Zugriffszeiten auf einzelne Elemente der Tabelle von – im Falle von geeignet schnellen Datenstrukturen wie Hashtabellen entspricht dies – hat der Algorithmus eine Laufzeit von mit Speicherbedarf .
Weil eine Primitivwurzel modulo ist, gilt . Sei also die prime Restklassengruppe mit Erzeuger . Wir wollen den diskreten Logarithmus von zur Basis berechnen, also die Lösung von .
Die Gruppenordnung ergibt sich zu , da eine Primzahl ist (hierbei ist die Eulersche φ-Funktion). Somit ist .
Für berechnet man die Paare und speichert sie in einer Tabelle:
0
1
2
3
4
5
1
11
5
26
25
14
Es ist . Man berechnet für die Zahl und terminiert, sobald sie in der zweiten Komponente der vorherigen Tabelle gefunden wurde: