Primaboinca/en: Unterschied zwischen den Versionen

Aus BC-Wiki
Zur Navigation springen Zur Suche springen
KKeine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
Zeile 5: Zeile 5:
|Project description=[[image:primaboinca-logo.gif|left]]
|Project description=[[image:primaboinca-logo.gif|left]]


PRIMABOINCA is a research project that uses Internet-connected computers to search for a counterexample to some conjectures. Based at the AKS-conjecture and Popovych's-conjecture.  
This project concerns itself with two hypotheses in number theory. Both are conjectures for the identification of prime numbers. The first conjecture (Agrawal’s Conjecture) was the basis for the formulation of the first deterministic prime test algorithm in polynomial time (AKS algorithm). Hendrik Lenstras and Carl Pomerances heuristic for this conjecture suggests that there must be an infinite number of counterexamples. So far, however, no counterexamples are known. This hypothesis was tested for n 1010 without having found a counterexample. The second conjecture (Popovych’s conjecture) adds a further condition to Agrawals conjecture and therefore logically strengthens the conjecture. If this hypothesis would be correct, the time of a deterministic prime test could be reduced from O(log N)6 (currently most efficient version of the AKS algorithm) to O(log N)3.


|Start=2010
|Start=2010

Version vom 2. Oktober 2010, 19:46 Uhr

This project concerns itself with two hypotheses in number theory. Both are conjectures for the identification of prime numbers. The first conjecture (Agrawal’s Conjecture) was the basis for the formulation of the first deterministic prime test algorithm in polynomial time (AKS algorithm). Hendrik Lenstras and Carl Pomerances heuristic for this conjecture suggests that there must be an infinite number of counterexamples. So far, however, no counterexamples are known. This hypothesis was tested for n 1010 without having found a counterexample. The second conjecture (Popovych’s conjecture) adds a further condition to Agrawals conjecture and therefore logically strengthens the conjecture. If this hypothesis would be correct, the time of a deterministic prime test could be reduced from O(log N)6 (currently most efficient version of the AKS algorithm) to O(log N)3.

primaboinca
Screensaver
Start 2010
End
Status alpha
Admin
Institution
Country
Area Mathematics
Apps
Win primaboinca 7.02
Linux primaboinca 7.03
Mac
64bit
PS3 primaboinca 7.09
ATI
CUDA
Intel {{{Intel}}}
Android [[Bild:{{{Android}}}.gif|link=]]
RPi [[Bild:{{{RPI}}}.gif|link=]]
NCI [[Bild:{{{NCI}}}.gif|link=]]
System-Specs
VRAM {{{VRAM}}} SP [[Bild:{{{SP}}}.gif|link=]] DP [[Bild:{{{DP}}}.gif|link=]]
RAM 1,5MB
Runtime 49min
HDD
Traffic dl/ul kb / kb
Deadline 1 day
Checkpoints Datei:.gif