Algorithmus von Miller

Der Algorithmus von Miller ist ein Primzahltest von Gary L. Miller, der unter der Annahme der Richtigkeit der Riemannschen Vermutung korrekt ist.

Wäre der Algorithmus nicht korrekt (Ausgabe prim, obwohl die Zahl zusammengesetzt ist, oder Ausgabe zusammengesetzt, obwohl die Zahl prim ist), so würde auch die Riemannsche Vermutung nicht gelten und das Millennium-Problem der Riemannsche Zeta-Funktion wäre gelöst. Man kann also den Algorithmus durchaus praktisch verwenden. Ein ähnliches Vorgehen hat man in der asymmetrischen Kryptographie. Hier geht man vom Millennium-Problem P-NP-Problem aus und vertraut darauf.

Miller veröffentlichte diesen Algorithmus sowie seine Korrektheit in seiner Dissertation 1975 Riemann's Hypothesis and Tests for Primality^[1]. Im Gegensatz zum Miller-Rabin-Test ist dieser Algorithmus deterministisch und nicht probabilistisch.

Algorithmus

${\displaystyle {\text{Eingabe: }}n}$

${\displaystyle {\text{Sei }}n-1=2^{e}\cdot m{\text{ sodass }}m{\text{ ungerade }}}$

${\displaystyle {\text{FOR }}b:=2{\text{ TO }}2(\ln n)^{2}{\text{ DO}}}$

• ${\displaystyle {\text{berechne }}v=(b^{m},b^{2m},b^{4m},...,b^{n-1})}$

• ${\displaystyle {\text{IF }}v=(1,1,...1){\text{ or }}v=(x,...,-1,1,...1)}$ ${\displaystyle {\text{THEN next }}b}$

• ${\displaystyle {\text{IF }}v=(x,...,y,1,...,1){\text{ or }}v=(...,x+1)}$ ${\displaystyle {\text{THEN return }}zusammengesetzt}$

${\displaystyle {\text{return }}prim}$