miflin писал в сообщении
https://dxdy.ru/post1574484.html#p1574484

Прошу прощения.
Влез в тему (в первый и последний раз), ощущая себя в ней абсолютно инородным телом.
Складывается впечатление, что громоздкость задачи не позволяет получить результат,
в правильности которого участники были бы уверены на 100%.

О-о-о!
Кто к нам пришёл! Сам Гришпута.
А нефиг влезать в тему, в которой ни бум-бум!
Эх, как хочется передать Гришпуте привет от "вокзальной [вторая буква алфавита]...".
Может быть, кто-нибудь из форумчан dxdy.ru передаст :)
Ещё Таланова не хватает в теме (ник Александрович).
Удивительно, как это он до сих пор не влез в тему!

Гришпута с Талановым были бы очень не против влезть в мою тему и заняться своим главным делом (оскорблением), однако тут их ждёт облом.

Кое-что процитирую из моей темы на dxdy.ru "Открытое письмо администрации форума", чтобы дать представление о Гришпуте (miflin) и Таланове (Александрович).

Таланов
https://dxdy.ru/post834863.html#p834863

Чего тогда вы хотите? Наблюдать как вы занимаетесь ненужным делом? Это, здесь вы правы, никому неинтересно.

https://dxdy.ru/post834982.html#p834982

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

https://dxdy.ru/post835000.html#p835000

Если вас интересует моё личное мнение, то извольте - закроют тему, ничего не потеряется, останется - ничего не приобретётся.

Гришпута
https://dxdy.ru/post834941.html#p834941

Да, здесь диапазон мнений широк - от "полная ерунда, забава" до "фундамента для будущего прорыва математики в новое качество".
Дело не в этом. Пусть бы занималась. Но когда это сопровождается периодическими чуть ли не упреками
в адрес форумчан, которым это неинтересно... Уже начинают пропоминаться слова типа "назойливость"... :)

Из моего сообщения
https://dxdy.ru/post835323.html#p835323

Спасибо тем, кто поддержал; не в восторге, конечно, от тех, кто "пополоскал", но это было само собой, это было предсказуемо, и я прекрасно это понимала (непередаваемое удивление двумя особями, которые, утопив на ПЕН, прискакали топить и здесь; торжествуйте, особи (тля)! вы победили).

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

Помню горечь от двух сообщений gris
https://dxdy.ru/post835104.html#p835104

Безотносительно персон.
Хотя именно о неназываемых из-за политкорректности, которых я бы с удовольствием читал и в виде блога. Предположим, имярек имеет тему, в которую пишет свои текущие соображения по физике или математике. Оно и сейчас есть, но приходится вычитывать интересные строки из вороха попутного сена. Или надо самому задать вопрос. Но ведь попробуй его сформулируй. Да и не все способны мутить новые темы.
Правда, тогда встанут вопросы. В общем, я от своих слов, на всякий случай, отрекаюсь.

https://dxdy.ru/post835128.html#p835128

Ну я немного не то имел в виду. Это будет уже не форум. Человек по природе эгоистичен и, получив надел, будет обихаживать в основном его, манкируя публичными разделами. Я говорил лишь о своём желании читать может быть самое малое количество таких "блогов" в очень узком понимании этого слова. Но у Вас будут другие предпочтения, а уж самостоятельное модерирование противоречит самому духу форума.
По данному конкретному случаю я своего мнения не имею.

Это трудно назвать поддержкой.
В первом сообщении сказано:

В общем, я от своих слов, на всякий случай, отрекаюсь.

???
Во втором сообщении сказано:

По данному конкретному случаю я своего мнения не имею.

Это заявление меня вообще убило.

На иностранных форумах блоги разрешены.
И даже на некоторых русскоязычных, например, на Киберфоруме.
Блоги совершенно не мешают "публичному разделу".

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

Так и пусть обихаживает, если есть человеку, что сказать в блоге!
Если человек заведёт блог, который будет совсем никому не интересен, ну и что с того? Блог просто никто не будет читать.
Разве самому человеку захочется писать блог, который никто не читает???
Будет "манкировать публичными разделами"?
Так ведь если мне нечего сказать, например, в разделе "Физика", я в любом случае этим разделом буду манкировать, независимо от того, есть у меня блог или нет.
А если я в этот раздел влезу и буду там нести чушь, меня быстренько оттуда выкинут.

