Test de primalidad

La cuestión de la determinación de si un número n dado es primo

es conocida como el problema de la primalidad. Un test de
primalidad (o chequeo de primalidad) es un algoritmo que, dado
un número de entrada n, no consigue verificar la hipótesis de un
teorema cuya conclusión es que n es compuesto.

Esto es, un test de primalidad sólo conjetura que “ante la falta de

certificación sobre la hipótesis de que n es compuesto podemos
tener cierta confianza en que se trata de un número primo”. Esta
definición supone un grado menor de confianza que lo que se
denomina prueba de primalidad (o test verdadero de primalidad),
que ofrece una seguridad matemática al respecto.
El 39º número primo de Mersenne
era el mayor conocido hasta la fecha
de creación de este artículo.
Índice
Introducción
De Euclides a Lucas
Tests verdaderos de primalidad
Tests probabilísticos
Avances recientes
Test de primalidad AKS
Véase también
Referencias
Bibliografía
Enlaces externos

Introducción
Los problemas que implican a las matemáticas discretas están entre los más difíciles de las matemáticas.
Concretamente el de la factorización es un problema para el que todavía no se ha encontrado una solución
que se pueda acortar en tiempo polinomial.1 ​

Por otra parte, algunas aplicaciones de las matemáticas que utilizan el problema de la factorización precisan
de una serie de números primos muy grandes escogidos de forma aleatoria. El algoritmo para obtener un
número primo aleatorio muy grande sería algo así:
 Algoritmo Obtención de un número primo aleatorio

/*Basado en el postulado de Bertrand*/

Entrada: Un número natural n.

Salida : P (el número primo aleatorio buscado).

1. Función Genera_numero_aleatorio_en_intervalo
2. Mientras no sea un número primo haz esto:

1.
2. Si entonces:

1.
3. Devuelve

El tiempo de finalización de este algoritmo no es determinado, pero existe una alta probabilidad de que
finalice en tiempo polinomial siempre y cuando haya suficientes números primos y estos estén distribuidos
de forma más o menos uniforme. Afortunadamente para las aplicaciones que precisan números primos
aleatorios, esto es así. Veamos por qué.

Lo primero que podemos establecer es que el cardinal del conjunto de primos en el conjunto de los
números naturales es infinito (esto es, que hay infinitos números primos). El teorema de Dirichlet (1837)
dice que si mcd(a, n) = 1 entonces hay infinitos primos congruentes con a módulo n. En otras palabras (y
utilizando un corolario de Dirichlet), los números primos están uniformemente distribuidos en las clases
congruentes con la función φ de Euler en para cualquier valor de n.

Claro que, si los números primos están uniformemente distribuidos, pero hay un número pequeño de ellos,
la búsqueda podría ser imposible en la práctica. Para resolver este segundo problema podemos acudir al
teorema de Hadamard (1896) que establece que la cardinalidad del conjunto de números primos en el
intervalo [2..n] es asintótico a . Este número tiende a infinito muy suavemente, lo que implica que
aún para valores grandes de n existe una probabilidad suficientemente alta de dar con un número primo de
forma aleatoria.

De lo visto hasta aquí podemos concluir que el algoritmo anterior puede obtener una respuesta en tiempo
polinomial si existe un algoritmo polinomial para comprobar que un número n arbitrariamente grande es
primo. Lo que nos devuelve al problema de la primalidad.

En cualquier caso una modificación muy frecuente para hacer el algoritmo determinista es partir de una
semilla aleatoria y luego hacer una búsqueda secuencial de la cota inferior del conjunto de primos mayores
que la semilla de partida.

De Euclides a Lucas
Antes de entrar a tratar las técnicas modernas que se aplican al problema de la primalidad no está de más
hacer un breve repaso a la historia del problema y a las soluciones aportadas a lo largo de los siglos.

