Seventeen or Bust | это... Что такое Seventeen or Bust? (original) (raw)
Seventeen or Bust («Семнадцать или провал») — это проект добровольных вычислений по отысканию простых чисел вида для семнадцати различных значений k, которые позволят доказать, что 78557 является минимальным числом Серпинского. Проект стартовал в марте 2002 года.
История проекта
В 1962 Джон Селфридж доказал, что 78 557 — число Серпинского. Кроме того, в 1967 он и Вацлав Серпинский предположили, что 78 557 является наименьшим числом Серпинского. Однако это предположение до сих пор является гипотезой. Чтобы её подтвердить, необходимо доказать, что числа меньшие 78 557 не являются числами Серпинского, то есть для каждого нечётного числа k<78 557 нужно найти число n, при котором значение является простым числом. Когда проект стартовал, это было уже сделано для всех значений k кроме семнадцати, отсюда произошло название проекта — «Семнадцать или провал».
Если проекту удастся найти простые числа вида для каждого из оставшихся значений k, то тем самым гипотеза Селфриджа и Серпинского будет доказана. Однако не исключено, что гипотеза неверна, и одно (или даже несколько) из оставшихся чисел k является числом Серпинского. В этом случае участникам проекта не удастся отыскать простое число вида , и проект рано или поздно будет вынужден остановиться. При этом проведенные вычисления не могут служить доказательством принадлежности проблематичного числа k к числам Серпинского — её придется доказывать другими методами. Возможна также неудача проекта в связи с тем, что минимальное искомое значение n настолько огромно, что его невозможно найти при современном развитии компьютерной техники в разумные сроки, хотя такой вариант маловероятен и противоречит эвристическим оценкам на величину n.
Текущий статус проекта
На сентябрь 2012 года:[1]
- Найдено 11 из требуемых 17 простых чисел.
- Самое большое из найденных чисел, 19249·213018586+1, занимает 10-е место среди самых больших известных простых чисел и в то же время является самым большим известным простым числом, не являющимся числом Мерсенна.[2]
Семнадцать значений k, а также значения одиннадцати найденных простых чисел приведены в таблице:
№ | k | n | Знаков k_·2_n+1 | Дата открытия | Кто нашёл |
---|---|---|---|---|---|
1 | 4847 | 3321063 | 999744 | 15 октября 2005 | Richard Hassler |
2 | 5359 | 5054502 | 1521561 | 6 декабря 2003 | Randy Sundquist |
3 | 10223 | ||||
4 | 19249 | 13018586 | 3918990 | 26 марта 2007 | Константин Агафонов |
5 | 21181 | ||||
6 | 22699 | ||||
7 | 24737 | ||||
8 | 27653 | 9167433 | 2759677 | 8 июня 2005 | Derek Gordon |
9 | 28433 | 7830457 | 2357207 | 30 декабря 2004 | анонимный участник |
10 | 33661 | 7031232 | 2116617 | 30 октября 2007 | Sturle Sunde |
11 | 44131 | 995972 | 299823 | 6 декабря 2002 | deviced (никнэйм) |
12 | 46157 | 698207 | 210186 | 27 ноября 2002 | Stephen Gibson |
13 | 54767 | 1337287 | 402569 | 22 декабря 2002 | Peter Coels |
14 | 55459 | ||||
15 | 65567 | 1013803 | 305190 | 3 декабря 2002 | James Burt |
16 | 67607 | ||||
17 | 69109 | 1157446 | 348431 | 7 декабря 2002 | Sean DiMichele |
См. также
- Riesel Sieve, сходный проект распределённых вычислений для чисел вида _k_·2_n_−1
- Список проектов добровольных вычислений
- BOINC
- PrimeGrid
Примечания
- ↑ Страница статистики проекта (англ.)
- ↑ The «Top Ten» Largest Known Primes (англ.)
Ссылки
Проекты добровольных вычислений | |
---|---|
Астрономия | Albert@Home • Asteroids@home • Constellation • Cosmology@home • Einstein@Home • MilkyWay@home • Orbit@home • PlanetQuest • SETI@home • theSkyNet POGS |
Биология имедицина | Biochemical Library • Cels@Home • CommunityTSC • Correlizer • Docking@Home • DrugDiscovery@Home • DNA@Home • evo@home • evolution@home • FightAIDS@Home • FightMalaria@Home • Folding@home • GPUGrid • Lattice Project • Malariacontrol.net • Neurona@Home • NRG • Poem@Home • Predictor@home • Proteins@Home • QMC@Home • RALPH@Home • RNA World • Rosetta@home • SIMAP@home • SimOne@home • Superlink@Technion • United Devices Cancer Research Project • Volpex@UH • Wildlife@Home |
Когнитивные | Artificial Intelligence System • MindModeling@Home |
Климат | APS@Home • BBC Climate Change Experiment • ClimatePrediction.net • Seasonal Attribution Project • Quake Catcher Network - Seismic Monitoring • Virtual Prairie |
Математика | ABC@home • AQUA@home • Chess960@home • Collatz Conjecture • distributed.net • Enigma@Home • EulerNet • GIMPS • NFSNET • NQueens Project • NumberFields@Home • OProject@Home • PiHex • PrimeGrid • Ramsey@Home • Rectilinear Crossing Number • SAT@home • SHA-1 Collision Search Graz • SubsetSum@Home • RainbowCrack • Seventeen or Bust • SZTAKI Desktop Grid • WEP-M+2 Project • Wieferich@Home • VGTU@Home |
Физико-технические | BRaTS@Home • CuboidSimulation • eOn • Hydrogen@Home • Leiden Classical • LHC@home • Magnetism@home • µFluids@home • Muon1 DPAD • NanoHive@Home • SLinCA@Home • Solar@Home • Spinhenge@home • QuantumFIRE |
Многоцелевые | AlmereGrid • CAS@Home • EDGeS@Home • Ibercivis • Optima@home • World Community Grid • Yoyo@home |
Прочие | Africa@HOME • BURP • DepSpid • DIMES • Ideologias@Home • FreeHAL@home • Gerasim@Home • Pirates@Home • RenderFarm@Home • RND@home • Surveill@Home • YAFU |
Утилиты | BOINC (Account Manager • Manager • client-server technology • Credit System • Wrapper • WUProp) |