Вот здесь, где я сейчас пишу свой блог, между прочим, форум.
В форуме могут участвовать те, кто участвует в BOINC-проекте ОДЛК, которому принадлежит этот форум.
Мой блог мешает форуму?
Ничуть!
Кстати, gris мой блог читает :)
Я много пишу в блоге, но публичными разделами не манкирую.
Мне и нельзя манкировать, потому что я модератор форума.

Для справки: на данный момент этот блог имеет 99330 просмотров.
Ну, это не самый просматриваемый блог.
Например, блог "BOINC project Rake Search"
https://boinc.progger.info/odlk/forum_thread.php?id=31#441
имеет 538713 просмотров.
Этот блог находится тоже в разделе "Cafe".
В разделе "Science" есть и более просматриваемые блоги.
Например, блог "Группы из шести пар ортогональных ДЛК"
https://boinc.progger.info/odlk/forum_thread.php?id=71
имеет 781130 просмотров.

Между прочим, форум, вместе с его блогами, смотрят во всём мире.
Несмотря на то, что пишется здесь по-русски.
Кому интересно, переводит.
Например, Hugo переводит и отвечает на мои вопросы в письмах.
Здесь он отвечать не может, к сожалению (он не участник BOINC-проекта ОДЛК).

Умилительное пояснение дал Гришпуте господин Петухов
https://dxdy.ru/post1574489.html#p1574489

Интересно, удовлетворило ли это пояснение Гришпуту?
Наверное, удовлетворило :)
Он всё понял: задача громоздкая, "громоздкость задачи не позволяет получить результат".
Господин Петухов подтвердил: абсолютной уверенности в результатах нет, доказывать корректность "всем лень".
Все довольны и счастливы - и вопрошающий, и отвечающий.

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

The second pcoul glitch under windows:

T:\M12minimal\Hugo>pcoul.exe -a -f13 -x1e199 36 15 |findstr /V /B "203"
<...>

Хм...
У меня нет никакого глюка.
Задала командную строку

pcoul.exe -x:1e199 -f13 -a >patterns_36_15.txt 36 15

Получила полный список паттернов, показываю начало и конец списка