Los problemas de la factorización de un número dado y la determinación de números primos son muy
antiguos. Los registros históricos sobre el estudio de números primos se remontan a Euclides (siglo
III a. C.) aunque hay evidencias de que el conocimiento de la existencia de estos números tan particulares
se podría remontar a Pitágoras (siglo VI a. C.).
Sin embargo, el primer procedimiento matemático conocido concerniente estos números se remonta a
Eratóstenes (siglo II a. C.) y es la conocida criba de Eratóstenes, que todavía se estudia en las escuelas de
educación primaria. El método es sencillo: para obtener los números primos menores que un dado,
primero colocamos los números de 1 a en una lista y empezamos tachando todas las posiciones pares.
Luego, sobre la lista que queda tachamos todos los que son múltiplo de tres (el siguiente número de la lista
después del 2). Luego sobre los que quedan todos los que son múltiplos de cinco (el siguiente número de la
lista después del 3).

Hoy día, este algoritmo tiene un valor más histórico que práctico. Funciona bien, pero es muy ineficiente.

La mejora más obvia atañe a la forma en la que el algoritmo termina (curiosamente Eratóstenes no tuvo en
cuenta este hecho y fue el matemático árabe ibn al-Banna quien la propuso siglos después): es suficiente
con iterar hasta los divisores primos de menores que .

Otro problema de la criba es que no responde al problema de la simple determinación de primalidad de un

número dado, sino que ofrece una lista (potencialmente infinita) de números primos.

El problema, más concreto, de determinar si un número dado es primo puede derivarse del anterior,
simplemente se simula la criba para y se comprueba si permanece en ella. La cuestión es que el
coste de seguir este procedimiento es muy grande.

Como muchas otras aportaciones matemáticas, el problema de la primalidad llegó a la Europa moderna a
través de los árabes, pero no fue hasta muchos siglos después que aparecieron los primeros registros
escritos sobre la primalidad y su solución. Estos corresponden al matemático italiano Leonardo de Pisa
(Fibonacci) quien presentó un algoritmo muy simple para determinar si un número n dado es primo
consistente en comprobar que ningún otro número primo inferior a la divide a . Este algoritmo tiene
la característica de ser determinista (siempre obtiene una solución) aunque tremendamente ineficiente. En
realidad, Fibonacci es más conocido por la sucesión que lleva su nombre y que también tiene su papel en el
problema que nos ocupa. Luego veremos algo más sobre la famosa sucesión de Fibonacci.

El primero en utilizar relaciones observadas entre los números para determinar la primalidad fue el boloñés
Pietro Antonio Cataldi con su trabajo sobre los números perfectos.

Un número perfecto es aquel que es igual a la suma de sus divisores propios. Por ejemplo 6 es perfecto, ya
que la suma de sus divisores (1+2+3) es igual al mismo. Los siete primeros números perfectos son 6, 28,
496, 8128, 33550336, 8589869056 y 137438691328.

Cataldi determinó que si es primo entonces ha de ser primo y ha de ser perfecto.

Este teorema nos introduce una familia de números especialmente importante para la historia de la
primalidad: los llamados números de Mersenne en honor del filósofo Marin Mersenne (1588-1665), que
son números de la forma donde p es un número primo. Mersenne comprobó que de los 257
primeros números de la familia que lleva su nombre, solo 11 son primos (son los para p = 2, 3, 5, 7, 13,
17, 19, 31, 67, 127 y 257).

En realidad Mersenne cometió algunos errores ya que no es primo para p = 67 ni 257 y sí lo es para p
= 61, 89 y 107; no obstante su trabajo sobre estos números ha quedado reflejado en el hecho de que llevan
su nombre.

Contemporáneo de Mersenne y mucho más importante para la historia y el estado del arte actual del
problema que estamos tratando fue el importante matemático Pierre de Fermat (1607-1665). Fermat es
posiblemente el teórico numérico más renombrado de la historia y es muy conocido por un teorema que
esencialmente estuvo sin demostración durante más de trescientos años. Con referencia a la primalidad,
Fermat tuvo correspondencia con Mersenne y, de hecho, estableció un resultado sobre los números primos
que es esencial para las técnicas modernas de determinación de la primalidad. El teorema en cuestión
(conocido como Pequeño teorema de Fermat o PTF) establece lo siguiente:

Teorema: Sea , entonces...

Como corolario a este importante teorema se establece que si es primo, entonces cualquier número
primo que divida a tiene que ser de la forma para algún . También se
puede demostrar que si es el menor número tal que , entonces siempre que
.

