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

[DemISdx]

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

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

Были некоторые проблемы с сетью.
(В современное время у нас такое бывает.)

[Yadryara]

Призёры нашего поиска:

\begin{tikzpicture}[scale=1.0] \node[anchor=west] at (0, 1.5) {\large\textbf{thec0mpler}}; \node[blue] (num1) at (5.2, 1.5) {$23$}; \draw[blue, thick] (num1) circle (0.29); \filldraw[draw=green!70!black, fill=white, thick] (6.1, 1.5) circle (0.29); \node[text=green!60!black] at (6.1, 1.5) {$\mathbf{24}$}; \node[anchor=west] at (0, 0.8) {\large\textbf{Egon Olsen}}; \filldraw[draw=blue, fill=orange!35!yellow!20, thick] (5.2, 0.8) circle (0.29); \node[blue] at (5.2, 0.8) {$\mathbf{23}$}; \node[anchor=west] at (0, 0.1) {\large\textbf{RinYuhki}}; \node[blue] (num3) at (5.2, 0.1) {$23$}; \draw[blue, thick] (num3) circle (0.29); \node[anchor=west] at (0, -0.6) {\large\textbf{Mark Andrew Herbst}}; \node[blue] (num4) at (5.2, -0.6) {$23$}; \draw[blue, thick] (num4) circle (0.29); \node[anchor=west] at (0, -1.3) {\large\textbf{Nichan}}; \node[blue] (num5) at (5.2, -1.3) {$23$}; \draw[blue, thick] (num5) circle (0.29); \node[anchor=west] at (0, -2.0) {\large\textbf{Hanjo}}; \node[blue] (num6) at (5.2, -2.0) {$23$}; \draw[blue, thick] (num6) circle (0.29); \node[anchor=west] at (0, -2.7) {\large\textbf{Haegar}}; \node[blue] (num7) at (5.2, -2.7) {$23$}; \draw[blue, thick] (num7) circle (0.29); \node[anchor=west] at (0, -3.4) {\large\textbf{atfogarasi}}; \node[blue] (num8) at (5.2, -3.4) {$23$}; \draw[blue, thick] (num8) circle (0.29); \end{tikzpicture}

Отмечу первых двух кранчеров, так как у thec0mpler аж две топовых находки и наибольший пока valids = 24.
А Egon Olsen нашёл именно непрерывную 23-ку.

1310566755964919096251523210115306162474221091020502735379   111111111 11111111111111 1    24
7700397729596448102975045572135401605758085721958698683797      11111111111111111111111    23

7 других цепочек:

52826064011642242111791820187570187538140539165099499798        1111111 1111111111111111   23
1691566735274966463469358117734664483671333592670090898579   111111111 11111111111111      23
2481263048574449683114523250526626409149595249107133232597    111 111 11111111111111111    23
2818135790327554265425336637185095429511181338922861859798    1 11111 111111111 11111111   23
3101404575289977438507620473393944250787222633426600163798    1 1111 1111 11111111111111   23
5462688005710470548576832758940138735829486095383466860179   1111 1111111111111111111      23
7646332835629288721646241936613543659943203661988194684179   111111111 111 1111111111 1    23

[Yadryara]

На всякий случай. Почему я сообщаю всякие подробности поиска. Мне важна честность. Если у нас есть проблемы, особенно серьёзные, я считаю что надо прямо об этом говорить, а не замалчивать.

Благодарю за помощь, оказанную на Централе. Вчера мне таки удалось не только успешно установить Podman, но и получить на свой комп 74 задания. Правда, ни одно из них не посчиталось.

И поскольку все они были из 26-го батча, а я вижу что он обсчитан полностью, значит все эти задания были перевыданы кому-то и посчитаны. У меня в Боинк Менеджере было написано: "Ошибка вычисления".

Ну а раз ни одного задания я не посчитал, то и очков у меня нет ни одного, стало быть на форуме Централа я писать по-прежнему не могу. Увы, как сказала как-то раз одна моя знакомая, я не заработал даже "один очок"

Мониторю выдачу заданий. Всё ещё есть надежда, что на этот раз приложение D48-24 Starday Dime наконец-то продержится сутки без останова выдачи. Вчера в 7:43 МСК был выдан очередной батч и с тех пор разбор заданий вроде бы идёт бесперебойно. Осталось около часа, но запас сравнительно небольшой: выдачи ожидают 2700+ заданий.

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

Уже менее 2-х тысяч:

https://boinc.berkeley.edu/central/submit.php?action=query_batch&batch_id=29

И если заменить в конце ссылки 29 на 30, можно убедиться что задания 30-го батча на данный момент ещё не выданы.

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

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

на этот раз приложение D48-24 Starday Dime наконец-то продержится сутки без останова выдачи.

Нет увы. По моим данным, продержалось 23 часа 51 минуту. Заданий на выдачу снова 0.

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

Ура, пауза была всего лишь 8 минут: 30-й батч уже загружен.

[EUgeneUS]

Huz

I decided to check the information about batches for D(48,24) given in this message using batch generation in pcoul.
My version of pcoul is marked as -f55a59f (for Windows).

Startline:

pcoul -r"0-1P-48_24.log" -f23 -p72 -x5e54 "-px3^5,1^11,1^23,1^47" -fr -a2 48 24 | py.exe stdin_proc.py >> pat_0-1p-48_24.txt

Filter using Pyton (stdin_proc.py):

(Оффтоп)

import sys

for line in sys.stdin:
   s_line = line.rstrip().split(',')
#
# Filter length number
   if len(s_line[0]) > 12:
      continue
#
   try:  
      if (
      #28+35   =0      - BAD
         int(s_line[28]) + int(s_line[35]) == 0
      #30+32   <= 1      p
         and int(s_line[30]) + int(s_line[32]) <= 1
      #29+31   >= 18      pqr
         and int(s_line[29]) + int(s_line[31]) >= 18
      #22+28   >=7      pqr
#        and int(s_line[22]) + int(s_line[27]) >= 8
      #25+33   > 0      pqrs
#        and int(s_line[25]) + int(s_line[33]) >= 0
         ):
         print(line.replace('\n', ''))
   except ValueError:
      continue

After a day of work, I had a strong suspicion that there were missing batches in the output file.

Here are the last few lines of the output file so far.

(Оффтоп)

3601212389,17,2.3^2,1,2^3.5^2,3.11^2,2,7,2^2.3,5,2,3^5,2^5,13^2,2.3.5.7^2,1,2^2.11,3,2.17^2,5.19^2,2^3.3^2,7,2,3.23^2,2^2.5,10750412587284770400,2,0,0,8,0,10,1,2,1,0
3601212401,17.23^2,2.3^2,19,2^3.5^2,3.11^2,2,7,2^2.3,5,2,3^5,2^5,13^2,2.3.5.7^2,1,2^2.11,3,2.17^2,5,2^3.3^2,7,2.19^2,3,2^2.5.23,10750412587284770400,1,0,0,9,0,9,1,3,1,0
3601212402,17,2.3^2,19.23^2,2^3.5^2,3.11^2,2,7,2^2.3,5,2,3^5,2^5,13^2,2.3.5.7^2,1,2^2.11,3,2.17^2,5,2^3.3^2,7,2.19^2,3,2^2.5,10750412587284770400,1,0,0,9,0,10,1,2,1,0
3601212403,17,2.3^2,19,2^3.5^2,3.11^2,2.23^2,7,2^2.3,5,2,3^5,2^5,13^2,2.3.5.7^2,1,2^2.11,3,2.17^2,5,2^3.3^2,7,2.19^2,3,2^2.5,10750412587284770400,1,0,0,9,0,10,1,2,1,0
3601212404,17,2.3^2,19,2^3.5^2,3.11^2,2,7.23^2,2^2.3,5,2,3^5,2^5,13^2,2.3.5.7^2,1,2^2.11,3,2.17^2,5,2^3.3^2,7,2.19^2,3,2^2.5,10750412587284770400,1,0,0,9,0,10,1,2,1,0
3601212405,17,2.3^2,19,2^3.5^2,3.11^2,2,7,2^2.3,5.23^2,2,3^5,2^5,13^2,2.3.5.7^2,1,2^2.11,3,2.17^2,5,2^3.3^2,7,2.19^2,3,2^2.5,10750412587284770400,1,0,0,9,0,10,1,2,1,0

As you can see, there should be several more batches with different 23^2 positions. But there aren't any.

As far as I remember, a similar issue has been discussed before, including by DemiS.
Question: were there any fixes in pcoul to address this? Or is it a problem on my end, such as batches being skipped when copying the output file to a temporary file due to a file lock during copying f.e.?

[Yadryara]

Перевод Гугла:

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

решил проверить информацию о пакетах для D(48,24),

Кстати, это хорошая идея, меня никто не проверял. Хоть я не торопился с генерацией, разные варианты смотрел, но конечно мог и ошибиться.

Прошу не забывать, что я по привычке брал 6-кратный шаг и терапевтику делал начиная с 5-ки. И затем в разных комплектах считал по двум разным остаткам по модулю 729.

А если брать 2-кратный шаг и терапевтику делать начиная с 3-ки, то и комплектов и паттернов будет вдвое меньше.

[EUgeneUS]

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

Прошу не забывать, что я по привычке брал 6-кратный шаг и терапевтику делал начиная с 5-ки. И затем в разных комплектах считал по двум разным остаткам по модулю 729.

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

