Цитата

Надо потестировать на том решении, которое вставлено, вот тут

40702175426204304 1416814602970211619553 [1, 1, 3, 1, 5, 2, 13, 4, 21, 19, 6, 5, 25, 19, 2, 48, 5, 37, 15]
48215645320826401 4246610002636339828954843 [1, 1, 3, 1, 5, 2, 13, 7, 13, 7, 8, 22, 27, 29, 22, 21, 7, 3, 52]
58626761105867559 9181216410829122233953 [1, 1, 3, 1, 5, 2, 13, 10, 19, 19, 24, 30, 6, 7, 35, 42, 36, 27, 9]

Кстати, расстояния между номерами добавок в этом интервале очень больше.
Немудрено, что здесь вставилось решение.
Вставленное решение выделено красным цветом.

Вполне возможно, что в этом интервале ещё есть центральные 15-ки.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Да! Тест выполнен успешно.

Опубликую программу тестирования.
При желании тест может выполнить каждый.

Перебор начат недалеко от номера добавки 4246610002636339828954843, этот номер: 48215645320826401.
Данная результативная добавка найдена.
Перебор закончен на добавке 2201151215853785835674413, имеющей номер 48215646922899456.

Текст программы (язык PARI/GP)

\l 15norm_period67_new_res.txt;
{pt=[0,18,30,60,78,84,108,114,120,144,150,168,198,210,228];

fs=117201182126413058067773;
vmy=vector(50); pat1=vector(15);

v2=[1]; \\1
v3=[1, 2]; \\2
v5=[3, 4]; \\2
v7=[1, 2]; \\2
v11=[5, 9]; \\2
v13=[2, 4]; \\2
v17=[12, 13, 14, 15]; \\4
v19=[4, 5, 7, 9, 10, 12, 14, 15]; \\8
v23=[3, 4, 6, 10, 12, 13, 15, 19, 21, 22]; \\10
v29=[7, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 26]; \\14
v31=[3, 6, 8, 12, 14, 17, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30]; \\16
v37=[1, 2, 5, 6, 8, 9, 10, 11, 13, 15, 16, 18, 20, 21, 22, 23, 25, 26, 29, 30, 32, 36]; \\22
v41=[1, 2, 5, 6, 8, 10, 12, 13, 16, 17, 19, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 38, 40]; \\26
v43=[1, 3, 6, 7, 10, 11, 12, 14, 16, 18, 19, 20, 23, 24, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42]; \\28
v47=[1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 15, 18, 19, 22, 23, 24, 26, 28, 30, 31, 32, 35, 36, 39, 40, 41, 42, 43, 45, 46]; \\32
v53=[1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 16, 17, 18, 19, 20, 21, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 36, 38, 40, 41, 42, 43, 47, 48, 49, 50, 52]; \\38
v59=[1, 2, 3, 5, 6, 7, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 28, 30, 31, 32, 35, 36, 37, 39, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56]; \\44
v61=[3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 35, 36, 37, 40, 41, 42, 45, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60]; \\46
v67=[1, 2, 4, 5, 6, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 34, 35, 36, 38, 39, 41, 42, 43, 44, 45, 46, 47, 48, 52, 53, 54, 55, 59, 60, 61, 62, 63, 64, 65, 66]; \\52

for(i43=16,28,
for(i47=16,32,
for(i53=17,38,
for(i59=6,44,
for(i61=1,46,
for(i67=41,52,

dob=lift(chinese([Mod(1,2),Mod(1,3),Mod(3,5),Mod(1,7),Mod(5,11),Mod(2,13),Mod(13,17),Mod(7,19),Mod(13,23),Mod(7,29),Mod(8,31),Mod(22,37),Mod(27,41),Mod(v43[i43],43),Mod(v47[i47],47),Mod(v53[i53],53),Mod(v59[i59],59),Mod(v61[i61],61),Mod(v67[i67],67)]));

  if(dob>fs && ispseudoprime(dob) && ispseudoprime(dob+228),
    l=0;
    forprime(p=dob,dob+228, l++; vmy[l]=p; );
    if(l==15,
      for(m=2,15, pat1[m]=vmy[m]-vmy[1]; );
      if(pat1==pt,
      print(vmy[1],","); );
      
    ); \\ if l
    ); \\ if dob
    ); \\ for i67
    ); \\ for i61
    ); \\ for i59
    ); \\ for i53
    ); \\ for i47
    ); \\ for i43
   print(dob); 
}