Fermat buscaba números que le ayudaran a comprobar la primalidad de los números de Mersenne.
En su búsqueda vio que el teorema antes expuesto era útil para detectar posibles primos tales que
. Fermat también sugirió que los números de la forma (denominados números de Fermat
y representados por ) debían ser primos y lo comprobó para todos los n menores que 4. No pudo
demostrarlo para y hoy se sabe que es compuesto, como lo son todos los restantes hasta (y
posiblemente todos los demás, aunque este último extremo es aún una conjetura).

Otro eminente matemático que estuvo interesado en el problema de la primalidad fue el suizo Leonhard
Euler. Euler se sintió atraído por los resultados de Fermat y encontró un divisor de (contradiciendo pues
la conjetura de Fermat sobre la primalidad de ). Sin embargo, su aportación más importante al problema
fue el enunciado de un teorema relacionado que establece que todo divisor primo de debe ser de la
forma para algún .

Hubo otros matemáticos también muy eminentes que trabajaron en el campo de la factorización de
números, por ejemplo Legendre y Gauss, y que también hicieron algunas contribuciones al problema de la
primalidad; pero el último de los matemáticos clásicos del que hablaremos que obtuvo notables resultados
sobre la cuestión fue el francés François Éduard Anatole Lucas. Lucas trabajó sobre los números de
Fibonacci y de Mersenne, obtuvo resultados sobre la divisibilidad de los primeros y determinó una prueba
de primalidad para los números de Mersenne (que aplicó a la comprobación de primalidad de ) que
veremos a continuación.

Tests verdaderos de primalidad

En los apartados anteriores se ha hablado de dos problemas relacionados (factorización y primalidad) que
de alguna manera son complementarios. Sin embargo, las dos cuestiones son de naturaleza muy distinta.
Para convencer a alguien de que un número ha sido factorizado es suficiente con mostrar los factores y el
resultado queda claro. Sin embargo convencer a esa misma persona de que un número dado es primo puede
ser mucho más difícil. Como el matemático parisino del siglo XIX Fortuné Landry señaló, a menos que la
otra parte conozca los métodos de comprobación de la primalidad y realice por sí misma los cálculos, la
sencilla respuesta “es primo” es sólo cuestión de fe. Un test (o chequeo) de primalidad es un algoritmo que,
dado un número de entrada n, no consigue verificar la hipótesis de un teorema cuya conclusión es que n es
compuesto.
Ésta es la visión del matemático; desde el punto de vista del ingeniero las cosas no son blancas o negras.
Por ello, convenimos en diferenciar los tests (o chequeos) de las pruebas. Antes de proseguir, ha llegado el
momento de definir formalmente ambos conceptos.

Definición: Un test (o chequeo) de primalidad es un algoritmo que, dado un

número de entrada n, no consigue verificar la hipótesis de un teorema cuya
conclusión es que n es compuesto.

Esto es, un test de primalidad sólo conjetura que “ante la falta de certificación sobre la hipótesis de que n es
compuesto podemos tener cierta confianza en que se trata de un número primo”. Esta definición supone un
grado menor de confianza que lo que se denomina prueba de primalidad (o test verdadero de primalidad)
que ofrece una seguridad matemática al respecto.

Definición: Un algoritmo de prueba de primalidad (o test verdadero de

primalidad) es un algoritmo determinista que, dado un número de entrada n,
verifica la hipótesis de un teorema cuya conclusión es que n es primo. Una
prueba de primalidad es la verificación computacional de dicho teorema.

Así pues se puede hablar de dos grados de certidumbre: las pruebas de primalidad (existe certidumbre
matemática) y los tests de primalidad (existe certidumbre práctica).

El interés, fundamentalmente, es la aplicación práctica de las técnicas. Sin embargo, es interesante ver algo
sobre las pruebas. En esta primera sección se ocupa de éstas y de algunos de los test clásicos de primalidad,
dejando para un apartado posterior una discusión sobre el grupo de algoritmos complementario que, aunque
no prueban la primalidad con certidumbre matemática resultan mucho más interesantes al ser
computablemente más estables y predecibles.

