Verificador de Mersenne

Cuando el propio Mp es primo se llama primo de Mersenne: números que han impulsado búsquedas de récord durante siglos, desde las primeras listas de Marin Mersenne hasta los proyectos distribuidos modernos. No todo exponente produce un primo: si p es compuesto entonces Mp es compuesto, y aun para muchos exponentes primos el número de Mersenne se factoriza (por ejemplo 2^11 − 1 = 2047 = 23 × 89). Esta herramienta toma un exponente entero p al menos dos, devuelve el valor decimal completo de 2^p − 1 como cadena y decide si ese valor es primo con el test determinista de Lucas-Lehmer cuando p es un primo impar.

Qué son los números de Mersenne y cómo decide Lucas-Lehmer

Un número de Mersenne se define por un solo exponente: Mp es dos elevado a la potencia p, menos uno. Los primeros valores son constantes familiares de aula —M2 vale tres, M3 siete, M5 treinta y uno, M7 ciento veintisiete— mientras que exponentes mayores producen enteros con miles de dígitos decimales. Un primo de Mersenne es simplemente un número de Mersenne que es primo.

Una condición necesaria clásica es que el propio exponente p sea primo: si p se factoriza como ab con a y b mayores que uno, entonces 2^a − 1 divide a 2^{ab} − 1, de modo que Mp no puede ser primo. Esa condición necesaria no es suficiente. Para p igual a once, que es primo, M11 vale dos mil cuarenta y siete y se factoriza como veintitrés por ochenta y nueve.

El test de Lucas-Lehmer resuelve la cuestión por completo para exponentes primos impares. Comience con s cero igual a cuatro; en cada uno de los siguientes p menos dos pasos reemplace s por s al cuadrado menos dos, reducido módulo Mp. El número de Mersenne es primo si y solo si el residuo final es cero.

Para el caso especial p igual a dos el número tres es primo por inspección y no necesita la secuencia iterativa. Esta capacidad implementa ese pipeline exacto con aritmética BigInt: nunca aproxima, nunca llama a un servicio de primalidad y nunca depende del reloj de pared ni de bits aleatorios. Siempre obtiene el mismo booleano para el mismo p.

Dónde aparecen las comprobaciones de Mersenne en el trabajo real

Los programadores de concursos y los entrenadores de olimpiadas usan pequeñas comprobaciones de Mersenne como calentamiento antes de problemas más duros de aritmética modular, y necesitan un oráculo determinista del que los alumnos no puedan divergir accidentalmente de una fórmula de hoja de cálculo. Los ingenieros de criptografía y sistemas a veces validan demos didácticas o tablas históricas de primos de Mersenne conocidos sin reclamar fuerza criptográfica a partir de una sola secuencia modular.

Si más adelante necesita pares gemelos, π(n) o factorización de un compuesto general, trátelos como intenciones de búsqueda separadas en lugar de sobrecargar esta página centrada en Mersenne. Los números de Mersenne siguen siendo la página correcta cuando la pregunta es cuánto vale 2^p − 1 y si Lucas-Lehmer (o la regla del exponente compuesto) lo certifica como primo de Mersenne.