1. Все батчи, которые требуют десять подстановок квадратов необязательных простых, содержат $3^5$. А значит по модулю 3 будет два "хороших остатка" и один "плохой".
Проще делать двукратный шаг и убирать плохие остатки, начиная с модуля 3.

2. Что и зачем делается с остатками по модулю 729 совершенно не понял.

[Dmitriy40]

Похоже два хороших остатка по модулю 3 разведены в отдельные комплекты паттернов (это и названо по модулю 729) и в каждом комплекте оказывается возможным шаг 6.
Чем это лучше двухкратного шага непонятно. Разве что табличка перебора остатков вдвое меньше и всё.

[Yadryara]

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

Похоже два хороших остатка по модулю 3 разведены в отдельные комплекты паттернов (это и названо по модулю 729) и в каждом комплекте оказывается возможным шаг 6.

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

Например, по 1-му сорту я делю работу вот так:

Сначала я беру 10 комплектов с прямым паттерном и с остатком 243 по модулю 729.
Затем я беру 10 комплектов с прямым паттерном и с остатком 486 по модулю 729.
Затем я беру 10 комплектов с зеркальным паттерном и с остатком 243 по модулю 729.
Затем я беру 10 комплектов с зеркальным паттерном и с остатком 486 по модулю 729.

И вот так получается 40 комплектов. Хотя, если по-старому, то это 20 комплектов.

Соответственно, для 2-го сорта — не 840 комплектов, а по-старому 420 комплектов по 10! паттернов в каждом.

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

Чем это лучше двухкратного шага непонятно.

Да, совершенно я не уверен что это лучше. Я же так и написал: "по привычке". А привычка эта возникла ещё со времён D(12, 15), где шаг был именно 6-кратным.

[EUgeneUS]

Даже если два хороших остатка по модулю 3 "разводить" по разным "комплектам", всё равно не понятно - зачем "хорошие" остатки считать по модулю 729, а не по модулю 3?

[Dmitriy40]

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

всё равно не понятно - зачем "хорошие" остатки считать по модулю 729, а не по модулю 3?

Так при наличии $3^5$ это ж эквивалентно?

[EUgeneUS]

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

Так при наличии $3^5$ это ж эквивалентно?

Не совсем так, насколько понимаю.
Эквивалентно будет, если:
а) по модулю 3 считать хорошие остатки "итератора"
б) а по модулю 729 считать хорошие остатки какого-то числа в цепочке-кандидате. Например, числа в позиции с $3^5$.

[Dmitriy40]

Это (по какому модулю считать) что, и правда приведёт к разному списку допустимых n0?

[Yadryara]

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

б) а по модулю 729 считать хорошие остатки какого-то числа в цепочке-кандидате. Например, числа в позиции с $3^5$.

Ну конечно речь об этой позиции, о какой же ещё.

И кстати, я сейчас вспомнил, что да, я считал что такой метод быстрее. Проверка терапевтики по модулю 3 стоит первой и срабатывает чаще всего. А не лучше ли брать сразу правильное число и не проверять по модулю 3 вообще? Проверил: да быстрее, но не намного, уже не помню на сколько именно процентов.

И ещё я тогда попробовал сделать шаг 30-кратным и брать только 4 правильных остатка по модулю 125. Но здесь уже выигрыш был совсем крошечным и я от этой идеи отказался.

[EUgeneUS]

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

Это (по какому модулю считать) что, и правда приведёт к разному списку допустимых n0?

Чтобы про одно и тоже говорить:
$n_0 = CRT + LCM \cdot 2 \cdot i$

$n_0$ - первое число в цепочке-кандидате.
$CRT$ - решение из китайской теоремы об остатках, с учетом хорошего остатка по модулю 2.
$LCM$ - LCM после всех подстановок в паттерн.
умножили на 2 - двойной шаг.
$i$ - "итератор".

Хорошие остатки по модулю 3 нужно проверять для итератора $i$.
Хорошие остатки по модулю 729 нужно проверять для числа в цепочке: для $n_0$ или для какого-нибудь другого $n_k$, входящего в цепочку.
Тогда будет эквивалентно, конечно.

Судя по тому, что хорошими остатками по модулю 729 считаются 243 и 486 проверяется $n_k$, где $k$ - номер позиции, где есть $3^5$

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

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

И ещё я тогда попробовал сделать шаг 30-кратным и брать только 4 правильных остатка по модулю 125.

$1 \cdot 2 \cdot 4 = 8$.
Восемь правильных остатков по модулю 125. Если, конечно, по модулю 3 есть два правильных остатка.

[Dmitriy40]

EUgeneUS
Всё, понял, да, итератор проверять чуть быстрее, Вы правы. Пока речь про один комплект.
Но при делении на два комплекта эта проверка становится вообще ненужной, ни для итератора, ни для числа - она выполняется при делении на комплекты. А уж как именно делить, по какому модулю - дело десятое, это выполняется до начала счёта.