Algoritmo ECPP: differenze tra le versioni

Versione delle 10:00, 27 lug 2013

Versione delle 16:41, 19 mar 2014

Riga 3:

per qualche ε>0<ref name="Lenstra">{{Cita pubblicazione|cognome=Lenstra, Jr.|nome=A. K.|coautori=Lenstra, Jr., H. W.|titolo=Algorithms in number theory|rivista=Handbook of Theoretical Computer Science: Algorithms and Complexity|volume=A|publisher=The MIT Press|___location=Amsterdam and New York|pagine=673–715|anno=1990}}</ref> ed è dunque più veloce dell'[[algoritmo AKS]]. In alcune versioni, l'esponente del logaritmo può essere ridotto a 4+ε attraverso alcuni ragionamenti euristici. L'idea alla base dell'ECPP è la stessa di molti altri test di primalità e consiste nel cercare di costruire un gruppo la cui dimensione implichi la primalità del numero investigato. Nel caso dell'ECCP, il gruppo in questione è quello associato a una curva ellittica su un insieme finito di [[forma quadratica|forme quadratiche]] tali che ''p''-1 si fattorizzi trivialmente sul gruppo.

Attualmente (2011), il più grande primo conosciuto, la cui primalità sia stata provata con l'ECPP è il primo LR che consta di 26.643 cifre.<ref>{{Cita web|lingua=fr|titolo=Quelques nombres premiers prouvés par mes programmes|editore=polytechnique.fr|url=http://www.lix.polytechnique.fr/~morain/Primes/myprimes.html}}</ref>

==Note==