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

[Dmitriy40]

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

Возможно у 4-го есть какая-то проблема с числом $20p$.

$77p^2\equiv\{2,3\}\pmod5$. А для $20p$ нужно $1\pmod5$. Т.е. таких решений тоже нет.

[EUgeneUS]

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

Пока минимальность 11-ки не доказана.

[Yadryara]

Dmitriy40, отлично. Значит насчёт $77p^2$ Hugo прав.

Идём дальше. 70 паттернов с

($55p^2$)

1           1    2    3    28    55    18    1    32    3    50    7
2           1    2    3    4    55    18    7    32    3    50    1
3           1    2    3    28    55    18    1    32    3    50    49
4           1    2    3    4    55    18    49    32    3    50    1
5           1    2    3    28    55    18    1    32    3    50    16807
6           1    2    3    4    55    18    16807    32    3    50    1
7           1    50    3    28    1    18    55    32    3    2    7
8           1    50    3    4    7    18    55    32    3    2    1
9           1    50    3    28    1    18    55    32    3    2    49
10           1    50    3    4    49    18    55    32    3    2    1
11           1    50    3    28    1    18    55    32    3    2    16807
12           1    50    3    4    16807    18    55    32    3    2    1
13           45    2    1    12    7    50    3    32    1    18    55
14           45    2    1    12    1    50    147    32    1    18    55
15           45    2    1    12    49    50    3    32    1    18    55
16           45    98    1    12    1    50    3    32    7    18    55
17           45    2    1    12    16807    50    3    32    1    18    55
18           2    1    12    7    50    3    32    1    18    55    28
19           2    1    12    1    50    147    32    1    18    55    4
20           2    1    12    49    50    3    32    1    18    55    28
21           98    1    12    1    50    3    32    7    18    55    4
22           2    1    12    16807    50    3    32    1    18    55    28
23           2    3    28    55    18    1    32    3    50    7    12
24           2    3    4    55    18    7    32    3    50    1    12
25           2    3    28    55    18    1    32    3    50    49    12
26           2    3    4    55    18    49    32    3    50    1    12
27           2    3    28    55    18    1    32    3    50    16807    12
28           2    3    4    55    18    16807    32    3    50    1    12
29           1    12    7    50    3    32    1    18    55    28    3
30           1    12    1    50    3    32    7    18    55    4    3
31           1    12    1    50    3    32    49    18    55    4    3
32           1    12    1    50    147    32    1    18    55    4    3
33           1    12    49    50    3    32    1    18    55    28    3
34           1    12    1    50    3    32    16807    18    55    4    3
35           1    12    16807    50    3    32    1    18    55    28    3
36           3    28    55    18    1    32    3    50    7    12    1
37           3    4    55    18    7    32    3    50    1    12    1
38           3    28    55    18    1    32    3    50    49    12    1
39           3    4    55    18    1    32    147    50    1    12    1
40           3    4    55    18    49    32    3    50    1    12    1
41           3    28    55    18    1    32    3    50    16807    12    1
42           3    4    55    18    16807    32    3    50    1    12    1
43           12    7    50    3    32    1    18    55    28    3    2
44           12    1    50    3    32    7    18    55    4    3    2
45           12    1    50    3    32    49    18    55    4    3    2
46           12    49    50    3    32    1    18    55    28    3    2
47           12    1    50    3    32    16807    18    55    4    3    2
48           12    16807    50    3    32    1    18    55    28    3    2
49           28    55    18    1    32    3    50    7    12    1    2
50           4    55    18    7    32    3    50    1    12    1    98
51           28    55    18    1    32    3    50    49    12    1    2
52           4    55    18    1    32    147    50    1    12    1    2
53           28    55    18    1    32    3    50    16807    12    1    2
54           7    2    3    32    55    18    1    28    3    50    1
55           1    2    3    32    55    18    7    4    3    50    1
56           1    2    3    32    55    18    49    4    3    50    1
57           49    2    3    32    55    18    1    28    3    50    1
58           1    2    3    32    55    18    16807    4    3    50    1
59           16807    2    3    32    55    18    1    28    3    50    1
60           7    50    3    32    1    18    55    28    3    2    1
61           1    50    3    32    7    18    55    4    3    2    1
62           1    50    3    32    49    18    55    4    3    2    1
63           49    50    3    32    1    18    55    28    3    2    1
64           1    50    3    32    16807    18    55    4    3    2    1
65           16807    50    3    32    1    18    55    28    3    2    1
66           55    18    1    32    3    50    7    12    1    2    45
67           55    18    7    32    3    50    1    12    1    98    45
68           55    18    1    32    3    50    49    12    1    2    45
69           55    18    1    32    147    50    1    12    1    2    45
70           55    18    1    32    3    50    16807    12    1    2    45

[Dmitriy40]

Yadryara
Зачем все эти огромные списки паттернов если почти все они запрещены так или иначе?

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

$55p^2$.
Только нечётные места.
Места -7,-5,-3,+1,+3,+5 запрещены по модулю 8, место +7 по модулю 6, остаётся только 32p-1.
Так как 32p-1 занято, то $3$ на 32p+1, а $3^2$ на 32p-2.

Т.е. разрешены лишь паттерны 18 55 32.
Так зачем вываливать остальные?

[Yadryara]

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

Т.е. разрешены лишь паттерны 18 55 32.
Так зачем вываливать остальные?

Даже точнее: 18 55 32 3.

Вообще-то я под кат прячу, а не "вываливаю".

Остальные предъявляю чтобы продемонстрировать полноту списка.

 7           1    50    3    28    1    18    55    32    3    2    7
 9           1    50    3    28    1    18    55    32    3    2    49
11          1    50    3    28    1    18    55    32    3    2    16807

Вот эти мои есть у Hugo:

b1913: . 2.5^2 3 2^2.7 . 2.3^2 5.11 2^5 3 2 7      [sq=55]
b1975: . 2.5^2 3 2^2.7 . 2.3^2 5.11 2^5 3 2 7^2    [sq=55]
b1987: . 2.5^2 3 2^2.7 . 2.3^2 5.11 2^5 3 2 7^5    [sq=55]

А вот этих нет:

 8           1    50    3    4        7    18    55    32    3    2    1
10          1    50    3    4       49    18    55    32    3    2    1
12          1    50    3    4    16807    18    55    32    3    2    1

[Dmitriy40]

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

Даже точнее: 18 55 32 3.