Para empezar, el ejemplo clásico de test verdadero de primalidad: el Test de Lucas-Lehmer. La prueba LL
se aplica a los números de Mersenne (la entrada es el índice p del número de Mersenne del que se quiere
comprobar la primalidad). La definición del algoritmo es la siguiente:
 Algoritmo Test de Lucas-Lehmer para números de Mersenne. (Orden de complejidad )

Entrada: Un número primo p.

Salida: COMPUESTO si Mp es compuesto y PRIMO si Mp es un primo.

1. Defínase
2. Defínase
3. Para desde hasta haga lo siguiente:

1.

4. Si entonces:

1. Retorne PRIMO
5. Si no, entonces

1. Retorne COMPUESTO

Este resultado es importante, ya que presenta la prueba como una secuencia sencilla de pasos lineal en n
donde todas las operaciones básicas (productos, restas, módulos, comparaciones) son computables en
tiempo polinómico.

El problema obvio que tiene esta prueba es la generalidad, ya que sólo se puede aplicar a los números de
Mersenne.

El segundo algoritmo de prueba de primalidad se aplica a números n genéricos y supone que se conoce una
factorización parcial de n–1. Se basa en el teorema de Pocklington.2 ​Dicho teorema establece lo siguiente:

Teorema: tal que y , donde tiene una

factorización en números primos conocida.

Si para cada factor primo de tal que:

(i)
(ii) .

Entonces , primo divisor de n, ;

de lo que se deduce que si entonces n
es primo.

Así, si se conoce la factorización de un divisor de F se pueden concluir por el contraste con las condiciones
(i) y (ii) que un número dado es primo.

Un ejemplo de prueba por Pocklington para el número n=57283. Se supone conocida la factorización
parcial n–1=6∙9547 y también conocido el hecho de que F=9547 es un número primo, por tanto q es único
e igual a F. Puesto que ,y , podemos concluir que n es
primo.
El algoritmo es sencillo. Se limita a realizar una serie de cálculos con aritmética modular y comprobar el
resultado. La contrapartida es que se necesita una factorización parcial de n-1.

Existe un resultado menos general que el de Pocklington que es debido a otro matemático del siglo XIX (el
teorema de Proth). Pero como se ha dicho es menos general y tiene la misma aplicación, por lo que no
entraremos en detalles.

La última prueba en este apartado se debe a Pepin (1877). El teorema de Pepin se enuncia como sigue:

Teorema: , el número de Fermat enésimo, definido por

es primo si y sólo si .

La constante 3 en realidad se puede sustituir por cualquier entero positivo para el que un operador llamado
símbolo de Jacobi sea igual a–1. Esto incluye a los valores 3, 5 y 10.

Así como la prueba LKL sólo se puede aplicar a los números de Mersenne, la prueba de Pepin sólo se
puede aplicar a los números de Fermat, por lo que su uso (como en el caso de LKL) queda bastante
restringido.

Lo que subyace a estas pruebas es esencialmente el resultado que se desprende del PTF. Si el teorema
inverso fuese cierto (esto es, si la comprobación de la condición an-1≡1 (mod n), para cualquier a primo
relativo de n implicase la primalidad de n) la prueba de primalidad sería un asunto muy sencillo. Sin
embargo, existe una familia de números compuestos que cumplen la condición y que, por tanto, invalidan
la posibilidad de realizar una prueba por el inverso del PTF; estos números se denominan Números de
Carmichael por el matemático que los descubrió. Un ejemplo de número de Carmichael es n=561.
Hablaremos de ellos en la próxima sección.

Tests probabilísticos
Los tests probabilísticos están basados en la idea de relajar la corrección de la prueba para conseguir un
comportamiento de respuesta polinomial o subpolinomial. Se basan bien en el uso PTF (que acabamos de
comentar), bien en el uso de lo que se conocen como verificadores y falsadores de Euler.

El primer ejemplo de test probabilístico que veremos es el test de Fermat. Dicho test está basado en el PTF.
El algoritmo basado en este test se aplica eligiendo varios enteros aleatorios entre 2 y n-2 y calculando
. Si algún valor de es distinto de 1 el algoritmo devuelve compuesto, en otro caso
devuelve primo. La fortaleza de este test radica en que tras un número normalmente pequeño de
repeticiones la probabilidad de que un número compuesto pase como primo es muy pequeña.