001 pcoul(36 15) -f13 -x10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 *RT*
203 b0: 2^8.3 5 2.11^8 3.13^8 2^2.7 . 2.3^2.5^2 . 2^3 3 2 5.7^8 2^2.3 11 2 [sq=1]
203 b1: 2^8.3 5 2.11^8 3.13^2 2^2.7 . 2.3^2.5^2 . 2^3 3 2 5.7^8 2^2.3 11 2 [sq=1]
203 b2: 2^8.3 5 2.11^8 3 2^2.7 . 2.3^2.5^2 . 2^3.13^2 3 2 5.7^8 2^2.3 11 2 [sq=1]
203 b3: 2^8.3 5 2.11^8 3 2^2.7 . 2.3^2.5^2 . 2^3 3 2.13^8 5.7^8 2^2.3 11 2 [sq=1]
203 b4: 2^8.3 5 2.11^8 3 2^2.7 . 2.3^2.5^2 . 2^3 3 2.13^2 5.7^8 2^2.3 11 2 [sq=1]
203 b5: 2^8.3 5 2.11^2.13^2 3 2^2.7 . 2.3^2.5^2 . 2^3 3 2 5.7^8 2^2.3 11 2 [sq=1]
203 b6: 2^8.3 5 2.11^2 3.13^8 2^2.7 . 2.3^2.5^2 . 2^3 3 2 5.7^8 2^2.3 11 2 [sq=1]
203 b7: 2^8.3 5 2.11^2 3.13^2 2^2.7 . 2.3^2.5^2 . 2^3 3 2 5.7^8 2^2.3 11 2 [sq=1]
203 b8: 2^8.3 5 2.11^2 3 2^2.7 . 2.3^2.5^2 . 2^3.13^2 3 2 5.7^8 2^2.3 11 2 [sq=1]
203 b9: 2^8.3 5 2.11^2 3 2^2.7 . 2.3^2.5^2 . 2^3 3 2.13^8 5.7^8 2^2.3 11 2 [sq=1]
203 b10: 2^8.3 5 2.11^2 3 2^2.7 . 2.3^2.5^2 . 2^3 3 2.13^2 5.7^8 2^2.3 11 2 [sq=1]
203 b11: 2^8.3 5 2.13^8 3 2^2.7 . 2.3^2.5^2 . 2^3.11^2 3 2 5.7^8 2^2.3 . 2 [sq=1]
203 b12: 2^8.3 5 2.13^2 3 2^2.7 . 2.3^2.5^2 . 2^3.11^2 3 2 5.7^8 2^2.3 . 2 [sq=1]
203 b13: 2^8.3 5 2 3.13^8 2^2.7 . 2.3^2.5^2 . 2^3.11^2 3 2 5.7^8 2^2.3 . 2 [sq=1]
203 b14: 2^8.3 5 2 3.13^2 2^2.7 . 2.3^2.5^2 . 2^3.11^2 3 2 5.7^8 2^2.3 . 2 [sq=1]
203 b15: 2^8.3 5 2 3 2^2.7 . 2.3^2.5^2 . 2^3.11^2 3 2.13^8 5.7^8 2^2.3 . 2 [sq=1]
203 b16: 2^8.3 5 2 3 2^2.7 . 2.3^2.5^2 . 2^3.11^2 3 2.13^2 5.7^8 2^2.3 . 2 [sq=1]
203 b17: 2^8.3 5 2.13^8 3 2^2.7 . 2.3^2.5^2 . 2^3 3.11^8 2 5.7^8 2^2.3 . 2 [sq=1]
203 b18: 2^8.3 5 2.13^2 3 2^2.7 . 2.3^2.5^2 . 2^3 3.11^8 2 5.7^8 2^2.3 . 2 [sq=1]
203 b19: 2^8.3 5 2 3.13^8 2^2.7 . 2.3^2.5^2 . 2^3 3.11^8 2 5.7^8 2^2.3 . 2 [sq=1]
. . . . . . . . 
203 b336632: 5 2 3 2^2 . 2.3^2.5^2 7 2^3 3 2 5.11^8 2^2.3 13^2 2.7^2 3^5 [sq=1]
203 b336633: 5 2 3 2^2 . 2.3^2.5^2 7 2^3 3 2 5.11^8 2^2.3 13^5 2.7^2 3^5 [sq=1]
203 b336634: 5 2 3 2^2 . 2.3^2.5^2 7 2^3 3 2 5.11^8 2^2.3 13 2.7^2 3^5 [sq=1]
203 b336635: 5 2 3 2^2 . 2.3^2.5^2 7 2^3 3 2 5.11^8 2^2.3 13^3 2.7^2 3^5 [sq=2]
203 b336636: 5 2 3.13^8 2^2 . 2.3^2.5^2 7 2^3 3 2 5.11^2 2^2.3 . 2.7^2 3^5 [sq=1]
203 b336637: 5 2 3.13^2 2^2 . 2.3^2.5^2 7 2^3 3 2 5.11^2 2^2.3 . 2.7^2 3^5 [sq=1]
203 b336638: 5 2 3 2^2 . 2.3^2.5^2 7 2^3.13^2 3 2 5.11^2 2^2.3 . 2.7^2 3^5 [sq=1]
203 b336639: 5 2 3 2^2 . 2.3^2.5^2 7 2^3 3 2.13^8 5.11^2 2^2.3 . 2.7^2 3^5 [sq=1]
203 b336640: 5 2 3 2^2 . 2.3^2.5^2 7 2^3 3 2.13^2 5.11^2 2^2.3 . 2.7^2 3^5 [sq=1]
203 b336641: 5 2 3 2^2 . 2.3^2.5^2 7 2^3 3 2 5.11^2 2^2.3 13^8 2.7^2 3^5 [sq=1]
203 b336642: 5 2 3 2^2 . 2.3^2.5^2 7 2^3 3 2 5.11^2 2^2.3 13^11 2.7^2 3^5 [sq=2]
203 b336643: 5 2 3 2^2 . 2.3^2.5^2 7 2^3 3 2 5.11^2 2^2.3 13^17 2.7^2 3^5 [sq=1]
203 b336644: 5 2 3 2^2 . 2.3^2.5^2 7 2^3 3 2 5.11^2 2^2.3 13^2 2.7^2 3^5 [sq=1]
203 b336645: 5 2 3 2^2 . 2.3^2.5^2 7 2^3 3 2 5.11^2 2^2.3 13^5 2.7^2 3^5 [sq=1]
203 b336646: 5 2 3 2^2 . 2.3^2.5^2 7 2^3 3 2 5.11^2 2^2.3 13 2.7^2 3^5 [sq=1]
203 b336647: 5 2 3 2^2 . 2.3^2.5^2 7 2^3 3 2 5.11^2 2^2.3 13^3 2.7^2 3^5 [sq=2]
367 coul(36, 15): recurse 21360, walk 279600, walkc 22 (18.47s)

