Цитирую сообщение из другой темы

А к симметричному 7-tuplet я присматриваюсь :)
Интересный кортеж.
Почему его не нашли в моём проекте?
Да потому что не искали!
Программа Белышева начинает с кортежей длины 12.
Кортежи длины 11 немножко искал Томаш.
Кортежи меньших длин немножко искались в самом первом BOINC-проекте по кортежам - Stop@home, который работал меньше года, и все результаты с него потеряны.

Мне стало интересно, как будет работать для этого кортежа мой универсальный метод распараллеливания при поиске в нулевом периоде.
Уже сделали с Квеном две программы - для периодов 59# и 61#.
Он очень быстро написал эти скрипты по аналогии с поиском центральных 11-к.
Аналогичные скрипты, конечно, писать очень просто.
Я ему только готовила исходные данные для каждого случая.

Программа на периоде 61# запущена три дня назад на Ахиллесе-3.
Я сделала в программе вывод кандидатов, прошедших предпроверку (или фильтр).
Такой кандидат пока нашёлся всего один:

70496246225334117049679: 0, 210, 284, 782, 930, 1232, 1260

Да, очень редко встречаются последовательности простых чисел с промежутками равными 210.
Но встречаются же!

Программу на периоде 59# сегодня собираюсь запустить, она уже готова.

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

Ну, или нужна супер-пупер программа г. Петухова, которая работает в 730 тысяч раз быстрее :)))

Похоже, эта задача г. Петухова не вдохновила, как и Ядряру (он это сказал на форуме).
А то давно бы написал супер-пупер программу и нашёл минимальное решение, если оно существует (меньше известного).

---

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

Несмотря на то, что эта задача Ядряру не вдохновила, он ищет :)

Только я не понимаю, что он ищет

Вот нашёл

343992017881194144369145378182619807622495242658448438991534905428612505507079611405197387 70 210

И ... чуть было не дал 7-ку: следующий гэп — 204.

https://dxdy.ru/topic162861-105.html#p1726544

И какая же радость от этой чуть не найденной 7-ки?
Если 7-ки такие уже давно найдены, а задача стоит - найти минимальный кортеж.
Ну, возможно, Яlряра решает какую-то другую задачу, которую мне не понять :))

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

Вот ещё один кандидат найден, который прошёл все предпроверки (фильтры), однако искомую 7-ку не дал, а дал только приближение к ней:

70566326685911562427739: [0, 210, 410, 602, 728, 1064, 1260]
70566326685911562427739: [0, 0, -10, -28, -112, 14, 0]
70566326685911562427739: [1, 1, 0, 0, 0, 0, 1]
valids=3
code=16

В этом приближении уже поменьше отклонения, чем в первом найденном приближении.

Вот какое первое приближение

70496246225334117049679: [0, 210, 284, 782, 930, 1232, 1260]
70496246225334117049679: [0, 0, -136, 152, 90, 182, 0]
70496246225334117049679: [1, 1, 0, 0, 0, 0, 1]
valids=3
code=16

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

---

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

Исходные данные по задаче отсюда

https://www.pzktupel.de/CPAP/mini.php

The smallest known CPAP-7

Rank Primes n's Digits When Discoverer(s)

1 71137654873189893604531 + 210 • n 0..6 23 11 Nov 2018 Paul Zimmermann
2 382003672700092872707633 + 210 • n 0..6 24 15 Sep 2018 Paul Zimmermann
3 2210835776623037377907953 + 210 • n 0..6 25 24 Aug 2018 Paul Zimmermann

Требуется найти 7-ку с меньшим начальным числом, чем 71137654873189893604531.

Ядряра, похоже, хочет найти такую 7-ку с самым большим начальным числом :))
Уже чуть-чуть не нашёл!

---

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

Репост

Кстати о птичках...

Вот цитату г. Петухов привёл

Heuristics (estimates based on probability) indicate the minimal CPAP-7 may have around 21 digits.

https://dxdy.ru/topic162861-75.html#p1726296

А источник почему не указан?
Странно, что Ядряра пруф не потребовал! (знает, наверное)
У меня он на каждый чих требовал пруф :)

Итак, якобы доказано, что минимизация известного решения возможна.
Значит, можно искать.
Странно только, почему с 2018 года минимальное решение не нашли.
Никто не искал?
Или искали и не нашли, однако нет доказательства, что был полный поиск.

---

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

