2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1 ... 164, 165, 166, 167, 168, 169, 170 ... 215  След.
 
 Re: Пентадекатлон мечты
Сообщение14.11.2022, 17:01 


05/06/22
293
Dmitriy40 в сообщении #1569987 писал(а):
Huz
After thinking about it again, I again stopped understanding what prevents the analysis of the log from continuing with the correct pattern number: when we start with the pattern number, then obviously the numbers in the pattern are not taken out of thin air or from the ceiling, and the program somehow calculates exactly what numbers should be in the pattern with the ordered number.

In the default case, where we expect to do the entire work in a single run, we start the recursion with an empty stack, and with the current batch number initialized to 0. Each time we advance the last fixed prime, we increment the batch number.

When we start a run with a specified batch, we do the same - start the recursion with an empty stack, and with the current batch number initialized to 0 - but when we advance the last fixed prime and increment the batch number, we check if this is the requested batch, and if not we continue as if we had already completed the work for this pattern.

When we recover, we do not start the recursion with an empty stack, but initialize it to the state recovered from the last 305 line in the log. At this point we have no idea what the correct batch number should be, so it is still initialized to 0. As a special hack, if a batch (or range) was specified, on recovery we reinitialize the current batch number to be the same as the first requested batch number - that is enough at least to make it do the right thing for a single batch.

So to know what the actual batch number is, we should not start the recursion with an initialized stack on recovery, but start with an empty stack, and recurse counting the batch numbers until we get back to the point reached in the log file. That is a possible approach, but it involves quite a lot of new code with a lot of opportunities for new bugs; in particular, it would require a complete rewrite of the recovery logic.

The alternative is to include the batch number in the progress report (either by changing the format of the 305 line, or by emitting a new line), and then to rely on that to set the correct "current" batch number on recovery. This would require a lot less new code, but would need some care to ensure that it correctly handles both old and new log formats. It would also need care to avoid useless verbosity for cases where we may progress through thousands of batches in seconds.

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение14.11.2022, 17:13 
Аватара пользователя


11/12/16
13850
уездный город Н
Yadryara в сообщении #1569997 писал(а):
По 6 проверяемых чисел:

LCM1331114400-761474745-7: end, time: 57016.599s

LCM1331114400-761474745-6: end, time: 55358.379s


Для сравнения результаты pcoul для паттернов с тем же LCM и тем же количество проверяемых чисел.

Код:
001 pcoul(12 11) -f11 -g16 -x9887353188984012120346 -b1858 *RT*
...
367 coul(12, 11): recurse 2462994958, walk 2463006639, walkc 7708677705 (42864.02s)

Код:
001 pcoul(12 11) -f11 -g16 -x9887353188984012120346 -b1862 *RT*
...
367 coul(12, 11): recurse 3889720695, walk 3889739586, walkc 7820727868 (42861.26s)


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

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение15.11.2022, 12:38 
Аватара пользователя


29/04/13
8112
Богородский
$\tikz[scale=.08]{
\draw  (0,210) rectangle  (10,220);
\draw  (10,210) rectangle  (45,220);
\draw  (45,210) rectangle  (55,220);
\draw  (55,210) rectangle  (65,220);
\draw  (65,210) rectangle  (75,220);
\draw  (75,210) rectangle  (85,220);
\draw  (85,210) rectangle  (95,220);
\draw  (95,210) rectangle  (110,220);
\draw  (110,210) rectangle  (125,220);
\draw  (125,210) rectangle  (140,220);
\draw  (0,200) rectangle  (10,210);
\draw  (10,200) rectangle  (45,210);
\draw  (45,200) rectangle  (55,210);
\draw  (55,200) rectangle  (65,210);
\draw  (65,200) rectangle  (75,210);
\draw  (75,200) rectangle  (85,210);
\draw  (85,200) rectangle  (95,210);
\draw  (95,200) rectangle  (110,210);
\draw  (110,200) rectangle  (125,210);
\draw  (125,200) rectangle  (140,210);
\node at (4.7,215){\text{1044}};
\node at (28,215){\text{LCM}};
\node at (50,215){\text{3}};
\node at (60,215){\text{4}};
\node at (70,215){\text{5}};
\node at (80,215){\text{6}};
\node at (90,215){\text{7}};
\node at (103,215){\text{Total}};
\node at (118,215){\text{Done}};
\node at (133,215){\text{Work}};
\node at (5.6,205){\text{1.}};
\node at (36,205){\text{554400}};
\node at (50,205){\text{8}};
\node at (60,205){\text{30}};
\node at (70,205){\text{28}};
\node at (104,205){\text{66}};
\node at (90,205){\text{}};
}$

Теперь попробовал собрать отдельную статистику по самому маленькому шагу 554400. Ни один паттерн полностью не обсчитан, но хотя бы уточнить кто что считает. Просьба подтвердить или опровергнуть. CP — Checked Place.

(Оффтоп)

Код:
      Dmitriy        Hugo      CP       Work