336648 паттернов.

Hugo ответил на это господину Петухову

Sorry, I don't know what findstr does, are you filtering out the "203" lines and leaving the rest? If so, you are still getting normal progress display every second, and the progress display is always kept on a line of its own when any other result is displayed.

https://dxdy.ru/post1574510.html#p1574510

Нагородил господин Петухов ХЗ чего в командной строке и предъявляет претензии, что глюк.

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

I received this output from Dmitry (before findstr processing). And I can say that there really are some snippets of lines. Perhaps there are some problems with stdout in Windows

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

@EUgeneUS
отправила вам список паттернов на почту.
Проверьте сами.

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

Игра "Угадай слово"

Сегодня сыграла на "отлично" :)
Отгадала слово второй попыткой.
Первая попытка - ПЕШКА, буква А на месте, буква П не на месте.
Второй попыткой слово отгадано!

Отгадайте, господа!
С моей подсказкой вы можете отгадать первой попыткой :)

Новостей на утро нет никаких.
Как говорят: "Самая хорошая новость - отсутствие плохих новостей".

Мыльную оперу "Пентадекатлон мечты", кажется, прекратили.
Что-то у главного героя? Или у режиссёра?
Наверное, подготовка к Рождеству, к Новому Году.
Ой, скучно стало :)
Хоть бы господин Лецко опубликовал новую восьмёрку или девятку.

Вчера написала Hugo письмо с предложением помощи по подготовке к запуску задачи D(12,13)

Can I help you prepare to run task D(12,13)?
For example, jobs generation for BOINC.
Perhaps testing some jobs.
This should not be a very long test, as required by BOINC.

Сегодня пришёл ответ: помощь не требуется.
Остаётся ждать, когда Hugo запустит эту задачу.

Проверила несколько паттернов для D(12,13).
Например, паттерн b20

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b20 *RT*
305 3.344363^2 2^2.7 5.13^2 2.3^2 11^5 2^5 3 2.5^2 7.1787^2 2^2.3 19^2 2 3^2.5 (576.28s)
305 3.740891^2 2^2.7 5.13^2 2.3^2 11^5 2^5 3 2.5^2 7.727^2 2^2.3 41^2 2 3^2.5 (1149.99s)
305 3.163^2 2^2.7 5.13^2 2.3^2 11^5 2^5 3 2.5^2 7.19^2 2^2.3 89^2 2 3^2.5: 98 / 2814 (1722.14s)
305 3.237767^2 2^2.7 5.13^2 2.3^2 11^5 2^5 3 2.5^2 7.149^2 2^2.3 233^2 2 3^2.5 (2296.05s)
305 3.116381^2 2^2.7 5.13^2 2.3^2 11^5 2^5 3 2.5^2 7.23^2 2^2.3 727^2 2 3^2.5 (2868.73s)
305 3 2^2.7 5.13^2 2.3^2 11^5 2^5 3 2.5^2 7.236707^2 2^2.3 3391^2 2 3^2.5 (3442.18s)
305 3 2^2.7 5.13^2 2.3^2 11^5 2^5 3 2.5^2 7.258113^2 2^2.3 22307^2 2 3^2.5 (4016.07s)
305 3 2^2.7 5.13^2 2.3^2 11^5 2^5 3 2.5^2 7.83071^5 2^2.3 46619^2 2 3^2.5 (4590.22s)
367 coul(12, 13): recurse 966068024, walk 1256956499, walkc 1485370486 (4969.61s)

Этот паттерн очень быстро проверился (параметры у меня, возможно, совсем не подходящие, я взяла их из задачи D(12,12) - для самых трудных паттернов).
Ещё проверила несколько паттернов с квадратами, эти паттерны тоже быстро проверились.
Например, паттерн b162

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x120402988681658048433948:586683019466361719763403545 -b162 *RT*
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^3 2^2.3 13^5 2 3^2.5 W(62773547,2) (584.29s)
305 3.354139^2 2^2 5.19^2 2.3^2 151^2 2^5 3.7^2 2.5^2 11^3 2^2.3 13^5 2 3^2.5 (1168.68s)
367 coul(12, 13): recurse 7547905, walk 32435480, walkc 0 (1471.46s)