Нет не точнее: неизвестно может ли на месте 3 быть ещё и 7 и/или 11. Вот когда обоснуете (что может или что не может), вот только тогда это и станет точнее.

-- 06.12.2022, 22:08 --

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

А вот этих нет:

Это кстати обосновывается легко, по модулю 7.

[Yadryara]

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

Нет не точнее: неизвестно может ли на месте 3 быть ещё и 7 и/или 11. Вот когда обоснуете (что может или что не может), вот только тогда это и станет точнее.

Логично. Имея список, легко(с помощью поиска) визуально убедиться, что среди всех 1442 вариантов всего 9 содержат "18 55 32". И при этом все 9 содержат "18 55 32 3".

Вот, кстати, прога, которая генерит 1442 паттерна из тех же $5\cdot9\cdot16\cdot29\cdot33 = 689040$ вариантов:

(PARI 1442)

kvar=0;kvold=0;
kv=[0,0,0,0,0];
pro   =[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1, 1,1,1,     1,1,1,1,1];
v2    =[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,1,4,1,2,1,32,1,2,     1,4,1,2,1];
vst3  =[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,3,1,1,3,1, 1,9,1,     1,3,1,1,3, 1,1, 9,1,1,3,  1,1,3,1,1,0];
vst5  =[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,1,1,1,1,5,1, 1,1,1,     5,1,1,1,1,25,1, 1,1,1,5,  1,1,1,1,5,1,1,1,1,5,1, 1,1];
vst7  =[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,7,1,1,1, 1,1,1,     7,1,1,1,1, 1,1,49,1,1,1,  1,1,1,7,1,1,1,1,1,1,7, 1,1,1,1];
vstp7 =[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,7,1,1,1, 1,1,1, 16807,1,1,1,1, 1,1, 7,1,1,1,  1,1,1,7,1,1,1,1,1,1,7, 1,1,1,1];
vst11 =[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1, 1,1,1,    11,1,1,1,1, 1,1, 1,1,1,1,121,1,1,1,1,1,1,1,1,1,1,11,1,1,1,1,1,1,1];
vstp11=[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1, 1,1,1,161051,1,1,1,1, 1,1, 1,1,1,1, 11,1,1,1,1,1,1,1,1,1,1,11,1,1,1,1,1,1,1];
v3=vector(51);
v5=vector(58);
v7=vector(60);
v11=vector(64);
{for(l=25,29,
r=l+10;
for(i=1,51,v3[i]=vst3[i]);
for(i3=1,9,
for(i=1,58,v5[i]=vst5[i]);
for(i5=1,16,
for(i=1,60,v7[i]=vst7[i]);
for(i7=1,29,
if(i7==19,for(i=1,60,v7[i]=vstp7[i]));
for(i=1,64,v11[i]=vst11[i]);
for(i11=1,33,
if(i11==23,for(i=1,64,v11[i]=vstp11[i]));
zap=0;kd4=0;k18=0;k25=0;k6=0;k10=0;k14=0;k15=0;k21=0;k22=0;k33=0;k35=0;k55=0;k77=0;
for(i=l,r,pro[i]=v2[i]*v3[i]*v5[i]*v7[i]*v11[i];
if(numdiv(pro[i]) > 6, zap=zap+1);
if(numdiv(pro[i]) == 4, kd4=kd4+1);
if(pro[i] == 18, k18=k18+1);
if(pro[i] == 50 || pro[i] == 75, k25=k25+1);
);
if(zap==0 && kd4 > 0 && k18 ==1 && k25 == 1 ,
kvar=kvar+1;print();print1(kvar);
print1( "     ");for(i=l,r,print1("    ",pro[i]));
write1("1442.txt",kvar,"    ");
for(i=l,r,write1("1442.txt","   ",pro[i]));write("1442.txt",);
\\print();print();
shag=lcm(pro[l..l+10]);
\\print("     ",shag,"     ",zap,"     ",kd4,"     ",k18,"     ",k25);
);
for(i=l,l+34,v11[i]=v11[i+1]));
for(i=l,l+30,v7[i]=v7[i+1]));
for(i=l,l+28,v5[i]=v5[i+1]));
for(i=l,l+21,v3[i]=v3[i+1]));
\\print();print();
kv[l-24]=kvar-kvold;kvold=kvar;
forstep(i=51,l,-1,vst3[i]=vst3[i-1]);
forstep(i=58,l,-1,vst5[i]=vst5[i-1]);
forstep(i=60,l,-1,vst7[i]=vst7[i-1];vstp7[i]=vstp7[i-1]);
forstep(i=64,l,-1,vst11[i]=vst11[i-1];vstp11[i]=vstp11[i-1]);
);
print();print();
print(kv[1],"   ", kv[2],"   ", kv[3],"   ", kv[4],"   ",kv[5]);
print();}
quit;

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

Это кстати обосновывается легко, по модулю 7.

Обосновывается математический запрет этих вариантов? Значит и здесь Hugo прав.

Итого пока $102\to 4$. То есть проверено 102 варианта и легальными оказались только 4 из них.

Я совершенно не исключаю, что Hugo прав и в других оставшихся случаях. Тогда по итогам проверки может получиться $1442\to 99$.

[Dmitriy40]

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

Имея список, легко(с помощью поиска) визуально убедиться, что среди всех 1442 вариантов всего 9 содержат "18 55 32". И при этом все 9 содержат "18 55 32 3".

Это не обоснование, а наблюдение, требующее подведения математической базы чтобы стать доказательством. Ну или доказательства правильности программы генерации (что вообще-то намного сложнее).

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

Обосновывается математический запрет этих вариантов?

Вообще-то это должен быть вопрос к Вам. Вы же строите непонятно что и зачем ... Вам и доказывать что оно построено правильно. Я же лишь дал подсказку.

[Yadryara]

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

Вы же строите непонятно что и зачем ...

Как это "непонятно что и зачем" ?? Уже столько раз объяснял.

Ну, спрашивайте, если всё ещё непонятно.

А Вы сами зачем искали все эти матзапреты, делали численные проверки, а затем просили нас проверить выкладки? Например на 140-й странице.

Разве не затем же, зачем и я сейчас проверяю? Я так понял, что Вы просто смотрели шире, не только на 11-ки. Но цель-то была та же: попытаться помочь доказать минимальность. Или другая цель была?

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

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

Согласен.

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

