Господин Никонов писал в сообщении
https://dxdy.ru/post1575307.html#p1575307

Я как с февраля-марта стоял на том, что нужно считать Вашими(Асм+Пари), так и стою. Тем более что непосчитанными остаются самые длинные, самые временизатратные цепочки. Если правильно помню, Ваша прикидка давала для 15-к 10 миллиардов лет счёта в один поток на Вашем компе. Если порог не будет улучшен.

Ха-ха-ха!

Ну, как только господин Никонов рассортирует все паттерны на правильные группы, а господин Петухов сделает программу "Асм+Пари", которая будет в 100 раз быстрее программы Hugo pcoul, тогда 15-ки посчитаются за тысячу лет вместо "10 миллиардов лет".

Господин Никонов писал в сообщении
https://dxdy.ru/post1575113.html#p1575113

Ну и всего лишь 72 паттерна с 11 CP, в которые входят и наши знаменитые 64. Они выделены в серединке. 64 группы по 720 это и есть знаменитый стандартный комплект — 46080 паттернов.

Господин Петухов писал в сообщении
https://dxdy.ru/post1575308.html#p1575308

Без такого уменьшения порога о доказательстве минимальности 15-ки можно забыть (pcoul будет перебирать каждый паттерн много-много лет), хоть с боинком, хоть без. Или придумать другую идею ускорить проверку.

Не-а, что-то не стыкуется!
Отлично помню те самые знаменитые 46080 паттернов для 15-ок, потому что я их проверяла.
И было найдено решение

T(6,15) <= 80215613469168729088982885848674841 Natalia Makarova 2022-09-18

И всё прекрасно распараллеливается!
Тогда я сделала открытие, что паттерны надо разделить на потоки и проверять их параллельно.
Проверка шла очень быстро, всё было проверено за несколько дней.
Паттернов было 64 группы по 720 паттернов в каждой группе.
Я разделила их на 8 потоков - по 8 групп в одном потоке.

Так вот, выражение "pcoul будет перебирать каждый паттерн много-много лет" некорректно.
Какой "каждый паттерн"?
Паттернов сколько?
Насколько могу понимать, Hugo объединяет обобщённые паттерны (в чём-то построенные по одной схеме) в одну группу.
Ядряра их развёртывает (смотрите его термин "неделимый паттерн").
Вот так и возник "знаменитый стандартный комплект — 46080 паттернов".
Если развёртывать дальше, как это делает Ядряра, будут и сотни тысяч паттернов и миллионы паттернов.
Каждый паттерн из этих миллионов тоже будет проверяться много лет?
Я в этом сильно сомневаюсь, имея свой опыт проверки 46080 паттернов.

Напомню цитату из сообщения Hugo
https://boinc.ru/forum/topic/proekt-hugo-van-der-sanden/?part=11#postid-6873

From my discussion with AenBleidd, I understand that an important aspect of BOINC work units is that they should be of a reasonably predictable length, which is not a trivial matter for my code - and made more complex by the possibility that one work unit finds a smaller solution, which will then affect the work required in all other work units. I am still thinking about what can be done about that for this project, and also hoping to discuss other possibilities with AenBleidd when he has looked at my code.

Да!
Для BOINC-проекта важно именно распараллеливание заданий.
В BOINC-проекте не даются задания, которые будут считаться много лет!
Задания должны быть разделены на много-много маленьких заданий, которые будут считаться быстро.
За счёт того, что в BOINC-проекте много вычислительных ресурсов, тысячи маленьких заданий будут посчитаны быстро.
Именно в этом огромный эффект BOINC-проекта.
Распределённые вычисления!

Процитирую письмо Евгения (ничего личного, только обсуждение задачи)

Поэтому
а) рост количества потоков с какого-то количества перестанет снижать общее время расчетов - всё упрется в потоки, которые эти паттерны считают.
б) либо надо делать какой-то механизм, чтобы один паттерн с LCM=554400 считался в несколько потоков.

И 100 потоков _сразу_ выглядит излишне оптимистично.
Конечно, (имея в виду дальнейшую перспективу) это не означает, что не нужно заниматься BOINC-проектами.

Вот это

