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

[mihaild]

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

И тем не менее, как понимаю, эта асмовская прога работала и работала правильно.

Но в том случае асм генерировала не нейронка, а компилятор. Из кода на плюсах, который я написал сам.
Пример содержательного применения нейронок там ниже, для использования GPU.

[Yadryara]

И... тишина. Разве ж нечего обсудить.

Ответил в теме.

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

Сначала с помощью отдельной программы — ГенПата, генерятся различные серии паттернов, идёт "полный" перебор. Ищется минимальный шаг для заявленной цели.

На выходе — болванка, то есть заготовка паттерна и список простых, которые затем будут добавляться в эту самую болванку уже в основной рабочей программе, тем самым формируя паттерн окончательно.

В случае с 24-я и 48-ю делителями это обычно только простые, которые будут возводиться в квадрат при такой расстановке. А для 96-и делителей ещё и простые, которые войдут в паттерн как есть, то есть в первой степени.

Проиллюстрирую более подробно. Напрасно wrest говорил что якобы мне привычно валить всё в кучу. Скорее наоборот, я нередко пытаюсь разложить всё по полочкам, чтобы получше разобраться.

Ну вот, например, такую болванку для D(96,14) мне выдал ГенПат:

bolv    = [1859, 72, 5, 98, 3, 4, 1, 150, 1, 2048, 1701, 242, 5, 156]     14

onlyp   = []                                                               0
pq      = []                                                               0
pqr     = [2, 8, 10, 11, 14]                                               5
pqrs    = [1, 3, 4, 5, 12, 13]                                             6
pqrst   = [6, 7, 9]                                                        3

Здесь приведена и раскадровка — на каких местах какая сборка ожидается.

Затем расставляются простые из трёх списков и раскадровка становится уже другой:

v = [113399, 6408, 96815, 6958, 79059, 6956, 1149517, 150, 2133617, 2048, 1701, 19118, 398815, 156]     14

onlyp   = []                                                                                             0
pq      = [2]                                                                                            1
pqr     = [1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]                                                  13
pqrs    = []                                                                                             0
pqrst   = []                                                                                             0

mkv     = [3, 5, 7, 9, 13]                                                                               5
rkp     = [17, 19, 23, 29, 31]                                                                           5
rp1     = [37, 41, 43]                                                                                   3
rp2     = [47, 53, 59, 61, 67, 71, 73, 79, 83]                                                           9
rp3     = [89]                                                                                           1

prter   = [5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89]        22

predp   = Vecsmall([97, 101])                                                                         6518

Паттерн я понимаю в узком смысле — массив v[]. И он ещё не полностью сформирован — квадраты простых из списка rkp[] пока не расставлены по местам mkv[].

[EUgeneUS]

На всякий случай, если кто будет читать и разбираться.

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

Ну вот, например, такую болванку для D(96,14) мне выдал ГенПат:

1. "Болванка" тут - это тоже самое, что в других местах называется "батчем".
2. Ожидаемые значения "p, ..., pqrst" в коде ниже указаны без учёта необходимости подстановок квадратов простых. Например, в 7-й позиции, где $1$ указано, фактически ожидается $p^2qrstu$

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

И он ещё не полностью сформирован — квадраты простых из списка rkp[] пока не расставлены по местам mkv[].

$Factor(1149517) = 23^2 \times 41 \times 53 $. То есть квадраты уже расставлены, а написано, что не расставлены.

-- добавлено через 2 минуты --

Ещё странности, например, со второй позицией:

$factor(6408) = 2^3 \times 3^2 \times 89$
Зачем-то туда подставили $89$, превратив $pqr$ в $pq$.

[Yadryara]

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

1. "Болванка" тут - это тоже самое, что в других местах называется "батчем".

Вполне возможно.

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

2. Ожидаемые значения "p, ..., pqrst" в коде ниже указаны без учёта необходимости подстановок квадратов простых. Например, в 7-й позиции, где $1$ указано, фактически ожидается $p^2qrstu$

$Factor(1149517) = 23^2 \times 41 \times 53 $. То есть квадраты уже расставлены, а написано, что не расставлены.

Благодарю. Извиняюсь.

Тогда тем более правильно сделал что поделился. Оба отмеченных здесь аспекта имеют одну причину. Вот же у меня в программе написано:

for(j = 1, #mkv, v[mkv[j]] *= rkp[rassprob[j]]^2); \\Пробная расстановка квадратов простых

Да действительно, я же делал пробную расстановку. Это давным-давно так сделано и я уже забыл. Вроде ещё в той программе для 24-х делителей, которую отправлял wrest-у, это уже было. А ещё кое-кто говорил, что у меня комментариев в коде нет

То есть это пробная расстановка строго по порядку, на 1-е квадратное место ставится самый маленький квадрат, на 2-е побольше и так далее. Эта пробная расстановка потом, во внутреннем цикле меняется на актуальную, в данном случае одну из 120.

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

Ещё странности, например, со второй позицией:

$factor(6408) = 2^3 \times 3^2 \times 89$
Зачем-то туда подставили $89$, превратив $pqr$ в $pq$.

Ну это как раз не странности. Я же в последнее время, грубо говоря, раз за разом проверяю одни и те же 4 серии. О чём и пишу в быстрых программах. Вот фрагмент недавнего счёта:

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

Серия            2^      Комплектов       Счёт     Найдено     Время    Секунд /    Скорость
                          посчитано    от 0 до    D(96,13)    секунд    комплект   цеп/сутки

0-0-12-1-0-5!    16      3!*7!   60       1e46       (106)     25265+1%    70.18         359 Э

0-0-13-0-0-5!    16      3!*8!  600       1e47       (115)     22263+1%     9.28         442 Э

0-1-12-0-0-5!    17    3!*8!*1 2397       1e49        122      21065        8.79         500

1-0-12-0-0-5!    18  3!*8!*1*1 1198       1e51       (139)     21583+1%     2.57         551 Э

И серия 0-1-12-0-0, то есть с одним pq, частенько идёт на 2-м месте по скорости, как и здесь. Несмотря на то что числа n на порядки больше, чем у более верхних серий этой таблицы.

А сейчас я считаю аналогичные 4 серии:

0-0-13-1-0
0-0-14-0-0
0-1-13-0-0
1-0-13-0-0

Так что это сознательный ход, ничего странного. И объяснение высокой скорости имеется.

[Yadryara]

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

2. Ожидаемые значения "p, ..., pqrst" в коде ниже указаны без учёта необходимости подстановок квадратов простых. Например, в 7-й позиции, где $1$ указано, фактически ожидается $p^2qrstu$

Видимо, для большей наглядности, надо указывать не только болванку, но и частично заполненный паттерн v. Вот так:

bolv    = [1859, 72, 5, 98, 3, 4, 1, 150, 1, 2048, 1701, 242, 5, 156]     14

v = [1859, 72, 1445, 98, 1083, 4, 529, 150, 841, 2048, 1701, 242, 4805, 156]        14

onlyp   = []                                                                         0
pq      = []                                                                         0
pqr     = [2, 8, 10, 11, 14]                                                         5
pqrs    = [1, 3, 4, 5, 12, 13]                                                       6
pqrst   = [6, 7, 9]                                                                  3

Я-то сам смотрю в основном на ровный правый столбец, поэтому не заметил что расклад может быть не всем понятен.

Так вот, по правым столбцам получается всё чётко. Стартуя с серии 0-0-5-6-3, после расстановки 13 простых в 1-й степени комп приходит к серии 0-1-13-0-0.

Схематично переход с помощью этой расстановки изображаю так:

   0-0-5-6-3
        +3-3
      +9-9
    +1-1
   _________
   0-1-D-0-0

А потом поставлю ещё одно, уже 14-е дополнительное простое в 1-й степени и превращу место pq в p, тем самым получив серию с одним простым. При этом диапазон по n увеличу ещё на 2 порядка.

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

Зачем-то туда подставили $89$, превратив $pqr$ в $pq$.

То есть я на это же место поставлю ещё и 97. И неслучайно это именно два самых больших простых числа из этих 14.

[Yadryara]

Итоговую таблицу переделал с комплектов на паттерны и добавил результат счёта по D(96,14).

Кортеж          Серия           Посчитано   2^   n от     Найдено      Время     Скорость
                                паттернов        0 до     D(96,L)     секунд     корт/сут

D(96,6)    0-1- 5-0-0   2!3!4!1        48   15   1e25        292         57       442611
D(96,7)    0-1- 6-0-0   3!2!5!1        96   16   1e27        100         51       169412
D(96,8)    1-0- 7-0-0   3!2!6!1*1     780   17   1e34        112        240        40320
D(96,9)    1-0- 8-0-0   4!2!6!1*1    3120   17   1e37        108        461        20241
D(96,10)   1-0- 9-0-0   4!3!7!1*1    9600   17   1e41        163       2722         5174
D(96,11)   1-0-10-0-0   5!3!7!1*1   72000   18   1e44        235       9816         2068
D(96,12)   0-0-12-0-0   5!3!7!      10800   18   1e46        123      30612          347
D(96,13)   1-0-12-0-0   5!3!8!1*1  143760   18   1e51       (139)    (21799)         551 Э
D(96,14)   1-0-13-0-0   5!3!9!1*1 1008000   18   1e57        118      58040          176

L — длина кортежа

>= D(96,13) — 6-поточный счёт

Э — применялась экстраполяция, была посчитана 1/7 часть комплектов.

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

И серия 0-1-12-0-0, то есть с одним pq, частенько идёт на 2-м месте по скорости, как и здесь.

Как видно, для длин 6 и 7 серия 0-1, то есть с одним pq, даже и не на 2-м месте была, а на первом.

Опять серия с одним простым выиграла по скорости нахождения. Хотя и немного.

Интересное кино. Это что же цепочку D(96,20) надо искать в серии 1-0-19-0-0, пусть даже и среди гигантских чисел ??

Хотя, для каких-то гигантских частных, 16 делителей уже будут обгонять 8. Есть что посчитать.

Ещё, для приведения статистики в больший порядок, видимо буду пересчитывать длины меньше 13-ти в 6 потоков.

[Yadryara]

EUgeneUS, теперь понимаете, почему я говорил, что рад что вы внимательно читаете? Потому что есть ощущение, что это мало кто делает. Особенно в последнее время.

А если не читать внимательно, то как заметить ошибки. В Марафоне было доказательство для цепочки D(6,5). И вот когда я стал перечитывать материалы, обнаружил в нём ошибку. Это что я такой умный, нашёл то, что другие люди не могли найти много лет? Ну нет конечно, скорей всего, просто внимательно никто не читал, хотя в Марафоне участников было весьма немало.

А таблицу выше внимательно смотрели? Заметили что для длины 12, почему-то победила не серия с одним простым, а серия 0-0-12-0-0? Сначала я подумал, что это ожидаемый перелом тренда, но ведь для длин 13 и 14 снова победила серия с одним простым.

Теперь полагаю, что это былда статистическая но не аномалия конечно, а флуктуация. То есть подтверждение того, что по сотне найденных кортежей для каждой серии может и не хватить для корректного сравнения скоростей. Одной серии, видимо, больше везло чем другой — для одной находилось многовато кортежей, для другой — маловыато.

Усовершенствовал программу и пересчитал:

6-поточный счёт

     Серия           Посчитано   2^   n от    Найдено      Время   Милсек/   Скорость
                     паттернов        0 до    D(96,12)    секунд   паттерн   корт/сут

0-0-12-0-0   5!3!7!      10800   16   1e46        123       5777       535       1840
0-1-11-0-0   5!3!7!1    108000   17   1e47        112       5578        52       1735
1-0-11-0-0   5!3!7!1*1  324000   17   1e49        134       5320        16       2177

Ну вот теперь вновь лидирует серия с одним простым. Правда, серия 0-1 занимает не второе место, а третье. Ну вот посчитаю побольше, скажем не по одной, а по 2 или по 3 сотни, и, видимо, вновь выйдет на 2-е место как и для других соседних длин.

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

[Yadryara]

Cantata в сообщении #1723572 писал(а):

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

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

Думаете тут кому-нибудь интересно искать бесконечным перебором Только конечным ищем. Посчитали — определили, что считать надо 900 тысяч лет. И погнали. А чё, не миллион же

Со временем появятся идеи, я в этом особо не сомневаюсь.

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

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

Поправил опечатку в цитате.

Попросту посчитал ещё примерно по такому же интервалу. И действительно, находок стало с точностью до наоборот: теперь в первой серии меньше, а вот во второй и третьей гораздо больше чем в первом интервале. Ну и суммарная стата для двух интервалов:

6-поточный счёт

     Серия           Посчитано   2^   n от    Найдено      Время   Милсек/   Скорость
                     паттернов        0 до    D(96,12)    секунд   паттерн   корт/сут

0-0-12-0-0   5!3!7!      21600   16   1e46        232      11616       538       1726
0-1-11-0-0   5!3!7!1    216000   17   1e47        249      11174        52       1925
1-0-11-0-0   5!3!7!1*1  647400   17   1e49        301      10658        16       2440

[VAL]

Новые дрофы:

117321407759218523013642503896010451993623334739829827995640
211200691623460849519504310711102782702739990295540488706040
493779141323076416099230256000979997386209846789380395522040

PS: Зайти на форум смог только под VPN. Теперь только так?
В процессе неудачных попыток дизайн переключался с нового на старый и обратно.
В общем, не соскучишься.

[EUgeneUS]

VAL

(Оффтоп)

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

PS: Зайти на форум смог только под VPN. Теперь только так?

Через мобильную связь давно не работает.
Но более-менее работает через проводную связь. Только картинки часто загружает неполностью.

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

В процессе неудачных попыток дизайн переключался с нового на старый и обратно.

Скорее всего, подгружалась сохраненная в кэше браузера страница в старом дизайне.

[VAL]

(Оффтоп)

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

Через мобильную связь давно не работает.
Но более-менее работает через проводную связь. Только картинки часто загружает неполностью.

Я захожу на форум со стационарного компа с проводным интернетом.

[Yadryara]

Пентадекатлоны с 96-ю делителями ищутся существенно медленнее. Для не самой быстрой серии нашлось 14 за 12 часов. Чтобы сотню набрать уже надо несколько суток.

Решил пока переключиться на 192 делителя. Что ж там у Владимира всё никак не находится пентадекатлон... Неужто прям такое невезение? Может ошибка в программе?

Начал пока с длины 7. Утомительное это дело, расставлять простые в огромных количествах из разных списков. Ну может это я сам виноват, где-то переоптимизировал.

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

6-поточный счёт

   Серия    Произв.   Обсч.   2^   n от   Найдено     Время   Милсек/   Скорость
            простые   патт.        0 до   D(192,7)   секунд   паттерн   корт/сут
0-0- 6-1   3!3!5!4!    360    12   1e37      1061      1194      3316      76784
0-0- 6-1   3!3!5!4!    360    13   1e37      1061      1040      2887      88197
0-0- 6-1   3!3!5!4!    360    14   1e37      1061       914      2538     100347
0-0- 6-1   3!3!5!4!    360    15   1e37      1061       867      2408     105763
0-0- 6-1   3!3!5!4!    360    16   1e37      1061       855      2374     107244
0-0- 6-1   3!3!5!4!    360    17   1e37      1054       915      2540      99575

Обозначение серии сократил. То есть 0-0-6-1 это на самом деле 0-0-6-1-0-0. Ну эти два нуля так и будут болтаться на конце в рамках серий моей парадигмы. Чего их постоянно указывать.

[Yadryara]

7-ки посчитал. Да, пока что картина примерно такая же что и для 96 делителей:

6-поточный счёт

   Серия    Произв.   Обсч.   2^   n от   Найдено     Время   Милсек/   Скорость
            простые   патт.        0 до   D(192,7)   секунд   паттерн   корт/сут

0-0- 6-1   3!3!5!4!    360    16   1e37      1061       855      2374     107244
0-0- 7-0   3!3!5!5!    180    16   1e39      1240       623      3459     172089
0-1- 6-0   3!3!5!5!*   180    16   1e41      1421       619      3435     198567
1-0- 6-0   3!3!5!5!**  360    17   1e43      1464       522      1449     242526

wrest, у вас-то как дела? Надеюсь, задачу не забросили? Здесь вон ещё сколько интересностей.

[wrest]

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

у вас-то как дела? Надеюсь, задачу не забросили?

Нет идей пока.

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

Здесь вон ещё сколько интересностей.

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

[Yadryara]

wrest в сообщении #1723677 писал(а):

Все предыдущие столбцы лично для меня - загадка, прошу простить.

Правда?? Я уже и ваше обозначение t_R использовал специально чтобы было понятно.

Давайте по порядку. Возьмём первый столбец. Понятно же что серии как раз и отличаются друг от друга количеством этих самых t_R ? Собственно, в качестве идентификатора серии указаны именно эти количества и больше ничего.