Господа, а знаете ли вы, почему я ищу ключевую 17-ку, а г. Петухов ищет 19-ку с минимальным диаметром?

В конечном итоге я тоже ищу 19-ку с минимальным диаметром.
Существование ключевой 17-ки - необходимое условие существования 19-ки с минимальным диаметром.
Вот и всё объяснение.

Г. Петухов считает, что 19-ки ищутся быстрее, чем 17-ки.
А я считаю наоборот :)

Кто из нас правее, одному Богу известно, да и ему вряд ли.

Если я найду ключевую 17-ку, она может превратиться в 19-ку с минимальным диаметром, а может и не превратиться.
Это так называемое продолжение 17-ки до 19-ки.
Оно либо состоится, либо не состоится.

Ключевые 17-ки ценны сами по себе.
На данный момент мы знаем всего восемь ключевых 17-к.
Вот они

1006882292528806742267: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240
3954328349097827424397: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240
4896552110116770789773: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240
6751407944109046348063: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240
7768326730875185894807: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240
19252814175273852997757: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240
154787380396512840656507: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240
901985248981556228168767: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240

Первые шесть найдены Ярославом Врублевским в конкурсе по кортежам.
Две последние найдены г. Петуховым.

Ни одна из этих ключевых 17-к не продолжается до 19-ки с минимальным диаметром.

Ахиллес обсчитал четвёртую порцию периодов и получил пятую (с учётом периодов, обсчитанных черепашкой)

1058967640621
1058967640700

В четвёртой порции приближений не найдено.

Черепашка сейчас будет помогать в следующей порции периодов

1058967640701
1058967640800

Ахиллес-3 по-прежнему висит.
Но надежда на его возвращение ещё не умерла.
Поэтому поиск на периоде 67# (в нулевом периоде) на Ахиллесе пока не останавливаю.
Шесть "бесконечных" программ работают.
Хотя... шансов найти ключевую 17-ку в этом поиске за реальное время ну очень мало, практически нулевые.
Что же делать, всё равно надо искать!

Если Ахиллес-3 не вернётся, тогда остановлю этот поиск и на всех потоках Ахиллеса запущу поиск данного не BOINC- проекта.

Вы только посмотрите, какие номера у добавок, давших ключевые 17-ки на периоде 61# (в нулевом периоде)

(16:54) gp > \r number_form.txt
[0,6,24,36,66,84,90,114,120,126,150,156,174,204,216,234,240] pattern L=17
117288381359406970983270 period
[1, 2, 2, 2, 2, 2, 4, 8, 8, 14, 14, 20, 24, 26, 30, 36, 42, 44]
form= 3954328349097827424397
prs: [  2,  3,  5,  7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61]
frs: [  1,  1,  2,  2,  3, 11,  9,  3, 21,  8, 20, 12, 26, 27, 37, 48, 30,  6]
prm: [  1,  1,  1,  1,  1,  2,  4,  2,  8,  5,  9,  8, 16, 15, 24, 33, 22,  4]
form number is 2261962377297088

form= 4896552110116770789773
prs: [  2,  3,  5,  7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61]
frs: [  1,  2,  3,  3, 10,  9,  7,  6, 16, 10, 18, 14, 26, 31, 46,  6, 31, 60]
prm: [  1,  2,  2,  2,  2,  1,  2,  4,  6,  7,  7,  9, 16, 19, 30,  5, 23, 44]
form number is 37949916526827316

form= 6751407944109046348063
prs: [  2,  3,  5,  7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61]
frs: [  1,  1,  3,  3, 10, 11,  8,  9, 16, 11,  6, 10, 34, 14,  9,  5,  7, 58]
prm: [  1,  1,  2,  2,  2,  2,  3,  6,  6,  8,  2,  7, 21,  9,  7,  4,  4, 42]
form number is 19593877451663766

form= 7768326730875185894807
prs: [  2,  3,  5,  7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61]
frs: [  1,  2,  2,  3,  3, 11,  7,  4, 21,  6, 20,  4,  7, 33, 26, 37, 25, 22]
prm: [  1,  2,  1,  2,  1,  2,  2,  3,  8,  3,  9,  3,  3, 21, 17, 27, 19, 17]
form number is 26671179596850905

form= 19252814175273852997757
prs: [  2,  3,  5,  7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61]
frs: [  1,  2,  2,  3, 10, 11,  9, 17, 15, 15, 21, 32, 15, 29, 24, 27, 15, 20]
prm: [  1,  2,  1,  2,  2,  2,  4,  7,  5, 12, 10, 18,  7, 17, 15, 20, 12, 15]
form number is 29940409305434203

Все пять добавок чёрт знает где!!