б) либо надо делать какой-то механизм, чтобы один паттерн с LCM=554400 считался в несколько потоков.

и означает разделение одного задания, требующего много времени для счёта, на много маленьких заданий.
Да, если сложный паттерн с LCM=554400 считать в одном потоке, это будет слишком долго.
Поэтому данное задание должно быть разбито на несколько маленьких заданий, которые будут считаться приемлемое для BOINC время.

Механизмы для такого разбиения, конечно же, существуют.
Один из них уже был опробован мной - это разделение диапазона на 100 частей и проверка в каждой части диапазона отдельно.
Чем плохой механизм?
Смотрите сообщение
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10369

Ну, а потом развёртывание паттерна в несколько "неделимых" паттернов (в терминологии господина Никонова).
Один паттерн превратится в несколько тысяч или даже миллионов "неделимых" паттернов.
Как раз BOINC-проекту и нужны такие маленькие задания, хоть и много миллионов.
Оговорюсь: не знаю этот механизм, как развёртываются паттерны в "неделимые" паттерны и главное - любой ли паттерн можно развернуть.
Ну, есть пример: 64 группы паттернов были развёрнуты в 46080 "неделимых" паттернов.
Правда, эти паттерны считались программой господина Петухова.
Думаю, что они могут считаться и программой Hugo pcoul.
Может быть, потребуется некоторая модификация этой программы.

Дальше в цитате про 100 потоков в BOINC-проекте.
Нет, это не выглядит слишком оптимистично.
Проект Hugo готовится к запуску в BOINC-проекте Gerasim@Home.
Этому BOINC-проекту уже 15 лет, его не надо раскручивать.
И 100 потоков проекту гарантированы сразу же, а по мере дальнейшего развития - и много больше.

Смотрим сообщение
https://dxdy.ru/post1575428.html#p1575428

Yadryara
Покажете пример расчёта с помощью Пелля?

Dmitriy40

Да запросто:

T:\M12minimal\Hugo>pcoul -f13 -v -x8e34 -b0 12 15
001 pcoul(12 15) -f13 -x80000000000000000000000000000000000 -b0 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 28 (0.06s)

Паттерн (вся группа паттернов в нашей терминологии) проверился до 8e34 за доли секунды. Потому что там аж 5 квадратов. И 4 дополнительных простых в квадратах и в результате всего 5 проверяемых мест. Как такой счёт можно выполнить без Пелля не представляю. И так можно со всеми паттернами где есть хотя бы два квадрата.
И потому считать сколько в него влезает триллионов вариантов нет никакого смысла - они перебираться и не будут, хоть их квадриллионы.

Замечательно!
А как же это утверждение господина Петухова:

(pcoul будет перебирать каждый паттерн много-много лет), хоть с боинком, хоть без.

???

Значит, далеко не каждый паттерн (даже для 15-ки!) программа pcoul будет перебирать много лет!
Сам же господин Петухов привёл пример такого паттерна.
Есть паттерны, которые проверяются за доли секунды.
Понятно, что такие паттерны не надо превращать в миллионы и триллионы "неделимых" паттернов.
Они и без этого прекрасно посчитаются.

Когда решали задачу D(12,12), аналогичные паттерны Hugo сам все проверил, потому что давать их участникам распределённых вычислений нет никакого смысла.
Ну, в BOINC можно дать и такие задания.
У господина Ватутина в BOINC были такие задания, которые считались доли секунды, я это видела в его сообщениях.
Однако смысла тоже мало.
Проще такие задания самому проверить.

Господин Никонов писал в сообщении
https://dxdy.ru/post1575433.html#p1575433

Если Вы эти 40 паттернов не проверяли, прошу проверить. И не до 8е34, а до 81е33.

Проверяются легко.
Например, для паттерна b1
в консоли

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -rlog_b1_15.txt -x:81e33 -f13 -b1 12 15
path log_b1_15.txt
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b1 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pause
Для продолжения нажмите любую клавишу . . .

в выходном файле

001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b1 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

Проверяла черепашка.

Господин Никонов писал в сообщении
https://dxdy.ru/post1575452.html#p1575452

A может быть будет возможно быстро проверить только 16 мультиквадратных из этих 40. То есть вот эти 16:

b1-b4, b55-b58, b318-b321, b366-b369.

Вот

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b1 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b1 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b2 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b2 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b3 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b3 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b4 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b4 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.11s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b55 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b55 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b56 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b56 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b57 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b57 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b58 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b58 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.08s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b318 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b318 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b319 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b319 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b320 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b320 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b321 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b321 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b366 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b366 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b367 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b367 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b368 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b368 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:81e33 -f13 -b369 12 15
001 pcoul(12 15) -f13 -x81000000000000000000000000000000000 -b369 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.09s)

C:\Users\Дом\Downloads\pcoul_09112022>pause
Для продолжения нажмите любую клавишу . . .

Господин Никонов писал в сообщении
https://dxdy.ru/post1575465.html#p1575465

А для D(12, 14) будет возможно быстро проверить только 24 мультиквадратных из всех 72-х квадратных? То есть вот эти 24:

b258-b261, b312-b315, b1230-b1233, b1284-b1287, b1547-b1550, b1595-b1598.

Вот

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b258 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b258 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.19s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b259 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b259 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b260 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b260 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b261 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b261 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.22s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b312 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b312 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.17s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b313 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b313 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b314 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b314 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b315 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b315 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.22s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1230 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1230 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1231 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1231 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1232 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1232 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.19s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1233 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1233 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1284 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1284 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1285 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1285 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1286 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1286 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.19s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1287 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1287 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1547 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1547 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.19s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1548 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1548 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1549 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1549 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1550 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1550 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.19s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1595 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1595 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1596 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1596 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1597 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1597 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:196608944044119667252498634551234
5 -f13 -b1598 12 14
001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b1598 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 17 (0.20s)

C:\Users\Дом\Downloads\pcoul_09112022>pause
Для продолжения нажмите любую клавишу . . .

Правда, не совсем понимаю, что эта проверка даёт господину Никонову.

Репост

Цитата

Нашла паттерн, которому соответствует текущая минимальная 13-ка (586683019466361719763403545)

b4243: 3^2.5  2  .  2^2.3  7^2  2.5^2  3  *2^5*  11^2  2.3^2  5.13^2  2^2.7  3

Протестировала этот паттерн.
[Параметры взяла из самой трудной группы паттернов в задаче D(12,12).]

Показываю логи частично

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x120402988681658048433948:586683019466361719763403545 -b4243 *RT*
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(22693577,1): 8 / 78 (577.94s)
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(9239849,12): 434 / 475 (1157.96s)
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(5809357,1): 944 / 1204 (1738.99s)
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(4256141,12): 781 / 2243 (2319.13s)
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(3367909,6): 3464 / 3584 (2899.15s)
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(2794243,6): 3215 / 5207 (3478.56s)
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(2390653,12): 6710 / 7114 (4057.93s)
. . . . . . . . . 
305 3^2.5 2 23^2 2^2.3 7^2 2.5^2 3.14369^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.760939^2 (20380.47s)
305 3^2.5 2.591559^2 29^2 2^2.3 7^2 2.5^2 3.17^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.67^2 (20966.03s)
305 3^2.5 2.194027^5 29^2 2^2.3 7^2 2.5^2 3.107^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.179^2 (21551.72s)
305 3^2.5 2 29^2 2^2.3 7^2 2.5^2 3.2269^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.269723^2 (22137.28s)
305 3^2.5 2 29^2 2^2.3 7^2 2.5^2 3.24077^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.545843^2 (22722.64s)
202 Candidate 586683019466361719763403545 (23111.52s)
305 3^2.5 2.37649^5 31^2 2^2.3 7^2 2.5^2 3.67^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.229^2 (23307.75s)
305 3^2.5 2.74357^2 31^2 2^2.3 7^2 2.5^2 3.977^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.17^2 (23893.19s)
305 3^2.5 2 31^2 2^2.3 7^2 2.5^2 3.20047^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.147311^5 (24478.47s)
305 3^2.5 2.614569^2 37^2 2^2.3 7^2 2.5^2 3.71^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.79^2 (25064.38s)
305 3^2.5 2 37^2 2^2.3 7^2 2.5^2 3.3023^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.480409^2 (25649.97s)
305 3^2.5 2.39461^5 41^2 2^2.3 7^2 2.5^2 3.17^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.787^2 (26235.34s)
. . . . . . 
305 3^2.5 2 459829^2 2^2.3 7^2 2.5^2 3.469037^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (85095.68s)
305 3^2.5 2 491327^2 2^2.3 7^2 2.5^2 3.198839^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (85682.22s)
305 3^2.5 2 522787^2 2^2.3 7^2 2.5^2 3.101789^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (86268.13s)
305 3^2.5 2 554887^2 2^2.3 7^2 2.5^2 3.310481^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (86854.07s)
305 3^2.5 2 586939^2 2^2.3 7^2 2.5^2 3.459929^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (87439.75s)
305 3^2.5 2 619019^2 2^2.3 7^2 2.5^2 3.89891^5 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (88025.34s)
305 3^2.5 2 652079^2 2^2.3 7^2 2.5^2 3.180307^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (88611.67s)
305 3^2.5 2 684547^2 2^2.3 7^2 2.5^2 3.98473^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (89197.46s)
305 3^2.5 2 728303^2 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3: 6743 / 76655 (89782.82s)
367 coul(12, 13): recurse 16500939957, walk 19937703060, walkc 34978227750 (90205.35s)
200 f(12, 13) = 586683019466361719763403545 (90205.35s)

