Miller-Rabin-Algorithmus

Miller-Rabin-Algorithmus

Der Miller-Rabin-Test oder Miller-Selfridge-Rabin-Test ist ein Algorithmus aus dem mathematischen Teilgebiet Zahlentheorie, insbesondere der algorithmischen Zahlentheorie. Er ist ein probabilistischer Primzahltest. Erhält er eine natürliche Zahl n als Eingabe, so gibt er entweder „n ist keine Primzahl“ oder „n ist wahrscheinlich eine Primzahl“ aus. Da der Miller-Rabin-Test nicht sicher feststellt, ob eine Zahl eine Primzahl ist, zählt er zur Klasse der Monte-Carlo-Algorithmen. Zahlen, bei denen der Miller-Rabin-Test immer „n ist wahrscheinlich eine Primzahl“ ausgibt, obwohl sie keine Primzahlen sind, nennt man starke Pseudoprimzahlen.

Der Miller-Rabin-Test ist nach Gary Miller und Michael O. Rabin benannt. John L. Selfridge hat diesen Test schon 1974 verwendet, bevor Miller ihn veröffentlicht hatte. Daher rührt der alternative Name Miller-Selfridge-Rabin-Test. [1]

Der Miller-Rabin-Test funktioniert ähnlich wie der Solovay-Strassen-Test, ist diesem allerdings in allen Aspekten überlegen. Er ist schneller, seine Irrtumswahrscheinlichkeit ist geringer und jede Zahl, die der Solovay-Strassen-Test als zusammengesetzt erkennt, weist auch der Miller-Rabin-Test als nicht-prim aus.

Inhaltsverzeichnis

Algorithmus

Es sei n eine ungerade Zahl, von der festgestellt werden soll, ob sie eine Primzahl ist oder nicht. Zuerst wählt man eine Basis a zufällig aus den Zahlen 2, 3, …, n − 1.

Der nächste Schritt benutzt einen Test, den nur Primzahlen und starke Pseudoprimzahlen bestehen können. Hierzu wird n − 1 eindeutig in seinen ungeraden und geraden Anteil faktorisiert: n - 1 = d \cdot 2^j.

Wenn a^d \equiv 1 \mod n ist oder a^{d \cdot 2^r} \equiv -1 \mod n für ein r mit  0 \le r \le j-1 gilt, dann ist n entweder eine Primzahl oder eine starke Pseudoprimzahl.

Funktionsweise

Der Miller-Rabin-Test berechnet modulo n die Folge

(a^d, a^{2d}, a^{4d}, \ldots, a^{2^{j-1}d}, a^{2^jd})

mit 2jd = n − 1. Jedes Element der Folge ist hierbei das Quadrat seines Vorgängers.

Ist n eine Primzahl, dann gilt nach dem kleinen fermatscher Satz

a^{2^jd} \equiv a^{n-1} \equiv 1 \pmod n

und die vom Miller-Rabin-Test berechnete Folge hat deshalb die Form

(a^d, a^{2d}, a^{4d}, \ldots, a^{2^{j-1}d}, 1)

Die einzigen Zahlen x mit

x^2 \equiv 1 \pmod n

sind für eine Primzahl n die Zahlen 1 und -1, wie der folgenden Beweis zeigt.

\begin{align}
x^2 \equiv 1 \pmod n &\Leftrightarrow x^2 - 1 \equiv 0 \pmod n\\
 &\Leftrightarrow n | x^2 - 1\\
 &\Leftrightarrow n | (x - 1)(x + 1)\\
 &\Leftrightarrow n | (x - 1) \quad \text{oder} \quad n|(x + 1)\\
 &\Leftrightarrow x - 1 \equiv 0 \pmod n \quad \text{oder} \quad x + 1 \equiv 0 \pmod n\\
 &\Leftrightarrow x \equiv 1 \pmod n \quad \text{oder} \quad x \equiv -1 \pmod n\\
\end{align}

Aus diesem Grund ist der Vorgänger einer 1 in der Folge immer eine 1 oder eine -1. Dies führt dazu, dass für eine Primzahl n die Folge des Miller-Rabin-Tests entweder (1, 1, \ldots, 1) oder (?, ?, \ldots, ?, -1, 1, \ldots, 1) ist, wobei die Fragezeichen für beliebige Zahlen stehen.

Ist n eine beliebige Zahl und beginnt die vom Miller-Rabin-Test berechnete Folge nicht mit 1 und enthält auch keine -1, dann kann n keine Primzahl sein. Es gibt allerdings zusammengesetzte Zahlen, bei denen die Folge bei bestimmten Basen mit 1 beginnt oder eine -1 enthält. Das sind die starken Pseudoprimzahlen.

Zuverlässigkeit

