Перевод поста Джона Макги (John McGee) "Mersenne Primes and the Lucas–Lehmer Test".
Код, приведенный в статье, можно скачать здесь.
Выражаю огромную благодарность Полине Сологуб за помощь в переводе и подготовке публикации.
Содержание
—
Введение.
—
Теорема множителей Эйлера и Мерсенна
—
Люка и Лемер
—
От
до ![${M_{20}}$](https://habrastorage.org/getpro/habr/post_images/956/b01/4ad/956b014ad1acd89a43f789a2140ce505.svg)
—
Совершенные числа
—
21-е, 22-е и 23-е числа Мерсенна
—
24-е, 25-е и 26-е числа Мерсенна.
—
27-е и 28-е числа Мерсенна
—
29-е число Мерсенна
—
30-е и 31-е числа Мерсенна
—
Великий интернет-поиск чисел Мерсенна
—
Факторизация чисел Мерсенна
Введение
Простое число Мерсенна — простое число вида
![${M_p} = {2^p} - 1$](https://habrastorage.org/getpro/habr/post_images/24e/085/f17/24e085f17f198bde86bc719cfe21f8b4.svg)
(значение степени
р также должно быть простым). Эти простые числа получили свое название от имени французского математика и религиозного ученого
Мерсенна, который и составил данный список простых чисел этой формы в первой половине семнадцатого века. Первые четыре из них были известны уже давно:
![${M_2} = 3$](https://habrastorage.org/getpro/habr/post_images/317/6ff/f1e/3176fff1ee728227c396ee977a80ec44.svg)
,
![${M_3} = 7$](https://habrastorage.org/getpro/habr/post_images/3ac/8ff/ffc/3ac8ffffcfc719fce51768c59a5992c3.svg)
,
![${M_5} = 31$](https://habrastorage.org/getpro/habr/post_images/75f/8c9/cb3/75f8c9cb37d53064b00990d2942d2ac9.svg)
и
![${M_7} = 127$](https://habrastorage.org/getpro/habr/post_images/dbf/7da/cfd/dbf7dacfde5322bb2dc4f08c767e1de6.svg)
.
Мерсенн утверждал, что значение
![${2^p} - 1$](https://habrastorage.org/getpro/habr/post_images/f84/17e/201/f8417e201d444502f8422d33405549ab.svg)
будет простым для простых чисел
![$p \leqslant 257$](https://habrastorage.org/getpro/habr/post_images/185/dc0/5c0/185dc05c0858188f872ee4f7903d2c4f.svg)
, принадлежащих множеству
![$p \in \left\{ {{\text{2}}{\text{,3}}{\text{,5}}{\text{,7}}{\text{,13}}{\text{,17}}{\text{,19}}{\text{,31}}{\text{,67}}{\text{,127}}{\text{,257}}} \right\}$](https://habrastorage.org/getpro/habr/post_images/93b/3d9/8fe/93b3d98fe93131804dddec6e4119089d.svg)
. Во всем ли он был прав, можно проверить с помощью функции
Wolfram Language —
PrimeQ, в которой используются современные методы тестирования чисел на простоту, для которых не требуется поиска конкретного множителя, чтобы доказать, что число составное.
Вполне возможно, что его утверждение о том, что
![${M_{67}}$](https://habrastorage.org/getpro/habr/post_images/b45/0d1/88e/b450d188e038ac33032520b248cd53e1.svg)
— простое число, просто опечатка, и на самом деле он имел в виду
![${M_{61}}$](https://habrastorage.org/getpro/habr/post_images/15d/4f2/c17/15d4f2c1728b48c188c0c7d3584e7b6f.svg)
. Несложно понять, что проверка на простоту была при жизни Мерсенна делом затруднительным, поскольку проверка делением была одним из немногих доступных инструментов. Например, для
![${M_{257}}$](https://habrastorage.org/getpro/habr/post_images/20e/f7a/ff8/20ef7aff8e13224c24062bd7a7b78f20.svg)
наименьшим множителем оказывается 15-значное число, так что даже с современными методами факторизации его не так-то легко найти. В функции
FactorInteger используются
наиболее совершенные методы, которые позволяют применять метод факторизации в отношении больших целых чисел.
Теорема множителей Эйлера и Мерсенна
Первые важные достижения в области проверки на простоту принадлежат великому математику
Леонарду Эйлеру, который незадолго до 1772 года уточнил, что
![${M_{31}}$](https://habrastorage.org/getpro/habr/post_images/71a/023/6b9/71a0236b92a4a4a0f7ad10327d246752.svg)
является простым. Он сделал это, продемонстрировав, что любой простой делитель
![${M_{31}}$](https://habrastorage.org/getpro/habr/post_images/71a/023/6b9/71a0236b92a4a4a0f7ad10327d246752.svg)
должен быть равен 1 или 62 (mod 248).
Такой относительно короткий список даже во времена Эйлера мог быть проверен с помощью пробного деления (вручную). Ему принадлежит применение
теоремы Мерсенна, в которой говорится, что если
![$q$](https://habrastorage.org/getpro/habr/post_images/883/125/9ea/8831259eab25aeb79be5c9e3741149c8.svg)
является делителем
![${M_p}$](https://habrastorage.org/getpro/habr/post_images/385/b4a/0b9/385b4a0b9c6aadd1bb893ea902340a03.svg)
, то
![$q \equiv 1 \vee - 1\left( {\bmod 8} \right)$](https://habrastorage.org/getpro/habr/post_images/0fe/114/aa3/0fe114aa348910ae2faddd5800519e89.svg)
,
![$q \equiv 1\left( {\bmod p} \right)$](https://habrastorage.org/getpro/habr/post_images/5e9/5b3/f23/5e95b3f23935b2bf51b48918be762fcc.svg)
и
![$q \equiv 2kp + 1$](https://habrastorage.org/getpro/habr/post_images/8f3/fe9/75b/8f3fe975bc7b2fb6989bf12dc5f65a4b.svg)
для некоторого целого положительного числа
![$k$](https://habrastorage.org/getpro/habr/post_images/839/452/3d1/8394523d1f4bab66a8544cd365388d87.svg)
. Эти факты значительно ограничивают количество возможных делителей
![${M_p}$](https://habrastorage.org/getpro/habr/post_images/385/b4a/0b9/385b4a0b9c6aadd1bb893ea902340a03.svg)
. С помощью функций, представленных ниже, демонстрируется использование этой теоремы с целью предоставления списка возможных делителей
![${M_p}$](https://habrastorage.org/getpro/habr/post_images/385/b4a/0b9/385b4a0b9c6aadd1bb893ea902340a03.svg)
, меньших, чем
![$\sqrt {{2^p} - 1} $](https://habrastorage.org/getpro/habr/post_images/d5f/243/3c1/d5f2433c16be6a4a2cd4930e1b2ab7f0.svg)
.
Мы используем эти функции, чтобы быстро найти делитель
![${2^{41}} - 1$](https://habrastorage.org/getpro/habr/post_images/311/887/ef2/311887ef2029ff68c62fd4873b72ab66.svg)
. Обратите внимание, что
![$q$](https://habrastorage.org/getpro/habr/post_images/883/125/9ea/8831259eab25aeb79be5c9e3741149c8.svg)
является делителем
![${2^{p}} - 1$](https://habrastorage.org/getpro/habr/post_images/f84/17e/201/f8417e201d444502f8422d33405549ab.svg)
тогда и только тогда, когда
![${2^p} \equiv 1\left( {\bmod q} \right)$](https://habrastorage.org/getpro/habr/post_images/ca7/08e/02f/ca708e02f97bbe63db2f7a6994801b83.svg)
. Это дает возможность использовать функцию
PowerMod, что обеспечивает эффективное возведение в степень по модулю.
Ниже приводится число Мерсенна с 161649 знаками:.
Люка и Лемер
Следующим важным шагом стало открытие
Эдуардом Люка метода для проверки простоты чисел данной формы. Он использовал свой метод в 1876 году для проверки, является ли
![${M_{127}}$](https://habrastorage.org/getpro/habr/post_images/4d5/541/280/4d5541280f25eb93a3352541dd9d7cc1.svg)
(самое большое число Мерсенна "докомпьютерной" эпохи) простым. В начале двадцатого века, когда основы двоичной арифметики и алгебры стали широко известны,
Дерек Генри Лемер усовершенствовал метод Люка. Полученный в результате тест
простоты чисел Люка-Лемера обеспечивал эффективную проверку, если число данной формы являлось простым. Проверка проводилась с помощью сравнения по модулю:
Это означает, что
![$k$](https://habrastorage.org/getpro/habr/post_images/839/452/3d1/8394523d1f4bab66a8544cd365388d87.svg)
идентично числу, представленному его
![$p$](https://habrastorage.org/getpro/habr/post_images/112/bb3/965/112bb396570b07f26f792e48c3447496.svg)
битами низшего порядка, плюс — числами, представленными остальными битами. Это соотношение может применяться рекурсивно до тех пор, пока
![$k < {2^p} - 1$](https://habrastorage.org/getpro/habr/post_images/03d/a0b/92e/03da0b92e858e6f0953a0e4769012127.svg)
.
Рассмотрим следующий пример. Здесь мы покажем, что
![](http://blog.wolfram.com/data/uploads/2016/09/inline-1_3.png)
для
![$k = {\text{1234567891}}$](https://habrastorage.org/getpro/habr/post_images/1c3/46f/a08/1c346fa08b4aa8debcbc920d7d8c6687.svg)
. Обратите внимание, что
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/c12/0e4/910/c120e4910de28f9f7595b685cadc756a.png)
(23 бита низшего порядка) и
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/24e/c69/496/24ec69496dd665e7a882a8a1c39345d2.png)
— означает, что остальные биты сдвинуты в крайнее нижнее положение.
Функция ниже задает этот метод для вычисления
![$k\bmod \left( {{2^p} - 1} \right)$](https://habrastorage.org/getpro/habr/post_images/f87/739/c8c/f87739c8c5cc923f4907c44f198e48c8.svg)
с использованием только битовых операций (без деления). Обратите внимание на то, что
![${2^n} - 1$](https://habrastorage.org/getpro/habr/post_images/953/741/1e3/9537411e3bb06c3ee66bb7eed3cf1339.svg)
имеет двоичную форму
![${111...111_2}$](https://habrastorage.org/getpro/habr/post_images/fc7/273/7cc/fc72737ccc28c1880e05156af57081f6.svg)
, при этом нет ни одного 0, и поэтому она также служит в качестве маски для
![$p$](https://habrastorage.org/getpro/habr/post_images/112/bb3/965/112bb396570b07f26f792e48c3447496.svg)
битов низшего порядка числа
![$k$](https://habrastorage.org/getpro/habr/post_images/839/452/3d1/8394523d1f4bab66a8544cd365388d87.svg)
.
Следующая функция реализует тест простоты Люка-Лемера (LLT). Определим последовательность
![${s_0} = 4$](https://habrastorage.org/getpro/habr/post_images/8d2/f8a/c32/8d2f8ac3205f640437f4e7399b692d22.svg)
,
![${s_i} = s_{i - 1}^2 - 2;i > 0$](https://habrastorage.org/getpro/habr/post_images/edc/88a/d53/edc88ad53f88c55f10f9090c79ebdb9b.svg)
. Тогда
![${M_p} = {2^p} - 1$](https://habrastorage.org/getpro/habr/post_images/24e/085/f17/24e085f17f198bde86bc719cfe21f8b4.svg)
является простым тогда и только тогда, когда
![${s_{p - 1}} \equiv 0\left( {\bmod {M_p}} \right)$](https://habrastorage.org/getpro/habr/post_images/5cd/f1f/c64/5cdf1fc64deab4881a75a391cbca9069.svg)
.
Опыт показывает, что основное время выполнения этих функций тратится на целочисленную арифметику.
Чтобы проверить, является ли
![${2^p} - 1$](https://habrastorage.org/getpro/habr/post_images/f84/17e/201/f8417e201d444502f8422d33405549ab.svg)
простым, лучше сначала проверять простоту на небольших простых делителях и выполнять другие проверки простоты. Сначала мы используем теорему делителей простых чисел Мерсенна, закодированную в
checkMPDivisors, а затем функцию
PrimeQ. Если это не сработает, применим тест Люка-Лемера.
Здесь мы представляем расширенную версию функции
PrimeQ, которая применяет тест Люка-Лемера для больших чисел вида
![${2^p} - 1$](https://habrastorage.org/getpro/habr/post_images/f84/17e/201/f8417e201d444502f8422d33405549ab.svg)
.
От
до ![${M_{20}}$](https://habrastorage.org/getpro/habr/post_images/956/b01/4ad/956b014ad1acd89a43f789a2140ce505.svg)
Первым простым числом Мерсенна, обнаруженным на компьютере с помощью теста Люка-Лемера, стало
![${M_{521}}$](https://habrastorage.org/getpro/habr/post_images/abd/8c6/98f/abd8c698facd2bb17ba982bedc711764.svg)
, найденное Рафаэлем Робинсоном 30 января 1952 года на базе лампового компьютера SWAC (Standards Western Automatic Computer). Ниже вы видите блок памяти этого компьютера, содержащий 256 слов по 37 бит каждое.
20-е простое число Мерсенна было обнаружено
Александром Гурвицем в ноябре 1961 года в результате проведения 50-минутного теста Люка-Лемера на IBM 7090. Ниже мы воспроизводим эти результаты (на это потребовалось около 151 секунд машинного времени на современном одноядерном ноутбуке).
Одной из особенностей Wolfram Language, делающей его пригодным для такого рода работы, является его быстрая целочисленная арифметика. Поиск простых чисел Мерсенна стал настоящим вызовом на рассвете эпохи компьютеризированного поиска. Исследователи адаптировали методы быстрого преобразования Фурье для преобразования задачи умножения двух больших целых чисел в простое поэлементное произведение трансформированных цифр. Быстрое умножение целых чисел необходимо для шага возведения в квадрат в тесте Люка-Лемера. В Wolfram Language используются новейшие алгоритмы, оптимизированые для работы с точными целыми числами с миллиардами символов. Например, убедимся, что последнее из них, —
![${M_{4423}}$](https://habrastorage.org/getpro/habr/post_images/218/7de/828/2187de8287d75ac9b51fd12666a596cc.svg)
, — на самом деле простое число Мерсенна, и продемонстрируем все его цифры.
Совершенные числа
Существует интересная связь между простыми числами Мерсенна и совершенными числами.
Совершенное число — это число, равное сумме всех своих делителей (отличных от самого числа). Евклид предполагал, а Эйлер доказал, что все четные совершенные числа, имеют вид
![$P = {2^{p - 1}}\left( {{2^p} - 1} \right) = {2^{p - 1}}{M_p}$](https://habrastorage.org/getpro/habr/post_images/280/6d5/41c/2806d541c9a50bc5f96860ab609e7f95.svg)
. Функция Wolfram Language
PerfectNumberQ проверяет, является ли число совершенным. Продемонстрируем это свойство на
![${M_{31}}$](https://habrastorage.org/getpro/habr/post_images/71a/023/6b9/71a0236b92a4a4a0f7ad10327d246752.svg)
.
21-е, 22-е и 23-е числа Мерсенна
Перейдем к переоткрытию 21-го, 22-го и 23-го чисел Мерсенна (будем обозначать их далее в форме вида
![$\# 21$](https://habrastorage.org/getpro/habr/post_images/3b7/e6a/e5d/3b7e6ae5db2d847d4cf835136eb67bfc.svg)
):
![$\# 21 = {M_{9689}}$](https://habrastorage.org/getpro/habr/post_images/93e/728/54c/93e72854c38aef8053d3156ff9a1556c.svg)
,
![$\# 22 = {M_{9941}}$](https://habrastorage.org/getpro/habr/post_images/6f8/d45/5cd/6f8d455cdb30f68644982fe47ffc4dfb.svg)
,
![$\# 23 = {M_{11213}}$](https://habrastorage.org/getpro/habr/post_images/08b/68b/61d/08b68b61d6fb222bac1f1261b50c99ed.svg)
. Все они были обнаружены Дональдом Гиллисом, который запускал LLT на ILLIAC II всю весну 1963 года (см.
здесь). Для проверки всех чисел вида
![${2^p} - 1$](https://habrastorage.org/getpro/habr/post_images/f84/17e/201/f8417e201d444502f8422d33405549ab.svg)
для простых чисел в промежутке
![$7927 \leqslant p \leqslant 17389$](https://habrastorage.org/getpro/habr/post_images/7fa/11c/422/7fa11c4222979e722071529e23eefa72.svg)
нам понадобилось около 6 минут.
24-е, 25-е и 26-е числа Мерсенна
Далее мы расширяем поиск, чтобы найти
![$\# 24 = {M_{19937}}$](https://habrastorage.org/getpro/habr/post_images/b4d/356/628/b4d3566280c391a744ab3ecf1a049df7.svg)
,
![$\# 25 = {M_{21701}}$](https://habrastorage.org/getpro/habr/post_images/8ea/c36/4e3/8eac364e3df512d17bd59e5aef1895b2.svg)
,
![$\# 26 = {M_{23209}}$](https://habrastorage.org/getpro/habr/post_images/f2c/fe8/ffe/f2cfe8ffeaab9d9070a965b88fd1a3a7.svg)
. Последнее из них было обнаружено в феврале 1979 г. Лэндоном Куртом Ноллом и Лорой Никель. Они искали в диапазоне от
![${M_{21001}}$](https://habrastorage.org/getpro/habr/post_images/072/c1f/3e0/072c1f3e0b29fa98317130126a7cc0e3.svg)
до
![${M_{24499}}$](https://habrastorage.org/getpro/habr/post_images/5ab/aa0/5c5/5abaa05c51fe92f30bc6aed28baafccd.svg)
на суперкомпьютере CDC Cyber 174 (почитать об этом можно
здесь). Наши расчеты становятся более долгими, так что мы начинаем использовать параллельную обработку. Поскольку тесты независимы, для ускорения работы мы можем использовать
ParallelMap. Проверка диапазона
![$17393 \leqslant p \leqslant 27449$](https://habrastorage.org/getpro/habr/post_images/923/384/00a/92338400a1b891436f0c051e980e396f.svg)
занимает приблизительно три с половиной минуты (используются 4 ядра).
Обратите внимание на то, что специализированный тест Люка-Лемера значительно быстрее, чем более общая функция
PrimeQ (для данных чисел Мерсенна).
27-е и 28-е числа Мерсенна
Далее мы проверили диапазон
![$27457 \leqslant p \leqslant 48611$](https://habrastorage.org/getpro/habr/post_images/582/6c0/f19/5826c0f196e7c6183275a476c5ac1bc2.svg)
, чтобы найти число
![$\# 27 = {M_{44497}}$](https://habrastorage.org/getpro/habr/post_images/eea/b6a/c5a/eeab6ac5a6ab9869c47080b2681eb3d6.svg)
. Оно было обнаружено в апреле 1979 года Гарри Нельсоном и его командой (они использовали суперкомпьютер Cray-1). Наш поиск завершился за 15 минут.
Следующее число Мерсенна,
![$\# 28 = {M_{86243}}$](https://habrastorage.org/getpro/habr/post_images/d36/acc/59e/d36acc59e329a331fb3d69d3bcce4ece.svg)
. Оно был открыто в сентябре 1982 года Дэвидом Словински — также на Cray-1. Этот суперкомпьютер весил около 5 тонн и потреблял около 115 киловатт электроэнергии, а его вычислительная производительность достигала 160
мегафлопс. Он поставлялся с 1 миллионом 64-разрядных слов памяти (8 мегабайт), а стоил около 16000000$ в сегодняшних ценах. Ниже показана деталь его системы охлаждения. Для сравнения:
Raspberry Pi весит несколько унций, работает на 4 Вт, обеспечивает около 410 мегафлопс и снабжен 1Гб оперативной памяти, и это все — за 40$. А еще он поставляется сразу с системой
Mathematica.
Число
![$\# 28 = {M_{86243}}$](https://habrastorage.org/getpro/habr/post_images/d36/acc/59e/d36acc59e329a331fb3d69d3bcce4ece.svg)
содержит 25962 цифры. Это значение мы нашли за 1 час и 14 минут (на моем ноутбуке, а не на Raspberry Pi), проводя испытания в диапазоне
![$48619 \leqslant p \leqslant 87533$](https://habrastorage.org/getpro/habr/post_images/554/470/0dd/5544700dd21ddea533c7bffdcfdb41e5.svg)
.
29-е число Мерсенна
Поскольку теперь нам требуется более серьезное компьютерное время, мы также производим отметку времени для каждого прогона. Теперь мы проверяем диапазон
![$87557 \leqslant p \leqslant 110597$](https://habrastorage.org/getpro/habr/post_images/147/46c/a0a/14746ca0aae6a444f5e65ce3839099f5.svg)
. Через 1 час и 44 минут компьютер показал:
![$\# 29 = {M_{110503}}$](https://habrastorage.org/getpro/habr/post_images/ebd/18d/6e6/ebd18d6e6e1972d04bff276639eadb4b.svg)
. Это число впервые было обнаружено 29 января 1988 года Уокер Колкуиттом и Люком Уэлшем (суперкомпьютер NEC DX-2; статью можно найти
здесь).
30-е и 31-е числа Мерсенна
Следующие два простых числа Мерсенна:
![${M_{132049}}$](https://habrastorage.org/getpro/habr/post_images/c6e/589/a32/c6e589a326759ba7f23c42f236b6ebd7.svg)
и
![${M_{216091}}$](https://habrastorage.org/getpro/habr/post_images/bc4/b6b/acb/bc4b6bacb49b17bbe0a5261f8d6d9513.svg)
, — были на самом деле обнаружены еще до 29-го (той же командой, которая обнаружила и 28-е). Они использовали Cray X-MP, чтобы найти 30-е число Мерсенна в сентябре 1983 года и 31-е — в сентябре 1985 года. Проверим
![$\# 30 $](https://habrastorage.org/getpro/habr/post_images/bdc/48e/2f8/bdc48e2f8359c712b709db75929625fd.svg)
с помощью функции поиска в диапазоне
![$110603 \leqslant p \leqslant 139901$](https://habrastorage.org/getpro/habr/post_images/cbf/460/cf0/cbf460cf0804a3622a7d6fa7b1270603.svg)
. Для проверки каждого
![${M_p}$](https://habrastorage.org/getpro/habr/post_images/385/b4a/0b9/385b4a0b9c6aadd1bb893ea902340a03.svg)
в этом диапазоне понадобилось 4 часа и 8 минут.
Великий интернет-поиск чисел Мерсенна
С открытием 34-го простого числа Мерсенна —
![${M_1257787}$](https://habrastorage.org/getpro/habr/post_images/855/3e2/6b8/8553e26b8e86f0567b9bc0e0d937ca3d.svg)
— в сентябре 1996 года закончилась эпоха суперкомпьютеров для поиска простых чисел Мерсенна. Следующие 15 были найдены добровольцами Великого интернет-поиска простых чисел Мерсенна (
GIMPS), в рамках которого проводится вариант теста Люка-Лемера (в качестве фонового процесса) на персональных компьютерах. Этот масштабный проект распределенных вычислений в настоящее время достигает уровня производительности, эквивалентного приблизительно 300 терафлопс в секунду, причем задействуется время простоя более чем 1,3 миллиона компьютеров.
Проверим 34-е число Мерсенна с помощью теста Люка-Лемера. На этом этапе мы достигли предела возможностей личного компьютера. На тестирование тысячи чисел Мерсенна в этом диапазоне потребуется много дней. Интересно отметить, что тест Люка-Лемера часто используется в качестве
стресс-теста надежности компьютерного оборудования и программного обеспечения, так как даже одна арифметическая ошибка среди миллиардов вычислений, необходимых для тестирования одного большого простого числа, повлечет за собой неправильный вывод, что будет означать потерю числа Мерсенна или ложный ответ. Тот факт, что мы проверили каждое
![${M_p}$](https://habrastorage.org/getpro/habr/post_images/385/b4a/0b9/385b4a0b9c6aadd1bb893ea902340a03.svg)
для простых чисел в промежутке между 2 и 139901, убедительно доказывает надежность арифметики больших чисел и бинарных операций в системе Mathematica и языке Wolfram Language.
Факторизация чисел Мерсенна
Как мы уже видели, количество возможных множителей в разложении чисел вида
![${2^p} - 1$](https://habrastorage.org/getpro/habr/post_images/f84/17e/201/f8417e201d444502f8422d33405549ab.svg)
согласно теореме множителей Мерсенна ограниченно. Это позволило провести эффективный компьютеризированный поиск делителей больших чисел этой формы. На момент написания этой статьи все числа Мерсенна (до
![${2^{1201}} - 1$](https://habrastorage.org/getpro/habr/post_images/188/605/91b/18860591bdff52db5064357dd257e61c.svg)
) были полностью разложены на множители (иллюстрации можно найти
здесь). Проект GIMPS также привел к открытию крупных множителей многих чисел Мерсенна в качестве побочного продукта проверки простоты чисел. Новую статью, которая представляет собой современный подход к решению этой проблемы (наряду с 17 новыми факторизациями), можно найти
здесь. Наибольшее факторизованное число составило
![${2^{1199}} - 1$](https://habrastorage.org/getpro/habr/post_images/017/c06/976/017c069766b08d1ed1c64cbd5cf2808b.svg)
; его наименьший из найденных делителей имеет 76 десятичных цифр. Его наименьший делитель равен 23. Общее время, необходимое для того, чтобы получить этот результат составляет 7500 лет (речь о компьютерном времени).
Мы можем быстро найти несколько первых множителей
![${2^{1201}} - 1$](https://habrastorage.org/getpro/habr/post_images/188/605/91b/18860591bdff52db5064357dd257e61c.svg)
с помощью функции
FactorInteger.
Все простые числа Мерсенна, обнаруженные на сегодняшний день, каталогизированы в Wolfram Language (до 44-го). Доступ к этой информации обеспечивается функциями
MersennePrimeExponent и
MersennePrimeExponentQ.
Если вас заинтересовала эта тема, вы можете найти более подробную информацию на следующих веб-сайтах: