кортежи последовательных простых. ключ к 19-252

[Yadryara]

Ну а grisCode для центральных матрёшечных кортежей считается так.

Pattern          BINARY        DECIMAL 

19-252     11111111111101111    131055
17-240-1    111111111110111      32759
15-228-2     1111111111011        8187
13-192-5      11111111101         2045

Это на примере последнего кортежа стартующего с 9091187908580842313062741.

Кода для 11-ки уже не существует, потому что gris чётко сформулировал, что на краях должны быть простые числа. Нули стоят на месте чужих простых чисел и параметр Hole как раз и равен количеству нулей.

Приближение к искомому кортежу 19/19 с Hole=1 можно получить только из дро, то есть только из кортежа 18/19. Но далеко не всякое дро даёт Hole=1. Например, дро которое начинается с числа 6402272743467387750393797 даёт Hole=8.

[Yadryara]

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

Но честно говоря смысла в этой статистике не вижу, очевидно же что простые числа не тяготеют к местам нашего (или любого другого) паттерна.

Это у ТС надо спрашивать. Молчит чегой-то Ведь установил шикарный результат по суммарному отклонению — 32. И даже нас не поздравляет с меньшими суммами Хотя знает что мы долго к этому шли.

Так что инфа может быть интересна тем, кто спектр заполняет зачем-то. Хотя Dicson уже собирался было доказать свою гипотезу , но что-то помешало...

Завтра надеюсь уже будет статистика по всему $0-67\#$ Сколько у нас уже дро набралось? Штук 40? И из них только 5 дают Hole=1? Или побольше?
Такие разные количества получаются потому, что процедура, которую описал gris, часто делает родные числа неродными.

И я согласен с Вашим мнением, что одно приближение вроде бы ничем не лучше другого. То есть 18/19 (дро) ничем не дальше и не ближе чем Hole=1. И сумма отклонений равная 2-м в последнем списке из 5 кортежей ничем не хуже чем 28 в том же списке.

И совпадение краёв необязательно. Более того, когда нет совпадения краёв, тогда порой и получаются чистые кортежи 17-240-1. Или, что то же самое, центральные 17-ки.

[Dmitriy40]

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

Более того, когда нет совпадения краёв, тогда порой и получаются чистые кортежи 17-240-1. Или, что то же самое, центральные 17-ки.

Не просто "порой", а все 6шт известных 17-240-1 именно таковы (посмотрите на минимальный делитель соседних чисел паттерна 19-252 для них) и поэтому мною повторно найдены не были. Запустите HL1 для 17-240-1 на 67# (получите около 213шт) и ужаснитесь сколько их так и не было обнаружено моей программой (вангую процентов 80), логи с найденными у Вас в общем есть. Так что "порой" происходит лишь примерно в 20% случаев и при том 6*20%=1.2 найдено не было.

Кстати, как-то спрашивали (уже не помню кто) будут ли найдены другие 19-ки, не 19-252. Некоторые - да, будут, очень сильно далеко не все. В логах их не будет (потому что за диаметр 252 логи не выходят), а вот при ручной допроверке логов на "количество дырок по НМ" (отдельная pari утилитка), что показываю в статистике - могут быть найдены, как например находятся иногда 13,15,17-ки с другими паттернами, не центральные из 19-252. Условия какие именно кортежи так будут найдены известны достоверно, ничего неясного в этом нет.

[Yadryara]

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

посмотрите на минимальный делитель соседних чисел паттерна 19-252 для них

Видимо, на минимальный собственный делитель.

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

Запустите HL1 для 17-240-1 на 67# (получите около 213шт) и ужаснитесь сколько их так и не было обнаружено моей программой (вангую процентов 80),

Не буду ужасаться. Почему же процентов 80 ? Вроде как были 2 центральные 17-ки найдены, так и остались. Из 213 ожидаемых. Значит 99% не найдено, а вовсе не 80%. Или ошибаюсь?

[Dmitriy40]

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

Или ошибаюсь?