Чтобы их найти за реальное время, нужно иметь:

а) супералгоритм;
б) суперпрограмму;
в) огромные вычислительные ресурсы.

Всё это имелось у Ярослава Врублевского.
И он эти ключевые 17-ки нашёл!

Цитата

А эти ключевые 17-ки
154787380396512840656507, 901985248981556228168767 – на периоде 67#
найдены тоже г. Петуховым.

Давайте посмотрим на номера добавок, давшие эти ключевые 17-ки.

Вот

(05:07) gp > \r number_form.txt
[0,6,24,36,66,84,90,114,120,126,150,156,174,204,216,234,240] pattern L=17
7858321551080267055879090 period
[1, 2, 2, 2, 2, 2, 4, 8, 8, 14, 14, 20, 24, 26, 30, 36, 42, 44, 50]
form= 154787380396512840656507
prs: [  2,  3,  5,  7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67]
frs: [  1,  2,  2,  2,  3,  9,  7, 18,  9, 20, 15, 14,  4,  4, 46, 50, 19, 20, 35]
prm: [  1,  2,  1,  1,  1,  1,  2,  8,  4, 14,  4,  9,  2,  2, 30, 34, 16, 15, 27]
form number is 1030085490329036527

form= 901985248981556228168767
prs: [  2,  3,  5,  7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67]
frs: [  1,  1,  2,  3, 10,  9,  8, 18, 16,  9, 21, 24, 21, 21,  7, 24, 40, 12,7]
prm: [  1,  1,  1,  2,  2,  1,  3,  8,  6,  6, 10, 15, 11, 11,  5, 18, 29,  7,6]
form number is 421170432166330306

Черепашка считает

(04:16) gp > \r spt71.txt
end
time = 1h, 23min, 25,650 ms.
(05:53) gp > \r spt71.txt
end
time = 1h, 23min, 9,131 ms.
(07:32) gp > \r spt71.txt
end
time = 2h, 44min, 18,843 ms.

В третьей порции дала ей 20 периодов, нормально справилась, время примерно в два раза больше, чем на 10 периодов.

Сейчас ещё 20 периодов дам, вот что будет считать

1058967640741
1058967640760

Пока нет приближений с valids>9.

Черепашка обсчитала эту порцию и ещё одну порцию - 10 периодов.

Ахиллес обсчитал очередную порцию периодов и получил новую порцию (с учётом периодов, обсчитанных черепашкой)

1058967640771
1058967640900

Новых приближений пока не найдено.

Черепашка сегодня очень хорошо помогла Ахиллесу :)

Ахиллес считает полученную вчера порцию периодов.
Найдено пока одно приближение.

Черепашка приступила к следующей порции периодов

1058967640901
1058967640920

Ну вот, Ахиллес управился с очередной порцией периодов.
Найдены приближения

7858321555719549481597117: [0,24,42,52,66,90,112,114,120,126,154,156,174,190,216,234,240]
valids=10

7858321555811363089152527: [0,6,24,36,66,84,90,104,120,144,150,156,174,182,216,234,240]
valids=14

end

Отличное приближение с valids=14 !

Пошла последняя порция перед вушками (с учётом периодов, обсчитанных черепашкой)

1058967640961
1058967640999

Маленькая порция, к утру Ахиллес управится.

Ахиллес управился.

Приближений в этой маленькой порции не найдено.

Итак, теперь уже точно я обсчитала все периоды, начиная с начального

nps=1058967640189 (номер начального периода)

и до периода
1058967640999.

Далее следуют периоды, для которых я сгенерировала 100 вушек, напомню:

первая вушка содержит периоды
1058967641000
1058967641009

последняя вушка содержит периоды
1058967641990
1058967641999

Всего вушки содержат 1000 периодов.

Теперь буду продолжать дальше, начиная с периода
1058967642000.

Пока надеюсь, что кто-нибудь посчитает несколько вушек.
Ну, а если нет, тогда сама их обсчитаю.

Ахиллес начинает, первая порция - 100 периодов:

1058967642000
1058967642099

Черепашка будет помогать в следующей порции периодов

1058967642100
1058967642119

Это приближение к ключевой 17-ке

7858321555811363089152527: [0,6,24,36,66,84,90,104,120,144,150,156,174,182,216,234,240]
valids=14

разверну для проверки.

В этом приближении всего три "дырки"

{7858321555811363089152527, 7858321555811363089152533, 7858321555811363089152551, 7858321555811363089152563, 7858321555811363089152593, 7858321555811363089152611, 7858321555811363089152617, *7858321555811363089152631, 7858321555811363089152647, *7858321555811363089152671, 7858321555811363089152677, 7858321555811363089152683, 7858321555811363089152701, *7858321555811363089152709, 7858321555811363089152743, 7858321555811363089152761, 7858321555811363089152767}

