PRIMABOINCA

AMBITO: Matematica

Primaboinca è un progetto di ricerca che utilizza i computer connessi ad Internet per cercare un controesempio ad alcune congetture. Questo progetto si occupa di due ipotesi della teoria dei numeri. Entrambe sono congetture per l'identificazione dei numeri primi. La prima congettura (Congettura di Agrawal (inglese)) è stata la base per la formulazione del primo algoritmo deterministico polinomiale nel tempo. La seconda congettura (Congettura di Popovych (inglese)) aggiunge un ulteriore condizione alla congettura di Agrawal e quindi rafforza logicamente la congettura.

Questo progetto si preoccupa di due ipotesi nella teoria dei numeri.

Entrambe sono congetture per l'individuazione di numeri primi. La prima congettura (congettura di Agrawal) fu la base per la formulazione del primo algortimo deterministico polinomiale di analisi privilegiata dei numeri primi nel tempo (Algortimo AKS). Gli euristi Hendrok Lenstrars e Carl Pomerances suggeriscono per questa ipotesi che ci devono essere un numero infinito di controesempi. Finora, però, non si conoscono dei controesempi. Questa ipotesi fu testata per n10 senza per aver trovato un controesempio.

La secondo congettura (congettura di Popovych) aggiunge un'ulteriore condizione alla congettura di Agrawal e quindi rafforza la congettura logicamente. Se questa ipotesi fosse corretta, il tempo per l'analisi deterministica di un numero primo potrebbe ridursi da O(log N)⁶ (attualmente la versione più efficiente dell'algortimo AKS) a O(log N)³.

Stato del progetto: progetto chiuso

Iscrizione libera.

Requisiti minimi: nessuno

Gli sviluppatori non segnalano requisiti minimi da rispettare.

Assegnazione crediti: fissati per singola WU/ variabili in base al tempo di elaborazione

Quorum = 1

Problemi comuni: nessuno

Non si riscontrano problemi significativi.

Supporto al progetto: supportato 

Per unirsi al team BOINC.Italy consultare la scheda "Link utili" qui sotto cliccando sull'icona relativa al "JOIN" .

Referente/i: Tiziano

Se sei interessato al progetto e vuoi dare una mano diventando referente, contatta i moderatori in privato o attraverso le pagine del forum.