Нет, ошибся я, взял не только 17-240-1, а все 17-ХХХ с двумя дырками по НМ.
Вы правы, 17-240-1 лишь 2шт из 213. 1% от ожидаемых.

[Yadryara]

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

C12=6675438285921408545085248.2803143746741
3053880326 паттернов.
Посчиталось за 22ч38м.

C9 9 вложенными циклами посчиталась за 2 часа 7 минут.

Запустил 16 вложенными циклов для поиска всех до C16 включительно. Может и перестарался. То есть непонятно хватит ли недели.

[Dmitriy40]

Пожалуй порадую Макарову, она тужится с цепочками 21-360 (получаемой из 19-252 расширением в обе стороны), радуется одной valids=15 и нескольким меньшим, а у нас в рамках поиска 19-252 были найдены цепочки, продолжающиеся и до больших valids:
1218424364837963163088367: [0,20,60,66,84,96,126,144,150,152,180,186,200,216,252,264,276,294,300,306,360], code=260959, valids=17
3994027592331686938317617: [0,14,54,66,110,116,126,144,150,152,180,186,210,216,234,264,276,294,300,306,360], code=80895, valids=16
4762375676230354624333373: [0,54,60,66,84,96,98,144,150,174,180,186,216,234,240,264,276,278,300,306,360], code=515867, valids=16
4862190997366601121316967: [0,42,54,60,84,96,126,144,150,174,180,186,212,216,236,264,276,294,300,306,360], code=65375, valids=16
5482324285108557530763887: [0,54,60,66,84,122,126,132,144,174,180,206,210,216,234,264,276,294,300,344,360], code=501502, valids=16
11266393407560434666572817: [0,22,54,66,84,124,126,144,150,174,180,186,210,234,262,264,276,294,300,306,360], code=114591, valids=16
14228244477151443220075207: [0,54,66,82,84,96,126,144,150,174,180,186,210,216,234,264,276,300,304,330,360], code=327672, valids=16
38189369325659798025107: [0,54,60,66,84,96,126,150,170,174,180,186,210,236,264,276,282,294,300,306,360], code=518023, valids=15
151224110304017502050627: [0,54,60,66,84,96,126,150,152,174,180,186,210,212,216,264,276,294,336,350,360], code=518044, valids=15
339323766193519897549633: [0,18,30,66,84,96,100,126,144,174,180,186,210,228,234,264,276,294,300,306,360], code=116671, valids=15
357045786581323470851093: [0,14,60,66,84,96,126,144,150,170,174,186,210,216,230,234,276,294,300,338,360], code=260558, valids=15
478071586082108787944657: [0,20,60,72,84,96,110,144,150,164,180,186,210,216,234,264,276,294,296,356,360], code=187388, valids=15
958496418525622383192113: [0,44,54,66,84,96,126,144,150,158,180,186,210,216,240,264,276,278,300,320,360], code=130010, valids=15
1008582528908178853668367: [0,54,60,66,84,96,100,144,150,174,180,184,210,220,234,264,276,286,292,300,360], code=515768, valids=15
1114259013863946812169467: [0,12,20,54,84,96,126,144,146,174,180,186,210,216,234,236,266,294,300,306,360], code=63463, valids=15
1124583741933545881916087: [0,54,60,66,84,92,96,146,150,164,180,186,210,216,246,260,276,294,300,306,360], code=494543, valids=15
1528077336055163036941957: [0,24,40,66,96,124,126,144,150,174,180,196,210,216,222,264,276,294,300,306,360], code=81631, valids=15
3105515845035872052044027: [0,54,60,66,84,96,126,144,164,174,180,182,210,216,234,260,264,294,306,336,360], code=521956, valids=15
4078039983720104286133577: [0,42,60,66,84,96,126,132,150,152,180,186,194,210,234,264,276,294,300,312,360], code=256830, valids=15
6338271350168806672875733: [0,54,60,66,94,96,126,144,160,174,180,186,210,216,234,238,250,270,300,304,360], code=489442, valids=15
6925236059234031415816553: [0,54,60,66,84,96,126,144,150,174,180,186,210,216,228,234,264,284,308,350,360], code=524224, valids=15
7511059101459191858489783: [0,54,60,66,74,96,144,150,156,174,180,186,210,230,234,264,276,284,300,306,360], code=477115, valids=15
12330723693294771507282307: [0,4,52,60,84,96,126,144,150,174,180,186,216,232,234,264,292,294,300,306,360], code=65335, valids=15
13409356082408977517640973: [0,54,60,66,84,96,136,144,150,174,186,190,208,216,234,264,276,300,304,306,360], code=515193, valids=15

