Test di Lucas-Lehmer-Riesel: differenze tra le versioni

Versione delle 09:55, 14 mar 2013

Versione delle 05:38, 6 nov 2013

Riga 1:

In [[matematica]], il '''test di Lucas-Lehmer-Riesel''' è un [[test di primalità]] per i numeri della forma ''N'' = ''k''2^''n'' −− 1, con 2^''n'' > ''k''. Il test è stato elaborato da [[Hans Riesel]] e si basa sul [[Test di Lucas-Lehmer|test di primalità di Lucas-Lehmer]]. È il più veloce [[algoritmo]] deterministico noto per verificare la primalità dei numeri della suddetta forma. Similmente, il '''test di Brillhart-Lehmer-Selfridge''' è il più veloce per i numeri della forma ''N'' = ''k''2^''n'' + 1.

== L'algoritmo ==

Riga 10:

per ogni ''i'' > 0.

Allora, per un valore di partenza ''u''₀ scelto opportunamente (si veda la sezione seguente), si ha che ''N'' è primo [[se e solo se]] esso divide  ''u''_{''n''−2−2}.

=== Trovare il valore di partenza ===

Riga 30:

== Collegamenti esterni ==

* {{Cita pubblicazione |cognome=Riesel |nome=Hans |linkautore= |coautori= |anno=1969 |mese= |titolo=Lucasian Criteria for the Primality of ''N'' = ''h''·2^''n'' −− 1 |rivista=Mathematics of Computation |volume=23 |numero=108 |pagine=869–875 |doi=10.2307/2004975 |url= http://jstor.org/stable/2004975|accesso= |quote= |publisher=American Mathematical Society }}

* [http://pagesperso-orange.fr/jean.penne/index2.html Download Jean Penné's LLR]