Поскольку нет уверенности в том, правильно ли проверяю (такие ли параметры?), прекратила проверку.

С квадратами проверила следующие паттерны:
b158-b163, b352, 363, 383, 392.

Ахиллес с черепашкой пока штурмуют 19-ку.

Ах да, Ахиллес пытается минимизировать шестёрку с 36 делителями

T(18,6) <= 2595541876334839548 Hugo van der Sanden 2022-05-13

Пока безуспешно :)
Показываю начало и конец логов

001 pcoul(36 6) -f5 -g3 -x2595541876334839548 *RT*
305 2^8.3 5^2 2.31^2 3.37^2 2^2 7^2: 738654 / 1048512 (582.65s)
305 2^8.3 5^2 2.16870181^2 3.359^2 2^2 7^2 (1166.14s)
305 2^8.3 5^2 2 3.2791^2 2^2 7^2: 161855 / 177083 (1748.72s)
305 2^8.3 5^2 2.18728447^2 3.101^2 2^2 11^2 (2330.89s)
305 2^8.3 5^2 2 3.643^2 2^2 11^2: 341355 / 1351105 (2914.33s)
305 2^8.3 5^2 2.35400061^2 3.89^2 2^2 13^2 (3496.34s)
305 2^8.3 5^2 2 3.1171^2 2^2 13^2: 8731 / 291672 (4078.80s)
305 2^8.3 5^2 2 3.163^2 2^2 17^2: 5655977 / 8802858 (4661.73s)
. . . . . . . 
305 2^8 3^2.5 2.46399943^2 23^2 2^2.3 19^2 (327736.54s)
305 2^8 3^2.5 2 23^2 2^2.3 127^2: 10632125 / 13203298 (328331.89s)
305 2^8 3^2.5 2 23^2 2^2.3 163^2: 3744953 / 8015205 (328925.49s)
305 2^8 3^2.5 2 23^2 2^2.3 229^2: 366744 / 4060867 (329519.45s)
305 2^8 3^2.5 2 23^2 2^2.3 389^2: 269448 / 1407312 (330113.64s)
305 2^8 3^2.5 2 23^2 2^2.3 2243^2: 4720 / 42327 (330707.89s)
305 2^8 3^2.5 2.11^2 29^2 2^2.3 37^2: 687085 / 808649 (331304.94s)
305 2^8 3^2.5 2 29^2 2^2.3 101^2: 10955659 / 13131271 (331901.91s)
305 2^8 3^2.5 2 29^2 2^2.3 127^2: 2999676 / 8305047 (332492.70s)
305 2^8 3^2.5 2 29^2 2^2.3 167^2: 1521484 / 4803043 (333083.41s)
305 2^8 3^2.5 2 29^2 2^2.3 257^2: 881883 / 2028071 (333674.88s)
305 2^8 3^2.5 2 29^2 2^2.3 643^2: 39202 / 323986 (334267.27s)
305 2^8 3^2.5 2.29^2 31^2 2^2.3 11^2: 309383 / 1151968 (334859.75s)

Уже почти четверо суток проверяется.

@Hugo
Правильно ли я проверяю D(36,6)?
Может быть, параметр -g3 надо задать другой?

Ну вот, мыльная опера "Пентадекатлон мечты" снова поехала - с этого поста
https://dxdy.ru/post1574807.html#p1574807

Ядряра никак не уймётся.
Его заслуги в решении задачи минимизации цепочек с 12 делителями никто не оценил! :)

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

Как я понял, Вы уже давно согласны, что 3213 паттернов являются лишними. Согласны ли Вы что и 234 паттерна тоже являются лишними? Вот здесь я это обосновал:
<…>

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

Итак, что же означает сей суперважный вопрос?
Он означает, что Hugo необходимо на него ответить.
Не так ли?
А это означает, что Hugo надо бросить свои дела и разбираться в том, правильно ли господин Никонов "обосновал", что 234 паттерна тоже являются "лишними".

Выше господин Петухов объяснил господину Никонову, что все так называемые "лишние" паттерны проще обсчитать, нежели доказывать, что они действительно "лишние".