Программа не оптимизирована.
Есть даже известный мне приём оптимизации, подсказанный в своё время ИИ.
Но я пока не думаю об оптимизации.
Только-только удалось нащупать верный путь поиска с помощью задания номера добавки.
Метод работает!

Теперь и распараллеливание можно делать более прицельным.

Черепашка затратила на этот тест

? \r 15norm_period67new.txt
   logfile = "15norm_period67_new_res.txt"
4246610002636339828954843,
2201151215853785835674413
time = 47min, 59,748 ms.

Выведено найденное (вставленное) решение и последняя сгенерированная добавка.
По ней я определяю номер добавки, до которого программа дошла.

Черепашка очень довольна, сегодня у неё целый день тестирование :)
Я тоже довольна: наконец-то прощупывание пути поиска завершено.
Это было очень интересно!

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Смотрим на этот интервал

40702175426204304 1416814602970211619553 [1, 1, 3, 1, 5, 2, 13, 4, 21, 19, 6, 5, 25, 19, 2, 48, 5, 37, 15]
48215645320826401 4246610002636339828954843 [1, 1, 3, 1, 5, 2, 13, 7, 13, 7, 8, 22, 27, 29, 22, 21, 7, 3, 52]
58626761105867559 9181216410829122233953 [1, 1, 3, 1, 5, 2, 13, 10, 19, 19, 24, 30, 6, 7, 35, 42, 36, 27, 9]

Черепашка при тестировании нашла решение, выделенное красным.
Мы знаем, где черепашка остановилась, есть последняя добавка и её номер
48215646922899456 (номер) 2201151215853785835674413 (добавка)

Можно продолжать!
Тут до номера добавки 58626761105867559 очень далеко.
Вполне возможно, что здесь ещё есть центральная 15-ка и даже не одна.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

gris писал в сообщении
https://dxdy.ru/post1719769.html#p1719769

спасибо, Дипочка! Теперь есть на чем думать долгие дни...
а данные задаются в файле. Каждая строка — подмножество.

Ой!
Не над моей ли задачей вы думаете, gris?
Или, может, над Ксюшиной :)

А у меня был мозговой штурм.
Кажется, я одолела эту задачу.
Уф!
Теперь дело за техникой.
А техники и нет
Ахиллес-3 до сих пор отдыхает.
Один Ахиллес у меня работает.
Думала, что сегодня в службе поддержки проснутся.
Но сегодня не выходной ли?
Пока полная тишина.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Итак, можно продолжать.

Отправила небольшое продолжение на Ахиллес.
Начала с этого номера добавки: 48215646922899456, на котором черепашка остановилась при тестировании программы.

Интересно посмотреть, справится ли Ахиллес с этим продолжением за ночь.
Если справится, очень хорошо.
Ну, даже если и чуть побольше времени потребуется, тоже неплохо.
Таких продолжений (аналогичных) можно сделать несколько и запустить их отдельно.
Но это если Ахиллес-3 вернётся.
На Ахиллесе пока только один поток свободный был, как раз для этой программы.

А у нас с черепашкой отбой :)

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Рак пятится!

4701640955120468920 --> 4701640952733167499 --> 4701640950215701976 --> 4701640946628798007 --> 4701640943840387130

Ахиллес пока не посчитал продолжение, тяжеловатое.
Думаю, к вечеру досчитает.

Ахиллес-3 всё ещё отдыхает.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Ахиллес-3 вернулся, и я в запарке.

Там же много программ работало.
Надо было во всех программах проверить результаты, благо результаты не пропали, они в выходных файлах сохранились.
Вроде всё проверила.
Не считая, конечно, программы pcoul, там и не знаю, что проверять, хотя файлы логов есть во всех потоках.

Ну, как всегда, верна поговорка: "Что Бог ни делает, всё к лучшему."
Нечего бестолку гонять программу, в работе которой ни черта не понимаешь.

Теперь занимаюсь только своими программами; они все написаны на PARI/GP, и мне в них всё понятно: что они считают, как считают, какие выводят результаты.
Это самое главное.
А без понимания работы программы совсем тоскливо работать.

По цепочкам Лецко остались две программы - ракеты летят в космос.
Пусть пока покрутятся, Ахиллес-3 ещё не загружен моими программами.
Завтра начну загружать потихоньку.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Ну вот, Ахиллес с продолжением справился.

Центральную 15-ку пока не нашёл.
Продвинулся так:
48215645320826401 --> 48215650506383360.

Последняя проверенная добавка
3734482250210911114870333 (её номер: 48215650506383360).