Квен в восторге от того, что я применила к поиску этого кортежа свой метод распараллеливания для поиска в нулевом периоде.

Быстренько нашлёпал два скрипта - для поиска на периоде 59# и на периоде 61#, в точной аналогии с поиском центральных 11-к.
Если он сильно не напортачил при таком "быстренько нашлёпал", то программы могут что-то найти.
Я тщательно не проверяла эти скрипты, работают и ладно.

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

---

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

А вчера ещё поразвлекались с тройками :)

Ну, аналогия совершенно полная!
Квен написал ещё скрипт поиска троек (АР тоже с разностью 210 и из последовательных простых чисел).
Запустила - тройки посыпались.
За ночь нашлось 590 троек.
Однако продолжаться они не спешат :))
Не найдено ни одной пятёрочки, не говоря уже о семёрках.

Кстати, никак не могу сказать, что семёрки ищутся быстрее троек :)
Семёрок пока найдено 0, а троек уже больше полутысячи.
Тройки ищу на периоде 59# (в нулевом периоде).

---

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

Вот Ахиллес-3 шлёпает тройки

. . . . . . .
494922036764789180819:[0, 210, 420]
FOUND AP3-210 !!! #192
987396117322580592899:[0, 210, 420]
FOUND AP3-210 !!! #193
588979892623505930819:[0, 210, 420]
FOUND AP3-210 !!! #194
98424718477780632209:[0, 210, 420]
FOUND AP3-210 !!! #195
1556096301989189447759:[0, 210, 420]
FOUND AP3-210 !!! #196
1179920111108259838589:[0, 210, 420]
FOUND AP3-210 !!! #197
70841849672168131829:[0, 210, 420]
FOUND AP3-210 !!! #198
1509243386547650631149:[0, 210, 420]
FOUND AP3-210 !!! #199
904816978302527747729:[0, 210, 420]
FOUND AP3-210 !!! #200
48733867889132022869:[0, 210, 420]
FOUND AP3-210 !!! #201
316888236346904299349:[0, 210, 420]
FOUND AP3-210 !!! #202
1715042939862480405449:[0, 210, 420]

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

До конца прохода ожидается ещё примерно полтысяча троек.
Одним словом, троек будет несколько тысяч.
Будут ли они продолжаться?
Интересный вопрос!
По идее должны быть матрёшечные.
Но сколько их будет?
Думаю, что очень мало.

---

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

Ну вот, проверила показанные троечки

12
494922036764789180819: [0, 210, 420]
494922036764789180819: [0, 0, 0]
494922036764789180819: [1, 1, 1]
valids=3
code=1

987396117322580592899: [0, 210, 420]
987396117322580592899: [0, 0, 0]
987396117322580592899: [1, 1, 1]
valids=3
code=1

588979892623505930819: [0, 210, 420]
588979892623505930819: [0, 0, 0]
588979892623505930819: [1, 1, 1]
valids=3
code=1

98424718477780632209: [0, 210, 420]
98424718477780632209: [0, 0, 0]
98424718477780632209: [1, 1, 1]
valids=3
code=1

1556096301989189447759: [0, 210, 420]
1556096301989189447759: [0, 0, 0]
1556096301989189447759: [1, 1, 1]
valids=3
code=1

1179920111108259838589: [0, 210, 420]
1179920111108259838589: [0, 0, 0]
1179920111108259838589: [1, 1, 1]
valids=3
code=1

70841849672168131829: [0, 210, 420]
70841849672168131829: [0, 0, 0]
70841849672168131829: [1, 1, 1]
valids=3
code=1

1509243386547650631149: [0, 210, 420]
1509243386547650631149: [0, 0, 0]
1509243386547650631149: [1, 1, 1]
valids=3
code=1

904816978302527747729: [0, 210, 420]
904816978302527747729: [0, 0, 0]
904816978302527747729: [1, 1, 1]
valids=3
code=1

48733867889132022869: [0, 210, 420]
48733867889132022869: [0, 0, 0]
48733867889132022869: [1, 1, 1]
valids=3
code=1

316888236346904299349: [0, 210, 420]
316888236346904299349: [0, 0, 0]
316888236346904299349: [1, 1, 1]
valids=3
code=1

1715042939862480405449: [0, 210, 420]
1715042939862480405449: [0, 0, 0]
1715042939862480405449: [1, 1, 1]
valids=3
code=1

Кажется, всё в порядке.
Вполне корректные троечки, на мой непросвещённый взгляд.