(Кучка valids=14 и valids=13)

8617055617442377975637: [0,26,54,66,92,96,126,144,162,174,182,186,216,230,234,264,276,294,300,306,360], code=95551, valids=14
25337261869284364288903: [0,54,60,66,84,96,126,148,150,168,174,196,210,216,234,256,264,298,300,306,360], code=518371, valids=14
79794034276125853229573: [0,54,60,66,68,96,126,144,146,174,180,198,200,216,228,236,276,294,300,326,360], code=489038, valids=14
111411397483667900207917: [0,30,60,66,84,96,126,144,150,174,180,186,234,250,262,264,276,300,306,336,360], code=261912, valids=14
135330677448865319246153: [0,44,54,60,66,84,98,144,150,174,180,186,210,216,258,264,276,294,300,306,360], code=8159, valids=14
263111178039063252213797: [0,26,60,66,72,84,126,144,150,174,180,186,192,216,252,264,282,294,296,306,360], code=212821, valids=14
270464028039968089586873: [0,48,54,56,66,110,126,144,150,174,180,186,204,216,234,246,276,294,300,306,360], code=16239, valids=14
321127884971480014868207: [0,6,14,54,84,96,126,144,150,174,176,186,216,234,236,264,276,294,300,306,360], code=64799, valids=14
412308709292280703662787: [0,30,54,84,96,124,126,144,150,174,180,186,210,216,234,256,276,294,300,322,360], code=16366, valids=14
631215849114784792238407: [0,54,66,82,84,96,126,132,150,174,180,186,210,216,264,276,286,294,300,340,360], code=323526, valids=14
685949078821470592101847: [0,30,60,66,70,96,124,130,144,172,180,186,210,216,262,264,276,294,300,306,360], code=213983, valids=14
738892423094907893092763: [0,54,60,66,84,110,126,144,150,164,170,186,210,216,234,254,270,290,294,306,360], code=506337, valids=14
773707011241227422652907: [0,54,60,66,84,96,126,144,150,162,180,210,232,234,250,264,276,280,300,330,360], code=522778, valids=14
852746629570462243272683: [0,54,60,74,84,98,126,140,150,156,186,188,210,216,224,264,276,294,300,306,360], code=436447, valids=14
983240625562689701533093: [0,40,60,76,84,96,126,130,144,150,180,186,210,214,216,264,276,294,300,306,360], code=189343, valids=14
1121453954694214179728017: [0,34,60,66,84,96,136,150,160,174,180,186,210,216,234,256,292,294,300,346,360], code=247782, valids=14
1568953046295135868531037: [0,32,54,66,74,84,122,126,150,164,180,186,210,216,234,264,276,294,300,306,360], code=68607, valids=14
1689640835760908932119377: [0,54,60,66,84,96,146,152,164,174,180,186,210,222,234,264,276,284,306,344,360], code=509880, valids=14
1996940360487496575295457: [0,42,54,66,80,84,122,144,164,174,180,186,210,216,234,264,276,284,300,306,360], code=71675, valids=14
2048303678607590974869913: [0,54,60,66,84,96,108,126,144,174,180,186,190,216,234,238,246,276,300,306,360], code=509795, valids=14
2163463520775818348919313: [0,54,60,66,84,96,126,144,150,174,180,186,196,210,234,238,268,276,294,300,360], code=524064, valids=14
2233970506423743804632683: [0,4,60,66,94,96,126,130,144,148,180,186,210,216,238,250,276,294,300,306,360], code=222159, valids=14
3040356843021851863289807: [0,54,60,66,84,96,104,140,144,174,180,186,210,216,240,264,276,282,294,342,360], code=509912, valids=14
3118412452909684988911727: [0,32,60,66,84,96,122,126,144,150,174,186,200,216,234,264,276,294,300,306,360], code=246143, valids=14
3290509933083485588135533: [0,48,60,66,84,96,126,144,150,174,180,208,210,234,250,276,286,294,300,318,360], code=261766, valids=14
3520129319294141408572877: [0,54,60,66,84,110,120,134,150,164,180,186,210,216,246,272,276,294,300,332,360], code=494542, valids=14
3598370044595445606852847: [0,60,66,72,84,96,126,130,150,174,186,202,210,216,234,264,276,294,300,346,360], code=60670, valids=14
4039328905058083822570867: [0,40,54,66,102,124,126,144,150,174,180,186,214,216,226,264,276,294,300,334,360], code=81758, valids=14
4122768807301360181025373: [0,54,60,66,84,96,118,124,150,174,180,186,238,250,258,264,276,294,348,354,360], code=511772, valids=14
4500775882346505432464407: [0,54,60,66,96,106,126,144,150,174,180,190,210,216,234,246,274,280,300,312,360], code=474850, valids=14
4875421120618799371839377: [0,24,60,66,84,96,102,144,146,150,174,186,210,216,234,264,276,284,300,302,360], code=250362, valids=14
5039398978243598827178347: [0,54,60,66,84,96,112,126,166,174,180,202,210,216,234,250,276,294,306,352,360], code=509676, valids=14
5406528546726982164197867: [0,32,60,90,92,96,126,134,150,152,180,186,210,230,234,264,272,294,300,306,360], code=158647, valids=14
6174677620306217870675987: [0,12,60,66,84,96,126,144,150,174,180,186,216,234,236,264,276,300,302,350,360], code=261912, valids=14
6355460551519381197601733: [0,18,26,54,68,96,98,126,150,174,180,186,210,228,234,264,276,294,300,306,360], code=20415, valids=14
6591982238355119316044207: [0,54,60,66,74,90,96,144,150,174,180,186,210,216,224,252,290,294,300,354,360], code=466886, valids=14
6599318619950473435482337: [0,34,60,66,96,100,126,144,150,180,186,202,210,216,234,264,276,294,300,324,360], code=211198, valids=14
7595423555012233583723393: [0,54,60,66,84,96,126,144,150,174,180,186,200,216,218,234,236,264,276,290,360], code=524096, valids=14
11681776721663055893365247: [0,54,60,74,84,96,126,144,150,162,174,180,210,216,224,276,290,294,300,306,360], code=456903, valids=14
12696288964589465332927703: [0,48,54,60,84,96,126,144,150,174,180,210,216,230,234,254,276,294,300,306,360], code=65071, valids=14
13144387065287957263574663: [0,38,60,66,96,108,110,144,150,158,174,180,210,216,234,264,276,294,300,306,360], code=203007, valids=14
13603040037706844797682483: [0,54,60,66,84,110,128,150,168,180,186,200,210,216,234,264,276,294,300,306,360], code=491775, valids=14
15593337482662322269702843: [0,24,60,76,84,96,126,144,150,174,180,186,210,216,234,244,264,286,294,300,360], code=196576, valids=14
13286249806823792532893: [0,54,56,66,84,96,108,144,150,168,180,186,188,234,258,264,276,294,306,354,360], code=383772, valids=13
118646430720595213472063: [0,26,60,66,84,96,126,144,150,164,174,180,186,216,234,254,276,294,306,308,360], code=260204, valids=13
164155052576548136016787: [0,34,60,84,100,112,126,142,150,174,180,186,196,216,234,264,282,294,300,310,360], code=143222, valids=13
180713529360687773005583: [0,48,54,60,84,108,126,144,164,174,180,186,210,216,228,234,266,294,300,306,360], code=47047, valids=13
281447087641267506722923: [0,4,60,66,84,96,106,144,150,180,186,208,210,228,234,264,288,294,300,334,360], code=252086, valids=13
293385733229847193519457: [0,12,54,66,90,96,126,144,150,174,210,212,216,230,234,264,276,294,300,320,360], code=97342, valids=13
293519048025845804612323: [0,24,54,58,60,66,84,144,150,174,180,186,210,216,234,264,276,294,306,310,360], code=8188, valids=13
306326902342375891596647: [0,30,60,96,102,122,126,144,170,174,180,186,210,216,222,234,276,294,300,332,360], code=145358, valids=13
321027282768895078261913: [0,30,60,66,84,96,98,144,150,174,180,210,234,240,254,264,276,296,300,338,360], code=253466, valids=13
364261106170776445526663: [0,54,60,66,78,96,98,126,144,174,180,186,210,218,228,258,290,294,300,306,360], code=477063, valids=13
442661917568541875988397: [0,42,66,82,84,106,126,130,144,174,180,186,210,216,234,276,280,294,300,306,360], code=42983, valids=13
453826417682538882237283: [0,54,60,66,84,96,130,144,150,174,178,198,210,216,234,244,264,276,280,318,360], code=515296, valids=13
637290339212073092011493: [0,48,60,66,84,96,98,126,150,164,174,186,198,234,254,264,276,294,300,306,360], code=248095, valids=13
782948426680719492678967: [0,54,60,66,84,94,126,144,150,172,180,186,210,216,226,252,262,264,276,334,360], code=506816, valids=13
855379018439076823002793: [0,54,60,66,84,88,96,114,124,126,180,186,196,210,234,264,276,286,300,306,360], code=492347, valids=13
863530377583071824614147: [0,60,66,82,84,96,106,126,150,174,180,186,210,234,250,264,274,294,300,306,360], code=53143, valids=13
933589294140225710181353: [0,26,60,78,84,96,126,144,146,158,174,180,210,216,236,264,276,294,300,308,360], code=192734, valids=13
980205822299021222238647: [0,56,60,84,102,122,126,144,150,174,180,186,210,216,230,234,290,294,300,356,360], code=147398, valids=13
981757288217269566938963: [0,20,26,54,60,96,108,144,150,170,180,186,210,216,234,236,240,294,300,306,360], code=23527, valids=13
1110654712502549426748017: [0,42,62,66,96,114,126,144,146,150,180,186,210,216,234,264,282,284,300,306,360], code=78835, valids=13
1142600202287579125886563: [0,54,60,66,96,126,144,148,150,174,180,186,210,216,234,264,294,300,306,358,360], code=462832, valids=13
1151689558250844924179027: [0,32,56,60,96,104,134,144,150,164,180,186,210,216,230,264,276,294,300,306,360], code=7135, valids=13
1218245018484216151654553: [0,18,60,66,84,126,144,146,168,174,180,186,194,216,234,248,276,294,300,336,360], code=231278, valids=13
1284945683043405829747783: [0,10,60,66,84,118,126,144,150,174,184,196,210,216,234,256,264,294,304,318,360], code=244964, valids=13
1380798733417210071052247: [0,54,60,66,74,96,126,146,164,174,180,186,210,216,234,272,294,306,330,350,360], code=485344, valids=13
1382347124846731812326717: [0,54,56,60,66,96,102,144,150,174,180,186,210,216,234,264,294,300,306,344,360], code=286704, valids=13
1515927634865827598754667: [0,54,60,72,94,96,126,144,150,174,180,184,210,216,226,240,276,282,306,336,360], code=425672, valids=13
1620502746079514424417317: [0,20,60,66,102,110,126,144,150,174,180,186,210,222,234,236,264,282,300,326,360], code=212898, valids=13
1624618304693929852042063: [0,54,60,66,84,94,108,144,150,174,186,210,220,228,234,256,276,294,300,340,360], code=498734, valids=13
1854684562271969577825157: [0,54,60,66,94,96,100,102,136,150,180,186,196,216,226,234,276,294,300,306,360], code=475983, valids=13
1914182647005603734053607: [0,54,60,66,84,92,96,144,162,174,180,186,210,216,230,264,294,300,306,344,360], code=497616, valids=13
2278071937615713153925037: [0,44,60,66,86,96,126,132,152,174,180,186,210,234,236,264,284,294,300,332,360], code=223126, valids=13
2413783384694350763404337: [0,26,30,66,84,96,114,144,150,174,180,186,210,216,234,252,264,276,296,300,360], code=122848, valids=13
2500385457032038045796353: [0,54,60,66,84,88,126,150,154,178,180,184,210,214,234,264,286,294,300,328,360], code=500406, valids=13
2513823960736409491273717: [0,54,60,66,84,96,126,132,150,162,174,186,196,216,234,264,294,300,304,342,360], code=518512, valids=13
2593246370304059342376817: [0,54,60,66,96,126,136,144,150,174,180,186,214,216,234,264,280,300,312,330,360], code=466800, valids=13
2767319071754255876047063: [0,30,70,84,108,124,126,144,150,174,180,186,210,216,234,238,264,294,300,354,360], code=16358, valids=13
3430551028898546410988003: [0,20,66,84,90,96,98,104,144,174,180,186,210,216,234,254,276,294,300,306,360], code=18415, valids=13
3719029930459596528115367: [0,20,54,84,86,114,126,144,150,174,180,210,224,230,234,264,276,294,300,306,360], code=15935, valids=13
4089453383534454885038417: [0,54,60,84,116,122,126,150,170,174,180,186,210,216,234,264,272,294,306,326,360], code=403444, valids=13
4314268762592423138652307: [0,42,60,84,120,126,130,132,150,174,180,186,214,232,234,264,276,294,300,306,360], code=134975, valids=13
5251290709747490046678367: [0,54,60,66,84,96,126,144,150,174,180,184,196,210,234,276,294,300,306,336,360], code=523808, valids=13
5632140343322976694210613: [0,54,60,66,84,108,116,144,150,164,180,186,210,234,264,276,278,294,300,326,360], code=498566, valids=13
5832512410701060280940617: [0,54,60,66,84,96,112,124,126,142,180,186,202,216,220,234,282,294,300,306,360], code=508743, valids=13
5834037160922157409902293: [0,48,60,66,84,96,126,146,150,158,174,186,216,234,236,264,276,294,300,320,360], code=256286, valids=13
6175135764440396550484847: [0,42,66,74,84,96,126,134,144,174,180,200,210,216,234,264,276,294,306,330,360], code=59132, valids=13
6862736147174770131853457: [0,54,56,66,74,96,126,150,152,174,180,210,216,222,234,236,276,294,300,306,360], code=353839, valids=13
7004763209944617291578717: [0,54,60,62,66,96,126,144,152,176,180,186,210,216,230,242,264,294,302,306,360], code=422853, valids=13
7074290951321573190220337: [0,54,60,74,84,122,126,144,150,174,180,210,212,216,234,236,264,276,300,336,360], code=441954, valids=13
7083244219748197581579827: [0,14,56,66,84,96,122,126,150,174,180,186,210,216,234,264,294,300,306,342,360], code=118768, valids=13
7169175311396972635661513: [0,20,56,60,66,96,110,144,146,174,180,186,210,234,236,264,276,294,300,306,360], code=22431, valids=13
7194359070885637652595467: [0,24,30,66,84,104,126,150,164,174,180,200,210,216,264,272,276,294,300,306,360], code=108239, valids=13
7329516102331451536964483: [0,54,60,66,84,96,98,126,140,156,158,174,210,216,234,264,276,294,348,354,360], code=508156, valids=13
7546825864196198483733443: [0,48,60,66,84,96,126,138,146,180,186,204,210,216,260,264,276,294,300,356,360], code=254174, valids=13
8682044788441509848537333: [0,38,48,66,84,96,126,144,150,174,186,210,216,234,236,264,276,294,300,318,360], code=130078, valids=13
8904310028105909491310003: [0,48,60,66,96,126,144,150,158,174,180,186,216,218,234,264,276,294,300,306,360], code=198463, valids=13
9280910493248581035672983: [0,54,60,66,68,84,96,126,144,146,180,186,200,210,234,264,276,294,300,306,360], code=459583, valids=13
9546558717454243457748257: [0,54,60,66,84,96,126,150,174,180,186,206,210,216,234,264,276,282,294,356,360], code=516344, valids=13
9629592061419195628336733: [0,18,38,54,66,96,126,134,144,150,180,186,210,216,234,264,276,294,300,350,360], code=25598, valids=13
10431534840637600997825677: [0,60,66,84,112,124,126,144,150,174,186,196,210,216,234,246,276,294,300,306,360], code=15599, valids=13
13564800249381133759340647: [0,42,54,66,96,124,126,144,150,162,180,186,210,216,234,264,276,300,306,354,360], code=80888, valids=13
15007319657709792903075067: [0,6,54,60,66,84,94,136,150,174,180,186,210,216,234,264,276,282,300,306,360], code=4091, valids=13
15421965132820522485272677: [0,54,60,66,84,96,106,126,150,180,186,202,210,216,234,264,276,306,340,342,360], code=510200, valids=13

