Das Cunningham-Projekt ist ein Gemeinschaftsprojekt, das 1925 begann, um Zahlen der Form b n ± 1 für b = 2, 3, 5, 6, 7, 10, 11, 12 und große n zu faktorisieren . Das Projekt ist nach Allan Joseph Champneys Cunningham benannt , der die erste Version der Tabelle zusammen mit Herbert J. Woodall veröffentlichte . [ 1 ] Es existieren drei gedruckte Versionen der Tabelle, die jüngste erschien 2002, [ 2 ] sowie eine Online-Version von Samuel Wagstaff . [ 3 ]
Die aktuellen Grenzwerte der Exponenten sind:
| Base | 2 | 3 | 5 | 6 | 7 | 10 | 11 | 12 |
|---|---|---|---|---|---|---|---|---|
| Limit | 1500 | 900 | 600 | 550 | 500 | 450 | 400 | 400 |
| Aurifeuillean (LM) Grenze | 3000 | 1800 | 1200 | 1100 | 1000 | 900 | 800 | 800 |
Faktoren der Cunningham-Zahl
Aus einer Cunningham-Zahl lassen sich zwei Arten von Faktoren ableiten, ohne dass ein Faktorisierungsalgorithmus benötigt wird : algebraische Faktoren von Binomialzahlen (z. B. Differenz zweier Quadrate und Summe zweier Kuben ), die vom Exponenten abhängen, und Aurifeuille-Faktoren , die sowohl von der Basis als auch vom Exponenten abhängen.
Algebraische Faktoren
Aus der elementaren Algebra,
für alle k , und
Für ungerades k gilt : b²n − 1 = ( bn − 1)( bn + 1 ) . Wenn m also n teilt , sind bm − 1 und bm + 1 Faktoren von bn − 1 , falls der Quotient von n durch m gerade ist ; ist der Quotient ungerade , ist nur die erste Zahl ein Faktor. bm + 1 ist ein Faktor von bn − 1 , wenn m n teilt und der Quotient ungerade ist.
Tatsächlich,
Und
Weitere Informationen finden Sie auf dieser Seite .
Aurifeuillean-Faktoren
Wenn die Zahl eine bestimmte Form hat (der genaue Ausdruck variiert mit der Basis), kann die Aurifeuille-Faktorisierung verwendet werden, die ein Produkt aus zwei oder drei Zahlen liefert. Die folgenden Gleichungen geben die Aurifeuille-Faktoren für die Basen des Cunningham-Projekts als Produkt von F , L und M an : [ 4 ]
Sei b = s 2 × k mit quadratfreiem k , wenn eine der Bedingungen erfüllt ist, dann habe ich eine Aurifeuille-Faktorisierung.
- (i) und
- (ii) und
| B | Nummer | F | L | M | Andere Definitionen |
|---|---|---|---|---|---|
| 2 | 2 4 k +2 + 1 | 1 | 2 2 k +1 − 2 k +1 + 1 | 2 2 k +1 + 2 k +1 + 1 | |
| 3 | 3 6 k +3 + 1 | 3 2 k +1 + 1 | 3 2 k +1 − 3 k +1 + 1 | 3 2 k +1 + 3 k +1 + 1 | |
| 5 | 5 10 k +5 − 1 | 5 2 k +1 − 1 | T 2 − 5 k +1 T + 5 2 k +1 | T 2 + 5 k +1 T + 5 2 k +1 | T = 5 2 k +1 + 1 |
| 6 | 6 12 k +6 + 1 | 6 4 k +2 + 1 | T 2 − 6 k +1 T + 6 2 k +1 | T 2 + 6 k +1 T + 6 2 k +1 | T = 6 2 k +1 + 1 |
| 7 | 7 14 k +7 + 1 | 7 2 k +1 + 1 | A − B | A + B | A = 7 6 k +3 + 3(7 4 k +2 ) + 3(7 2 k +1 ) + 1 B = 7 5 k +3 + 7 3 k +2 + 7 k +1 |
| 10 | 10 20 k +10 + 1 | 10 4 k +2 + 1 | A − B | A + B | A = 10 8 k +4 + 5(10 6 k +3 ) + 7(10 4 k +2 ) + 5(10 2 k +1 ) + 1 B = 10 7 k +4 + 2(10 5 k +3 ) + 2(10 3 k +2 ) + 10 k +1 |
| 11 | 11 22 k +11 + 1 | 11 2 k +1 + 1 | A − B | A + B | A = 11 10 k +5 + 5(11 8 k +4 ) − 11 6 k +3 − 11 4 k +2 + 5(11 2 k +1 ) + 1 B = 11 9 k +5 + 11 7 k +4 − 11 5 k +3 + 11 3 k +2 + 11 k +1 |
| 12 | 12 6 k +3 + 1 | 12 2 k +1 + 1 | 12 2 k +1 − 6(12 k ) + 1 | 12 2 k +1 + 6(12 k ) + 1 |
Andere Faktoren
Nachdem die algebraischen und aurifeuilleschen Faktoren entfernt wurden, haben die übrigen Faktoren von b<sub> n ± 1</sub> stets die Form 2 <sup>kn</sup> + 1 , da die Faktoren von b <sub>n − 1</sub> alle Faktoren von b<sub>n</sub> sind und die Faktoren von b<sub> n + 1</sub> alle Faktoren von b<sub>n</sub> sind . Für Primzahlen n sind weder algebraische noch aurifeuillesche Faktoren möglich, außer den trivialen Faktoren ( b − 1 für b <sub>n − 1</sub> und b + 1 für b <sub> n + 1</sub> ). Bei Mersenne-Zahlen sind die trivialen Faktoren für Primzahlen n nicht möglich , daher haben alle Faktoren die Form 2 <sup>kn</sup> + 1 . Im Allgemeinen sind alle Faktoren von ( b n − 1) /( b − 1) von der Form 2 kn + 1, wobei b ≥ 2 und n eine Primzahl ist, außer wenn n b − 1 teilt , in welchem Fall ( b n − 1) /( b − 1) durch n selbst teilbar ist .
Cunningham-Zahlen der Form b <sup>n -1</sup> sind nur dann Primzahlen, wenn b = 2 und n eine Primzahl ist, wobei n ≥ 2 gilt; dies sind die Mersenne-Zahlen. Zahlen der Form b<sup> n +1</sup> sind nur dann Primzahlen, wenn b gerade und n eine Zweierpotenz ist , wobei n ≥ 2 gilt; dies sind die verallgemeinerten Fermat-Zahlen, die Fermat-Zahlen sind, wenn b = 2 gilt. Jeder Faktor einer Fermat-Zahl 2 <sup> n +1</sup> hat die Form k · 2<sup> n +2</sup> + 1 .
Notation
b <sup>n -1</sup> wird als b <sup> n- </sup> bezeichnet. Analog dazu wird b <sup>n +1</sup> als b <sup> n +</sup> bezeichnet. Bei Zahlen der für die Aurifeuille-Faktorisierung erforderlichen Form werden L und M in den obigen Produkten mit b <sup> n</sup> L und b <sup> n</sup> M bezeichnet . [ 5 ] Die Bezeichnungen b <sup> n- </sup> und b <sup> n +</sup> beziehen sich auf die Zahl, von der alle algebraischen und Aurifeuille-Faktoren entfernt wurden. Beispielsweise haben Mersenne-Zahlen die Form 2<sup> n- </sup> und Fermat-Zahlen die Form 2<sup>2</sup> n +; die von Aurifeuille 1871 faktorisierte Zahl war das Produkt von 2,58L und 2,58M.
Siehe auch
- Cunningham-Zahl
- ECMNET und NFS@Home , zwei Kooperationen, die für das Cunningham-Projekt arbeiten
- Die Great Internet Mersenne Prime Search , die auch ein Projekt zur Faktorisierung von Mersenne-Zahlen mittels elliptischer Kurvenfaktorisierung besitzt.
Referenzen
- ^ Cunningham, Allan JC; Woodall, HJ (1925). Faktorisierung von y n ± 1, y = 2, 3, 5, 6, 7, 10, 11, 12, bis zu hohen Potenzen n . Hodgson .
- Brillhart , John ; Lehmer, Derrick H .; Selfridge, John L .; Tuckerman, Bryant; Wagstaff, Samuel S. (2002). Faktorisierungen von b <sup> n ± 1</sup>, b = 2, 3, 5, 6, 7, 10, 11, 12 bis zu hohen Potenzen . Contemporary Mathematics. Band 22. AMS. doi : 10.1090/conm/022 . ISBN 9780821850787Die
- ^ „Das Cunningham-Projekt“ . Abgerufen am 23. November 2023 .
- ^ „Haupttabellen von Cunningham“ . Abgerufen am 15. Januar 2025 .Am Ende der Tabellen 2LM, 3+, 5-, 6+, 7+, 10+, 11+ und 12+ finden sich Formeln, die die Aurifeuille-Faktorisierungen detailliert beschreiben.
- ^ „Erläuterung der Notation auf den Seiten“ . Abgerufen am 23. November 2023 .
Externe Links
- Homepage des Cunningham-Projekts
- Faktorisierungen von b n ±1, b = 2, 3, 5, 6, 7, 10, 11, 12 bis zu hohen Potenzen, zweite Auflage
- Faktorisierungen von b n ±1, b = 2, 3, 5, 6, 7, 10, 11, 12 bis zu hohen Potenzen, dritte Auflage
- Haupttabelle des Cunningham-Projekts
- Älterer Haupttisch des Cunningham-Projekts
- Haupttabelle der dritten Auflage des Cunningham-Buches
- Maschinenlesbare Cunningham-Tabellen
- Das Cunningham-Projekt
- Brent-Montgomery-te Riele-Tabelle (Cunningham-Tabellen für höhere Basen (Basen 13 ≤ b ≤ 99, perfekte Potenzen ausgeschlossen, da eine Potenz von b n auch eine Potenz von b ist ))
- Online-Faktorsammlung
- Cunningham-Projekt auf Prime Wiki
- Cunningham-Projekt auf PrimePages