Ну или доказательства правильности программы генерации (что вообще-то намного сложнее).

Сложнее так сложнее. Как мне доказать правильность программы генерации? В открытый доступ я уже выложил. Что ещё нужно сделать?

[Yadryara]

Для продолжения проверки и для полноты картины привожу найденные паттерны не только с $22p^2$, но и с $33p^2$, $35p^2$.

($22p^2$)

1        1   22   3   28   5   18   1   32   3   50   7
2        1   22   3   4   5   18   7   32   3   50   1
3        1   22   3   28   5   18   1   32   3   50   49
4        1   22   3   4   5   18   49   32   3   50   1
5        1   22   3   4   245   18   1   32   3   50   1
6        1   22   3   28   5   18   1   32   3   50   16807
7        1   22   3   4   5   18   16807   32   3   50   1
8        1   2   3   20   1   18   7   32   75   22   1
9        1   22   3   20   1   18   7   32   75   2   1
10        1   2   3   20   7   18   1   32   75   22   1
11        1   22   3   20   7   18   1   32   75   2   1
12        1   2   3   20   1   18   49   32   75   22   1
13        1   22   3   20   1   18   49   32   75   2   1
14        1   2   3   20   49   18   1   32   75   22   1
15        1   22   3   20   49   18   1   32   75   2   1
16        1   2   3   20   1   18   16807   32   75   22   1
17        1   22   3   20   1   18   16807   32   75   2   1
18        1   2   3   20   16807   18   1   32   75   22   1
19        1   22   3   20   16807   18   1   32   75   2   1
20        1   50   3   28   1   18   5   32   3   22   7
21        1   50   3   4   7   18   5   32   3   22   1
22        1   50   3   28   1   18   5   32   3   22   49
23        1   50   3   4   1   18   245   32   3   22   1
24        1   50   3   4   49   18   5   32   3   22   1
25        1   50   3   28   1   18   5   32   3   22   16807
26        1   50   3   4   16807   18   5   32   3   22   1
27        45   22   1   12   7   50   3   32   1   18   5
28        45   22   1   12   1   50   147   32   1   18   5
29        45   22   1   12   49   50   3   32   1   18   5
30        45   22   1   12   16807   50   3   32   1   18   5
31        22   1   12   7   50   3   32   1   18   5   28
32        22   1   12   1   50   147   32   1   18   5   4
33        22   1   12   49   50   3   32   1   18   5   28
34        22   1   12   16807   50   3   32   1   18   5   28
35        22   3   28   5   18   1   32   3   50   7   12
36        22   3   4   5   18   7   32   3   50   1   12
37        22   3   28   5   18   1   32   3   50   49   12
38        22   3   4   5   18   49   32   3   50   1   12
39        22   3   28   5   18   1   32   3   50   16807   12
40        22   3   4   5   18   16807   32   3   50   1   12
41        2   3   20   1   18   7   32   75   22   1   12
42        22   3   20   1   18   7   32   75   2   1   12
43        2   3   20   1   18   49   32   75   22   1   12
44        22   3   20   1   18   49   32   75   2   1   12
45        2   3   20   1   18   16807   32   75   22   1   12
46        22   3   20   1   18   16807   32   75   2   1   12
47        1   12   1   22   75   32   7   18   1   20   3
48        1   12   1   22   75   32   49   18   1   20   3
49        1   12   1   22   75   32   16807   18   1   20   3
50        3   20   1   18   7   32   75   22   1   12   1
51        3   20   1   18   49   32   75   22   1   12   1
52        3   20   1   18   16807   32   75   22   1   12   1
53        12   1   2   75   32   7   18   1   20   3   22
54        12   1   22   75   32   7   18   1   20   3   2
55        12   1   2   75   32   49   18   1   20   3   22
56        12   1   22   75   32   49   18   1   20   3   2
57        12   1   2   75   32   16807   18   1   20   3   22
58        12   1   22   75   32   16807   18   1   20   3   2
59        12   7   50   3   32   1   18   5   28   3   22
60        12   1   50   3   32   7   18   5   4   3   22
61        12   1   50   3   32   49   18   5   4   3   22
62        12   49   50   3   32   1   18   5   28   3   22
63        12   1   50   3   32   16807   18   5   4   3   22
64        12   16807   50   3   32   1   18   5   28   3   22
65        28   5   18   1   32   3   50   7   12   1   22
66        28   5   18   1   32   3   50   49   12   1   22
67        4   5   18   1   32   147   50   1   12   1   22
68        28   5   18   1   32   3   50   16807   12   1   22
69        7   22   3   32   5   18   1   28   3   50   1
70        1   22   3   32   5   18   7   4   3   50   1
71        1   22   3   32   5   18   49   4   3   50   1
72        1   22   3   32   245   18   1   4   3   50   1
73        49   22   3   32   5   18   1   28   3   50   1
74        1   22   3   32   5   18   16807   4   3   50   1
75        16807   22   3   32   5   18   1   28   3   50   1
76        1   2   75   32   1   18   7   20   3   22   1
77        1   22   75   32   1   18   7   20   3   2   1
78        1   2   75   32   7   18   1   20   3   22   1
79        1   22   75   32   7   18   1   20   3   2   1
80        1   2   75   32   1   18   49   20   3   22   1
81        1   22   75   32   1   18   49   20   3   2   1
82        1   2   75   32   49   18   1   20   3   22   1
83        1   22   75   32   49   18   1   20   3   2   1
84        1   2   75   32   1   18   16807   20   3   22   1
85        1   22   75   32   1   18   16807   20   3   2   1
86        1   2   75   32   16807   18   1   20   3   22   1
87        1   22   75   32   16807   18   1   20   3   2   1
88        7   50   3   32   1   18   5   28   3   22   1
89        1   50   3   32   7   18   5   4   3   22   1
90        1   50   3   32   1   18   245   4   3   22   1
91        1   50   3   32   49   18   5   4   3   22   1
92        49   50   3   32   1   18   5   28   3   22   1
93        1   50   3   32   16807   18   5   4   3   22   1
94        16807   50   3   32   1   18   5   28   3   22   1
95        5   18   1   32   3   50   7   12   1   22   45
96        5   18   1   32   3   50   49   12   1   22   45
97        5   18   1   32   147   50   1   12   1   22   45
98        5   18   1   32   3   50   16807   12   1   22   45

($33p^2$)

