Для информации по минимизации цепочки длиной 14 на 12 делителей.
После нахождения цепочки мы с DemIS'ом обсудили дальнейшие планы, и было принято решение - досчитать группу Б (имена групп
как в этом посте) до найденной цепочки и на этом остановиться.
2 августа расчет заданий на стороне DemIS'а был закончен.
Сегодня у меня завершился расчет заданий на одном из двух компов.
На втором компе ещё работает восемь потоков, которые завершаться за время от 0.5 до 1 млн. секунд.
Остаток в группе Б можно оценить, как 1.5 - 3 %.
После того как расчет группы Б завершится, 176 паттернов, из 202, с
будут посчитаны до известной цепочке с ключом -p500.
Если кто-то заинтересован в дальнейшем поиске более минимальной цепочки, некоторые соображения, в виде IMHO.
Следующая перспективная группа - остаток (26 паттернов) с
.
Но там двоякая ситуация:
1. Если паттерны будут считаться быстро, например, быстрее 1 млн. секунд, то это даст небольшую прибавку к вероятности найти меньшую цепочку.
2. Если же паттерны будут считать за время сравнимое с расчетом паттернов группы Б (5-8 млн. секунд до 19е31 с ключом -p500, в зависимости от быстродействия компьютера), то это даст заметную прибавку к вероятности найти меньшую цепочку.
3. Поиск уже в паттернах, уже посчитанных с ключом -p500, с бОльшими значениями простых в больших степенях видится малоперспективным.
4. Поиск в паттернах с
может быть и имеет смысл.
5. С имеющейся цепочкой можно задуматься о доказательстве её минимальности. Но это только в рамках BOINC-проекта, с увеличением мощностей в несколько десятков раз, может быть около сотни раз. То есть до 1000-4000 потоков.
26.06.2023, 12:07 
(
) улучшено более чем в 10 раз!
: 
.
? О-о-очень вряд ли больше 
. Это я к тому, что ограничение в 
явно завышенное.
![$\tikz[scale=.08]{
\fill[green!90!blue!50] (10,220) rectangle (130,230);
\draw[step=10cm] (0,210) grid +(160,20);
\node at (5,225) {\text{len}};
\node at (15,225){\text{1}};
\node at (25,225){\text{2}};
\node at (35,225){\text{3}};
\node at (45,225){\text{4}};
\node at (55,225){\text{5}};
\node at (65,225){\text{6}};
\node at (75,225){\text{7}};
\node at (85,225){\text{8}};
\node at (95,225){\text{9}};
\node at (105,225){\text{10}};
\node at (115,225){\text{11}};
\node at (125,225){\text{12}};
\node at (135,225){\text{13}};
\node at (145,225){\text{14}};
\node at (155,225){\text{15}};
\node at (5,215){\text{12}};
\node at (15,215)[red]{\text{5.91}};
\node at (25,215)[red]{\text{3.68}};
\node at (35,215)[red]{\text{2.10}};
\node at (45,215){\text{1.85}};
\node at (55,215){\text{1.58}};
\node at (65,215){\text{1.91}};
\node at (75,215){\text{1.96}};
\node at (85,215){\text{1.90}};
\node at (95,215){\text{1.58}};
\node at (105,215){\text{1.88}};
\node at (115,215){\text{1.95}};
\node at (125,215){\text{1.79}};
\node at (135,215){\text{1.85}};
\node at (145,215)[red]{\text{2.00}};
\node at (155,215){\text{1.96}};
}$](https://dxdy-03.korotkov.co.uk/f/a/a/1/aa16f10b7b8bf963dddc14a1ee1c6e6782.png "$\tikz[scale=.08]{
\fill[green!90!blue!50] (10,220) rectangle (130,230);
\draw[step=10cm] (0,210) grid +(160,20);
\node at (5,225) {\text{len}};
\node at (15,225){\text{1}};
\node at (25,225){\text{2}};
\node at (35,225){\text{3}};
\node at (45,225){\text{4}};
\node at (55,225){\text{5}};
\node at (65,225){\text{6}};
\node at (75,225){\text{7}};
\node at (85,225){\text{8}};
\node at (95,225){\text{9}};
\node at (105,225){\text{10}};
\node at (115,225){\text{11}};
\node at (125,225){\text{12}};
\node at (135,225){\text{13}};
\node at (145,225){\text{14}};
\node at (155,225){\text{15}};
\node at (5,215){\text{12}};
\node at (15,215)[red]{\text{5.91}};
\node at (25,215)[red]{\text{3.68}};
\node at (35,215)[red]{\text{2.10}};
\node at (45,215){\text{1.85}};
\node at (55,215){\text{1.58}};
\node at (65,215){\text{1.91}};
\node at (75,215){\text{1.96}};
\node at (85,215){\text{1.90}};
\node at (95,215){\text{1.58}};
\node at (105,215){\text{1.88}};
\node at (115,215){\text{1.95}};
\node at (125,215){\text{1.79}};
\node at (135,215){\text{1.85}};
\node at (145,215)[red]{\text{2.00}};
\node at (155,215){\text{1.96}};
}$")
?