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.
Ver más en Wikipedia.org...