1        1   2   3   28   5   18   1   32   33   50   7
2        1   2   33   28   5   18   1   32   3   50   7
3        1   2   3   4   5   18   7   32   33   50   1
4        1   2   33   4   5   18   7   32   3   50   1
5        1   2   3   28   5   18   1   32   33   50   49
6        1   2   33   28   5   18   1   32   3   50   49
7        1   2   3   4   5   18   49   32   33   50   1
8        1   2   33   4   5   18   49   32   3   50   1
9        1   2   3   4   245   18   1   32   33   50   1
10        1   2   33   4   245   18   1   32   3   50   1
11        1   2   3   28   5   18   1   32   33   50   16807
12        1   2   33   28   5   18   1   32   3   50   16807
13        1   2   3   4   5   18   16807   32   33   50   1
14        1   2   33   4   5   18   16807   32   3   50   1
15        1   2   33   20   1   18   7   32   75   2   1
16        1   2   33   20   7   18   1   32   75   2   1
17        1   2   33   20   1   18   49   32   75   2   1
18        1   2   33   20   49   18   1   32   75   2   1
19        1   2   33   20   1   18   16807   32   75   2   1
20        1   2   33   20   16807   18   1   32   75   2   1
21        1   50   3   28   1   18   5   32   33   2   7
22        1   50   33   28   1   18   5   32   3   2   7
23        1   50   3   4   7   18   5   32   33   2   1
24        1   50   33   4   7   18   5   32   3   2   1
25        1   50   3   28   1   18   5   32   33   2   49
26        1   50   33   28   1   18   5   32   3   2   49
27        1   50   3   4   1   18   245   32   33   2   1
28        1   50   33   4   1   18   245   32   3   2   1
29        1   50   3   4   49   18   5   32   33   2   1
30        1   50   33   4   49   18   5   32   3   2   1
31        1   50   3   28   1   18   5   32   33   2   16807
32        1   50   33   28   1   18   5   32   3   2   16807
33        1   50   3   4   16807   18   5   32   33   2   1
34        1   50   33   4   16807   18   5   32   3   2   1
35        45   2   1   12   7   50   33   32   1   18   5
36        45   2   1   12   49   50   33   32   1   18   5
37        45   98   1   12   1   50   33   32   7   18   5
38        45   2   1   12   16807   50   33   32   1   18   5
39        2   1   12   7   50   33   32   1   18   5   28
40        2   1   12   49   50   33   32   1   18   5   28
41        98   1   12   1   50   33   32   7   18   5   4
42        2   1   12   16807   50   33   32   1   18   5   28
43        2   3   28   5   18   1   32   33   50   7   12
44        2   33   28   5   18   1   32   3   50   7   12
45        2   3   4   5   18   7   32   33   50   1   12
46        2   33   4   5   18   7   32   3   50   1   12
47        2   3   28   5   18   1   32   33   50   49   12
48        2   33   28   5   18   1   32   3   50   49   12
49        2   3   4   5   18   49   32   33   50   1   12
50        2   33   4   5   18   49   32   3   50   1   12
51        2   3   28   5   18   1   32   33   50   16807   12
52        2   33   28   5   18   1   32   3   50   16807   12
53        2   3   4   5   18   16807   32   33   50   1   12
54        2   33   4   5   18   16807   32   3   50   1   12
55        2   33   20   1   18   7   32   75   2   1   12
56        2   33   20   1   18   49   32   75   2   1   12
57        2   33   20   1   18   16807   32   75   2   1   12
58        1   12   1   2   75   32   7   18   1   20   33
59        1   12   1   2   75   32   49   18   1   20   33
60        1   12   1   2   75   32   16807   18   1   20   33
61        1   12   7   50   3   32   1   18   5   28   33
62        1   12   7   50   33   32   1   18   5   28   3
63        1   12   1   50   3   32   7   18   5   4   33
64        1   12   1   50   33   32   7   18   5   4   3
65        1   12   1   50   3   32   49   18   5   4   33
66        1   12   1   50   33   32   49   18   5   4   3
67        1   12   1   50   147   32   1   18   5   4   33
68        1   12   49   50   3   32   1   18   5   28   33
69        1   12   49   50   33   32   1   18   5   28   3
70        1   12   1   50   3   32   16807   18   5   4   33
71        1   12   1   50   33   32   16807   18   5   4   3
72        1   12   16807   50   3   32   1   18   5   28   33
73        1   12   16807   50   33   32   1   18   5   28   3
74        3   28   5   18   1   32   33   50   7   12   1
75        33   28   5   18   1   32   3   50   7   12   1
76        3   4   5   18   7   32   33   50   1   12   1
77        33   4   5   18   7   32   3   50   1   12   1
78        3   28   5   18   1   32   33   50   49   12   1
79        33   28   5   18   1   32   3   50   49   12   1
80        33   4   5   18   1   32   147   50   1   12   1
81        3   4   5   18   49   32   33   50   1   12   1
82        33   4   5   18   49   32   3   50   1   12   1
83        3   28   5   18   1   32   33   50   16807   12   1
84        33   28   5   18   1   32   3   50   16807   12   1
85        3   4   5   18   16807   32   33   50   1   12   1
86        33   4   5   18   16807   32   3   50   1   12   1
87        33   20   1   18   7   32   75   2   1   12   1
88        33   20   1   18   49   32   75   2   1   12   1
89        33   20   1   18   16807   32   75   2   1   12   1
90        12   1   2   75   32   7   18   1   20   33   2
91        12   1   2   75   32   49   18   1   20   33   2
92        12   1   2   75   32   16807   18   1   20   33   2
93        12   7   50   3   32   1   18   5   28   33   2
94        12   7   50   33   32   1   18   5   28   3   2
95        12   1   50   3   32   7   18   5   4   33   2
96        12   1   50   33   32   7   18   5   4   3   2
97        12   1   50   3   32   49   18   5   4   33   2
98        12   1   50   33   32   49   18   5   4   3   2
99        12   49   50   3   32   1   18   5   28   33   2
100        12   49   50   33   32   1   18   5   28   3   2
101        12   1   50   3   32   16807   18   5   4   33   2
102        12   1   50   33   32   16807   18   5   4   3   2
103        12   16807   50   3   32   1   18   5   28   33   2
104        12   16807   50   33   32   1   18   5   28   3   2
105        28   5   18   1   32   33   50   7   12   1   2
106        4   5   18   7   32   33   50   1   12   1   98
107        28   5   18   1   32   33   50   49   12   1   2
108        28   5   18   1   32   33   50   16807   12   1   2
109        7   2   3   32   5   18   1   28   33   50   1
110        7   2   33   32   5   18   1   28   3   50   1
111        1   2   3   32   5   18   7   4   33   50   1
112        1   2   33   32   5   18   7   4   3   50   1
113        1   2   3   32   5   18   49   4   33   50   1
114        1   2   33   32   5   18   49   4   3   50   1
115        1   2   3   32   245   18   1   4   33   50   1
116        1   2   33   32   245   18   1   4   3   50   1
117        49   2   3   32   5   18   1   28   33   50   1
118        49   2   33   32   5   18   1   28   3   50   1
119        1   2   3   32   5   18   16807   4   33   50   1
120        1   2   33   32   5   18   16807   4   3   50   1
121        16807   2   3   32   5   18   1   28   33   50   1
122        16807   2   33   32   5   18   1   28   3   50   1
123        1   2   75   32   1   18   7   20   33   2   1
124        1   2   75   32   7   18   1   20   33   2   1
125        1   2   75   32   1   18   49   20   33   2   1
126        1   2   75   32   49   18   1   20   33   2   1
127        1   2   75   32   1   18   16807   20   33   2   1
128        1   2   75   32   16807   18   1   20   33   2   1
129        7   50   3   32   1   18   5   28   33   2   1
130        7   50   33   32   1   18   5   28   3   2   1
131        1   50   3   32   7   18   5   4   33   2   1
132        1   50   33   32   7   18   5   4   3   2   1
133        1   50   3   32   1   18   245   4   33   2   1
134        1   50   33   32   1   18   245   4   3   2   1
135        1   50   3   32   49   18   5   4   33   2   1
136        1   50   33   32   49   18   5   4   3   2   1
137        49   50   3   32   1   18   5   28   33   2   1
138        49   50   33   32   1   18   5   28   3   2   1
139        1   50   3   32   16807   18   5   4   33   2   1
140        1   50   33   32   16807   18   5   4   3   2   1
141        16807   50   3   32   1   18   5   28   33   2   1
142        16807   50   33   32   1   18   5   28   3   2   1
143        5   18   1   32   33   50   7   12   1   2   45
144        5   18   7   32   33   50   1   12   1   98   45
145        5   18   1   32   33   50   49   12   1   2   45
146        5   18   1   32   33   50   16807   12   1   2   45