Всё верно.

Как уже знают читатели, "дырки" (неправильные элементы кортежа) помечены звёздочкой и не выделены зелёным цветом.

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

Показываю найденные на данный момент приближения с valids>9

7858321551680148788639333: [0,6,20,48,66,84,90,114,134,140,150,156,204,206, 216,234,240]
valids=11

7858321553226935618992537: [0,6,16,24,66,84,90,114,120,126,130,142,174,196, 202,204,240]
valids=10

7858321553272773627624667: [0,22,24,36,66,84,90,114,120,126,132,136,142,204,216, 234,240]
valids=13

7858321555719549481597117: [0,24,42,52,66,90,112,114,120,126,154,156,174,190,216,234,240]
valids=10

7858321555811363089152527: [0,6,24,36,66,84,90,104,120,144,150,156,174,182,216,234,240]
valids=14

Я уже писала, что можно изменить тактику и искать приближения (и саму ключевую 17-ку) сразу по всему заданному диапазону.
Как это реализовать, было показано в теме "Готовимся к запуску нового BOINC-проекта".
Смотрите сообщение
https://boinc.progger.info/odlk/forum_thread.php?id=290&postid=14677
и следующее.

Эту тактику обязательно применю, как только Ахиллес-3 вернётся, пока он уже третью неделю висит.
Не знаю, почему Corporal ничего не отвечает; возможно, в командировке или в отпуске.

Задумка такая.

nps=1058967640189 (номер начального периода)
npf=75186702453419 (номер конечного периода)

Начну эту тактику, например, с периода
1058967660020.

Разделю все периоды на 50 частей.
Всего периодов будет (75186702453419 - 1058967660019 = 74127734793400).
В одной части будет 1482554695868 периодов.

Ну, далее всё понятно.

Проверять одновременно (в одной программе), например, по два периода в каждой части.
Получается 100 периодов за один проход.
Как и сейчас я проверяю в текущей тактике.
Можно и по три периода в каждой части проверять за один проход, будет 150 периодов за один проход.

Эта тактика представляется мне более эффективной.
Вдруг ключевая 17-ка находится где-то в середине заданного диапазона поиска или даже в конце.
При такой тактике её быстрее можно найти.

Перезапуск программы будет хлопотный, да если ещё несколько потоков.
Можно оптимизировать.

Ахиллес всё ещё считает заданную вчера порцию из 120 периодов.

Черепашка начала помогать в следующей порции периодов

1058967642300
1058967642319

Новых приближений к ключевой 17-ке пока не найдено.

Ахиллес-3 продолжает отдыхать.
Ответа от Corporal нет.

Ой, черепашка нашла первое приближение к ключевой 17-ке!

(04:35) gp > \r spt71.txt
7858321566839248567772383: [0,18,24,36,46,76,90,108,120,144,150,156,174,196,204,234,240]
valids=10

Код не уникальный, но приближение в спектр добавила

12985
(6759428516143, 7858321566839248567772383)

Черепашку поздравим с почином!
Дай Бог ей найти ключевую 17-ку!

Добавим к приближениям, найденным Ахиллесом

7858321551680148788639333: [0,6,20,48,66,84,90,114,134,140,150,156,204,206, 216,234,240]
valids=11

7858321553226935618992537: [0,6,16,24,66,84,90,114,120,126,130,142,174,196, 202,204,240]
valids=10

7858321553272773627624667: [0,22,24,36,66,84,90,114,120,126,132,136,142,204,216, 234,240]
valids=13

7858321555719549481597117: [0,24,42,52,66,90,112,114,120,126,154,156,174,190,216,234,240]
valids=10

7858321555811363089152527: [0,6,24,36,66,84,90,104,120,144,150,156,174,182,216,234,240]
valids=14

7858321566839248567772383: [0,18,24,36,46,76,90,108,120,144,150,156,174,196,204,234,240]
valids=10

Ядряра писал в сообщении
https://dxdy.ru/post1653741.html#p1653741

Вот Ахиллесы месяцами искали 17-240-1. Да, было бы неплохо, если бы они нашли хотя бы полсотни таких цепочек. Они бы мне сейчас пригодились, я бы посмотрел из каких они групп. Так нет же, ни одной не нашли. И даже дро не было. И даже ранер-ранер не было. А что было? Изредка было без трёх.

Ой, чего это такое "дро", "ранер-ранер"? :)))
Прям "срезал" - по Шукшину.

Изредка было без трёх.

Это он вроде намекает на приближения с тремя "дырками" (?)
Например:

