Great Internet Mersenne Prime Search (GIMPS) ist ein zusammenarbeitendes Projekt von Freiwilligen, die frei verfügbare Software verwenden, um nach Primzahlen von Mersenne zu suchen. Das Projekt wurde von George Woltman gegründet, der auch der Software Prime95 und MPrime für das Projekt geschrieben hat. Scott Kurowski hat dem Internet Server von PrimeNet geschrieben, der die Forschung unterstützt, um Entropia-verteilte Rechensoftware, eine Gesellschaft zu demonstrieren, die er 1997 gegründet hat. GIMPS wird als Mersenne Research, Inc eingeschrieben Kurowski ist der Exekutivvizepräsident und Vorstandsdirektor von Mersenne Research Inc. Wie man sagt, ist GIMPS eines der ersten in großem Umfang verteilten Rechenprojekte über das Internet zu Forschungszwecken.

Das Projekt hat insgesamt dreizehn Blüte von Mersenne gefunden, von der elf die größte bekannte Primzahl in ihren jeweiligen Zeiten der Entdeckung war. Die größte bekannte Blüte ist 2  1 (oder M kurzum). Diese Blüte wurde am 23. August 2008 von Edson Smith an der Universität Kaliforniens, Los Angeles (UCLA) 's Mathematik-Abteilung entdeckt. Diese Blüte hat GIMPS erlaubt, den Preis von 100,000 $ vom Elektronischen Grenzfundament zu gewinnen, für eine Blüte mit mehr als 10 Millionen dezimalen Ziffern zu entdecken. Beziehen Sie sich auf den Artikel über Primzahlen von Mersenne für die ganze Liste von GIMPS Erfolgen.

Um seine Prüfung durchzuführen, verlässt sich das Projekt in erster Linie auf Édouard Lucas und den Primality-Test von Derrick Henry Lehmer, ein Algorithmus, der zur Prüfung der Blüte von Mersenne und besonders effizient auf binären Computerarchitekturen sowohl spezialisiert wird. Sie haben auch eine weniger teure Probe-Abteilungsphase, Stunden statt Wochen, verwendet nehmend, um Zahlen von Mersenne mit kleinen Faktoren schnell zu beseitigen, die ein großes Verhältnis von Kandidaten zusammensetzen. Der p von John Pollard  1 Algorithmus wird auch verwendet, um nach größeren Faktoren zu suchen.

Geschichte

Das Projekt hat Anfang Januar 1996 mit einem Programm begonnen, das auf i386 Computern gelaufen ist.

Der Name für das Projekt wurde von Luther Welsh, einem seiner früheren Forscher und des Entdeckers von 29. erstem Mersenne ins Leben gerufen.

Innerhalb von ein paar Monaten hatten sich mehrere Dutzende Menschen, und mehr als eintausend am Ende des ersten Jahres angeschlossen.

Joel Armengaud, ein Teilnehmer, hat den primality der M am 13. November 1996 entdeckt.

Status

, GIMPS hat einen anhaltenden Durchfluss von etwa 86.1 teraflops, theoretisch den GIMPS virtuellen Computer ein Platz unter dem TOP500 die meisten starken bekannten Computersysteme in der Welt verdienend. Theoretisch hält GIMPS Reihe 153 der TOP500 (Fall 2011), nach der Reihe 152, der, ist, halten durch einen 'HP DL160 Traube G6' von Hewlett Packard.

Bezüglich Anfangs 2010 war das etwa 50 teraflops; Mitte 2008 war das etwa 30 teraflops; Mitte 2006, 20 teraflops; und Anfang 2004, nur 14.

Softwarelizenz

Obwohl der Quellcode der GIMPS Software öffentlich verfügbar ist, technisch ist es nicht kostenlose Software, da es eine Beschränkung hat, die Benutzer durch den Vertrieb Begriffe des Projektes erwarten müssen

wenn die Software verwendet wird, um eine Primzahl mit mindestens 100 Millionen dezimalen Ziffern zu entdecken, und die reichliche durch das Elektronische Grenzfundament angebotene US-Dollar-Gabe von 150,000 $ gewinnt.

Blüte gefunden

Die ganze Mersenne Blüte ist in der Form M, wo q die (erste) Hochzahl ist. Die Primzahl selbst ist so die kleinste Primzahl in diesem Tisch ist

Mn ist die Reihe von Mersenne erst gestützt auf seiner Hochzahl. Bezüglich am 17. Febr 2012 ist M41 größter erster Mersenne, für den es bekannt ist, dass es keinen anderen unbekannten Mersenne gibt, der unten mit einer niedrigeren Hochzahl erst ist, seitdem alle Zahlen von Mersenne mit der Haupthochzahl unten 24,212,801 zweimal überprüft worden sind.

Die Zahl M hat 12,978,189 Ziffern. Um zu helfen, sich die Größe dieser Zahl zu vergegenwärtigen, würde ein Standardtextverarbeitungsprogramm-Lay-Out (50 Linien pro Seite, 75 Ziffern pro Linie) verlangen, dass 3,461 Seiten es zeigen. Wenn man es das Verwenden von Standarddruckerpapier, einseitig bespannt drucken sollte, würde man etwa 7 Riese von Papier verlangen.

Wann auch immer eine mögliche Blüte dem Server berichtet wird, wird sie zuerst nachgeprüft, bevor sie bekannt gegeben wird. Die Wichtigkeit davon wurde 2003 illustriert, als, wie man berichtete, ein falscher positiver vielleicht 40. erster Mersenne war, aber Überprüfung hat gescheitert.

Siehe auch

• Liste von verteilten Rechenprojekten
• Verteilte Computerwissenschaft
• PrimeGrid
• Berkeley offene Infrastruktur für das Netz, rechnend

Links

• GIMPS Hausseite
• GIMPS Forum
• Server von PrimeNet
• Mersenne Wiki
• Der inoffizielle GIMPS Stats