($35p^2$)

1           1    2    3    4    35    18    1    32    3    50    11
2           1    2    3    4    35    18    11    32    3    50    1
3           1    2    3    44    35    18    1    32    3    50    1
4           11    2    3    4    35    18    1    32    3    50    1
5           1    2    3    4    35    18    1    32    3    50    121
6           1    2    3    4    35    18    1    32    363    50    1
7           1    2    3    4    35    18    121    32    3    50    1
8           1    2    363    4    35    18    1    32    3    50    1
9           1    242    3    4    35    18    1    32    3    50    1
10           121    2    3    4    35    18    1    32    3    50    1
11           1    2    3    4    35    18    1    32    3    50    161051
12           1    2    3    4    35    18    161051    32    3    50    1
13           161051    2    3    4    35    18    1    32    3    50    1
14           1    50    3    4    1    18    35    32    3    2    11
15           1    50    3    4    11    18    35    32    3    2    1
16           1    50    3    44    1    18    35    32    3    2    1
17           11    50    3    4    1    18    35    32    3    2    1
18           1    50    3    4    1    18    35    32    3    2    121
19           1    50    3    4    1    18    35    32    3    242    1
20           1    50    3    4    1    18    35    32    363    2    1
21           1    50    3    4    121    18    35    32    3    2    1
22           1    50    363    4    1    18    35    32    3    2    1
23           121    50    3    4    1    18    35    32    3    2    1
24           1    50    3    4    1    18    35    32    3    2    161051
25           1    50    3    4    161051    18    35    32    3    2    1
26           161051    50    3    4    1    18    35    32    3    2    1
27           1    2    3    32    35    18    1    4    3    50    11
28           1    2    3    32    35    18    1    44    3    50    1
29           1    2    3    32    35    18    11    4    3    50    1
30           11    2    3    32    35    18    1    4    3    50    1
31           1    2    3    32    35    18    1    4    3    50    121
32           1    2    3    32    35    18    1    4    363    50    1
33           1    2    3    32    35    18    121    4    3    50    1
34           1    2    363    32    35    18    1    4    3    50    1
35           1    242    3    32    35    18    1    4    3    50    1
36           121    2    3    32    35    18    1    4    3    50    1
37           1    2    3    32    35    18    1    4    3    50    161051
38           1    2    3    32    35    18    161051    4    3    50    1
39           161051    2    3    32    35    18    1    4    3    50    1
40           1    50    3    32    1    18    35    4    3    2    11
41           1    50    3    32    1    18    35    44    3    2    1
42           1    50    3    32    11    18    35    4    3    2    1
43           11    50    3    32    1    18    35    4    3    2    1
44           1    50    3    32    1    18    35    4    3    2    121
45           1    50    3    32    1    18    35    4    3    242    1
46           1    50    3    32    1    18    35    4    363    2    1
47           1    50    3    32    121    18    35    4    3    2    1
48           1    50    363    32    1    18    35    4    3    2    1
49           121    50    3    32    1    18    35    4    3    2    1
50           1    50    3    32    1    18    35    4    3    2    161051
51           1    50    3    32    161051    18    35    4    3    2    1
52           161051    50    3    32    1    18    35    4    3    2    1

[Yadryara]

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

А вот и расширенная схема. Одинаковые остатки стоят вплотную.

$x=10p^2$ по модулю 64 из диапазона 25-39 возможен остаток только 26.

$x=14p^2$ по модулю 64 из диапазона 25-39 возможен остаток только 30.

$x=14p^2$ по модулю 64 из диапазона 25-39 возможен остаток только 38.

$x=15p^2$ по модулю 64 из диапазона 25-39 возможны остатки только 31, 39.
$x=55p^2$ по модулю 64 из диапазона 25-39 возможны остатки только 31, 39.

$x=21p^2$ по модулю 64 из диапазона 25-39 возможны остатки только 29, 37.
$x=77p^2$ по модулю 64 из диапазона 25-39 возможны остатки только 29, 37.

