Пентадекатлон мечты

[Dmitriy40]

Вот ещё проблема вылезла: numdiv почему-то иногда вылетает как будто нажали Ctrl+C, т.е. прерывание, так и пишет, "user interrupt", хотя никакой user его и близко не трогал. Причём по Enter спокойно продолжает дальше считать. Смахивает на глюк в самом PARI.

[Yadryara]

Yadryara в сообщении #1552648 писал(а):

Сейчас в A292580 как раз Ваши оценки для $T(15,4) \leqslant 1542481711619246942245033414190583122$
и
$T(15,5) \leqslant 666943262916699588264541522223408446129442752832102497$

Нынче они исчезли(в истории пока остались) вместе со многими другими рекордами. То есть, видимо, теперь там только доказанные минимумы, и нет верхних оценок для недоказанных.

[EUgeneUS]

Yadryara в сообщении #1553176 писал(а):

Нынче они исчезли(в истории пока остались) вместе со многими другими рекордами

Hugo van der Sanden вытащил оценки из комментариев в приложенный к последовательности "a-file".

[Yadryara]

Да, благодарю. И обновил по меньшей мере 2 рекорда 13 апреля. Таблица текущих рекордов для 12-ти делителей нынче такая:

$ T(6,10) \leqslant 5313166666681560348\hspace{3.68cm}\text{Hugo van der Sanden 2022-04-13}$

$ T(6,11) \leqslant 10433262941295560748369948 \hspace{2.48cm} \text{Hugo van der Sanden 2022-01-11}$

$ T(6,12) \leqslant 188398449265501253956617945 \hspace{2.32cm} \text{Hugo van der Sanden 2022-01-11}$

$ T(6,13) \leqslant 1932741770848588276411450776345 \hspace{1.63cm} \text{Hugo van der Sanden 2022-01-11}$

$ T(6,14) \leqslant 4894738132059472206526016135636567642 \hspace{.59cm} \text{Dmitry Petukhov} \hspace{.73cm} \text{2022-03-21}$

$ T(6,15) \leqslant 66387422053662391209161093722597723545 \hspace{.41cm} \text{Dmitry Petukhov} \hspace{.63cm} \text{ 2022-04-07}$

[kotenok gav]

Запустил 48 делителей в два потока. Вопреки всем прогнозам про $\dfrac{100}{\text{количество логических ядер}}\%$ каждый из потоков занял около $10\%$

[Dmitriy40]

По M36n13.
Глюк в SSE победил, комплект программ сделал.
Сравнение скорости затруднено сильной зависимостью от программы проверки PARI, с которой пока недоопределился, там какие-о непонятные глюки с командой alarm, пока убрал её с ухудшением факторизации, скорость даже повысилась (ценой менее точного подсчёта количества делителей если их больше 36), теперь ускорение не 117 раз, а 152 раза (на маленьком тестовом интервальчике, реально меньше). SSE версии моей программы всё так же на четверть медленнее AVX2, но gp32 всё так же более чем вдвое тормознее gp64. И PARI всё так же занимает около 80% общего времени.
Пока не выкладываю, хочу проверить не будет ли вылетать частичная факторизация как вылетала alarm (реально бесит произвольной остановкой счёта). Если не будет, то завтра выложу комплект для работы (и x64 AVX2 и x32 SSE).

[EUgeneUS]

kotenok gav в сообщении #1553190 писал(а):

Запустил 48 делителей в два потока. Вопреки всем прогнозам про $\dfrac{100}{\text{количество логических ядер}}\%$ каждый из потоков занял около $10\%$

Вероятно, на компьютере крутятся и другие "тяжелые" задачи. В результате операционная система не смогла отдать каждому потоку PARI/GP по одному потоку CPU.

У меня, кстати, досчитались 4-ре потока M48n20 (по "заданиям", полученным в ЛС от уважаемого VAL).
На 4-ре потока нашлось две цепочки по 18 чисел (не непрерывные), 19-к и 20-к не нашлось ни одной.

Если на выходных будет доступен вариант с ускорителями для SSE (не важно для поиска какой цепочки) - запущу вариант с ускорителями. Если нет - запрошу "задания" без ускорителей.

[VAL]

EUgeneUS в сообщении #1553197 писал(а):

На 4-ре потока нашлось две цепочки по 18 чисел (не непрерывные), 19-к и 20-к не нашлось ни одной.

На 4-х потоках за один запуск это очень перспективный результат!

EUgeneUS в сообщении #1553197 писал(а):

Если нет - запрошу "задания" без ускорителей

Что значит "запрошу"?
А те что у Вас есть - на помойку!? А вдруг там в пяти минутах счета двадцатка прячется?
Предполагается, что каждый паттерн используется многократно. Увеличиваем i1 и считаем дальше. В инструкции же про это написано.
Судите сами: Ваши программки уже гонялись на моем компе (я рассылаю только проверенные). При этом на интервале вдвое большем, чем обсчитали Вы, нашлось 3 набора по 18. А а у Вас - 2. Так что, пока что Вы еще не вышли из перспективной зоны. Тенденция, скорее, обратная - шансы растут.

Вот когда после многих запусков не найдется ни одного набора по 18 чисел... Впрочем, к этому времени мы уже найдем 20-ку

[EUgeneUS]

VAL в сообщении #1553205 писал(а):

Что значит "запрошу"?

Это значит - получить комментарии, которые Вы привели ниже.

VAL в сообщении #1553205 писал(а):

Предполагается, что каждый паттерн используется многократно. Увеличиваем i1 и считаем дальше.

ОК. Вечером или завтра запущу счет дня на два.

VAL в сообщении #1553205 писал(а):

В инструкции же про это написано.

Это я в инструкции пропустил Потому и не знал - по окончанию счета двигаем $i$ или меняем паттерны.

[Yadryara]

У меня дело идёт по-прежнему очень медленно. Но идёт. Я же не знал, что никто не выделит для 12-ти делителей даже ни одного потока. Хотя, как знать, может RTM считает, но о результатах не рассказывает.

\begin{tabular}{|l|c|c|c|c|c|c|c|} \hline & ALL & 11+ & 11 & 12 & 13 & 14 & 15 \\ \hline \text{<12e35 11-23} & 16 & 624 & 490 & 113 & 19 & 2 & \\ \text{<12e35 КМК37-11} & 15 & 842 & 663 & 159 & 15 & 5 & \\\hline \end{tabular}

Отвечаю на то, что ранее было оставлено на потом.

Dmitriy40 в сообщении #1552473 писал(а):

Yadryara в сообщении #1552469 писал(а):

Поиск чуть большей М(12)=15, которым Вы занимались, ещё менее понятен.

Зато он занял дня три, а не месяцы, столько я готов потратить даже пусть и впустую (по Вашему мнению,

Нет у меня такого мнения. Я считаю, что смысла мало, но я не считаю, что он равен нулю. Это с одной стороны.

С другой стороны, в 2017-м году, когда на форуме впервые зашла речь о нынешнем проекте, было сказано:

VAL в сообщении #1203960 писал(а):

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

Нынче этого понимания ни у кого так и не появилось?

[Dmitriy40]

Итак, фронт работы по M36n13.
Выложил в облако две версии, под x32 SSE и под x64 AVX2, ссылка всё та же, папка M36n13, там два архива и отдельно ReadMe.txt. Для работы нужен сам PARI, если ещё не скачали, то вот эти: gp32, gp64, ничего другого для работы не нужно.
ReadMe.txt прочитать, нужный архив скачать и распаковать в любую папку, туда же положить gp32/gp64 если их ещё нет отдельно или хотите иметь всё в одном месте, далее по инструкции в ReadMe.txt, чего её пересказывать.

Отмечу лишь не упомянутые моменты.
Деление по потокам делается выбором интервала работы для каждого, например в архиве в качестве примера поделено на 4 потока и выбраны интервалы 100-101e70, 105-100e70, 110-115e70, 115-120e70 (да, первому специально меньше, его пример выдачи для именно этого интервала приложен в архиве). Так оказалось проще и надёжнее чем другие способы деления работы по потокам.
Файлы M36n13-X.gp настроены на запуск командой \r из уже запущенного PARI, соответственно из них убрана последняя команда quit и окно PARI по завершении счёта не закрывается. Если вдруг будете запускать из окна консоли командой gp32 -q M36n13-X.gp, то команду quit в самый конец удобно добавить.
Оба архива с разными версиями распаковывать в одну папку (если такое вдруг захочется) нельзя — файлы программ не имеют признака разрядности в имени и потому будут заменены. Держите разные версии в разных папках (но не подпапках друг друга — так они будут друг друга находить при запуске). Или можете переименовать, для работы необходимо лишь соответствие файлов .pat своим файлам .exe, а как они все называются глубоко фиолетово (конечно придётся поправить и .gp файлы).
Надеюсь как запускать PARI, какая папка у него текущая (при запуске из окна консоли - текущая консоли, при запуске по ярлыку - в свойствах ярлыка есть поле Рабочая папка) в которой и должны лежать все файлы и будут созданы (или добавлены если уже были) файлы логов и прочие вопросы уже всеми заинтересованными лицами успешно решены.

За время тестовых прогонов просчитал диапазон 0-100e70, в нём из интересного было найдено:
R5-16:168601564293363290544243466784930932673688401455347647779812935341327097:144, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 72,1152, valids=10+0, maxlen=10, ALL
R2-06:205053522280337850137872540274692108497416401708096807925834119809103097: 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 72,144, 0, valids=10+1, maxlen=10, ALL
R3-20:672648973204119591555738710791882337666466025825745149448769994767707897: 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 44, 1, 18, valids=10+0, maxlen=10, ALL
R2-20:742595193981536788334000483218033700236069486244871189118895739531803897: 36, 36, 36, 72, 36, 36, 36, 36, 36, 36, 36, 36, 36, valids=12+0, maxlen=9, ALL
L1-11:758624760695327992634335831992914528569859810346418535837518332891684091:144, 1, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 1, valids=10+0, maxlen=10, ALL
L2-09:851792061274362061683452692119302701417012452709962802625605238590231291: 1,288, 1, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, valids=10+0, maxlen=10, ALL
L3-09:896361263158014093027346492800957799543398153913020544261674562417303291: 1, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 1, valids=11+0, maxlen=11, ALL
L6-04:909361943445553423027003300507613835241071085447619884086936086067952891: 72, 1, 1, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, valids=10+0, maxlen=10, ALL
R3-09:916453888676665341250621285558463175530723291499887050625047016743682297: 1, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36,288, 1, valids=10+0, maxlen=10, ALL
L1-16:933510357381816965160089748343269280463461366332354717392635681804336891: 36, 36, 1, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, valids=12+0, maxlen=10, ALL
Пояснения.
Групп всего 6 зеркальных пар, зеркальность L/R, далее номер группы 1-6 (номер варианта перестановок 3-х пар простых в квадратах), далее через дефис номер паттерна в группе 01-24 (номер варианта перестановки 4-х пар простых в квадратах), систему нумерации выдумывать не стал, тупо перенумеровал подряд и всё. Всего $2\times3!\times4! =288$ паттернов.
Места с количеством делителей 1 - это если полное разложение не удалось, но обнаружено что делителей совершенно точно больше 36.
Места с количеством делитеелй 0 - это если полное разложение не удалось и точное количество делителей осталось неизвестным, может и 36. количество таких неизвестных мест указывается после знака "+" в valids. Но все цепочки, могущие дать valids>10, проверяются до упора и нулей в списке делителей не будет. Цепочка выше с valids=10+1 была найдена ещё до снижения порога с 12 до 11 и только лишь поэтому остаётся valids=10+1, на самом деле на месте нуля действительно 36 делителей и она должна быть valids=11+0 и будет таковой если запустить счёт по последним файлам .gp.
Все цепочки всегда ALL, иначе не бывает, они и так валятся буквально каждую минуту (в лог, на экран показываются лишь существенно более длинные и редкие), но пометку убирать не стал, она счёт не замедляет.

По планированию.
Предлагаемый круг по паттернам 1e70 у меня занимает полтора часа в одном потоке, т.е. за сутки в 4 потока могу просчитать примерно 65e70, учитывая что у всех скорость была ниже разделять работу удобно по 1e72 или кратно ему. При этом 0-1e72 мною уже просчитан в рамках тестовых запусков.
Сколько у вас будет считаться 1e70 или 1e72 проверьте сами, для этого в архивах приложен тестовый файлик M36n13-Test1.gp с интервалом всего 1e68, на несколько минут счёта, с примером его вывода.

На правах первого заявившего резервирую себе 7-10e72, вдруг там снова быстро попадётся искомое.

[Yadryara]

Кстати, авторы рекордов, думаю стоит поправить Хьюго и в отношении 36 делителей:

Hugo van der Sanden, A-file with known values and bounds up to T(50,7) писал(а):

# L(18) in range 11..15
T(18,1) 1260
T(18,2) 223244
T(18,3) 46681074 Don Reble 2015-01-22
T(18,4) 290718655073 Hugo van der Sanden 2022-04-13
T(18,5) 95457996726524 Hugo van der Sanden 2022-04-13
T(18,6) <= 3328073741768311547 Hugo van der Sanden 2022-04-13
T(18,7) <= 10107878856419657883343470847 Hugo van der Sanden 2022-04-13
T(18,8) unknown
T(18,9) unknown
T(18,10) unknown
T(18,11) <= 12821655678011960184516598560606241547734025340946441558430971 Vladimir Letsko 2018-11-14
T(18,12) unknown

И в отношении 48 делителей:

Hugo van der Sanden, A-file with known values and bounds up to T(50,7) писал(а):

# L(24) in range 18..31
T(24,1) 2520
T(24,2) 201824
T(24,3) 5066270 Chai Wah Wu 2019-03-14
T(24,4) 114811332 Hugo van der Sanden 2022-04-13
T(24,5) 2845915784 Hugo van der Sanden 2022-04-13
T(24,6) 85006531672 Hugo van der Sanden 2022-04-13
T(24,7) 3528339933722 Hugo van der Sanden 2022-04-13
T(24,8) 15638027885721 Hugo van der Sanden 2022-04-13
T(24,9) <= 638685576505820 Hugo van der Sanden 2022-04-13
T(24,10) <= 243601189639274971 Hugo van der Sanden 2022-04-13
T(24,11) unknown
T(24,12) <= 9827470582657267545 David Wasserman 2008-02-22
T(24,13) <= 34169215324203592637988571 Hugo van der Sanden 2022-04-13
T(24,14) unknown
T(24,15) unknown
T(24,16) unknown
T(24,17) unknown
T(24,18) <= 8100239725694207838698666538353341829610974940 Vladimir Letsko 2020-12-24
T(24,19) unknown

Абсолютный мировой рекорд, то есть 19-ку, он ухитрился упустить.

[VAL]

Yadryara в сообщении #1553252 писал(а):

Кстати, авторы рекордов, думаю стоит поправить Хьюго и в отношении 36 делителей:

А когда он Вам присылал этот файл?
Мне он присылал версию, цепочка из 19 и другие T(24, ..) уже были.
А я ему в ответ прислал оценки для T(18,8) - T(18,10).

[Yadryara]

Так не присылал, это же опубликованная версия.

[VAL]

Yadryara в сообщении #1553265 писал(а):

Так не присылал, это же опубликованная версия
.

Понятно. А мне написал, что приготовил обновление.
Но, видать оно где-то отлеживается. Вместе с обновлением A119479