Primaboinca (beendet)

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   beendet
Beginn Februar 2010
Ende 2017

Projektlinks

Statistiken

Wo Übersicht Top Teams Top User
Projekt Home Page Top Teams Top User
BOINCstats.com Übersicht Top Teams Top User
BOINCsynergy.com: Der Service wurde eingestellt.
stats.free-dc.org Übersicht Top Teams Top User
allprojectstats.com: Der Service wurde eingestellt.

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 (beendet) benutzt die BOINC-Infrastruktur. Die Anmeldung, Installation und Konfiguration sind auf der allgemeinen BOINC-Seite beschrieben.


Eigene Werkzeuge