$x=33p^2$ по модулю 64 из диапазона 25-39 возможны остатки только 25, 33.

$x=35p^2$ по модулю 64 из диапазона 25-39 возможны остатки только 27, 35.

Да я здесь опечатался! И никто не заметил? Два раза $14p^2$. Во втором случае это на самом деле $22p^2$:

$x=22p^2$ по модулю 64 из диапазона 25-39 возможен остаток только 38.

Правда, таких паттернов целых 30 из 98.

Ну и понятно почему не нашлось ни одной $6p^2$. Потому что для этого числа тоже по модулю 64 из диапазона 25-39 возможен остаток только 38. А это означает, что на место к 32 попадает ещё одна 6-ка, что конечно невозможно. Поэтому я ещё тогда, начиная с октября, даже не включал $6p^2$ в этот и аналогичные списки. Очень жёсткий запрет.

Вообще, конечно нужно включать эти матзапреты в генератор паттернов. Но это его усложнит.

[Dmitriy40]

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

Как это "непонятно что и зачем" ?? Уже столько раз объяснял.

Так Ваши действия расходятся с Вашими же заявлениями, вот и непонятно.
Заявляли что хотите альтернативно построить список паттернов и сравнить его со списком Хуго, что-то построили, сравнили, сильно не совпадает (как сами говорите из 102 правильны лишь 4). Всё, результат получен. А дальше начинается натуральная подгонка под ответ. Это не плохо, но решает уже совсем другую задачу: проверить правильность (в некотором смысле) списка Хуго. Решение этой задачи вообще говоря не требует построения полной системы паттернов. Более того, список Хуго очевидно неправилен, потому доказать его корректность и не получится. Вот только он неправилен не в смысле пропуска возможных решений, а в смысле расширения пространства решений, в него включены паттерны точно не дающие решений. Так что хотя он и некорректен, но задачу доказательства минимальности он решает. Вот такой вот казус.
Почему считаю происходящее подгонкой под ответ: вот из 32шт паттернов я указал на невозможность 24шт, Вы радостно сократили оставшиеся до двух, один из которых опять же я отбросил. Мало того что это должны были сделать Вы сами, но ладно, но ведь оставшиеся 7шт лично я не смотрел. Вы получили один допустимый, ровно как у Хуго, и успокоились. Куда делись остальные 6шт я не вникал и не проверял, Вы же не сказали. И что оставшийся один допустим - тоже нигде не обосновали! А может и он решений не даёт? И в списке Хуго присутствует напрасно? Судя по всему Вы этого не проверяли. По факту выходит цель была не построить все возможные паттерны (и сравнить их с паттернами Хуго), а получить именно тот один паттерн из списка Хуго. Это разные задачи! Заявляли первую, реально решили (скорее всего правильно, хотя часть выкладок не показана) вторую - и успокоились.
Евгений уже раза три Вам пытался объяснить что так доказательства не делаются, это не доказательство (как Вы заявляете свою цель), а подгонка под ответ. Оно может стать доказательством правильности, если аккуратно обосновать все включения и исключения, приводящие ровно к списку Хуго, но это надо сделать. А без этого оно является скорее доказательством (точнее попыткой доказательства) обратного, что Хуго ошибся, ведь у Вас получился совсем другой список паттернов, не как у него. Разумеется я не говорю что у Хуго ошибка, это Вы такое утверждаете, получив список паттернов отличный от его. И соответственно ошибка или у него, или у вас (или и там и там). Судя по тому что часть Ваших паттернов точно не дают решений, то я ставлю что ошибка у Вас и Хуго вполне имел право их выкинуть из своего списка. Т.е. доказать неправильность его списка у Вас (пока) не получилось. Про правильность же даже и речи не идёт, для этого надо ещё много-много математической писанины.

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

А Вы сами зачем искали все эти матзапреты, делали численные проверки, а затем просили нас проверить выкладки? Например на 140-й странице.

Разве не затем же, зачем и я сейчас проверяю? Я так понял, что Вы просто смотрели шире, не только на 11-ки. Но цель-то была та же: попытаться помочь доказать минимальность. Или другая цель была?

Да, цель была другая, я уже дважды её озвучивал: упростить поиск решений, за счёт исключения точно неподходящих вариантов цепочек. Ни о каком доказательстве минимальности я не заикался! Это уже Вы приписываете мне свои желания. Да, мои выкладки можно использовать как часть доказательства минимальности (как например и таблицу умножения или тождества модулярной арифметики можно использовать в доказательстве ВТФ), но я перед собой такой цели не ставил. Вообще про мои цели смотрите конец последнего абзаца ниже.

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

Разве не затем же, зачем и я сейчас проверяю?

Зачем Вы что-то проверяете никто так и не понял. Не в последнюю очередь из-за расхождений заявлений и действий, смотри выше. Но есть и более серьёзная причина: Вы заявляете что хотите доказать минимальность, но Вы не сможете этого сделать в обозримом будущем! По куче причин, приведу лишь одну: в программе Хуго используется модуль решения уравнений Пелля, которые насколько я знаю не имеют совсем уж общего метода решений, соответственно нельзя гарантировать что у Хуго эти уравнения решаются всегда правильно (тут тонкий момент, вообще говоря даже не имея математического общего метода решений можно иметь его алгоритмически). Т.е. если захотите именно доказать правильность работы программы pcoul Вам придётся перечислить все возможные типы уравнений Пелля во всех паттернах и показать что pcoul все их решает верно. Ну либо показать что она их решает вообще всегда верно. И никакие тестовые цепочки Вам в этом не помогут.
Потому что пока не предъявите реальный контрпример (а цепочка это лишь контрпример) метод решения не получится опровергнуть, а уж доказать отсутствием контрпримера вообще нельзя в принципе (точнее можно, но надо доказать принципиальную невозможность построения контрпримера, а не просто что искали и не нашли).
Так что любая попытка доказать минимальность цепочек упирается в доказательство правильности работы pcoul, а это извините не под силу ни мне, ни тем более Вам (просто потому что Вы точно хуже меня знаете язык С). "Не под силу" имеется в виду не в принципе невозможна, а лишь потребует несообразно много времени (скажем пару месяцев чтения и осмысления стандарта языка С, плюс несколько месяцев изучения матана чтобы доказать все использованные трюки).