Como vimos en la sección anterior, el test de Fermat adolece de un conocido problema: los números de
Carmichael. Los números de Carmichael pasan la condición de Fermat para todos los posibles valores de ;
esto implica que si nuestro candidato a número primo fuese un número de Carmichael, no importa cuántas
veces pasemos el test de Fermat, el resultado siempre sería negativo y en consecuencia el resultado del test
sería un falso primo positivo. Sin embargo, los números de Carmichael son relativamente escasos (hay
105.212 de ellos menores de ) por lo que la probabilidad de elegir alguno de ellos es realmente baja. El
test de Fermat es de amplio uso en el campo de la criptografía.
Otro test muy conocido y utilizado en criptografía es el test de Solovay-Strassen (SS). Este test está basado
en el criterio de Euler, que establece que, si n es un número primo impar, entonces
para todos los enteros que satisfacen que el mcd(a,n)=1, donde
representa el símbolo de Jacobi definido por

donde cada es un primo distinto, y es el símbolo de Legendre definido por

á ó

Los valores de que cumplen el criterio de Euler se denominan verificadores de Euler para la primalidad
de n y los que no lo cumplen se denominan falsadores de Euler para la primalidad de n.

El test SS se podría codificar de la siguiente manera:

Algoritmo Test de Solovay-Strassen. (Orden de complejidad )

Entrada: Un número natural n>1, el número k de veces que se ejecuta el

test y nos
determina la fiabilidad del test.

Salida: COMPUESTO si n es compuesto y POSIBLE PRIMO si n es un posible primo.

1. Para desde hasta haga lo siguiente:

1. Función Genera_numero_aleatorio_en_intervalo

2.
3. Si entonces:

1. retorne COMPUESTO

4. /*Símbolo de Jacobi*/

5. Si entonces:

1. Retorne COMPUESTO
2. Retorne POSIBLE PRIMO

El test SS tiene una probabilidad de acierto de ½ por cada paso de j. Esto implica que la probabilidad de
que la entrada sea un número compuesto habiendo sido declarado como primo es menor que ½t. Este test
fue descubierto en 1978 y fue modificado en 1982 por Atkin y Larson, pero hoy por hoy está en desuso. El
motivo es que el test que vamos a estudiar a continuación es más eficiente que el test SS y, al menos, tiene
el mismo nivel de corrección.

El test más implantado en la actualidad es el Miller-Rabin (también conocido como test fuerte del
pseudoprimo). El test de Miller-Rabin (MR) está basado en el siguiente hecho: Si tenemos un número
primo n y donde r es impar, se cumple que , entonces o bien
 o bien .

El test MR se podría codificar de la siguiente manera:

Algoritmo Test de Miller-Rabin. (Orden de complejidad )

Entrada: Un número natural n>1, el número k de veces que se ejecuta el

test y nos
determina la fiabilidad del test.

Salida: COMPUESTO si n es compuesto y POSIBLE PRIMO si n es un posible primo.

1. Definase y tal que es impar y

2. Para desde hasta haga lo siguiente:

1. Función Genera_numero_aleatorio_en_intervalo
2.
3. Si entonces:

1.
2. Mientras haga lo siguiente:

1.
2. Si entonces:

1. Retorne COMPUESTO
3.
3. Si entonces:

1. Retorne COMPUESTO
3. Retorne POSIBLE PRIMO

El error cometido en cada paso de iteración es de ¼, (el diseño hace que existan más falsadores de Euler
que en SS) por lo que la probabilidad de que la entrada sea un número compuesto habiendo sido declarado
como primo es menor que ¼t. Por otra parte, al utilizar exponenciación binaria las operaciones necesarias
se realizan rápidamente.

