Collatz Problem
Das Projekt beschäftigt sich mit dem Collatz-Problem, auch 3x+1-Problem genannt. Es geht darin um folgende Definition:
Für alle positiven Zahlen n wird die Folge (si) definiert als
Die Vermutung besagt, dass für jedes beliebigen n irgendwann ein Folgenindex k existiert mit sk=1. Ab hier wird die Folge periodisch (1,4,2,1,4,2,1,...). Für s0=6 erhalten wir beispielsweise die Folge 6,3,10,5,16,8,4,2,1,...
Das Projekt wird von der Statistiken-Seite AllProjectStats.com durchgeführt. Gesucht werden hier im Projekt Startwerte, die besonders viele Schritte brauchen um die 1 zu erreichen.
Siehe auch:
- 3x+1@home, eine Boinc Version des Projekts, die aber eine kleinere Fragestellung hat (nur Stop-Rekorde). Keine Überschneidung von Bereichen.
- Collatz Conjecture, beschäftigt sich mit "ähnlichem" Problem, auf BOINC-Basis und mit GPU-Unterstützung.
Inhalt
Projektübersicht
![]() | |
---|---|
Name | Collatz Problem (3x+1) |
Kategorie | Mathematik |
Ziel | Beweis der Collatz-Vermutung |
Kommerziell | nein |
Homepage | ericr.nl/wondrous |
Projektstatus
Überprüft: 13.05.2020
Projektlinks
Clientprogramm
Betriebssysteme
Windows | ||
Windows 64bit | ||
Linux | ||
Linux 64bit | ||
Linux on ARM | ||
Android | ||
Raspberry Pi | ||
DOS |
|
|
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 | ![]() |
Das Projekt hat keinen Client der mit dem Server kommuniziert. Arbeit muss per Email bei den Projektbetreibern angefordert und die Ergebnisse zurück gesandt werden. Der Client schätzt die benötigte Zeit für die Berechnung des Blocks sehr genau. Ca. alle 20 Minuten wird zwischengespeichert, damit die Arbeit später fortgesetzt werden kann.