Seventeen or Bust


Seventeen or Bust

Seventeen or Bust («Семнадцать или провал») — это проект добровольных вычислений по отысканию простых чисел вида k\cdot 2^n + 1 для семнадцати различных значений k, которые позволят доказать, что 78557 является минимальным числом Серпинского. Проект стартовал в марте 2002 года.

Содержание

История проекта

В 1962 Джон Селфридж доказал, что 78 557 — число Серпинского. Кроме того, в 1967 он и Вацлав Серпинский предположили, что 78 557 является наименьшим числом Серпинского. Однако это предположение до сих пор является гипотезой. Чтобы её подтвердить, необходимо доказать, что числа меньшие 78 557 не являются числами Серпинского, то есть для каждого нечётного числа k<78 557 нужно найти число n, при котором значение k\cdot 2^n + 1 является простым числом. Когда проект стартовал, это было уже сделано для всех значений k кроме семнадцати, отсюда произошло название проекта — «Семнадцать или провал».

Если проекту удастся найти простые числа вида k\cdot 2^n + 1 для каждого из оставшихся значений k, то тем самым гипотеза Селфриджа и Серпинского будет доказана. Однако не исключено, что гипотеза неверна, и одно (или даже несколько) из оставшихся чисел k является числом Серпинского. В этом случае участникам проекта не удастся отыскать простое число вида k\cdot 2^n + 1, и проект рано или поздно будет вынужден остановиться. При этом проведенные вычисления не могут служить доказательством принадлежности проблематичного числа k к числам Серпинского — её придется доказывать другими методами. Возможна также неудача проекта в связи с тем, что минимальное искомое значение n настолько огромно, что его невозможно найти при современном развитии компьютерной техники в разумные сроки, хотя такой вариант маловероятен и противоречит эвристическим оценкам на величину n.

Текущий статус проекта

На сентябрь 2012 года:[1]

  • Найдено 11 из требуемых 17 простых чисел.
  • Самое большое из найденных чисел, 19249·213018586+1, занимает 10-е место среди самых больших известных простых чисел и в то же время является самым большим известным простым числом, не являющимся числом Мерсенна.[2]

Семнадцать значений k, а также значения одиннадцати найденных простых чисел приведены в таблице:

k n Знаков k·2n+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·2n−1
  • Список проектов добровольных вычислений
  • BOINC
  • PrimeGrid

Примечания

Ссылки


Wikimedia Foundation. 2010.

Смотреть что такое "Seventeen or Bust" в других словарях:

  • Seventeen or Bust — is a distributed computing project started in March 2002 to solve the last seventeen cases in the Sierpinski problem. Contents 1 Goals 2 Prime number discoveries 3 See also 4 References …   Wikipedia

  • Seventeen or bust — « Seventeen or Bust » (Dix sept ou arrêt) est un projet de calcul distribué, pour résoudre le problème de Sierpiński. Le but de ce projet est de prouver que 78 557 est le plus petit nombre de Sierpiński. Pour ce faire, tous les nombres… …   Wikipédia en Français

  • Seventeen or Bust — « Seventeen or Bust » (Dix sept ou arrêt) est un projet de calcul distribué, pour résoudre le problème de Sierpiński. Le but de ce projet est de prouver que 78 557 est le plus petit nombre de Sierpiński. Pour ce faire, tous les nombres… …   Wikipédia en Français

  • Dix-sept ou arrêt — Seventeen or Bust « Seventeen or Bust » (Dix sept ou arrêt) est un projet de calcul distribué, pour résoudre le problème de Sierpiński. Le but de ce projet est de prouver que 78 557 est le plus petit nombre de Sierpiński. Pour ce faire …   Wikipédia en Français

  • Nombres 10 000 a 99 999 — Nombres 10 000 à 99 999 Cet article recense la plupart des nombres qui ont des propriétés remarquables allant de dix mille (10 000) à quatre vingt dix neuf mille neuf cent quatre vingt dix neuf (99 999). Article détaillé : 10 000 (nombre).… …   Wikipédia en Français

  • Nombres 10 000 À 99 999 — Cet article recense la plupart des nombres qui ont des propriétés remarquables allant de dix mille (10 000) à quatre vingt dix neuf mille neuf cent quatre vingt dix neuf (99 999). Article détaillé : 10 000 (nombre). Sommaire 1 Nombres dans l …   Wikipédia en Français

  • Nombres 10 000 à 99 999 — Cet article recense la plupart des nombres qui ont des propriétés remarquables allant de dix mille (10 000) à quatre vingt dix neuf mille neuf cent quatre vingt dix neuf (99 999). Article connexe : 10 000 (nombre). Sommaire 1 Nombres dans l… …   Wikipédia en Français

  • PrimeGrid — PrimeGrid  проект добровольных распределенных вычислений на платформе BOINC, целью которого является поиск различных простых чисел специального вида. Проект стартовал 12 июня 2005 года. По состоянию на 25 марта 2012 года в нём приняли… …   Википедия

  • PrimeGrid — Développeur Rytis Slatkevičius Première version 12 …   Wikipédia en Français

  • Sierpinski number — In number theory, a Sierpinski number is an odd natural number k such that integers of the form k 2 n + 1 are composite (i.e. not prime) for all natural numbers n .In other words, when k is a Sierpinski number, all members of the following set… …   Wikipedia