Проверялось чуть более суток.
Кандидат появился через 6,4 ч.
Текущая минимальная 13-ка в точном соответствии с паттерном b4243 найдена.
Время проверки паттерна вполне приемлемое.
Возможно, у меня параметры не совсем подходящие для данной проверки.

А вот для 14-ки так протестировать паттерн мне не удалось.
Паттерн-то я определила

b1371: 3^2.5  2  13^2  2^2.3  7^2  2.5^2  3.11^2  2^5  .  2.3^2  5  2^2.7  3  2

Интересно: сколько неделимых паттернов содержится в этом паттерне?
И каков тот самый неделимый паттерн, который соответствует текущей минимальной 14-ке?
И как его можно быстро проверить?

Факторизация элементов минимальной текущей 14-ки

[3, 2; 5, 1; 43690876454248814944999696566941, 1],
[2, 1; 23, 2; 1858307599660866420155941725437, 1],
[13, 2; 43, 1; 270550356466381818153981883241, 1],
[2, 2; 3, 1; 163840786703433056043748862126029, 1],
[7, 2; 1521991, 1; 26363016794920797454968811, 1],
[2, 1; 5, 2; 39321788808823933450499726910247, 1],
[3, 1; 11, 2; 5416224353832497720454507838877, 1],
[2, 5; 61440295013787396016405823297261, 1],
[19, 2; 31, 1; 175684875385684628051558068583, 1],
[2, 1; 3, 2; 109227191135622037362499241417353, 1],
[5, 1; 41, 2; 233919029201808051460438589591, 1],
[2, 2; 7, 1; 70217480015757024018749512339727, 1],
[3, 1; 47, 2; 296678654057823551007241035991, 1],
[2, 1; 17, 2; 3401538824292727807136654577011, 1]

А это паттерн, соответствующий текущей минимальной 15-ке (80215613469168729088982885848674841)

b587: .  2  3  2^2  5  2.3^2  7  2^5  3.11^2  2.5^2  13^2  2^2.3  .  2.7^2  3^2.5

Факторизация элементов этой 15-ки

[23, 2; 9649, 1; 15715236849165389302315212121, 1],
[2, 1; 101, 2; 3931752449228934863688995483221, 1],
[3, 1; 29, 2; 31793742952504450689252035611841, 1],
[2, 2; 200396929, 1; 100070911602104352967633159, 1],
[5, 1; 19, 2; 44440783085412038276444812104529, 1],
[2, 1; 3, 2; 4456422970509373838276826991593047, 1],
[7, 1; 31, 2; 11924425965388543048756189363561, 1],
[2, 5; 2506737920911522784030715182771089, 1],
[3, 1; 11, 2; 220979651430216884542652578095523, 1],
[2, 1; 5, 2; 1604312269383374581779657716973497, 1],
[13, 2; 224814373570921, 1; 2111291163772264499, 1],
[2, 2; 3, 1; 6684634455764060757415240487389571, 1],
[17, 2; 10073981, 1; 27552431989290592962811817, 1],
[2, 1; 7, 2; 818526668052742133561049855598723, 1],
[3, 2; 5, 1; 1782569188203749535310730796637219, 1]