А вообще за день-два в одном потоке можно получить более 84 тысяч уникальных приближений к 21-360 с valids<15, до 1e14, причём будут заполнены все valids<7 и 99.93% valids=7 и 92.71% valids=8, приложением очень похожим на работавшее в SPT проекте, а уж если его в боинке запустить, то можно будет посчитать до 1e17-1e18 за разумное время, вот где раздолье для заполнения её любимого спектра.

[Yadryara]

gris, судя по некоторой последней активности, Вас заполнение спектра всё же интересует.

Наиболее реальным выглядит полное заполнение для центральной 15-ки. Если там осталось сравнительно немного — 152 grisкода, не могли бы Вы указать их все?

Я не обещаю, но могу попробовать посчитать 27-ю группу старой прогой — это на месяц круглосуточного счёта. Не сомневаюсь: много недостающих кодов удастся найти.

[gris]

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

[Yadryara]

gris в сообщении #1693207 писал(а):

вы знаете моё отношение к спектру. Это забава.

Думаете у меня другое отношение?

gris в сообщении #1693207 писал(а):

Раскрашивать, упражняться в статистике: почему при определённом поиске некоторые коды встречаются чаще-с.

Я как раз сравнительно недавно писал об этом.

Возьмите паттерн приближения. Посчитайте количество формул для него.
Возьмите другой паттерн приближения. Посчитайте количество формул и для него.