LCM554400-175545-4   b111      n=3; CorporalTermit
LCM554400-427545-4   b120      n=3; CorporalTermit
LCM554400-473337-4   b293      n=3;
LCM554400-170937-4   b302      n=3;
LCM554400-383449-8   b1942     n=3; EUgeneUS ?
LCM554400-81049-8    b1952     n=3; EUgeneUS ?
LCM554400-378841-8   b2136     n=3; EUgeneUS ?
LCM554400-126841-8   b2127     n=3; EUgeneUS ?

LCM554400-434745-4   b78       n=4;
LCM554400-31545-4    b85       n=4;
LCM554400-74745-4    b115      n=4; CorporalTermit
LCM554400-153369-4   b166      n=4;
LCM554400-304569-4   b171      n=4;
LCM554400-405369-4   b176      n=4;
LCM554400-74169-4    b204      n=4;
LCM554400-174969-4   b208      n=4;
LCM554400-326169-4   b214      n=4;
LCM554400-307737-4   b250      n=4;
LCM554400-408537-4   b254      n=4;
LCM554400-372537-4   b298      n=4;
LCM554400-175545-5   b609      n=4;
LCM554400-378841-6   b1045     n=4;
LCM554400-429241-6   b1049     n=4;
LCM554400-125145-6   b1151     n=4;
LCM554400-175545-6   b1154     n=4;
LCM554400-378841-7   b1545     n=4;
LCM554400-145849-8   b1907     n=4; EUgeneUS ?
LCM554400-246649-8   b1911     n=4; EUgeneUS ?
LCM554400-181849-8   b1944     n=4; EUgeneUS ?
LCM554400-228217-8   b2017     n=4; EUgeneUS ?
LCM554400-379417-8   b2023     n=4; EUgeneUS ?
LCM554400-480217-8   b2027     n=4; EUgeneUS ?
LCM554400-149017-8   b2055     n=4; EUgeneUS ?
LCM554400-249817-8   b2060     n=4; EUgeneUS ?
LCM554400-401017-8   b2065     n=4; EUgeneUS ?
LCM554400-522841-8   b2078     n=4; EUgeneUS ?
LCM554400-119641-8   b2084     n=4; EUgeneUS ?
LCM554400-479641-8   b2130     n=4; EUgeneUS ?

LCM554400-119641-4   b34       n=5;
LCM554400-270841-4   b39       n=5;
LCM554400-119641-5   b514      n=5; DemIS ?
LCM554400-270841-5   b519      n=5; DemIS ?
LCM554400-434745-5   b585      n=5; DemIS ?
LCM554400-74745-5    b613      n=5;
LCM554400-153369-5   b642      n=5;
LCM554400-304569-5   b647      n=5;
LCM554400-249817-6   b989      n=5;
LCM554400-401017-6   b994      n=5;
LCM554400-451417-6   b997      n=5;
LCM554400-119641-6   b1009     n=5;
LCM554400-270841-6   b1014     n=5;
LCM554400-479641-6   b1039     n=5;
LCM554400-283545-6   b1108     n=5;
LCM554400-434745-6   b1113     n=5;
LCM554400-74745-6    b1158     n=5;
LCM554400-102969-6   b1194     n=5;
LCM554400-153369-6   b1198     n=5;
LCM554400-304569-6   b1203     n=5;
LCM554400-249817-7   b1497     n=5;
LCM554400-401017-7   b1502     n=5;
LCM554400-119641-7   b1515     n=5;
LCM554400-479641-7   b1539     n=5;
LCM554400-283545-7   b1619     n=5; Hugo ?
LCM554400-434745-7   b1624     n=5; Hugo ?
LCM554400-283545-8   b1867     n=5; EUgeneUS ?
LCM554400-434745-8   b1872     n=5; EUgeneUS ?

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение15.11.2022, 13:11 
Заслуженный участник


27/06/08
4062
Волгоград
$M(1800)\ge 8$

(Оффтоп)

53910890132581736032338248989858095924457629890156590736184474830890000038283747335565323859319627806522352902426464043722530583051301517239631870

I would like to clarify the upper bounds for 1800, 3600 and especially 2520

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение15.11.2022, 13:29 
Аватара пользователя


11/12/16
13850
уездный город Н
Yadryara
У меня сейчас считаются паттерны b1942 и b2017. Ожидаемое время расчета - около 2-х недель, может быть несколько больше.
Остальные - "в планах". До окончания расчета этих двух пока не собираюсь считать другие паттерны с этим LCM.

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение15.11.2022, 15:41 


05/06/22
293
VAL в сообщении #1570059 писал(а):
$M(1800)\ge 8$

The numbers given are a duplicate of $M(3600) = 8$.

Цитата:
I would like to clarify the upper bounds for 1800, 3600 and especially 2520

$M(1800) \le 119$
$M(2520) \le 143$
$M(3600) \le 127$

I'm sure the figure for 2520 can be reduced, since at length 143 my code identified at least 9 simultaneous Pell equations.

-- 15.11.2022, 12:49 --

Yadryara в сообщении #1570057 писал(а):
Теперь попробовал собрать отдельную статистику по самому маленькому шагу 554400. Ни один паттерн полностью не обсчитан, но хотя бы уточнить кто что считает. Просьба подтвердить или опровергнуть.