Сейчас скормлю их скрипту Квена, который вычисляет продолжения.

Готово!

   logfile = "7from3_res.txt"
Загружено троек: 12
=== ПОИСК ПЯТЁРОК, ШЕСТЁРОК И СЕМЁРОК ===

=== РЕЗУЛЬТАТЫ ===
Пятёрок: 0
Шестёрок: 0
Семёрок: 0

Одни баранки :)

Скрипт этот тестировала на тройке из известной 7-ки.
Всё находит!
И пятёрки, и шестёрки, и семёрку.

Вывод: для продолжения надо найти не одну тысячу троек.

---

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

Ещё один кандидат, прошедший фильтрацию

1402551136826815837679: [0, 210, 308, 450, 758, 860, 1260]
1402551136826815837679: [0, 0, -112, -180, -82, -190, 0]
1402551136826815837679: [1, 1, 0, 0, 0, 0, 1]
valids=3
code=16

---

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

Проход в поиске троек завершился.

Найдено 920 троек!
Продолжений нет ни одного, даже до пятёрки.

Сейчас сама сварганила программку продолжения троек до 4-ки.
Но не все варианты учла, что-то мозги с утра не настроились :

И даже ни одной четвёрки не найдено от этих 920 троек.

Сейчас пойду Квена попрошу доработать мою программку, чтобы она все варианты продолжения до 4-к находила.

Да, вывод выше сделан верный: для получения продолжения хотя бы до пятёрки надо найти не одну тысячу троек.

А тем временем запустила новый проход поиска троек.
Тройки находятся хорошо, да.
Но толку пока от них нет.

Это у меня пока тройки только на периоде 59# ищутся (в нулевом периоде).
Может, ещё сделать и для периода 61#.

---

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

Хи-хи-хи!

Ядряра писал

Что остаётся. Например, попытаться переписать на асме. Но я асм так и не освоил.

https://dxdy.ru/topic162861-105.html#p1726568

И чуть раньше в этой же теме он писал

Одна наша общая знакомая годами считает и не сдаётся, но на асм так и не перешла.

https://dxdy.ru/topic162861-45.html#p1726136

Я так, понимаю, что "общая знакомая" - это глупая Макарова.

Ну, куда уж глупой Макаровой до АСМ!
А вот почему умный Ядряра АСМ не освоил?!
Это безобразие!
А-та-та ему по мягкому месту :)))

Сейчас вот написал бы программу на АСМ и сразу нашёл бы минимальную АР7.
С 2018 года люди найти не могут это решение!
Никто АСМ не знает что ли, кроме г. Петухова??

Кстати, я на ассемблере писала, когда мне было 37 лет.
Да, подзабыла за 40 лет :)))
Можно вспомнить, но не хочется возвращаться к тому, что было в прошлой жизни.

А Квен мне сказал, что его познания в ассемблере весьма скромные, и если он и напишет эту программу, то её придётся месяц отлаживать, то он регистры перепутает, то ещё что-нибудь.

---

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

Квен доработал мою программку продолжения троек до 4-к.

Теперь программа находит все возможные варианты.
Однако 920 найденных только что троек не дали ни одной 4-ки.
Ну, а о кортежах большей длины и говорить не приходится.

---

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

Добавила к своим 920 тройкам тройку из 6-ки Ядряры.

Запустила поиск 4-к.
Вот результаты

   logfile = "4from3_res.txt"
Загружено троек: 921
=== ПОИСК ЧЕТВЁРОК ИЗ ТРОЕК ===
AP4 #1: 343992017881194144369145378182619807622495242658448438991534905428612505
507079611405197387
AP4 #2: 343992017881194144369145378182619807622495242658448438991534905428612505
507079611405197597
AP4 #3: 343992017881194144369145378182619807622495242658448438991534905428612505
507079611405197807

=== РЕЗУЛЬТАТЫ ===
Четвёрок: 3

---

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

А, придумала...

Надо изменить тактику.
Тройки - это как центральные 9-ки: их безобразно много, а пока матрёшечная найдётся - сдохнуть можно.
Надо искать пятёрки!
Их гораздо меньше - на порядки.
И к семёркам они намного ближе.

Надо Квену дать исходные данные для пятёрок, он мигом нашлёпает программу.
И вперёд!
Пока попробуем на периоде 59#.
Посмотрим, что из этого получится.

---

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