Всегда ли оно одинаково? Ну нет конечно. Я как раз приводил экстремальные случаи. Например, сейчас считается паттерн 21-ки, в котором формул в 30 раз больше, чем в другом паттерне 21-ки. И сколько кортежей будет находиться по этим двум паттернам в одном и том же достаточно большом диапазоне, таком, чтобы счёт шёл на тысячи штук?

Насколько помню, это уже проверял. Вроде не на тысячах, на меньшем количестве. Здесь нет секрета:

Если формул в 30 раз больше, то и кортежей найдётся в среднем в 30 раз больше в том же диапазоне.

gris в сообщении #1693207 писал(а):

Я предлагал немного другое формирование кодов, чтобы у большего кода был больший валидс.

Да, видел это предложение. Конечно так нагляднее. Но что ж вы сразу это не предложили, а лишь спустя чуть ли не год?

Мы же не предлагаем переименовать Саратов в Тарасов. Сейчас пересчитывать вряд ли есть смысл. Особенно для центральных 15-к. Проще попутно досчитать коды и закрыть вопрос.

Если я вновь буду дорешивать прежнюю задачу по центральным 15-кам для 0-61#, могу попробовать заодно посчитать и недостающие коды.

[gris]

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

gris, судя по некоторой последней активности, Вас заполнение спектра всё же интересует.