Ist  n\geq 3 ungerade und nicht prim, so enthält die Menge \{2,3,\dots,n-2\} höchstens \tfrac{n-3}{4} Elemente a mit ggT(a,n) = 1, die keine Zeugen für die Zusammengesetztheit von n sind. (Ist ggT(a,n) > 1, oder a^{d 2^r} \equiv 0 \mod n für irgendein r < s, dann wird n natürlich sofort als nicht-prim erkannt). Damit ist die Wahrscheinlichkeit, dass n zusammengesetzt ist und ein zufälliges a dafür kein Zeuge ist, kleiner als \tfrac{1}{4}.

Wiederholt man den Test mehrfach für verschiedene a aus [2,n-2] sinkt die Wahrscheinlichkeit weiter ab. So erreicht man beispielsweise schon nach vier Schritten, dass die Fehlklassierung einer zusammengesetzten Zahl (also die Ausgabe, dass a wahrscheinlich prim sei, obwohl es zusammengesetzt ist) nur noch mit einer Wahrscheinlichkeit von weniger als 0,4% geschieht.

Einzelnachweise

  1. Song Y. Yan: Number theory for computing. 2. Auflage. Springer, 2002, ISBN 3-540-43072-5, S. 208-214

Literatur

  • Johannes Buchmann: Einführung in die Kryptographie. 2. Auflage. Springer, 2001, ISBN 3-540-41283-2, S. 108–111

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Miller-Rabin-Test — Der Miller Rabin Test oder Miller Selfridge Rabin Test ist ein Algorithmus aus dem mathematischen Teilgebiet Zahlentheorie, insbesondere der algorithmischen Zahlentheorie. Er ist ein probabilistischer Primzahltest, für den aber für Zahlen unter… …   Deutsch Wikipedia

  • Miller-Rabin-Primzahlentest — Der Miller Rabin Test oder Miller Selfridge Rabin Test ist ein Algorithmus aus dem mathematischen Teilgebiet Zahlentheorie, insbesondere der algorithmischen Zahlentheorie. Er ist ein probabilistischer Primzahltest. Erhält er eine natürliche Zahl… …   Deutsch Wikipedia

  • Michael O. Rabin — 2009 Michael Oser Rabin (hebräisch ‏מיכאל עוזר רבין‎; * 1. September 1931 in Breslau, damals Deutsches Reich, heute Polen) ist ein israelischer Informatiker. Er hat sich besonders im Bereich der Kryptologie …   Deutsch Wikipedia

  • Monte-Carlo-Algorithmus — Monte Carlo Algorithmen sind randomisierte Algorithmen, die mit einer nach oben beschränkten Wahrscheinlichkeit ein falsches Ergebnis liefern dürfen. Dafür sind sie im Vergleich zu deterministischen Algorithmen häufig effizienter. Ihr Nachteil… …   Deutsch Wikipedia

  • Monte-Carlo-Integration — Monte Carlo Algorithmen sind randomisierte Algorithmen, die mit einer nach oben beschränkten Wahrscheinlichkeit ein falsches Ergebnis liefern dürfen. Dafür sind sie im Vergleich zu deterministischen Algorithmen häufig effizienter. Ihr Nachteil… …   Deutsch Wikipedia

  • PRIMES — Als Primzahltest bezeichnet man ein mathematisches Verfahren, mit dem ermittelt wird, ob eine gegebene Zahl eine Primzahl ist oder nicht. Inhaltsverzeichnis 1 Praktische Anwendung 2 Bekannte Primzahltest Verfahren 2.1 Probedivision 2.2 Sieb des… …   Deutsch Wikipedia

  • Primzahlentest — Als Primzahltest bezeichnet man ein mathematisches Verfahren, mit dem ermittelt wird, ob eine gegebene Zahl eine Primzahl ist oder nicht. Inhaltsverzeichnis 1 Praktische Anwendung 2 Bekannte Primzahltest Verfahren 2.1 Probedivision 2.2 Sieb des… …   Deutsch Wikipedia

  • Primzahltest — Ein Primzahltest ist ein mathematisches Verfahren, um festzustellen, ob eine gegebene Zahl eine Primzahl ist oder nicht. Inhaltsverzeichnis 1 Praktische Anwendung 2 Bekannte Primzahltest Verfahren 2.1 Probedivision …   Deutsch Wikipedia

  • Soloway-Strassen-Test — Der Solovay Strassen Test (nach Robert Solovay und Volker Strassen) ist ein probabilistischer Primzahltest. Der Test prüft für eine ungerade Zahl n, ob sie eine Primzahl oder das Produkt mehrerer Faktoren ist. Für den Fall, dass der Test als… …   Deutsch Wikipedia

  • Euklidisches Lemma — Eine Primzahl ist eine natürliche Zahl mit genau zwei natürlichen Zahlen als Teiler, nämlich der Zahl 1 und sich selbst. Die kleinsten Primzahlen sind 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31 … (Folge A000040 in OEIS) Das Wort „Primzahl“ kommt aus… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”