De los tres tests probabilísticos aquí presentados, el mejor desde el punto de vista técnico y práctico es el de
Miller-Rabin. El test SS es computacionalmente peor y más difícil de implementar ya que hay que calcular
el símbolo de Jacobi. Por otra parte ambos tienen la ventaja frente al de Fermat de que podemos aumentar
la confianza de la primalidad con un valor de t arbitrariamente alto (Fermat tiene el límite definido por los
números de Carmichael).

Avances recientes
Desde los años 70 se ha estado trabajando en la mejora de los algoritmos clásicos para obtener mejores
pruebas de primalidad.3 ​ Para ello se ha trabajado con la factorización de formas polinómicas de n. Entre
estos algoritmos destacan el debido a Adleman, Pomerance y Rumely (APR) y la mejora que sobre éste
hicieron Cohen y Lenstra (APR-CL) que obtienen complejidades casi polinomiales.

También se está avanzando en este campo utilizando otras formas más sencillas de trabajo con grupos
matemáticos en lugar de la aritmética modular de los grupos de Galois.
En este sentido se están haciendo avances en el trabajo con curvas elípticas módulo n. Una curva elíptica es
una función que se define de la siguiente forma:

En curvas de este tipo han estado trabajando desde 1986 Goldwasser, Kilian y Atkin. Este último definió el
método ECPP o prueba de primalidad por curva elíptica (Elliptic Curve Primality Proving), que tiene
diversas implementaciones y se ha probado que es de orden polinomial para casi todas las entradas.

Muchas de las pruebas y tests de primalidad que hemos visto hasta ahora se resuelven en tiempo
polinomial.

Durante años los sistemas criptográficos han estado utilizándolos para la generación de claves seguras. Sin
embargo tienen limitaciones. Algunos no son pruebas de primalidad y en consecuencia no devuelven un
certificado de primalidad: existe una probabilidad (aunque pequeña) de que un número sea considerado
primo cuando en realidad es compuesto; son los que se conocen como algoritmos probabilísticos de orden
P (RP). Otros sí que certifican la primalidad, pero no se garantiza que el test termine en tiempo polinomial;
son los que se conocen como algoritmos deterministas de tiempo polinomial probabilístico (ZPP). Algunos
necesitan factorizaciones parciales o totales de n+1 y, como ya se ha visto, la factorización es un problema
que no se puede resolver en tiempo polinómico en el caso general. Para otros la terminación en tiempo
polinomial se basa en ciertas conjeturas no probadas.

Por ejemplo, el test de Miller es polinomial si la hipótesis extendida de Riemann (o conjetura ERH) es
cierta. Existe una creencia generalizada en la conjetura ERH, pero al faltar una demostración matemática no
se puede concluir su terminación polinomial.

Test de primalidad AKS

El reciente descubrimiento de un algoritmo determinista de tiempo polinomial que no se basa en ninguna

conjetura no probada debe ser considerado un hito importante. Concretamente en agosto del año 2002 tres
académicos de la Universidad de Kanpur (Agrawal, Kayal y Saxena) presentaron4 ​ un algoritmo
determinista de clase P para la determinación de la primalidad de un número. La clave del algoritmo es una
versión simplificada del PTF, esto es la condición:

Los autores se las arreglaron para formular el siguiente algoritmo, que se ha probado puede ejecutarse en un
tiempo de complejidad máxima de .
 Algoritmo Test de primalidad AKS. ( Orden de complejidad )

Entrada: Un número natural n > 1.

Salida: COMPUESTO si n es compuesto y PRIMO si n es primo.

1. Si existen tal que entonces:

1. Retorne COMPUESTO
2.
3. Mientras haga lo siguiente:

1. Si entonces:

1. Retorne COMPUESTO.
2. Si es primo > 2 entonces:

1. Mayor factor de

2. Si entonces:

1. Salga de este ciclo

3.
4. Para hasta haga lo siguiente:

1. Si entonces:

1. Retorne COMPUESTO
5. Retorne PRIMO

Los autores demostraron además que, si determinados números primos (llamados números primos de
Sophie Germain) tienen la distribución conjeturada por el matemático austriaco Emil Artin, el exponente
21/2 que aparece en la expresión de complejidad puede reducirse a 15/2. Lo que implica que el tiempo
estimado de ejecución sería equivalente al de alguna prueba de primalidad de las vistas anteriormente
(concretamente la prueba ECPP). Y en el artículo publicado por los mismos, también mencionaban una
versión del algoritmo AKS presentada por H.W. Lenstra y C. Pomerance5 ​ que se ejecuta en tiempo
de forma incondicional.