По какой активности, никак не вспомню. Я от кортежного проекта расстриженный по собственному прошению далеко на юг в один из губернских городов Поволжья и хотел бы съездить. Там роскошная выставка в музее Радищева будет, но не могу. Увы. Так что и коды мне искать не рекомендовано врачом-саентологом.
Кстати, насчёт кодов. Одному коду соответствует целая куча паттернов. Но при нахождении к ним формул надо следить за преемственностью. Так что это вопрос не такой простой.

[Yadryara]

gris в сообщении #1693239 писал(а):

По какой активности, никак не вспомню.

Ну как же, раз это не вы предложили взять центральные 9-ки и 11-ки из Баз и посмотреть на их продолжения до центральной 15-ки? Хорошая, результативная идея.

gris в сообщении #1693239 писал(а):

Кстати, насчёт кодов. Одному коду соответствует целая куча паттернов. Но при нахождении к ним формул надо следить за преемственностью. Так что это вопрос не такой простой.

Конечно. Я совершенно не против обстоятельного подхода к этому вопросу.

Возьмём простой паттерн 3-12: 0, 6, 12.

Как и любая трёшка он имеет лишь два кода: 101 и 111.

Коду 101 соответствуют 4 паттерна:

0,  2, 12
0,  4, 12
0,  8, 12
0, 10, 12