Этот паттерн мне тоже не удалось протестировать.
Сколько неделимых паттернов содержится в этом паттерне?
И как их быстро проверить?

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

Ну и всего лишь 72 паттерна с 11 CP, в которые входят и наши знаменитые 64. Они выделены в серединке. 64 группы по 720 это и есть знаменитый стандартный комплект — 46080 паттернов.

Господин Никонов писал в сообщении
https://dxdy.ru/post1574823.html#p1574823

Дмитрий говорил о малореальности начиная с 13-к.

Так ли уж нереальна или малореальна 13-ка?

EUgeneUS писал в сообщении
https://dxdy.ru/post1575487.html#p1575487

Текущая минимальная 13-ка относится к b-паттерну b4243, в котором 10 проверяемых мест (против 8 в "перспективных паттернах").
Это даёт хорошие шансы на нахождение меньшей 13-ки в "перспективных паттернах".
Но .... Шансов всё больше, а стульев всё меньше.
На данный момент почитано 26 из 96 паттернов, находок нет. :(

Значит, некоторые паттерны вполне быстро проверяются.
Ну, наверное, есть и трудные паттерны, которые требуют много времени на проверку.
Думаю, что Hugo придумает, как такие паттерны быстро проверить в BOINC.

Господин Петухов писал в сообщении
https://dxdy.ru/post1575531.html#p1575531

EUgeneUS
Полтора месяца назад запускал pcoul -p100 -x6e26 -g9 -f13 12 13, заняло два дня, нашлась известная 13-ка, и больше ничего. Паттерны при этом проверялись вообще все, не только перспективные. Кажется примерно аналогичную проверку делал и Хуго. Потому мы как бы и почти уверены в её минимальности ... Всё же большие простые встречаются в разложениях реже малых.

Во как!
Оказывается, уже проверялись все паттерны для 13-ок, правда, с низким порогом для простых, следовательно, проверка не полная.

Потому мы как бы и почти уверены в её минимальности ...

"Мы" - это кто? Господин Петухов и Hugo?
Я не видела подобного заявления от Hugo.
Вот для 11-ки Hugo был почти уверен в минимальности текущей наименьшей 11-ки, и это подтвердилось.

Кстати, обратите внимание: "...заняло два дня..."
Всего-то?!
Повторю вопрос: так ли уж нереально доказать минимальность текущей минимальной 13-ки (или найти меньшую 13-ку)?
Сколько времени на это отводит господин Петухов? Много лет? Год? Или поменьше? :))

Господин Петухов писал в сообщении
https://dxdy.ru/post1575625.html#p1575625

Если же использовать ускорители для исключения последних переборов, то грубо можно заменить 3-4 перебора на линейный поиск ускорителями, но вариантов всё равно останется порядка 1e10 и только компиляция такого количества ускорителей займёт 3e9 секунд или сотню лет. Плюс несколько тысяч лет счёт по ним. И это нижняя граница! И пока не наберётся под сотню тысяч потоков это остаётся не слишком реальным.

Хи-хи-хи!
Опять "несколько тысяч лет".
Нельзя ли что-нибудь поновее?
Приелись уже эти миллионы и тысячи лет!
Господин Лецко полгода назад сказал, что найти минимальную 15-ку с 12 делителями нереально.
Да, если не искать, то и не найти. Это верно.

Кстати, о нереальности найти минимальную 13-ку с 12 делителями господин Петухов уже не говорит.
Стало реально уже?
Теперь он говорит о нереальности найти минимальную 15-ку с 12 делителями.
Говорено уже, зачем повторять?

Господин Никонов писал в сообщении
https://dxdy.ru/post1575622.html#p1575622

Кстати, ещё один мультиквадратный есть: b629. Соответственно, если и его обсчитать, останется не более 511 внешних паттернов для D(12,15).

Обсчитала :)

