Primaboinca

Aus Rechenkraft
(Weitergeleitet von PRIMABOINCA)
Wechseln zu: Navigation, Suche
Logo

PRIMABOINCA ist ein BOINC-Projekt, das für mathematische Vermutungen nach Gegenbeispielen sucht. Es geht um Vermutungen, die Primzahlen identifizieren.

Die erste Vermutung (Agrawal Vermutung) war die Grundlage für die Formulierung des ersten deterministischen prime Test-Algorithmus in polynomieller Zeit (AKS-Algorithmus). Hendrik Lenstras und Carl Pomerances Heuristik für diese Vermutung legt nahe, dass es eine unendliche Anzahl von Gegenbeispielen gibt. Bisher sind aber keine Gegenbeispiele bekannt. Die Hypothese wurde für alle n < 1010 getestet ohne ein Gegenbeispiel zu finden.

Die zweite Vermutung (Popovych Vermutung) fügt eine weitere Bedingung zu Agrawals Vermutung hinzu, wodurch diese logischerweise gestärkt wird.

Es sei r eine Primzahl die n nicht teilt. Gilt (X-1)n = Xn -1 (mod n, Xr-1), dann ist entweder n eine Primzahl oder n2=1 (mod r).

Diese Vermutung ist bisher für r<100 und n<1010 bestätigt. Sollte sie bewiesen werden, könnte die Komplexität des AKS-Primzahltests von O((log n)6) auf O((log n)3) verbessert werden.

Das Projekt wird im Rahmen einer Master-Arbeit von einem Studenten an der Rhein-Main-Universität betrieben (Quelle).


Inhalt

Projektübersicht

InfoIcon.png PRIMABOINCA
Name PRIMABOINCA
Kategorie Mathematik
Ziel Finden von Gegenbeispielen
Kommerziell   nein
Homepage primaboinca.com
Uni.jpg University of Applied Sciences
Hochschule Rhein-Main, Deutschland


Projektstatus

InfoIcon.png Projektstatus
Status   aktiv
Beginn Februar 2010
Ende noch aktiv

Projektlinks

Statistiken

Wo Übersicht Top Teams Top User
Projekt Home Page Top Teams Top User
BOINCstats.com Übersicht Top Teams Top User
BOINCsynergy.com Übersicht Top Teams Top User
stats.free-dc.org Übersicht Top Teams Top User
allprojectstats.com Übersicht Top Teams Top User

Clientprogramm

Betriebssysteme

Icon windows 16.png    Windows Checkbox 1.gif   
Icon windows 16.png    Windows 64bit Checkbox 0.gif   
Icon linux 16.png    Linux Checkbox 1.gif   
Icon linux 16.png    Linux 64bit Checkbox 0.gif   
Icon linux 16.png    Linux on ARM Checkbox 0.gif   
Android.jpg    Android Checkbox 0.gif   
Icon raspberri pi 16.jpeg    Raspberry Pi Checkbox 0.gif   
Icon dos 16.png    DOS Checkbox 0.gif   
Icon macos 16.png    MacOS X Checkbox 1.gif   
Icon macos 16.png    MacOS X 64bit Checkbox 0.gif   
Icon freebsd 16.png    BSD Checkbox 0.gif   
NVIDIA.gif    CUDA Checkbox 0.gif   
Logo opencl.png    Atistream.png    OpenCL Checkbox 0.gif   
Logo opencl.png    Intel.png    OpenCL Checkbox 0.gif   
Icon solaris 16.png    Solaris Checkbox 0.gif   
Icon java 16.png    Java (betriebssystemunabhängig)  Checkbox 0.gif   

Client-Eigenschaften

Funktioniert auch über Proxy Checkbox 1.gif
Normal ausführbares Programm Checkbox 0.gif
Als Bildschirmschoner benutzbar Checkbox 1.gif
Kommandozeilenversion verfügbar Checkbox 0.gif
Personal Proxy für Work units erhältlich   Checkbox 0.gif
Work units auch per Mail austauschbar Checkbox 0.gif
Quellcode verfügbar Checkbox 1.gif
Auch offline nutzbar Checkbox 0.gif
Checkpoints Checkbox 0.gif


Veröffentlichte Versionen

Die jeweils aktuellen Versionen können hier eingesehen werden.

Installation

Primaboinca benutzt die BOINC-Infrastruktur. Die Anmeldung, Installation und Konfiguration sind auf der allgemeinen BOINC-Seite beschrieben.


Eigene Werkzeuge