Запустила следующий проход.

Совершенно очевидно, что здесь нужны кранчеры.
Даже если я запущу 20 потоков на Ахиллесе-3, этот интервал будет считаться очень долго.

Напомню, о каком интервале речь:

40702175426204304 1416814602970211619553 [1, 1, 3, 1, 5, 2, 13, 4, 21, 19, 6, 5, 25, 19, 2, 48, 5, 37, 15]
48215645320826401 4246610002636339828954843 [1, 1, 3, 1, 5, 2, 13, 7, 13, 7, 8, 22, 27, 29, 22, 21, 7, 3, 52]
58626761105867559 9181216410829122233953 [1, 1, 3, 1, 5, 2, 13, 10, 19, 19, 24, 30, 6, 7, 35, 42, 36, 27, 9]

Я начала проверку с номера добавки чуть меньше 48215645320826401 (чтобы наверняка найти известное решение), программа нашла вставленное решение (выделенное красным); и теперь я двигаюсь дальше в строгом возрастании номеров добавок.
И мне нужно дойти до номера 58626761105867559.

Предполагаю, что в этом интервале есть центральные 15-ки, так как интервал очень большой.
Если это так, то они найдутся обязательно при тотальной проверке данного интервала, никуда не денутся.

Может быть, центральные 15-ки есть и в интервале

40702175426204304 1416814602970211619553 [1, 1, 3, 1, 5, 2, 13, 4, 21, 19, 6, 5, 25, 19, 2, 48, 5, 37, 15]
48215645320826401 4246610002636339828954843 [1, 1, 3, 1, 5, 2, 13, 7, 13, 7, 8, 22, 27, 29, 22, 21, 7, 3, 52]

Тоже надо проверять.

Теперь я чётко знаю, как организовывать проверку интервала по номерам добавок.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Кстати, у нас есть и маленькие интервальчики.

Вот визуально выбрала один такой интервальчик

3718044678079819531 47715082534273839428969 [1, 2, 4, 1, 5, 4, 13, 5, 19, 20, 26, 2, 24, 6, 6, 25, 24, 24, 18]
3718088568473451191 28937711354125474715039 [1, 2, 4, 1, 5, 4, 13, 5, 19, 23, 3, 16, 26, 3, 11, 8, 39, 28, 23]

А как вы думаете - в маленьком интервальчике не может быть решений?
Я думаю, что может.
Конечно, не гарантирую, что центральная 15-ка есть в этом интервале.

Маленький интервальчик проверить всё-таки проще.

Итак, здесь интервал между добавками: №3718044678079819531 и №3718088568473451191.

Сейчас попробую организовать тотальную проверку этого интервала.
Ну, весь интервал, может, и не проверю, но хотя бы начну.
А вдруг центральная 15-ка в самом начала интервала выскочит :)
Маловероятно, конечно.

Может быть, есть и меньше интервалы, я визуально просмотрела статистику.

Вот, например, ещё маленькие интервалы

966604789975485047 14324284442465100468913 [1, 1, 3, 2, 9, 2, 14, 7, 13, 13, 12, 13, 31, 31, 31, 48, 37, 42, 28]
966694705339597587 62693811150438409437043 [1, 1, 3, 2, 9, 2, 14, 7, 13, 15, 30, 9, 33, 11, 30, 18, 37, 50, 18]

1071923380083272718 8113753714580951876833 [1, 1, 3, 2, 9, 4, 13, 5, 12, 18, 23, 18, 17, 6, 15, 7, 47, 40, 17]
1071998692333674770 59609316281840663387443 [1, 1, 3, 2, 9, 4, 13, 5, 12, 20, 28, 9, 29, 31, 3, 19, 36, 32, 2]

1115193623462586052 12355932863110096089223 [1, 1, 3, 2, 9, 4, 14, 7, 21, 21, 29, 16, 38, 23, 40, 5, 19, 22, 10]
1115850213139157816 79930081278115417078123 [1, 1, 3, 2, 9, 4, 14, 9, 3, 13, 29, 29, 6, 6, 18, 43, 48, 5, 10]

1137842840946818881 33502954551728405443093 [1, 1, 3, 2, 9, 4, 14, 15, 21, 12, 23, 9, 1, 35, 19, 20, 23, 12, 21]
1137850385688786328 102556713721395641977663 [1, 1, 3, 2, 9, 4, 14, 15, 21, 12, 26, 32, 1, 10, 9, 27, 48, 6, 66]

