Test de primalitat de Solovay-Strassen

El test de primalitat de Solovay-Strassen, que va ser desenvolupat per Robert M. Solovay i Volker Strassen, és un algorisme aleatori per a determinar si un nombre és un nombre compost o és un nombre primer probable. Ha estat superat de llarg pel test de primalitat de Miller-Rabin, però té una importància històrica gran en mostrar la factibilitat pràctica del criptosistema RSA.

Conceptes modifica

Euler va demostrar que per a qualsevol nombre primer p i qualsevol enter  ,

 

on   és el símbol de Legendre. El símbol de Jacobi és una generalització del símbol de Legendre a   on n pot ser qualsevol enter senar. El símbol de Jacobi es pot calcular en temps O((log n)²) fent servir la generalització de Jacobi de la llei de la reciprocitat quadràtica.

Es pot calcular si es compleix o no la congruència

 

per a diversos valors de a. Si n és un nombre primer, llavors la congruència és veritat per a tot a. Així, si es trien valors de a aleatòriament i es prova la congruència, llavors, tan aviat com es trobi un a que no compleix la congruència, se sap que n no és primer (però això no dona una factorització trivial de n).

Es diu que a és un Euler testimoni si la congruència anterior amb el símbol de Jacobi no es compleix a a — és a dir que a és un testimoni de què n és un nombre compost. A diferència del test de primalitat de Fermat, per a cada nombre senar compost n pel capbaix la meitat de tots els

 

són (Euler) testimonis. Per tant no hi ha cap nombre compost senar sense que tingui munts de testimonis, al contrari del que passava amb els nombres de Carmichael en el test de Fermat. La probabilitat que falli el test de primalitat de Solovay-Strassen és com a màxim de 1/2k, on k és el nombre de proves.

Algorisme i temps d'execució modifica

L'algorisme es pot escriure tal com segueix:

Algorisme test de primalitat de Solovay-Strassen (Ordre de complexitat  )
Entrada: Un nombre natural n>1, el nombre k de cops que s'executa el test i que determina la seva fiabilitat.

Sortida: COMPOST si n és compost y POSSIBLE PRIMER si n és un nombre primer probable.

  1. Fer per a j des de 1 fins a k :
    1.   Funció Genera_nombre_aleatori_en_interval 
    2.  
    3. Si x = 0 o   llavors:
      1. Retorna COMPOST
  2. Retorna POSSIBLE PRIMER

Fent servir algorismes ràpids per a la exponenciació modular, el temps d'execució d'aquest algorisme és  , on k és el nombre de cops que es prova un nombre a aleatori, i n és el nombre del qual es vol saber si és o no primer. La probabilitat que l'algorisme falli és com a molt de 2-k. Amb finalitats criptogràfiques si es tria un nombre prou gran per a k, com ara 100, la possibilitat que l'algorisme falli és tan petita que es pot fer servir el nombre com si fos primer sense cap por.

Comportament del cas mitjà modifica

La fita de 1/2 a la probabilitat d'error de cada prova del test de Solovay–Strassen és certa per a totes les entrades, però els nombres n per als quals s'assoleix (aproximadament) la fita són extremadament rars. De mitjana, la probabilitat d'error de l'algorisme és força més petita: és més petita que   per a k proves del test, si s'aplica a nombres nx uniformement aleatoris.[1][2] La mateixa fita s'aplica al problema (relacionat amb aquest) de quina és la probabilitat condicional de què n sigui compost per a un nombre nx triat a l'atzar condicionada a que hagi estat declarat primer en k proves del test.

Referències modifica

  1. P. Erdős, C. Pomerance, On the number of false witnesses for a composite number, Mathematics of Computation 46 (1986), no. 173, pp. 259–279.
  2. I. Damgård, P. Landrock, and C. Pomerance, Average case error estimates for the strong probable prime test, Mathematics of Computation 61 (1993), no. 203, pp. 177–194.
  • Solovay, Robert M. and Volker Strassen «A fast Monte-Carlo test for primality». SIAM Journal on Computing, vol. 6, 1, 1977, pàg. 84–85. DOI: 10.1137/0206006.
  • Martin Dietzfelbinger, Primality Testing in Polynomial Time, From Randomized Algorithms to "PRIMES Is in P" (section 6), Series: Lecture Notes in Computer Science, Vol. 3000