Great Internet Mersenne Prime Search

редактировать
Совместный проект добровольцев, которые используют бесплатное программное обеспечение для поиска простых чисел Мерсенна логотип GIMPS

The Great Internet Mersenne Prime Search (GIMPS ) - это совместный проект добровольцев, которые используют свободно доступное программное обеспечение для поиска простых чисел Мерсенна.

GIMPS была основана в 1996 г. Автор Джордж Уолтман, который также написал клиент Prime95 и его порт для Linux MPrime. Скотт Куровски написал внутренний сервер PrimeNet сервер для демонстрации программного обеспечения для распределенных вычислений от Entropia, компании, которую он основал в 1997 году. GIMPS зарегистрирован как Mersenne Research, Inc., где Куровски является исполнительным вице-президентом и директором правления. Считается, что GIMPS является одним из первых крупномасштабных проектов распределенных вычислений через Интернет в исследовательских целях.

По состоянию на июль 2020 года в рамках проекта было обнаружено в общей сложности семнадцать Мерсеннов. простые числа, пятнадцать из которых были наибольшим известным простым числом на момент их открытия. Наибольшее известное простое число по состоянию на июль 2020 года составляет 2-1 (или M 82,589,933 для краткости) и было обнаружено 7 декабря 2018 года Патриком Ларошем.

Проект опирается в первую очередь на Тест простоты Лукаса – Лемера, поскольку это алгоритм, который одновременно специализируется на проверке простых чисел Мерсенна и особенно эффективен на двоичных компьютерных архитектурах. Существует также фаза пробного деления, используемая для быстрого исключения многих чисел Мерсенна с небольшими коэффициентами. Алгоритм p - 1 Полларда также используется для поиска сглаженных факторов. В 2017 году GIMPS принял тест на простоту Ферма в качестве альтернативного варианта для проверки на простоту.

Содержание

  • 1 История
  • 2 Статус
  • 3 Лицензия на программное обеспечение
  • 4 Найдены простые числа
  • 5 См. Также
  • 6 Ссылки
  • 7 Внешние ссылки

История

Проект начался в начале января 1996 года с программы, работающей на компьютерах i386. Название для проекта было придумано Лютером Уэлшем, одним из его первых исследователей и одним из первооткрывателей 29-го простого числа Мерсенна. В течение нескольких месяцев к нам присоединилось несколько десятков человек, а к концу первого года - более тысячи. Жоэль Арменго, участник, обнаружил первичность M 1,398,269 13 ноября 1996 года.

Статус

По состоянию на май 2020 года GIMPS имеет устойчивый средний совокупный показатель пропускная способность примерно 1,17 петафлопс (или пфлопс). В ноябре 2012 года GIMPS поддерживал 95 терафлопс, что теоретически принесло виртуальному компьютеру GIMPS рейтинг 330 среди TOP500 самых мощных известных компьютерных систем в мире. Предыдущее место заняла HP Cluster Platform 3000 BL460c G7 от Hewlett-Packard. По результатам TOP500 за ноябрь 2014 года эти старые номера GIMPS больше не будут входить в список.

Ранее это было примерно 50 терафлопс в начале 2010 г., 30 терафлопс в середине 2008 г., 20 терафлопс в середине 2006 г. и 14 терафлопс в начале 2004 г.

Лицензия на программное обеспечение

Хотя исходный код программного обеспечения GIMPS является общедоступным, технически это не бесплатное программное обеспечение, поскольку оно имеет ограничение, согласно которому пользователи должны соблюдать условия распространения проекта. В частности, если программное обеспечение используется для обнаружения простого числа, содержащего не менее 100000000 десятичных цифр, пользователь выиграет только 50 000 долларов из приза в 150 000 долларов, предлагаемого Electronic Frontier Foundation.

Сторонними программами для тестирования чисел Мерсенна, такие как Mlucas и Glucas (для систем, отличных от x86), не имеют этого ограничения.