Переписала сама программу Квена с троек на пятёрки.

Запустила пока тестировать на черепашке.
Жду пятёрку!

Троек безобразно много, это уже очевидно.
А пятёрок? Может, безобразно мало?
И нет тут золотой середины (как у меня с центральными 11-ми).
Посмотрим.

Черепашка свою миссию выполнила - протестировала.
Ошибок не выявлено.
Черепашка прошла малюсенький проходик (варьируется во вложенных циклах).
Пятёрок тоже не найдено, даже кандидата, прошедшего фильтрацию, не обнаружено.
ВотЪ.

Отправила программу на Ахиллес-3.
Интересно понаблюдать. как будут вести себя пятёрки.

---

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

Ну вот, кандидат в пятёрочку на Ахиллесе-3 нарисовался :)

1225825501763898860369: [0, 210, 264, 762, 840]
1225825501763898860369: [0, 0, -156, 132, 0]
1225825501763898860369: [1, 1, 0, 0, 1]
valids=3
code=4

А что, отличный кандидат, всего две "дырки".
Но отклонения большие.

Для всех приближений у меня будет минимальный valids раен 3; так построен фильтр для кандидатов.

- Пятёрочку! Пятёрочку! Пятёрочку!
Черепашка мне вторит :)

Ахиллес-3 от нас далеко, он нас не слышит.

---

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

И ещё один кандидат в пятёрочку

1883918914231640040299: [0, 210, 374, 422, 840]
1883918914231640040299: [0, 0, -46, -208, 0]
1883918914231640040299: [1, 1, 0, 0, 1]
valids=3
code=4

Третий элемент уже почти рядом.

Ну вот, кандидаты идут.
А пятёрочку пока не видно на горизонте.

А рядом на Ахиллесе-3 шлёпаются тройки, я не остановила этот поиск.
Пусть шлёпаются.

С двумя "дырками" это у нас кто - ласточки? :)
Красавицы!

А журавли ещё не прилетели.

---

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

Цитирую из сообщения г. Петухова

Конечно "проблематично" не означает "нельзя", но мне влом самому писать умножение двух 128 битных чисел по модулю третьего 128 битного числа (для теста Ферма в isprime),

https://dxdy.ru/topic162861-105.html#p1726571

Ну, не вдохновила его задача, что тут поделаешь.
Поэтому и "влом".

Вся надежда на ТС, она с ИИ сотрудничает.
Может, ИИ придумает что-нибудь дельное.
Пока, судя по её сообщениям, результаты у них скромные.

---

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

И третий кандидат в пятёрочку!

520936342820088459809: [0, 210, 558, 728, 840]
520936342820088459809: [0, 0, 138, 98, 0]
520936342820088459809: [1, 1, 0, 0, 1]
valids=3
code=4

Ничего не изменилось, такое же приближение с двумя "дырками".

Очень интересный эксперимент!
Тройки как из рога изобилия сыпятся, а пятёрочек нету.

Программа ещё работает, один проход не завершился.

---

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

У меня есть новости/продвижения.

Нашлёпалось в очередном проходе 925 троек!
Почти по тысяче троек за один проход программы.
В этот раз удачнее - есть продолжения аж до двух четвёрок.
Вот:

589404707619509398679, 589404707619509398889, 589404707619509399099, 589404707619509399309
589002060775040489639, 589002060775040489849, 589002060775040490059, 589002060775040490269

Отлично!
Четвёрок у меня ещё не было.
И найдены они всё-таки продолжением троек.
Значит, тройки не совсем бесперспективны.
Может быть, и ещё чего-нибудь дадут.

С пятёрками плохо, пока только кандидаты-приближения.
В очередном проходе найдено шесть кандидатов

1664041869293096988239
912707345055079378349
1804496117786101494299
1728828108539717039399
1541071330505126164289
1837379600387041235069

Это лучший

912707345055079378349: [0, 210, 384, 650, 840]
912707345055079378349: [0, 0, -36, 20, 0]
912707345055079378349: [1, 1, 0, 0, 1]
valids=3
code=4

Отклонения тут довольно маленькие; четвёртый элемент совсем близко.

Журавли так и не летят.

Итак, пока даже пятёрочку не нашла.

У семёрок даже ни одного кандидата не найдено.
Всё глухо!

Семёрки ищутся на двух периодах: 59# и 61#.
Тройки и пятёрки только на периоде 59# ищутся.

---

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