Проект «Простые числа»

Квадруплет (Quadruplet) - это четверка простых чисел, расположенных максимально близко друг к другу. Другими словами, это две пары близнецов (twins), идущих друг за другом. Самые маленькие квадруплеты: 2,3,5,7 и 5,7,11,13 и 11,13,17,19... Самый большой из известных на 2016.03.08: 4122429552750669 *2^16567 ±1 +5 +7 (5.003 знака).

Главная Виды чисел Проекты Программы Команды Персоны Отчеты

ОТЧЕТ 0006 от ALEX_SOLDIER

Предыстория:

Квадруплеты довольно-таки давно интересовали меня, как самостоятельное семейство (сразу после простых чисел-близнецов, триплеты мне не очень интересны - т.к. на мой взгляд это промежуточный вариант).

Просматривая ТОПы-20 простых чисел разного вида на предмет недавних рекордов, заглянул и в раздел Квадруплетов.

Неожиданно вдохновился их кажущейся доступностью - на момент начала поиска абсолютным рекордом было достижение Serge Batalov от 2015.09.13 - 3.598-значный PRP Quadruplet 2673092556681 *15^3048 ±4 ±2

Посмотрел, какое ПО использовалось у открывателей: заинтересовался NewPGEN (решето для отсева мелкими делителями) и LLR (собственно, сами тесты оставшихся кандидатов). Эти программы, помимо квадруплетов (4-tuple) вида k *b^n ±1 +5 +7, умеют искать и кучу других видов простых чисел и семейств, но я решил пока ограничиться одним.

В итоге на всех 3 ноутбуках приостановил вычисления на CPU для проекта GIMPS (Поиск простых чисел Мерсенна, точнее большей частью - делителей составных кандидатов), и запустил вычисления нового типа.

В качестве тренировки "поковырял" экспоненту n = 3.333. Нашел пару десятков одиночных простых, но потом бросил - слишком уж маленькие результаты (всего 1.012 знаков).

Потом решил "копнуть" экспоненту n = 999.999. Учитывая, что простоту любого кандидата с помощью LLR придется проверять около месяца, решил продлить фазу предварительного отсева на NewPGen, насколько будет возможно. А сами тесты отложил на неопределенное время.

А вот экспонента n = 22.222 пришлась в самый раз: сперва на слабеньком ноутбуке собирается первичный список кандидатов среди 100-миллиардного диапазона, затем около суток он дополнительно отсеивается на самом мощном из ноутбуков, потом оставшийся список дублируется и просеивается еще некоторое время на 3 ноутбуках параллельно (так быстрее перебирать все делители до ~10e12), затем результаты сливаются, и итоговый список кандидатов дробится на 3 части - пропорционально вычислительной мощности каждого ноутбука (4:2:1).

По неопытности, первый 100-миллиардный диапазон k просчитал вместе с четными значениями, т.е. по сути залез куда не следует:
в первый 50-миллиардный диапазон экспоненты n = 22.223,
в первый 25-миллиардный диапазон экспоненты n = 22.224,
в первый 12,5-миллиардный диапазон экспоненты n = 22.225,
и т.п.

Надеюсь, их искатели не будут на меня в обиде :)




Цели поиска:

1) Попытаться установить новый рекорд.




Журнал поиска:

2016.03.07: Старт вычислений. В качестве кандидита для проверки выбрал красивую и достаточно большую экспоненту n = 22.222 (числа из 6.699+ знаков).

2016.03.08: К моим вычислениям присоединился коллега по Команде GIMPS.Russia - Conductor.

И вдруг как гром среди ясного неба: прямо когда мы обсуждали в скайпе кооперацию по диапазонам k, был опубликован новый рекорд от Peter Kaiser - 5.003-значный PRP Quadruplet 4122429552750669 *2^16567 ±1 +5 +7

К счастью, наша экспонента все еще позволяет установить новый абсолютный рекорд - квадруплет из более чем 6.700 знаков.

2016.03.15: Просчитал первые 100e9 - найдена всего 1 пара близнецов. Не обнадежило!

Намучился с разбивкой и слиянием файлов по ноутбукам - теперь пусть каждый считает свой диапазон!

2016.03.26: Conductor просчитал первую партию из 100e9 - найдена всего 1 пара близнецов.
Далее переключился на проверку экспоненты n = 33.333




Результаты поиска:

На момент 2016.07.24 найдено более 4 тысяч одиночных простых чисел и десяток пар близнецов. Учитывая, что квадруплеты даже более редки по отношению к близнецам, чем близнецы по отношению к одиночным простым, поиск предстоит весьма долгий (разве только сказочно повезет). Поиск продолжается!

k = 0000e9 - 0100e9   2016.03.15 Alex_soldier (среди ~90.000 кандидатов найдено 359 одиночных простых + 1 пара близнецов)

k = 0100e9 - 0200e9   2016.03.26 Conductor    (среди 75.749 кандидатов найдено 241 одиночное простое + 1 пара близнецов)

k = 0200e9 - 0300e9   2016.03.20 Alex_soldier (среди 69.000 кандидатов найдено 217 одиночных простых + 1 пара близнецов)

k = 0300e9 - 0400e9   2016.04.09 Alex_soldier (среди 70.000 кандидатов найдено 227 одиночных простых + 1 пара близнецов)

k = 0400e9 - 0500e9   2016.03.22 Alex_soldier (среди 67.000 кандидатов найдено 226 одиночных простых + 1 пара близнецов)

k = 0500e9 - 0600e9   2016.04.06 Alex_soldier (среди 72.000 кандидатов найдено 222 одиночных простых + 1 пара близнецов)

k = 0600e9 - 0700e9   2016.03.24 Alex_soldier (среди 70.000 кандидатов найдено 203 одиночных простых)

k = 0700e9 - 0800e9   2016.07.11 Alex_soldier (среди 67.000 кандидатов найдено 210 одиночных простых + 1 пара близнецов)

k = 0800e9 - 0900e9   2016.03.28 Alex_soldier (среди 64.000 кандидатов найдено 199 одиночных простых)

k = 0900e9 - 1000e9   2016.07.16 Alex_soldier (среди 67.600 кандидатов найдено 226 одиночных простых)

k = 1000e9 - 1100e9   2016.04.02 Alex_soldier (среди 65.000 кандидатов найдено 213 одиночных простых + 2 пары близнецов)

k = 1100e9 - 1200e9   2016.07.15 Alex_soldier (среди 70.000 кандидатов найдено 225 одиночных простых)

k = 1200e9 - 1300e9   2016.04.21 Alex_soldier (среди 66.000 кандидатов найдено 249 одиночных простых + 1 пара близнецов)

k = 1300e9 - 2000e9   2016.07.24 Alex_soldier (среди 420.000 кандидатов найдено 1.398 одиночных простых + 3 пары близнецов)



Другие мои отчеты: http://Prime-Numbers.ru/person/Alex_soldier/
© Copyright 2014 - Today by Alex_soldier
Сайт сделан по технологии AML

ВИДЫ ПРОСТЫХ ЧИСЕЛ

Одиночные простые:



Семейства простых:



Поиск делителей:



Разное: