Neues Projekt beal@home

Rakesearch, Fermat Search, NumberFields@home, OGR, ...
Nachricht
Autor
Eric
Powerknopf-Verweigerer
Powerknopf-Verweigerer
Beiträge: 1411
Registriert: 07.05.2013 09:24

Neues Projekt beal@home

#1 Ungelesener Beitrag von Eric » 03.06.2014 08:52

Hallo zusammen,

ich bin auf ein neues Projekt gestoßen: bealathome.com

Noch ganz frisch. Der Start wart am 24.03.2014. Anwendungen gibt es für Windows und Linux.

Ein paar Details zu dem mathematischen Inhalt lassen sich auch bereits bei uns hier im Forum finden:
Idee für neues Subprojekt: Gegenbeispiel für Beal-Vermutung
Bild

test123
XBOX360-Installer
XBOX360-Installer
Beiträge: 68
Registriert: 26.02.2008 21:45

Re: Neues Projekt beal@home

#2 Ungelesener Beitrag von test123 » 22.10.2014 15:46

Das Projekt ist reine Strom-Verschwendung. Den Quell-Code findet man hier: https://code.google.com/p/olib/source/b ... e_cpu_v3.c

Man sieht, dass die gleichen Fehler wie auch schon in vorherigen naiven Ansätzen gemacht werden: Es werden nur Potenzen berechnet und dann abgeglichen. Da man jedoch nicht mit Big-Integer-Arithmetik rechnet, sondern sich einbildet, dass die Potenzen in 32-Bit-Datentypen passen, geht das natürlich "vergleichsweise" schnell, liefert aber keine korrekten Ergebnisse. (Es ist nicht definiert, wie sich diese Datentypen bei den nun hier ständig vorkommenden Überläufen verhalten. Im besten Fall finden hier alle Operationen mod 2^32 statt, und das war's.)

Mal davon abgesehen, dass von dem bisschen Grips, von dem ich im oben verlinkten Beitrag geschrieben habe, nichts aber auch gar nichts dort Berücksichtigung findet. Mit anderen Worten: Man liefert dort keine brauchbaren Ergebnisse ab, sondern heizt nur mit der CPU seinen Raum...

Es ergibt übrigens aus heuristischen Gründen wenig Sinn den Suchraum nach maximaler Basis-Größe und maximalem Exponenten zu beschränken: Ein Gegenbeispiel für die Beal-Vermutung findet sich um so wahrscheinlicher, je kleiner die Potenzen sind, nicht je kleiner Basis und Exponent sind (und so ist 2^100 deutlich größer als 1.000.000^4).


Damit man sich von dem Projekt ganz verabschieden kann: Im Moment ist ein Paper mit meiner Co-Autorschaft im Review-Prozess, was einen etwas intelligenteren Ansatz verfolgt. Dort ist mit der Rechenkapazität eines Buro-Rechners (ok, über 3 Wochen) nachgewiesen worden, dass es kein Gegenbeispiel der Beal-Vermutung unterhalb von 10^32 gibt. (Insbesondere ist die Komplexität des Verfahrens nicht mehr O(n^(2/3)), sondern nur O(n^(1/2)), wobei n die obere Schranke des Suchraums angibt und durch entsprechende Überlegungen, die den rechen-intensivsten Teil auf die elementare Operation von binärer UND-Verknüpfung von Bitmasken, welche im L1- bzw. L2-Cahce vorgehalten werden können, beschränken, konnte auch die "Konstante" deutlich verringt werden.)

Damit wäre obiges Projekt wohl eher Jahrhunderte beschäftigt um dieses Ergebnis nachzurechnen...

Benutzeravatar
nico
Vereinsmitglied
Vereinsmitglied
Beiträge: 2211
Registriert: 22.12.2002 13:22
Wohnort: C-Town
Kontaktdaten:

Re: Neues Projekt beal@home

#3 Ungelesener Beitrag von nico » 22.10.2014 18:53

Ohje :(

Wenn dein Paper drausen ist, bitte hier verlinken / referenzieren :)

Btw: Wenn du mal 30MB L3 Cache für paar Tage brauchst, sag bescheid.
Bild

Merowig
Prozessor-Polier
Prozessor-Polier
Beiträge: 148
Registriert: 20.04.2003 18:00

Re: Neues Projekt beal@home

#4 Ungelesener Beitrag von Merowig » 15.05.2015 09:52

Nachfolgeprojekt ist jetzt online: BealF@Home http://bealf.pl/bealf/index.php
Bild Bild

Antworten

Zurück zu „Andere Mathematik-Projekte“