I'm not sure I understand what you are asking for, or who you are expecting to answer. Is there something unclear about the information on the wiki page D(12,11)?

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение15.11.2022, 16:48 
Аватара пользователя


29/04/13
8112
Богородский
Huz в сообщении #1570068 писал(а):
I'm not sure I understand what you are asking for, or who you are expecting to answer. Is there something unclear about the information on the wiki page D(12,11)?

Ну вот Евгений меня правильно понял. И указал именно паттерны, которые считаются в настоящий момент. То есть из этой группы паттернов, за ним зарезервированы 14 паттернов, но пока считаются ровно 2 из них.

За CorporalTermit зарезервированы 3 паттерна из этой группы и все 3, как я понял, считаются. Кстати, приглашаю CorporalTermit к нам на форум. Например, рассказать как идёт счёт. Ведь он был начат уже довольно давно.

За Вами зарезервированы 2 паттерна из этой группы: b1619 и b1624. Сколько из них Вы считаете именно сейчас?

Ещё к счёту подключилась Маруся.

Hugo, как я понял, Вы пока не учитываете счёт по программам Дмитрия. Собираетесь ли Вы это делать в дальнейшем?

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение15.11.2022, 16:51 
Заслуженный участник


20/08/14
11766
Россия, Москва
Да-да, может мне их и делать-то не нужно? ;-)

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение15.11.2022, 17:30 


05/06/22
293
Yadryara в сообщении #1570074 писал(а):
За Вами зарезервированы 2 паттерна из этой группы: b1619 и b1624. Сколько из них Вы считаете именно сейчас?

Neither of them.

Цитата:
Hugo, как я понял, Вы пока не учитываете счёт по программам Дмитрия. Собираетесь ли Вы это делать в дальнейшем?

Currently my aim is to have all of the possibilities checked using my program "pcoul". I do not know how to verify results from other approaches, and as I understand it Dmitry has repeatedly said that his code is focused on finding smaller values rather than proving minimality.

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение15.11.2022, 18:24 
Аватара пользователя


29/04/13
8112
Богородский
Huz в сообщении #1570086 писал(а):
I do not know how to verify results from other approaches, and as I understand it Dmitry has repeatedly said that his code is focused on finding smaller values rather than proving minimality.

Вообще-то(IMHO) программы Дмитрия из облака не менее тщательно чем Ваша программа проверяют весь диапазон $0 - 10^{22}$. Правда пока сосредоточились именно на 1044 паттернах, но они все получились те же что и у Вас.

Действительно давно доказано и неоднократно проверено, что число $32p$ обязательно присутствует во всех непрерывных цепочках с 12 делителями не короче 10. Пруфы, если угодно, предоставлю. А сколько у Вас паттернов из 2471, где нет $32p$ ? В них во всех есть $6p^2$ и $8p^2$ ?

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение15.11.2022, 18:49 


05/06/22
293
Yadryara в сообщении #1570093 писал(а):
Действительно давно доказано и неоднократно проверено, что число $32p$ обязательно присутствует во всех непрерывных цепочках с 12 делителями не короче 10. Пруфы, если угодно, предоставлю. А сколько у Вас паттернов из 2471, где нет $32p$ ? В них во всех есть $6p^2$ и $8p^2$ ?

The full list is available, I can email it to you if you wish.

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение15.11.2022, 18:58 
Заслуженный участник


20/08/14
11766
Россия, Москва
Yadryara
Выслал Вам на почту полный список паттернов, 2271шт, есть там и $8p^2$, и $6p^2$, и другие, наверное в разных комбинациях. Но очень многие из них уже были проверены (например вроде бы все с $8p^2$ вместо $32p$).

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение15.11.2022, 19:04 
Аватара пользователя


29/04/13
8112
Богородский
Huz в сообщении #1570098 писал(а):
The full list is available, I can email it to you if you wish.

Ok. Похоже придётся разбираться с полным списком.

Dmitriy40 в сообщении #1570099 писал(а):
Выслал Вам на почту полный список паттернов, 2271шт,

Спасибо. Но у Hugo то их вроде 2471, а не 2271.

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение15.11.2022, 20:06 
Заслуженный участник


20/08/14
11766
Россия, Москва
Yadryara в сообщении #1570101 писал(а):
Но у Hugo то их вроде 2471, а не 2271.
Откройте файл и посмотрите количество строк.
Очевидно же что опечатался тут.
Причём в письме количество указано правильно.

 Профиль  
                  
 
 Re: Пентадекатлон мечты
Сообщение15.11.2022, 20:14 
Заслуженный участник


27/06/08
4062
Волгоград
Huz в сообщении #1570068 писал(а):
$M(1800) \le 119$
$M(2520) \le 143$
$M(3600) \le 127$
Thanks!
I've noted it here.
Huz в сообщении #1570068 писал(а):
I'm sure the figure for 2520 can be reduced, since at length 143 my code identified at least 9 simultaneous Pell equations.
I don't think it will ever be relevant :-)

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3218 ]  На страницу Пред.  1 ... 164, 165, 166, 167, 168, 169, 170 ... 215  След.

Модераторы: Karan, Toucan, PAV, maxal, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group