7858321555811363089152527: [0,6,24,36,66,84,90,104,120,144,150,156,174,182,216,234,240]
valids=14

Такие ему не нужны?

Ну, мне и такие очень хороши!
Я ведь на Ядряру работать не подписывалась.
На него г. Петухов работает.
Гигабайты цепочек выдаёт!
Ему этого мало что ли? :)

PS.
gris,
вы, наверное, знаете о "дро" и "ранер-ранер".
Просветите, пожалуйста :)

А у г. Петухова тоже что ли не было этих "дро" и "ранер-ранер"?
Хоть бы взглянуть на них одним глазком.
Вот две "грязные" 19-ки видела.
Всё-таки термин "грязные" как-то мало научный.
Надо бы что-нибудь поприличнее :)

Ахиллес-3 продолжает отдыхать, в пятницу будет три недели, как он завис.

Попробую реализовать вторую тактику, но конечно, буду делить все периоды на 10 частей, а не на 50, и тестировать программу на черепашке.
В каждой части проверять по два периода, будет 20 периодов; у меня сейчас черепашка столько и проверяет в текущей тактике.

Итак, начну эту тактику, например, с периода
1058967660020.

Разделю все периоды на 10 частей.
Всего периодов будет (75186702453419 - 1058967660019 = 74127734793400).
В одной части будет 7412773479340 периодов.

Например, первая часть будет такая

1058967660020
8471741139359

Сейчас сварганю программу и потестирую на черепашке.

PS. Далее разделила периоды.

Вторая часть

8471741139360
15884514618699

Третья часть

15884514618700
23297288098039

Четвёртая часть

23297288098040
30710061577379

Пятая часть

30710061577380
38122835056719

Шестая часть

38122835056720
45535608536059

Седьмая часть

45535608536060
52948382015399

Восьмая часть

52948382015400
60361155494739

Девятая часть

60361155494740
67773928974079

Десятая часть

67773928974080
75186702453419

Всё прекрасно, будем ловить ключевую 17-ку сразу по всему диапазону.
Диапазон разделён на 10 равных частей.

Черепашка побежала с самого раннего утречка :)

(03:00) gp > \r spt71_part.txt
1 part
find in
7858321698240925007296200
7858321698248345745431010

2 part
find in
62866572541087470677121600
62866572541094891415256410

3 part
find in
117874823383934016346947000
117874823383941437085081810

4 part
find in
172883074226780562016772400
172883074226787982754907210

5 part
find in
227891325069627107686597800
227891325069634528424732610

6 part
find in
282899575912473653356423200
282899575912481074094558010

7 part
find in
337907826755320199026248600
337907826755327619764383410

8 part
find in
392916077598166744696074000
392916077598174165434208810

Она тестирует новую тактику.
Обсчитано уже 7 частей, 8-я обсчитывается.

Всего, как вы помните, 10 частей, на которые поровну поделён весь диапазон поиска.

Приближений с valids>9 пока не найдено ни в одной из частей.

Ахиллес трудится в первой тактике, теперь без помощи черепашки.
Новых приближений с valids>9 пока тоже не найдено.

Ахиллес-3 продолжает отдыхать.
Может, на нём уже г. Петухов считает :)
Ну, я надеюсь, что Corporal, по крайней мере, сообщит мне об этом.

PS. Напомню, что данная программа основана на базовом варианте поиска по паттерну ключевой 17-ки на периоде 37#.
Автор базовой программы gris.

Дальше я просто модифицирую базовую программу с учётом своих условий поиска.

Ура!
Ахиллес-3 вернулся!
Программы все, конечно, прерваны.

Сейчас буду проверять все файлы с результатами, может, есть интересные приближения к ключевой 17-ке.

А потом запущу программы не BOINC-проекта.
Благо - они конечные.

Все файлы результатов проверила.
Приближений с уникальным кодом не найдено.

Запустила программы обеих тактик, пока по одному потоку.
Ахиллес-3 поехал.

У Ахиллеса есть новые приближения!

Смотрите, пять проходов были без приближений

(19:56) gp > \r spt71.txt
end
(05:27) gp > \r spt71.txt
end
(00:35) gp > \r spt71.txt
end
(19:09) gp > \r spt71.txt
end
(13:43) gp > \r spt71.txt
end
(00:32) gp > \r spt71.txt
7858321569217016002921903: [0,6,24,54,66,84,90,106,118,124,150,156,174,184,198,220,240]
valids=10

7858321569691142689503737: [0,6,36,60,72,84,90,92,102,126,140,156,176,204,216,234,240]
valids=10

end

Коды не уникальные, но приближения в спектр добавила.

Это первая тактика.