Потому ставить цель построения полной системы паттернов как подцели доказательства минимальности - чушь и профанация. Оно конечно нужно и необходимо, но реально к цели не приблизит. Можно конечно долго рассуждать о пользе каждого мелкого шажка на длинной дороге к конечной цели, и это даже будет правдой, только в реальности это нафиг не нужно, потому что никто дальше не пойдёт, и никого не волнует сделали Вы 1 или 5 шагов из 100 километров.
Так что Ваши заявления о доказательстве минимальности скорее раздражают, чем сподвигают чем-то помочь. Заявленная цель очевидно недостижима (в разумные сроки). Продолжая на ней настаивать Вы лишь выставляете себя в глупом свете, демонстрируя непонимание используемой терминологии. Уж извините что так прямо, но лучше сказать прямо один раз, чем разводить бодягу на десяток страниц.

Другое дело что можно ставить цель построения полной системы паттернов как проверки что ни одно из решений у Хуго не пропущено. Не доказательство минимальности, а лишь что он не пропустил возможные решения. Это даже не будет доказательством оного, не пропуска решений, потому что неудача с приведением контрпримера не является доказательством правильности. А вот если вдруг построите контрпример - вот это будет ДА-А-А ... Чтобы оно стало доказательством придётся доказать что построение полно и никаких других вариантов нет в принципе. Вы этого не делали. Банальный пример: выкладывание кода программы не означает доказательство её правильности. Ещё в школе всех учили что сначала формулируется предмет доказательства вместе с начальными данными, и лишь потом строится доказательство. Вы же нигде не сформулировали что именно должна выдать выложенная программа и по каким критериям оценивается что она выдала правильный результат. И сформулировать Вы должны до того как получите результат, иначе это подгонка под известный ответ.

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

Как мне доказать правильность программы генерации? В открытый доступ я уже выложил. Что ещё нужно сделать?

Много чего: например показать откуда берутся начальные значения всех массивов, что они правильные и именно такими и должны быть (или что отличия не влияют на результат). Показать что все три числа в каждом цикле (начальное значение, конечное, приращение) правильны и должны быть именно такими. Что они (в каждом цикле!) ничего не пропускают. А если и проверяют лишнее, то на результат это не влияет. Что именно столько и именно таких циклов и надо для полной проверки, не больше и не меньше (или опять же как минимум что они решают поставленную задачу). И так далее. И это всё должны делать именно Вы, как автор программы, не кто-то ещё (нет, конечно может и кто угодно другой, но это уже будет фактически соавтор доказательства). Но что однозначно, так это что если нет критики программы, то она якобы считается правильной - нет, не считается. На строгом уровне (уровне математического доказательства) - не считается.
Потому я и сказал что доказать правильность программы намного сложнее математического доказательства.


Короче, доказать (в математическом смысле) минимальность любой более-менее длинной цепочки (которую нельзя проверить прямым перебором за несколько дней-недель счёта простой программой) практически нереально. И если Вы заявляете именно это - Вы ставите заведомо невыполнимую задачу. Всё что можно реально сделать - это "я поискал контрпример и не нашёл". Именно такую задачу (ну, скорее с уточнением "я очень-очень хорошо поискал и не нашёл") и решает Хуго, да и остальные. Это совершенно не доказательство минимальности что бы он там ни заявлял про отсутствие указаний на ошибки. Это можно превратить в такое доказательство, но потребуется на порядки больше усилий - и потому никто заниматься скорее всего не будет.
Все Ваши (мои, Евгения, и т.д.) потуги сделать пару шагов на дистанции в километры - практически к цели доказательства минимальности не приближают (и не надо снова про ценность каждого 0.1%, это перфекционизм). Но у всех наших потуг есть и другие цели: понять как строятся паттерны, какие возможны какие нет, проверить не забыли ли что, найти меньшую цепочку, научиться писать программы, придумать новые трюки в программах, в математике (матане), узнать что-то новое для себя в том же матане, получить удовольствие от решения задачи (не только результата, но и процесса!), получить неизвестный доселе математический факт, ну и куча других не менее важных. Доказательства минимальности среди нет. Что их не умаляет.


PS. Я постараюсь чтобы это было последнее моё сообщение о доказательстве минимальности или правильности программ, потому и пишу выше так много и подробно. Ибо надоело повторять. Доказать минимальность цепочек 10+ Вы не сможете (в ближайшие годы), смиритесь и ставьте более реальные цели, будет что обсуждать.

-- 07.12.2022, 15:53 --

(Оффтоп)

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

Да я здесь опечатался! И никто не заметил?

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

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

Вообще, конечно нужно включать эти матзапреты в генератор паттернов.

Прекрасная иллюстрация непонятности происходящего: кому нужно? Для решения какой задачи это нужно? Для сравнения со списком паттернов Хуго, что Вы постоянно и делаете - наоборот не нужно и вредно. Потому что включив такие вот запреты вы получите гарантированно более короткий список чем у Хуго, т.е. задачу сравнения гарантированно не решите. Так какую задачу Вы пытаетесь решить? Непонятно. Решаете одну задачу, а результат сравниваете с решением достаточно другой задачи, не приведя при этом никаких обоснований что их вообще можно сравнивать. Может они (результаты, списки паттернов) и должны отличаться и это и есть правильно? Не сформулировано. Что-то делаете, что и зачем - плохо понятно. И бла-бла-бла про доказательство минимальности не надо, это фактически невозможно, смотрите выше. Возможно пытаетесь построить контрпример к списку Хуго, ну, возможно, только пока не получилось, не получилось доказать (продемонстрировать) что это именно контрпример, а не Ваша ошибка. И даже не видно особых усилий в эту сторону, возможно лишь пока. И уж точно это не заявлено как решаемая задача.

[EUgeneUS]

Dmitriy40

Полностью согласен с Вашим постом выше, но есть некоторые придирки к формулировкам.

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

Более того, список Хуго очевидно неправилен, потому доказать его корректность и не получится. Вот только он неправилен не в смысле пропуска возможных решений, а в смысле расширения пространства решений, в него включены паттерны точно не дающие решений. Так что хотя он и некорректен, но задачу доказательства минимальности он решает.

Если ставится задача доказательства минимальности цепочки, то любая система паттернов будет корректной, если она не пропускает решения.
В этом смысле
а) нет основания считать некорректной систему Хуго, только потому что там добавились паттерны с $8^2 p$, которые исключаются теоретически для цепочек на 12 делителей и длиной 10 и более.
б) также не будет основаниями считать некорректной систему Yadryara (когда\если он её построит полностью и обоснует, что пропусков нет), только потому что в неё войдут паттерны, которые исключаются модульной арифметикой.