Две сотни паттернов, а они все минимум с двумя квадратами, уложатся скорее всего в одну минуту счёта. Так что их проще посчитать чем исключать.

https://dxdy.ru/post1574322.html#p1574322

Однако господина Никонова такое объяснение совсем не устроило.

А вот и ответ пришёл от Hugo

I neither agree nor disagree, the question is uninteresting to me. I have told you this before, and regret the waste of time involved in needing to tell you again.

https://dxdy.ru/post1574862.html#p1574862
Хороший ответ!
Может быть, господин Никонов теперь успокоится со своими "лишними" паттернами?
Вряд ли. Сильно в этом сомневаюсь.

Теперь у господина Никонова новая задача :)
Он писал в сообщении
https://dxdy.ru/post1574944.html#p1574944

Да, Ваших новых прог пока нет. Но я и не говорил, что сравнение скорости для новых вариантов нужно произвести именно сегодня.

Другое дело, если у Вас нет времени и/или желания делать эти новые варианты.

Тогда этим нужно заняться другим людям. Про Hugo я уже говорил. Евгению, например, раз уж он стал искать 14-ки.

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

Тогда этим нужно заняться другим людям. Про Hugo я уже говорил. Евгению, например, раз уж он стал искать 14-ки.

Пусть Hugo займётся написанием новой программы по алгоритму господина Петухова (ускорители на АСМе для квадратичного перебора)!
Или Евгений, например.
Если и они не хотят, тогда этим займётся сам господин Никонов.
Нельзя же бросить такой замечательный алгоритм, который ускорит вычисления в 100 раз!

Dmitriy40
Может конечно и не в тысячу раз, как раньше, но в сто раз-то она медленнее ?

https://dxdy.ru/post1574817.html#p1574817

В общем, господин Никонов разберётся с АСМом и сделает новую программу с ускорителями, которая будет в 100 раз быстрее программы Hugo pcoul.
Отлично! Ждём-с.

Заключительный аккорд

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

А нужна ли будет такая программа через месяцы?
Если Hugo запустит минимизацию оставшихся цепочек с 12 делителями (и не только!) в BOINC-проекте, задача будет решена за месяцы или даже намного быстрее - за недели.

PS. А вот почему Евгений не хочет ускоряться в сто раз? :)
Это безобразие!
Начал искать 14-ки и использует для этого программу Hugo pcoul.
Ну, никто не хочет слушаться господина Никонова! :))
Однако... ведь программы, которая в сто раз быстрее, пока нет.
И быстро она вряд ли появится.
Разве что через месяцы.

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

2. С того времени много чего поменялось. Например, минимизация U(12,11) и U(12,12) выглядела невозможной, а сейчас это выполнено за короткое время. И если нахождение меньшей на 2-3 порядка U(12,14) рассматривать, как подоготовительный этап к нахождению D(12,14), то никаких противоречий нет.

Да, именно так.
Только интересный вопрос: намного ли убыстрится процесс минимизации цепочки длины 14 с 12 делителями, если текущее наименьшее значение будет уменьшено на 2-3 порядка?
Это надо спросить у Hugo.
Стоит ли тратить время и ресурсы на поиск нового наименьшего значения?
Мне кажется, что стоит.
Но интересно мнение Hugo.

Я занималась минимизацией спектров (в теме ОДЛК).
Так там каждое новое меньшее значение лавиной давало кучу уменьшений.
Эффект был поразительный!

Несмотря ни на что, Ахиллес с черепашкой продолжают поиск 19-ки.

Вот два новых решения, найденные Ахиллесом в алгоритме №5.

Перебор

{4852237675097029697, 4852237675097029703, 4852237675097029727, 4852237675097029733, 4852237675097029787,
4852237675097029799, 4852237675097029817, 4852237675097029853, 4852237675097029859, 4852237675097029883,
4852237675097029907, 4852237675097029913, 4852237675097029949, 4852237675097029967, 4852237675097029979,
4852237675097030033, 4852237675097030039, 4852237675097030063, 4852237675097030069}

4852237675097029697, 
4852237675097029703, 
4852237675097029727, 
4852237675097029729, 
4852237675097029753, 
4852237675097029787, 
4852237675097029823, 
4852237675097029853, 
4852237675097029859, 
4852237675097029883, 
4852237675097029907, 
4852237675097029913, 
4852237675097029937, 
4852237675097029939, 
4852237675097029949, 
4852237675097029957, 
4852237675097029967, 
4852237675097029979, 
4852237675097029991, 
4852237675097030011, 
4852237675097030051, 
4852237675097030063, 
4852237675097030069,

8 «дырок»

{4852268574691600211, 4852268574691600217, 4852268574691600241, 4852268574691600247, 4852268574691600301,
4852268574691600313, 4852268574691600331, 4852268574691600367, 4852268574691600373, 4852268574691600397,
4852268574691600421, 4852268574691600427, 4852268574691600463, 4852268574691600481, 4852268574691600493,
4852268574691600547, 4852268574691600553, 4852268574691600577, 4852268574691600583}

4852268574691600211, 
4852268574691600217, 
4852268574691600273, 
4852268574691600297, 
4852268574691600301, 
4852268574691600313, 
4852268574691600343, 
4852268574691600367, 
4852268574691600373, 
4852268574691600397, 
4852268574691600421, 
4852268574691600427, 
4852268574691600429, 
4852268574691600493, 
4852268574691600501, 
4852268574691600553, 
4852268574691600567, 
4852268574691600577, 
4852268574691600583,

Паттерн с диаметром 372.

Что у нас с цепочками Hugo?
Пока томительное ожидание.

Hugo писал в сообщении
https://boinc.ru/forum/topic/proekt-hugo-van-der-sanden/?part=11#postid-6873

My apologies if I am too slow for you: it has been quite busy for me lately, handling the final stages of the work for D(12,11) and the start of D(12,12). I am still working to determine optimal parameters for the program when running D(12,12) patterns.
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.
I believe D(12,13) and later will be a better fit for BOINC projects: there will be more individual patterns to work on (3410 for D(12,13) compared to 504 for D(12,12)), each one will be long enough that it makes sense to subdivide it, and I will have more time to adapt the code and myself to a different way of working.

Как я понимаю, он работает над запуском подзадачи D(12,13).
Однако... как долго он будет над этим работать, трудно сказать.
Понятно, что адаптация для BOINC сложная.
Даже с опытным помощником это быстро не делается.
Надеюсь, что Hugo с этим справится.

EUgeneUS начал искать меньшую 14-ку с 12 делителями.
Почему именно 14-ку, а не 13-ку или 15-ку - трудно сказать.
Ну, понравилась ему 14-ка, ему кажется, что именно 14-ка имеет больше всего шансов на уменьшение.
Посмотрим на значения наименьших цепочек с 12 делителями

T(6,12) = 120402988681658048433948 Hugo van der Sanden 2022-09-25
T(6,13) <= 586683019466361719763403545 Dmitry Petukhov 2022-08-19
T(6,14) <= 1966089440441196672524986345512345 Dmitry Petukhov 2022-09-30
T(6,15) <= 80215613469168729088982885848674841 Natalia Makarova 2022-09-18

Да, текущая минимальная 14-ка намного больше текущей минимальной 13-ки.
Шансы на уменьшение 14-ки есть.
Впрочем, мне кажется, шансы на уменьшение 13-ки тоже есть.

Два сапога умника всё разбираются с паттернами, начиная с этого поста
https://dxdy.ru/post1574909.html#p1574909
и далее до конца, кажется, только их разборки.
Ни одного паттерна, который был бы пропущен у Hugo, господин Никонов так и не нашёл, хотя очень старался.
Зато нашёл много "лишних" паттернов и настоятельно требовал от Hugo признать эти "лишние" паттерны.
Но... Hugo отреагировал так, что ему это не интересно.
Господин Никонов очень расстроился :)

Ахиллес всё проверяет D(36,6).
Странно: такая коротенькая цепочка, и стартовое значение не очень большое, а проверка длится очень долго.
Не иначе я плохой параметр g задала.
Ну ладно, пусть покрутится ещё.

Вот вроде и все новости на сегодня.
Пока вялотекущий проект.

Музыкальная пауза

https://www.youtube.com/watch?v=au_mMCk5kG4

Господа Никонов и Петухов продолжают разбираться с паттернами для цепочек с 12 делителями..
Уже 196-я серия мыльной оперы "Пентадекатлон мечты".
Думаю, что к юбилейной 200-й серии они разберутся :)