Коду 111 соответствует 1 паттерн, тот самый: 0, 6, 12.

Нужно посчитать количество формул для каждого из 5 паттернов скажем для периода 17#. Посчитали, сложили 4 количества. Можно учесть симметрию.

А затем посмотрели, сколько на самом деле таких кортежей по 5 паттернам в диапазоне $ 0 - 17\#$.

Сравнили.

[gris]

Я моделировал. По-простому просто квазипростые для короткого паттерна, а если посложнее, то надо учитывать вероятности не только простоты $6k\pm 1$, но и вероятности коротких паттернов на конкретном диапазоне. Зачем возиться с реальными простушками, когда можно наделать много виртуальных вселенных. Ну найдёте вы очередную сто сорок первую девятнашку и зачем? Куда вы её засунете? А, мировой рекорд!

[Dmitriy40]

? c=[0,0,0,0,0]; p=[0,0,0]; forprime(pp=3,9699690, p=concat(p[2..3],pp); p[3]-p[1]==12 && c[(p[2]-p[1])\2]++); c
%1 = [9486, 6003, 12024, 5937, 9497]
? cc=[1,1,1,1,1]; for(i=1,5, w=[0,i*2,12]; forprime(p=2,19, cc[i]*=#setminus([1..p-1], Set(-w%p)));); cc
%2 = [215040, 143360, 286720, 143360, 215040]
? [cc[t]/c[t]*1.0 | t<-[1..5]]
%3 = [22.669196710942441492726122707147375079, 23.881392637014825920373146759953356655, 23.845642049234863606121091151031270792, 24.146875526360114535960923025096850261, 22.642939875750236916921132989365062651]

Очевидно что сумма четырёх значений значительно больше третьего значения.

[Yadryara]

Чё-то я не догоняю. При чём здесь преемственность? Что значит "По-простому просто квазипростые"... Или наш gris уже сам себя перешутковал? Ну так тема не в Юморе же.

Я предложил простой пример. Вы вместо того чтобы посчитать на вашем любимом PARI, куда-то на Эверест что ли отправились Май-то уже прошёл.

А Дмитрий взял да и посчитал всё что надо буквально в считанных строках. Не для $0-17\#$, а для $0-19\#$ и это даже ещё лучше потому что надёжнее, количества реальных кортежей побольше.

То, о чём я говорил, чётко подтвердилось. Кортежей для всех 5-ти паттернов примерно в 22-24 раза меньше чем формул.

Соотношения те же самые. Количество кортежей определяется количеством формул.

Если и это не убеждает, тогда давайте что-нибудь посложней посчитаем.