[Yadryara]

Dmitriy40

Фу-у-у-х. Ну Вы понаписали

Правильно ли я понял что Вы согласны с этим тезисом?

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

Пока минимальность 11-ки не доказана.

Более того, Вы подходите ещё строже чем я и говорите, что она и не будет доказана в обозримом будущем ?

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

Доказать минимальность цепочек 10+ Вы не сможете (в ближайшие годы), смиритесь

Ок. Смирился.

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

Другое дело что можно ставить цель построения полной системы паттернов как проверки что ни одно из решений у Хуго не пропущено. Не доказательство минимальности, а лишь что он не пропустил возможные решения.

Совершенно верно. Именно это я и пытаюсь сделать.

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

Почему считаю происходящее подгонкой под ответ: вот из 32шт паттернов я указал на невозможность 24шт, Вы радостно сократили оставшиеся до двух, один из которых опять же я отбросил. Мало того что это должны были сделать Вы сами, но ладно, но ведь оставшиеся 7шт лично я не смотрел.

Ну так посмотрите на эти 7 штук. Они же в открытом доступе.

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

Вы получили один допустимый, ровно как у Хуго, и успокоились.

Да, на этом пока успокоился. Ибо не видно ни одного матзапрета(ни мне ни Вам ни Хьюго), поэтому его обсчитывали.

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

Куда делись остальные 6шт я не вникал и не проверял, Вы же не сказали.

Сказал! Перечитайте внимательнее.

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

И что оставшийся один допустим - тоже нигде не обосновали!

Я не вижу ни одного матзапрета. Какое ещё нужно обоснование?

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

Заявляли что хотите альтернативно построить список паттернов и сравнить его со списком Хуго, что-то построили, сравнили, сильно не совпадает (как сами говорите из 102 правильны лишь 4). Всё, результат получен.

Нет не всё. Я хочу узнать сколько легальных будет не из 102-х, а из 1442-х.

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

Разумеется я не говорю что у Хуго ошибка, это Вы такое утверждаете, получив список паттернов отличный от его.

Где я это утверждаю ??

Я говорил лишь о том, что мой список в определённом смысле полный. В нём обязательно присутствуют числа $32p$, $18p$ и либо $50p$ либо $75p$. Двойки в соответствующих степенях зафиксированы. Проверены все возможные вхождения чисел 3, 5, 7 и 11 в степенях 0, 1, 2, 5.

Пока без кубов, да. С кубами буду разбираться позже.

Но ни одной проверки по модулю моя прога не содержит. Пока. Так что естественно, что он гораздо более обширный(1442) чем тот из 99 который получился у Хьюго. И никакого Пелля у меня тоже нет.

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

Прекрасная иллюстрация непонятности происходящего: кому нужно?

Например, мне.

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

Для решения какой задачи это нужно? Для сравнения со списком паттернов Хуго,

Да. Для сравнения.

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

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

С чего это вдруг "гарантированно более короткий список чем у Хуго" ?? Кто это гарантировал?

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

Так какую задачу Вы пытаетесь решить? Непонятно.

По-прежнему непонятно? Ещё раз:

Я пытаюсь решить задачу построения полной(в определённом смысле) системы паттернов для проверки что ни один паттерн у Хьюго не пропущен.

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

[Dmitriy40]

EUgeneUS
Вы правы, тут вопрос терминологии, что считать корректным для каждой задачи, возможно я выразился слишком резко (говорил то в общем о другом). Понятно что к любому корректному утверждению можно добавить через "И" заведомо верное утверждение и через "ИЛИ" заведомо неверное, но большого смысла я в этом не улавливаю (ведь придётся дополнительно доказывать что они заведомо таковы).

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

Правильно ли я понял что Вы согласны с этим тезисом?

Зачем Вам ответ на этот вопрос? Я не хочу на него отвечать, считаю это пустой троллинг тратой времени, на него уже отвечали последние страниц 20 много раз.

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

Вы подходите ещё строже чем я и говорите, что она и не будет доказана в обозримом будущем ?

Я не подхожу. Вами - не будет (в ближайший ну скажем год). Мной тоже. Евгением? Ну не знаю, в ближайшие месяцы точно нет, в год(ы) - может быть. Но 99% что он просто не будет этим заниматься. Кем ещё? Хуго? Он вообще доказательством не занимается вроде бы. Можно конечно фантазировать что вот придёт гуру программист с хорошей мат.подготовкой и за пару недель всё нам тут докажет ... Но это фантазии и есть.

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

Я не вижу ни одного матзапрета. Какое ещё нужно обоснование?

"Я вижу / я не вижу" - не доказательство и не обоснование.

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

Нет не всё. Я хочу узнать сколько легальных будет не из 102-х, а из 1442-х.

И это снова другая задача! Что списки отличаются уже доказано. А насколько они различны - вопрос другой. И ещё другой вопрос важно ли это для чего-нибудь (минимальности или ещё чего).

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

Где я это утверждаю ??

Выше. Приводя список своих паттернов, отличный от списка Хуго. Как результат решения задачи сравнения списков. У Вас 32 паттерна, у Хуго 1. И не было (пока я не указал) обоснования что их у него может и не быть и это не является его ошибкой. Возможно просто не успели дописать, не знаю, но пока продолжения не видно.

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

С чего это вдруг "гарантированно более короткий список чем у Хуго" ?? Кто это гарантировал?

Да например я, утверждая что паттерны c $8p^2$ в список включаться не должны так как запрещаются математически, а у Хуго они есть. Значит если Вы их запретите математически, то список получится короче чем у Хуго. ЧТД.
Ну а вариант "тут запрещай, тут не запрещай, а тут рыбу заворачивали" называется подгонкой под ответ. Так и формулируйте задачу, мол "понять почему у Хуго такие паттерны есть, а вот таких нет". Понять или обосновать. Правда для "обосновать" придётся несколько побольше формул понаписать, но не горы, хватит и нескольких дней разобраться.

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

Я пытаюсь решить задачу построения полной(в определённом смысле) системы паттернов для проверки что ни один паттерн у Хьюго не пропущен.

Что ж, решайте. Что-то уже построили, осталось показать что оно полное и сводится к списку Хуго без потерь решений.