Primaboinca: Unterschied zwischen den Versionen

Aus BC-Wiki
Zur Navigation springen Zur Suche springen
K (Fix)
(Status geändert)
 
(6 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
{{Languages}}
{{Languages|Primaboinca}}
{{Projekte
{{Projekte-ws
|Projekt-Link=[http://www.primaboinca.com/ primaboinca]
|Projekt-Link=[http://www.primaboinca.com/ primaboinca]
|Screensaver=na.png
|Screensaver=na.png
Zeile 12: Zeile 12:


|Beginn=2010
|Beginn=2010
|Ende=
|Ende=Mai 2020
|Status=
|Status=beendet
|Admin=Fabio Campos
|Admin=Fabio Campos
|Institut=Hochschule Rhein-Main
|Institut=Hochschule Rhein-Main
Zeile 22: Zeile 22:
|Mac=primaboinca 7.05
|Mac=primaboinca 7.05
|64bit=
|64bit=
|PS3=primaboinca 7.09
|PS3=
|ATI=
|ATI=
|CUDA=
|CUDA=
|Intel=
|Android=no
|RPI=no
|NCI=no
|VRAM=
|VRAM=
|SP=nein
|SP=no
|DP=nein
|DP=no
|RAM=1,5MB
|RAM=1,5MB
|Laufzeit=49min
|Laufzeit=1:10h
|Festplattenplatz=0,9MB
|Festplattenplatz=0,9MB
|Traffic=kb / kb
|Traffic=kb / kb
|Deadline=7 Tage
|Deadline=7 Tage
|Checkpoints=ja
|Checkpoints=yes
}}
}}
{{Languages}}
{{Languages|Primaboinca}}

Aktuelle Version vom 14. Juni 2020, 18:05 Uhr

PRIMABOINCA ist ein Forschungsprojekt, welches verteiltes Rechnen nutzt um nach Gegenbeispielen für einige mathematische Vermutungen zu suchen.

Das Projekt beschäftigt sich mit zwei Hypothesen der Nummerntheorie. Beides sind Vermutungen für das Finden von Primzahlen. Die erste Vermutung (Agrawal’s Vermutung) war die Grundlage zur Formulierung des ersten deterministischen Primzahl-Testalgorithmus in ganzrationalen Funktionen (AKS Algorithmus). Hendrik Lenstras und Carl Pomerances heuristische Methode für diese Vermutung sagt aus, dass es eine unendliche Anzahl an Gegenbeispielen für diese Vermutung geben muss. Bisher allerdings sind keine Gegenbeispiele bekannt. Die These wurde bisher für n < 10^10 getestet, ohne eine Gegenbeispiel zu finden.

Die zweite Vermutung (Popovych’s Vermutung) fügt eine weitere Bedingung zu Agrawals Vermutung hinzu und erhöht deshalb die logische Stärke der Vermutung. Wenn diese Hypothese korrekt ist, könnte die Zeit eines deterministischen Primzahltests von O(log N)^6 auf O(log N)^3 reduziert werden. Momentan ist O(log N)^6 die effizienteste Version des AKS Algorithmus

primaboinca
Beginn 2010
Ende Mai 2020
Status beendet
Admin Fabio Campos
Institut Hochschule Rhein-Main
Land Deutschland
Bereich Mathematik
Anwendungen
Win primaboinca 7.05
Linux primaboinca 7.06
Mac primaboinca 7.05
64bit
PS3
ATI
CUDA
Intel
Android
RPi
NCI
Systemspezifikationen
VRAM SP DP
RAM 1,5MB
Laufzeit 1:10h
HDD 0,9MB
Traffic dl/ul kb / kb
Deadline 7 Tage
Checkpoints