En realidad este descubrimiento no tiene implicaciones prácticas en la computación moderna. Lo cierto es

que las partes constantes de la complejidad del algoritmo son mucho más costosas que en los actuales
algoritmos probabilísticos. Es de esperar que en el futuro cercano se obtengan mejoras en esas constantes,
pero lo cierto es que los algoritmos actuales de generación de números primos cubren bastante bien las
necesidades actuales y, posiblemente, las futuras (y es poco probable que la línea propuesta mejore en
tiempo de ejecución a los algoritmos probabilísticos existentes). Sin embargo sí que tiene una importancia
fundamental desde el punto de vista teórico, ya que supone la primera prueba de primalidad de estas
características que ha sido matemáticamente demostrada.

Véase también
Complejidad computacional
Criba de Sundaram
 Criptografía
François Éduard Anatole Lucas
Pequeño teorema de Fermat

Referencias
1. Papadimitriou, Christos H.: Computational Complexity. Sección 10.2: "Primality", pp.222–
227. Addison-Wesley, 1era edición, 1993. (ISBN 0-201-53082-1.)
2. Caldwell, Chris,Finding primes & proving primality [1] (http://primes.utm.edu/prove/prove3_1.
html)
3. Caldwell, Chris: The Prime Pages. Universidad de Tennessee. (Ver enlaces externos.)
4. Agrawal, Manindra; Kayal, Neeraj; Saxena, Nitin: "PRIMES is in P". Annals of Mathematics
160 (2004), no. 2, pp. 781–793.

Accesible en formato PDF desde la web www.math.princeton.edu (http://www.math.princeto

n.edu/~annals/issues/2004/Sept2004/Agrawal.pdf)
5. H. W. Lenstra jr. and Carl Pomerance: "Primality testing with Gaussian periods".

Accesible en formato PDF desde la web citeseerx (http://citeseerx.ist.psu.edu/viewdoc/down

load?doi=10.1.1.94.1384&rep=rep1&type=pdf)

Bibliografía
Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford: Introduction to
Algorithms. Sección 31.8: "Primality testing", pp.887–896. MIT Press & McGraw-Hill, 2a
edición, 2001. (ISBN 0-262-03293-7.)
Crandall, Richard & Pomerance, Carl: Prime Numbers: A Computational Perspective
Capítulo 3: "Recognizing Primes and Composites", pp.109–158. Capítulo 4: "Primality
Proving", pp.159–190. Sección 7.6: "Elliptic curve primality proving (ECPP)", pp.334–340.
Springer, 1a edición, 2001. (ISBN 0-387-94777-9.)
Knuth, Donald. The Art of Computer Programming, Volumen 2: Seminumerical Algorithms.
Páginas 391–396 de sección 4.5.4. Addison-Wesley, 3a edición, 1997. (ISBN 0-201-89684-
2.)
Williams, H.C.: Édouard Lucas and Primality Testing. John Wiley & Sons, 1998. (ISBN 0-
471-14852-0.)

Enlaces externos
Programa

Solovay-Strassen (https://archive.is/20121220074426/http://computacion.cs.cinvestav.mx/~
mruiz/cursos/maestria/csac.html) Prueba de primalidad por Solovay-Strassen en Maple

En inglés

Agrawal, Kayal & Saxena: Primes is in P (http://www.cse.iitk.ac.in/users/manindra/algebra/pr

imality_v6.pdf) Instituto de Tecnología Kanpur, India.
Bernstein, D.J.: Distinguishing prime numbers from composite numbers (http://cr.yp.to/primet
ests.html)
Caldwell, Chris (en inglés). (http://primes.utm.edu)The Prime Pages. Universidad de
Tennessee. http://primes.utm.edu.
Obtenido de «https://es.wikipedia.org/w/index.php?title=Test_de_primalidad&oldid=136762642»

Esta página se editó por última vez el 3 jul 2021 a las 15:14.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.