1194108964262078898 56966599106866013925739 [1, 1, 4, 1, 5, 2, 12, 10, 3, 20, 8, 15, 19, 40, 14, 19, 39, 41, 60]
1194690560367756313 62644444024579616079259 [1, 1, 4, 1, 5, 2, 12, 10, 4, 26, 29, 6, 29, 42, 13, 13, 39, 25, 21]

1281311693912052499 12480848738857754155279 [1, 1, 4, 1, 5, 2, 14, 15, 3, 19, 6, 16, 21, 38, 45, 13, 17, 9, 61]
1281637354960415912 82273070858042090546899 [1, 1, 4, 1, 5, 2, 14, 15, 4, 15, 3, 11, 32, 11, 12, 43, 13, 60, 5]

1378846311455367770 101860949556310655174689 [1, 1, 4, 1, 5, 4, 13, 10, 10, 10, 6, 2, 29, 11, 36, 1, 51, 36, 2]
1378996207480471754 53384468669557689237799 [1, 1, 4, 1, 5, 4, 13, 10, 10, 15, 25, 8, 24, 40, 4, 17, 42, 3, 22]

2055042657664637613 18689908321458417213109 [1, 1, 4, 2, 5, 4, 15, 15, 13, 21, 14, 25, 6, 12, 45, 36, 1, 25, 45]
2055129038647755735 63303602899670595171649 [1, 1, 4, 2, 5, 4, 15, 15, 13, 26, 29, 30, 12, 29, 26, 32, 49, 49, 18]

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Эх, а вот этот интервал мне больше нравится :)

1137842840946818881 33502954551728405443093  [1, 1, 3, 2, 9, 4, 14, 15, 21, 12, 23, 9, 1, 35, 19, 20, 23, 12, 21]
1137850385688786328 102556713721395641977663 [1, 1, 3, 2, 9, 4, 14, 15, 21, 12, 26, 32, 1, 10, 9, 27, 48, 6, 66]

Сейчас я им займусь.
Ну, не сейчас, есть срочная работа - надо результаты с BOINC-проекта обработать.

Обратите внимание на анатомию добавок в приведённом интервале!
Будет чудо, если в этом интервале окажется центральная 15-ка.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

А рак знай своё - пятится :)

4701640955120468920 --> 4701640952733167499 --> 4701640950215701976 --> 4701640946628798007 --> 4701640943840387130 --> 4701640940752131824

Мне уж прямо жалко его останавливать :)
Он разгорячился.

"Да ну вас! Я найду решение!" -
говорит рак.

Ну пусть поищет ещё немножко.
Пока ресурсы есть.

Черепашка его поддерживает, прямо горой за него стоит :)

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Подключаю в статистику приближения к центральной 15-ке!

Зря что ли спектр приближений делала.
Взяла сейчас из спектра несколько приближений и посчитала для них номера добавок.
Предварительно, конечно, проверила, какие начальные числа приближений являются добавками на периоде 67#.
Потому что нам нужны именно добавки, начинающие приближения, другими словами: Norm-числа - добавки.

И вот результаты

3439944657606665095   475931440044228923253893
743194895999452160    475931440047008626935193
803587479527019969    475931439984165047526583
1730015901007230327   475931439992540706073579
3555644099670668789   475931439986907801887369
3854751626012525951   9911476457745758729
3657291883566923760   9911659825414517549
2625245323733198810   475931440030501520763923
2610120472592596773   9911388627695182853
2027450269589530300   475931439983515573827709
63878520676683180     9911550369624307783
120629103915021517    9911565273131506363
4309283571446933105   475931440013693902588289
1270726552393241546   9911395888641017149
3357702143515058491   9911338507509104213
2257940450653199551   9912103842517311829
362988444623267788    475931440004859820341193
2288185200841436933   17490495374164383529193629
780838142683121995    17490495375607124170013653
475299166591982527    9911436029215094053
304417399013831510    23308111086027577513763893
166538775624124501    9911483893496623663
1754359304330935384   9911412268895947489
2689190711407961614   127138861322421324405863
3808427731409532079   33171918107513895139964759

Первая колонка - номер добавки, вторая колонка - добавка с этим номером, начинающая приближение к центральной 15-ке.
Отлично!

Пока не отсортировала номера добавок.

Если весь спектр приближений к центральной 15-ке проверить и вставить в статистику подходящие результаты, это будет весьма интересная статистика!
Что это даёт?
Это даёт много-много номеров добавок, которые уже не надо проверять, потому что они точно не дают центральную 15-ку, а дают только приближение к ней.
ВотЪ!

