Primaboinca (beendet)

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)ⁿ = Xⁿ -1 (mod n, X^r-1), dann ist entweder n eine Primzahl oder n²=1 (mod r).

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

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

Projektübersicht

PRIMABOINCA
Name	PRIMABOINCA
Kategorie	Mathematik
Ziel	Finden von Gegenbeispielen
Kommerziell	nein
Homepage	primaboinca.com

University of Applied Sciences Hochschule Rhein-Main, Deutschland

Projektstatus

Projektstatus
Status	beendet
Beginn	Februar 2010
Ende	2017

Projektlinks

• Projektseite
• Download

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

	Windows
	Windows 64bit
	Linux
	Linux 64bit
	Linux on ARM
	Android
	Raspberry Pi
	DOS
	MacOS X
	MacOS X 64bit
	BSD
	CUDA
	OpenCL
	OpenCL
	Solaris
	Java (betriebssystemunabhängig)

Client-Eigenschaften

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

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.