Riesel Sieve es un proyecto de computación distribuida , que se ejecuta en parte en la plataforma BOINC . Su objetivo es demostrar que 509,203 es el número de Riesel más pequeño , al encontrar un primo de la forma k × 2 n - 1 para todos los k impares menores que 509,203.
Avance del proyecto
Al inicio del proyecto en agosto de 2003, había 101 k menos de 509,203 para los cuales no se conocía ningún primo k × 2 n - 1 . A mayo de 2018[actualizar], 52 de estos k habían sido eliminados por Riesel Sieve o personas externas; el primo más grande encontrado por este proyecto es 502,573 × 2 7,181,987 - 1 de 2,162,000 dígitos, [1] y se sabe que para ninguno de los k restantes hay un primo con n <= 10,000,000 (A febrero de 2020).
El proyecto avanza de la misma manera que otros proyectos de prime-hunting como GIMPS o Seventeen o Bust : el tamizado elimina pares ( k , n ) con pequeños factores, y luego una prueba determinista, en este caso la prueba de Lucas-Lehmer-Riesel basada en la prueba de Lucas-Lehmer , se utiliza para verificar la primacía de los números sin factores pequeños. Los usuarios pueden elegir si tamizar o ejecutar pruebas LLR en candidatos tamizados por otros usuarios; Se encuentra disponible un software de tamizado altamente optimizado.
Riesel Sieve mantiene listas de los números primos que se han encontrado [2] y los k cuyo estado aún se desconoce. [3]
A partir de 2010, la investigación ha sido asumida por otro proyecto de computación distribuida, PrimeGrid . [4]
Referencias
- ^ Proyecto de tamiz Riesel en The Prime Pages . Consultado el 4 de agosto de 2008.
- ^ Riesel Sieve, Salón de la fama de Project Prime Finder (Archivado con Wayback Machine) .
- ^ PrimeGrid, estado actual de k .
- ^ "Definición y estado del problema" . Prothsearch.com . Consultado el 14 de enero de 2016 .
enlaces externos
- La página de inicio oficial de Riesel Sieve (Riesel Sieve ahora es parte de PrimeGrid )
- PrimeGrid: Acerca del problema de Riesel (publicación introductoria en el foro), estadísticas del problema de Riesel (página de estado), Primes, TRP (resultado de búsqueda)
- Definición y estado del problema