Это уменьшит многие интервалы и покажет, в каких местах вообще нечего ловить.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Отсортировала по возрастанию номеров добавок

[63878520676683180, 9911550369624307783]
[120629103915021517, 9911565273131506363]
[166538775624124501, 9911483893496623663]
[304417399013831510, 23308111086027577513763893]
[362988444623267788, 475931440004859820341193]
[475299166591982527, 9911436029215094053]
[743194895999452160, 475931440047008626935193]
[780838142683121995, 17490495375607124170013653]
[803587479527019969, 475931439984165047526583]
[1270726552393241546, 9911395888641017149]
[1730015901007230327, 475931439992540706073579]
[1754359304330935384, 9911412268895947489]
[2027450269589530300, 475931439983515573827709]
[2257940450653199551, 9912103842517311829]
[2288185200841436933, 17490495374164383529193629]
[2610120472592596773, 9911388627695182853]
[2625245323733198810, 475931440030501520763923]
[2689190711407961614, 127138861322421324405863]
[3357702143515058491, 9911338507509104213]
[3439944657606665095, 475931440044228923253893]
[3555644099670668789, 475931439986907801887369]
[3657291883566923760, 9911659825414517549]
[3808427731409532079, 33171918107513895139964759]
[3854751626012525951, 9911476457745758729]
[4309283571446933105, 475931440013693902588289]

Теперь можно вставлять в статистику.
Анатомию добавок специально не показываю, чтобы было видно, что это приближение.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Ахиллес-3 проверяет махонький интервальчик

1137842840946818881 33502954551728405443093  [1, 1, 3, 2, 9, 4, 14, 15, 21, 12, 23, 9, 1, 35, 19, 20, 23, 12, 21]
1137850385688786328 102556713721395641977663 [1, 1, 3, 2, 9, 4, 14, 15, 21, 12, 26, 32, 1, 10, 9, 27, 48, 6, 66]

Последняя сгенерированная добавка 6145048230849378033072283 имеет номер 1137842841273149440.

Здесь проверка начата точно с номера добавки 1137842840946818881.
Очень мало пока продвинулись:
1137842840946818881 --> 1137842841273149440.

Надежда на чудо!
Что в этом махоньком интервальчике есть центральная 15-ка и она недалеко от начала интервала.
Чудеса случаются, но очень редко.
У меня однажды чудо случилось, когда Врублевский нашёл 18-ку с минимальным диаметром и не проверил её на продолжение.
А я проверила и... она продолжилась до 20-ки с минимальным диаметром.
Врублевский был поражён этим чудом :)
Он написал на форуме dxdy.ru: "Наталия, спасибо, что верите в чудеса."

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

gris прислал программу, которая по номеру добавки определяет добавку.

Прекрасно!
Надо сделать этот скрипт таким, чтобы он работал миллисекунды (для одного номера добавки)
А потом тотальный перебор от номера такого-то до номера такого-то.
Например, как в показанном выше интервале: от номера 1137842840946818881 до номера 1137850385688786328.

И пусть скрипт проверит этот интервальчик за несколько минут или хотя бы за несколько часов.
Вот это будет прорыв!

Дерзайте, gris!
Дерзайте все, господа!

Ну, или написать эту процедуру на С++ что ли, да хоть на ассемблере!
Но выжать из неё космическую скорость.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Готово!
Вставила приближения к центральной 15-ке в статистику.

Посмотрите, какой чудный интервал получился

2689190711406621949 154787380396512840656513 [ 1, 2, 3, 1, 9, 2, 13, 5, 15, 26, 21, 20, 10, 10, 5, 3, 25, 26, 41]
2689190711407961614 127138861322421324405863
2689903980566865469 33087907980848874172853 [1, 2, 3, 1, 9, 2, 13, 5, 21, 17, 8, 18, 30, 32, 46, 25, 30, 50, 21]

Красным выделено вставленное приближение.

Интервал очень хорош для тестирования.
Программа должна найти и центральную 15-ку (с номером 2689190711406621949), и приближение (с номером 2689190711407961614).
Уж в этом-то крохотном интервале центральной 15-ки точно нет.
А если есть, это будет чудо в квадрате :)

Примечание: хотя приближения эта программа не ищет, она ищет только полные центральные 15-ки.
Так что, приближение программа не найдёт.
Однако интервал проверить можно и нужно.
Очень уж хорошо, его даже черепашка осилит.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php