C:\Users\Дом\Downloads\pcoul_09112022>pcoul -x:802156134691687290889828858486748
41 -f13 -b629 12 15
001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b629 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 12 (0.08s)

C:\Users\Дом\Downloads\pcoul_09112022>pause
Для продолжения нажмите любую клавишу . . .

Смотрим сообщение
https://dxdy.ru/post1575630.html#p1575630

Yadryara

Ну вот поэтому я и спрашивал, насколько быстро можно их проверить. Речь об оставшихся 23-х одноквадратных паттернах, которые у Хьюго отмечены [sq=1]:
b127-130, b196-198, b248-251, b571, b582, b602, b611, b621-628

Dmitriy40

Проверить можно часов за 10 каждый. Наверное.

А если проверять с параметром р?
Какое значение параметра p надо взять для проверки этих паттернов?
И заодно надо значение параметра g.

@Hugo
если вы знаете ответ, напишите, пожалуйста, его в письме.
Я могу проверить указанные паттерны.
И ещё вопрос: эти паттерны могут дать решения?
Ну, если они находятся в списке теоретически возможных паттернов (не исключены математически), следовательно, могут дать решения.
Правильно?

Ответа на вопрос от Hugo нет.
Может быть, он не читает сейчас эту тему.
Ладно, займусь самодеятельностью :)
Не знаю, нужен ли вообще параметр p при проверке паттернов с квадратами.
Ну, параметр g, наверное, нужен.

Запустила на черепашке проверку паттерна с одним квадратом b127 так

pcoul -rlog_b127_15.txt -x80215613469168729088982885848674841 -f13 -b127 -p9e7 -g10 12 15

Посмотрю, что из этого получится.
Если посчитает до отбоя - хорошо.
Не посчитает, прерву.

Форумчан dxdy.ru с Новым Годом поздравил gris
https://dxdy.ru/post1575749.html#p1575749

Я поздравила участников нашего проекта
https://boinc.progger.info/odlk/forum_thread.php?id=147&postid=10560
https://boinc.multi-pool.info/latinsquares/forum_thread.php?id=93&postid=3628
а также форумчан Math Help Planet
http://mathhelpplanet.com/viewtopic.php?f=57&t=79025

Читателей данной темы отдельно
поздравляю с наступающим Новым Годом!

Желаю мира и счастья!

Подарок форумчанам MHP - и читателям этой темы

СТИШОК В АПЕЛЬСИНЕ

“Стишок я в апельсине,
Рвусь к вам изо всей силы,
Но окружён я плотной
Оранжевой корой.
В невыносимом мраке
Я горестно томлюсь.
Скорей, скорей разрежьте
Глухую оболочку, –
Я соком к вам прольюсь!

Я очень, очень вкусный,
Я очень, очень нужный,
Но не могу разрушить
Оранжевый свой плен.
Скорей, скорей разрушьте
Немыслимые стены,
Я потеку украдкой
Иль брызну ярко, сладко!”

Ах, где же нож тот нежный
В руках у исполина,
Который плен разрушит
И выпустит наружу
Стишок из апельсина?!

Ой, Ядряра ответил на поздравление gris :)
https://dxdy.ru/post1575761.html#p1575761

Чегой-то Вы нынче шибко серьёзный



С Наступающим !

Вспомнилось стихотворение
"Я сегодня так грустно настроен..."
(Гумилёв?)

Причин для грусти очень много...
"Сон разума порождает чудовищ!"
Чудовища порождены...

Если бы я поднимала тост, встречая Новый Год, то подняла бы его за ТОРЖЕСТВО РАЗУМА !

Подымем стаканы, содвинем их разом!
Да здравствуют музы, да здравствует разум!

А. С. Пушкин

Цитата

Запустила на черепашке проверку паттерна с одним квадратом b127 так

pcoul -rlog_b127_15.txt -x80215613469168729088982885848674841 -f13 -b127 -p9e7 -g10 12 15

Посмотрю, что из этого получится.
Если посчитает до отбоя - хорошо.
Не посчитает, прерву.

Похоже, это не закончится.
Ещё немного покрутится - до наступления Нового Года :)
Потом прерву.
Наверное, параметры p и g надо другие задать - более оптимальные, которых я, к сожалению, не знаю.