GIMPS также «оставляет за собой право изменять это EULA без уведомления и с разумной обратной силой».

Найдены простые числа

Все простые числа Мерсенна имеют форму M p = 2 - 1, где p - само простое число. Наименьшее простое число Мерсенна в этой таблице 2 - 1.

Первый столбец - это ранг простого числа Мерсенна в (упорядоченной) последовательности всех простых чисел Мерсенна; GIMPS нашел все известные простые числа Мерсенна, начиная с 35-го.

#Дата открытияPrime M pКоличество цифрПроцессор
3513 ноября 1996 г.M1398269420,921Pentium (90 МГц )
3624 августа 1997 г.M2976221895,932Pentium (100 МГц)
3727 января 1998 г.M3021377909 526Pentium (200 МГц)
381 июня 1999 г.M69725932,098,960Pentium (350 МГц)
3914 ноября 2001 г.M134669174,053,946AMD T-Bird (800 МГц)
4017 ноября 2003 г.M209960116,320,430Pentium (2 ГГц)
4115 мая 2004 г.M240365837235733Pentium 4 (2,4 ГГц)
4218 февраля 2005 г.M259649517,816230Pentium 4 (2,4 ГГц)
43декабрь 15, 2005M304024579,152,052Pentium 4 (с 2 ГГц разогнан до 3 ГГц)
444 сентября 2006 г.M325826579,808,358Pentium 4 (3 ГГц)
456 сентября 2008 г.M3715666711 185 272Intel Core 2 Duo (2,83 ГГц)
464 июня, 2009M4264380112,837,064Intel Core 2 Duo (3 ГГц)
4723 августа 2008 г.M4311260912,978,189ЦП Intel Core 2 Duo E6600 (2,4 ГГц)
4825 января 2013 г.M5788516117 425 170Intel Core 2 Duo E8400 @ 3,00 ГГц
497 января 2016 г.M7420728122 338 618Intel Core i7-4790
5026 декабря, 2017M7723291723,249,425Intel Core i5-6600
517 декабря 2018 г.M8258993324,862,048Intel Core i5-4590T

По состоянию на 4 ноября 2020 года 53,551,349 - это наибольший показатель степени, ниже которого все другие простые показатели были проверены дважды, поэтому не проверяется, существуют ли какие-либо неоткрытые простые числа Мерсенна между 47-м (M 43112609 ) и 51-й (M 82589933) на этом графике; поэтому рейтинг является предварительным. Кроме того, 95 264 809 является наибольшим показателем, ниже которого все остальные простые показатели были протестированы хотя бы один раз, поэтому все числа Мерсенна ниже 51-го (M 82589933) были протестированы.

Число M 82589933 содержит 24 862 048 десятичных цифр. Чтобы наглядно представить размер этого числа, если бы его нужно было сохранить на диск, результирующий текстовый файл был бы длиной почти 25 мегабайт (большинство книг в текстовом формате занимают менее двух мегабайт). Для отображения стандартного текстового редактора (50 строк на страницу, 75 цифр в строке) потребуется 6 629 страниц. Если распечатать его на стандартной односторонней бумаге для принтера, потребуется примерно 14 стопок бумаги.

Всякий раз, когда серверу сообщается возможное простое число, оно сначала проверяется перед объявлением. Важность этого была проиллюстрирована в 2003 году, когда сообщалось, что ложное срабатывание могло быть 40-м простым числом Мерсенна, но проверка не удалась.

Официальная "дата открытия" простого числа - это дата, когда человек впервые заметил простое число. результат для простого числа, который может отличаться от даты, когда результат был впервые отправлен на сервер. Например, M 74207281 был передан серверу 17 сентября 2015 г., но отчет не просматривался до 7 января 2016 г.

См. Также

Ссылки

Внешние ссылки

Последняя правка сделана 2021-05-22 08:41:40
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте