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

[VAL]

Попробую реанимировать тему.

Ищу желающих поучаствовать в распределенном вычислении.
Цель - найти 15 последовательных чисел, имеющих в точности по 12 делителей.

Легко показать, что для каждого натурального $k$ найдется $M(k)$ - длина максимальной цепочки последовательных натуральных чисел, имеющих в точности по $k$ натуральных делителей.
Для нечетных $k$ $M(k)$ всегда равно 1. С четными все гораздо интереснее. На сегодняшний день известно несколько сотен $k$,
для которых найдено точное значение $M(k)$. Но во всех этих случаях $M(k)\le 7$.

Из значений, больших 7, наиболее реально найти $M(12)$. Известно, что $13\le M(12)\le 15$. У меня есть код (на PARI) для поиска цепочки из 15 чисел.
Но прикидка показывает, что на моем (довольно быстром) компе на это потребуется лет 7-10.
Но если навалиться коллективно, процесс ускорится.

Я запускаю сразу несколько экземпляров PARI. Каждый задействует одно логическое ядро процессора и совсем немного памяти. При этом ничего не тормозит. Перезапускаю вручную сразу все процессы одновременно. Дней на 5, чтобы не тратить время (минут 10) на перезапуск часто.

Ищу сообщников. Обращайтесь. Пришлю код и пояснения. (PAPI ставится на комп за несколько минут.)

====================================

6 апреля 2022 года цепочка из 15 последовательных чисел, имеющих по 12 делителей была найдена Дмитрием Петуховым!

Но поиск $M(k)$ для других $k$ продолжается.
Здесь будут обновляться таблицы, связанные с задачей отыскания $M(k)$ для четных $k$

Цепочки, для которых $M(k)>7$, возможны только для $k$, кратных 12.

На данный момент такие цепочки известны для перечисленных ниже значений:
12, 24, 36, 48, 60, 72, 84, 96, 108, 120, 132, 144, 156, 168, 180, 192, 204, 216, 228, 240, 252, 264, 288, 300, 312, 324, 336, 360, 384, 396, 408, 420, 432, 456, 468, 480, 504, 528, 540, 552, 576, 588, 600, 624, 648, 660, 672, 720, 756, 768, 792, 816, 840, 864, 900, 936, 960, 972, 1008, 1056, 1080, 1152, 1176, 1200, 1260, 1296, 1320, 1320, 1440, 1500, 1512, 1536, 1584, 1620, 1680, 1800, 1848, 1872, 1944, 2160, 2268, 2520, 3000, 3240, 3600, 3888, 4536, 5040, 5832,6480, 7128, 9720, 11664.

При этом максимальная длина известной на сегодняшний день цепочки равна 8 для следующих значений $k$:

204, 228, 396, 408, 420, 456, 468, 552, 588, 624, 660, 756, 816, 840, 900, 936, 972, 1008, 1056, 1152, 1176, 1200, 1260, 1320, 1344, 1440, 1500, 1512, 1584, 1620, 1680, 1800, 1848, 1872,  1944, 2268, 2520, 3000, 3240, 3600, 3888, 4536, 5040, 5832, 6480, 7128, 9720, 11664

Цепочки длиной 9 известны для следующих $k$:

132, 156, 180, 252, 264, 300, 312, 324, 504, 528, 540, 600, 672, 720, 768, 792, 864, 1080, 1296, 1536, 2160

Цепочки длиной 10 найдены для следующих $k$:

84, 108, 336, 432, 480, 576, 648, 960

Цепочки длиной 11 удалось найти для следующих $k$:

60, 168, 360 

А цепочки длиной 12 для

120, 216, 240, 384 

Приведенная ниже таблица содержит сведения о самых длинных цепочках для тех $k$, для которых $M(k)\ge 13$.

$L(k)$ - длина самой длинной известной на сегодняшний день цепочки для данного $k$ (Lower bound);
$U(k)$ - доказанная оценка сверху для максимальной длины цепочки для данного $k$ (Upper bound).
Таким образом $L(k) \le M(k) \le U(k)$
Цепочки, найденные Евгением Жилицким и Артёмом Заржецким (и Дмитрием Петуховым ), получены с помощью программ Дмитрия Петухова.
Приводимые ниже (не только в таблице, но и после нее) оценки $M(k)$ сверху получили и улучшили Ivo Düntsch, Roger B. Eggleton, Hugo van der Sanden, Василий Дзюбенко, Владимир Лецко,
Евгений Жилицкий и Денис Шатров.

\begin{tabular}{|c|c|c|l|r|l|} \hline k & L(k) & U(k) & Found by & Date & Comment\\ \hline 12 & \textbf{15} & 15 & Дмитрий Петухов & Apr 2022 & Complete\\ \hline 24 & 20 & 31 & Demis & Feb 2026 & \\ \hline 36 & 13 & 15 & Евгений Жилицкий & Apr 2022 & \\ \hline 48 & \textbf{24} & 31 & Nichan & Nov 2026 & WR of length \\ \hline 72 & 14 & 31 & Евгений Жилицкий & Jul 2022 & \\ \hline 96 & 19 & 31 & Антон Никонов & Mar 2026 & \\ \hline 144 & 15 & 31 & Владимир Лецко & Sep 2026 & \\ \hline 192 & 15 & 31 & Владимир Лецко & Jun 2026 & \\ \hline 288 & 13 & 31 & Владимир Лецко & Jun 2026 & \\ \hline \end{tabular}

Рекордная по длине цепочка найдена с помощью распределенных вычислений с использованием для координации расчетов сервера BOINC Central участником Nichan (команда L'Alliance Francophone) и открывается числом 1186303281291906756879823662225131492454051878216943946581.

Если $k=12t\pm 4$, то $M(k)\le 7$. Ниже перечислены все $k$ указанного вида, для которых известны цепочки длины 7:

8, 16, 20, 28, 32, 40, 44, 52, 56 , 64, 68, 76, 80, 88, 92, 100, 104, 112, 116, 124, 128, 136, 140, 148, 152, 160, 164, 172, 176,  184, 188, 196, 200, 208, 220, 224, 232, 248, 256, 260, 272, 280, 296, 304, 308, 320, 340, 352, 364, 368, 380, 392, 400, 416, 440, 448, 464, 476, 484, 500, 512, 520, 544, 560, 608, 616, 640, 680, 700, 704, 728, 736, 760, 784, 800, 832, 880, 896, 952, 968, 980, 1000, 1024, 1040, 1088, 1100, 1120, 1216, 1232, 1280, 1360, 1400, 1408, 1568, 1600, 1664, 1760, 1792, 2000, 2048, 2080, 2176, 2432, 2464, 2500, 2560, 2720, 2912, 3136, 3040, 3200, 3520, 4000, 4096, 4160, 4928, 5600, 6272, 8000.

Денис Шатров доказал, что, для всех $k$ вида $12t+6$ справедлива оценка $M(k)\le5$.
Вот список значений $k$, для которых известны цепочки длины 5:

6, 18, 30, 42, 54, 66, 78, 90, 102, 114, 126, 138, 150, 162, 174, 186, 198, 210, 222, 234, 246, 258, 270, 282, 294, 306, 318,  330, 342, 354, 366, 378, 390, 414, 426, 438, 450, 462, 474, 486, 498, 510, 522, 546, 558, 570, 594, 630, 666, 690, 702, 714, 726, 750, 798, 810, 858, 870, 882, 918, 930, 966, 990, 1014, 1050, 1122, 1134, 1170, 1218, 1242, 1254, 1326, 1350, 1386, 1458, 1470, 1482, 1518, 1530,1554, 1638, 1650, 1710, 1734, 1782, 1794, 1890, 1914, 1938, 1950, 2046, 2058, 2106, 2142, 2166, 2178, 2250, 2310, 2394, 2430, 2550, 2574, 2646, 2730, 2754, 2850, 2970, 3150, 3402, 4374, 5670, 6750, 7290, 9450, 10206, 12150, 13122, 17010, 20250, 21870.

Скорее всего, для всех $k$, сравнимых с $\pm 2$ по модулю 12 (за исключением $k = 2$) $M(k) = 3$.
Оценку $M(k)\le 3$ для таких $k$ удалось строго доказать для следующих случаев:
$M(2p) \le 3$, где $p$ - простое число, большее 3;
$M(2pq) \le 3$, где $p,q$ - простые числа, большие 3 (не обязательно различные);
$M(2P) \le 3$, где $P=\prod_{i=1}^s p_i$, а $p_i$ - простые числа такие, что $gcd_{i=1}^s(p_i-1) > 2$.
Последнее условие позволяет искать подходящие тройки даже для очень больших $k$.
Например, для $k=1017050412482$ (это больше триллиона!) поиск соответствующей тройки занял несколько минут.

В прилагаемой таблице представлены числа, открывающие цепочки последовательных чисел, имеющих по $M(k)$ делителей, для всех таких $k$, для которых такие цепочки известны и $M(k)>3$.

А здесь представлены результаты работы команды, занимающейся поиском минимальных цепочек с 12 делителями.

[EUgeneUS]

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

Рекордная по длине цепочка найдена Nichan (L'Alliance Francophone) с использованием Boinc Central и открывается числом ....

Тут требуется корректировка, имхо.
1. BOINC - это аббревиатура. Все буквы должны быть большие.
2. Не с "использованием", а при участии в распределенных вычислениях .

ИМХО, вот такой текст можно предложить:
"Рекордная по длине цепочка найдена была найдена с помощью распределенных вычислений с использованием для координации расчетов сервера BOINC Central участником Nichan (команда L'Alliance Francophone)".

[VAL]

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

ИМХО, вот такой текст можно предложить:
"Рекордная по длине цепочка найдена была найдена с помощью распределенных вычислений с использованием для координации расчетов сервера BOINC Central участником Nichan (команда L'Alliance Francophone)".

Учел.

[EUgeneUS]

VAL
Вот зря Вы мой текст не почитали
Там масло масляное обнаружилось

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

... цепочка найдена была найдена ...

Это тоже поправьте, пожалуйста.

[DemISdx]

Возможно, но не факт, нужно BOINC Central и команду выделить болдом (BOINC Central и L'Alliance Francophone).
Просто чтобы понимать, что эти два слова взаимосвязаны через пробел.
(Кавычки для такого выделения - не очень подходят).

Может есть другие мысли как это выделить?