Collatz
Van DPC wiki
Inhoud |
[bewerk] Collatz@Home
[bewerk] Wat is het?
In 1937 ontdekte Lothar Collatz dat als je een willekeurig getal neemt, waarna je dit getal halveert als het even is, of de formule 3n + 1 erop loslaat als het oneven is, en dat vaak genoeg herhaalt, je altijd op 1 uitkomt. Dit klopte voor alle geteste getallen, maar het kon niet bewezen worden dat dit altijd klopt. In 2006 is door Kurtz and Simon bewezen dat het probleem niet in een generalisatie te vangen is. Het bewijs is alleen wel gebaseerd op een generalisatie, en kan niet toegepast worden op het originele Collatz-probleem. Om het probleem alsnog aan te pakken, al was het maar door te bewijzen dat er wel een andere serie uit kan komen dan 4-2-1, besloot Jon Sonntag er een distributed probleem van te maken.
[bewerk] BOINC en applicatie
Collatz is opgenomen in het Berkeley Open Infrastructure for Network Computing(BOINC). Zie ook de BOINC Faq Let op, Collatz doet het meeste werk op GPUs, en er zijn maar heel weinig (if any) WUs voor processoren. Het project draait dus prima naast een CPU-intensief project. Voor de optimized app (met GPU-client) zie hier. Let vooral even op de quote "If there is a README.TXT file included in the power app, it really does help to read it. Really, it does. Developers hate writing documentation, so if they took the time to write some, there is usually a very good reason for doing so." Test je nieuwe speeltje eerst even in een aparte map (Linux-users kunnen alles uit de losse mappen in 1 map stoppen, de bestanden executable maken, en de nieuwe app via commandline opstarten), en verplaats daarna de inhoud van de mappen naar de /boinc/collatz/-directory. Daarna alles afsluiten, en BOINC starten.
[bewerk] Stabiliteit
Dit project is een prive-onderneming van Jon, en is wellicht minder stabiel dan het gemiddelde project. Vooral de server had nogal eens problemen, wat nu (12-009) uit de wereld zou moeten zijn. Daarnaast is en blijft het gebruik van de optimized apps voor eigen risico. Credits lopen dan wel hard op, een beetje videokaart (4850) doet zonder problemen 20-30K BOINC-puntjes per dag.
