Банк центральных 13-к

Message boards : Cafe : Банк центральных 13-к
Message board moderation

To post messages, you must log in.

Previous · 1 · 2 · 3 · 4 · 5 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16763 - Posted: 13 Jun 2025, 13:53:08 UTC
Last modified: 13 Jun 2025, 13:53:43 UTC

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

На Ахиллесе-3 уже были выполнены три программы: WU1 - WU3.
Я там пакетным файлом запустила сразу три программы.

Надо ещё и саму программу поиска опубликовать, чтобы не потерять среди множества других программ.
А программу поиска тоже надо корректировать, потому что она тоже осталась на Ахиллесе-3.
ID: 16763 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16764 - Posted: 13 Jun 2025, 14:05:18 UTC
Last modified: 13 Jun 2025, 14:27:42 UTC

Повезло: программа поиска оказалась и на черепашке, значит, я её на черепашке корректировала, а потом отправила на Ахиллес-3.

Запустила программу для WU4.
Жду, что черепашка насчитает.
Центральные 9-ки должны быть.
ID: 16764 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16765 - Posted: 13 Jun 2025, 14:08:51 UTC
Last modified: 13 Jun 2025, 14:24:56 UTC

А пока черепашка считает, опубликую программу поиска центральных 13-к

default(timer,1);

{pt=[0, 12, 42, 60, 66, 90, 96, 102, 126, 132, 150, 180, 192];

tin = fileopen("in.txt");
  rost23=eval(filereadstr(tin));
  rost29=eval(filereadstr(tin));
  vivod=eval(filereadstr(tin));
fileclose(tin);

vmy=vector(50);
pat9=vector(9); pat11=vector(11); pat13=vector(13); 

pt9=[0, 18, 24, 48, 54, 60, 84, 90, 108];
pt11=[0, 30, 48, 54, 78, 84, 90, 114, 120, 138, 168];


v2=[1];
v3=[1, 2]; \\2
v5=[1, 2]; \\2
v7=[5, 6]; \\2
v11=[1, 5]; \\2
v13=[7, 9]; \\2
v17=[1, 11, 13, 14, 15, 16]; \\6
v19=[3, 4, 6, 8, 9, 11, 13, 14]; \\8
v23=[1, 5, 7, 8, 10, 14, 16, 17, 18, 20, 21, 22]; \\12
v29=[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 15, 18, 22, 25, 28]; \\16
v31=[1, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 24, 26, 30]; \\18
v37=[1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 17, 18, 19, 20, 23, 24, 26, 27, 28, 29, 31, 33, 34, 36]; \\24
v41=[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 15, 17, 18, 19, 20, 23, 24, 26, 28, 30, 31, 34, 35, 36, 37, 39]; \\28
v43=[2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 24, 25, 28, 29, 30, 32, 34, 36, 37, 38, 41, 42]; \\30
v47=[1, 2, 3, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 36, 37, 40, 41, 42, 44, 46]; \\34
v53=[1, 2, 3, 5, 6, 7, 8, 12, 13, 14, 15, 17, 18, 19, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39, 42, 43, 44, 45, 47, 48, 49, 50,
51, 52]; \\40

fout=fileopen(vivod".txt","a");

k=0;

for(i31=1,18,
for(i37=1,24,
for(i41=1,28,
for(i43=1,30,
for(i47=1,34,
for(i53=1,40,

bpt=lift(chinese([Mod(1,2),Mod(1,3),Mod(1,5),Mod(5,7),Mod(1,11),Mod(7,13),Mod(1,17),Mod(3,19),Mod(rost23,23),Mod(rost29,29),Mod(v31[i31],31),Mod(v37[i37],37),Mod(v41[i41],41),Mod(v43[i43],43),Mod(v47[i47],47),Mod(v53[i53],53)]));
k++;

        \\кортеж 9
       if(ispseudoprime(bpt+pt[3]) && ispseudoprime(bpt+pt[11]),
       l=0;
       forprime(p=bpt+pt[3],bpt+pt[11], l++; vmy[l]=p; );
       if(l==9,
       for(m=2,9, pat9[m]=vmy[m]-vmy[1]; );
      if(pat9==pt9,
      w1=strprintf("%d: %d\n",vmy[1],pat9);
      print(w1);
      filewrite(fout,w1); );
        
    \\кортеж 11
      if(ispseudoprime(bpt+pt[2]) && ispseudoprime(bpt+pt[12]),
      l=0; 
      forprime(p=bpt+pt[2],bpt+pt[12], l++; vmy[l]=p;  );
      if(l==11, 
      for(m=2,11, pat11[m]=vmy[m]-vmy[1]; );
      if(pat11==pt11,
      w1=strprintf("%d: %d\n",vmy[1],pat11);
      print(w1);
      filewrite(fout,w1); );

      \\кортеж 13
      if(ispseudoprime(bpt) && ispseudoprime(bpt+pt[13]),
      l=0; 
      forprime(p=bpt,bpt+pt[13], l++; vmy[l]=p;  );
      if(l==13, 
      for(m=2,13, pat13[m]=vmy[m]-vmy[1]; );
      if(pat13==pt,
      w1=strprintf("%d: %d\n",vmy[1],pat13);
      print(w1);
      filewrite(fout,w1); );
            
       ))))); \\ if l==9
        );\\ if ispseudoprime
        
););););););
print("sgenerirovano dobavok ",k);

w1=strprintf("end ");
print(w1);
filewrite(fout,w1);
fileclose(fout)
}

Приглашаю всех оптимизировать программу!

Оптимизации от г. Петухова я так и не дождалась.
Добавления одной строчки, которая убыстряет программу в 14 раз.
Может, ещё кто-то знает, какую строчку надо добавить?
Ядряра, к примеру, или Demis :)
Demis сокрушался, что в BOINC-проекте программы не ускорили.
Так ведь не знаем, как ускорить и ждём подсказку :))
А подсказки-то и нет.

Замечу, что эта программа мало тестировалась.
Может, какие-нибудь подводные камни окажутся.

Ну вот, жду результатов от черепашки.
Кстати, время работы программы она должна выдать.
ID: 16765 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16766 - Posted: 13 Jun 2025, 14:42:49 UTC
Last modified: 14 Jun 2025, 6:35:22 UTC

Каждая из 192 программ первой серии генерирует и проверяет
18*24*28*30*34*40 = 493516800 добавок.


Во всех 192 программах будет сгенерировано и проверено
192*493516800 = 94755225600 добавок.

Всего в этом поиске
145544026521600 formulae expected

то есть 145544026521600 добавок.
ID: 16766 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16767 - Posted: 13 Jun 2025, 14:45:56 UTC
Last modified: 13 Jun 2025, 14:58:58 UTC

Первую центральную 9-ку черепашка выдала

28622451268054578373: [0,18,24,48,54,60,84,90,108]

Прервала программу, у нас очень жарко.

Вроде пока ошибок не выявлено, программа работает нормально.

В этом поиске будут найдены центральные 9-ки и центральные 11-ки.
Ну, центральные 13-ки тоже будут найдены, ежели они в этом диапазоне существуют.
Я думаю, что существуют; много или мало - не могу сказать, это Ядряра может :)
Конечно, для этого надо выполнить поиск полностью.

145544026521600/94755225600 = 1536

К чему это я разделила?
Смотрите предыдущее сообщение.

Всего-то 1536 раз по 192 программы.
BOINC выполнит.
ID: 16767 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16775 - Posted: 14 Jun 2025, 7:59:20 UTC
Last modified: 14 Jun 2025, 15:54:40 UTC

Подробнее о БД центральных 13-к

У меня имеется на данный момент такая БД центральных 13-к (частично показываю)

2479672831189511: 0,12,42,60,66,90,96,102,126,132,150,180,192
14532269076393311: 0,12,42,60,66,90,96,102,126,132,150,180,192
18243592974347137: 0,12,42,60,66,90,96,102,126,132,150,180,192
19841272539468077: 0,12,42,60,66,90,96,102,126,132,150,180,192
28522877055638377: 0,12,42,60,66,90,96,102,126,132,150,180,192
30490730621120881: 0,12,42,60,66,90,96,102,126,132,150,180,192
31253201754308491: 0,12,42,60,66,90,96,102,126,132,150,180,192
38282996618836381: 0,12,42,60,66,90,96,102,126,132,150,180,192
49709746203086381: 0,12,42,60,66,90,96,102,126,132,150,180,192
80367014131763771: 0,12,42,60,66,90,96,102,126,132,150,180,192
83438316647980691: 0,12,42,60,66,90,96,102,126,132,150,180,192
85836761919895097: 0,12,42,60,66,90,96,102,126,132,150,180,192
94424620755941587: 0,12,42,60,66,90,96,102,126,132,150,180,192
112152555556206731: 0,12,42,60,66,90,96,102,126,132,150,180,192
127300190958286457: 0,12,42,60,66,90,96,102,126,132,150,180,192
141573325723293161: 0,12,42,60,66,90,96,102,126,132,150,180,192
190482508374758557: 0,12,42,60,66,90,96,102,126,132,150,180,192
209626115330591917: 0,12,42,60,66,90,96,102,126,132,150,180,192
324871384687349611: 0,12,42,60,66,90,96,102,126,132,150,180,192
359200217773681241: 0,12,42,60,66,90,96,102,126,132,150,180,192
377360542797737911: 0,12,42,60,66,90,96,102,126,132,150,180,192
471562489911768821: 0,12,42,60,66,90,96,102,126,132,150,180,192
507060265610887231: 0,12,42,60,66,90,96,102,126,132,150,180,192
508915645637755207: 0,12,42,60,66,90,96,102,126,132,150,180,192
513703914377659417: 0,12,42,60,66,90,96,102,126,132,150,180,192
565872074218044991: 0,12,42,60,66,90,96,102,126,132,150,180,192
591077243357392357: 0,12,42,60,66,90,96,102,126,132,150,180,192
615687149309852731: 0,12,42,60,66,90,96,102,126,132,150,180,192
. . . . . . . . 
8300219963306992117: 
8421952759754289167: 
8470429089744827617: 
8533351897373793341: 
8546323226694232831: 
8560317076865713571: 
8677404716190380281: 
8854975042860577027: 
9035209616091919217: 
9047858012249718227: 
9120158129331713861: 
9153806495525111377: 
9170747899837687861: 
9172510963390759381: 
9190378489555104407: 
9263347979564458477: 
9391346125970494097: 
9412507796260543217: 
9492565717618653367: 
9526974418387614431: 
9556820127521832731: 
9599643914361807157: 
9633607413909975061: 
9687571205573180771: 
9779213400414113221: 
9920250559572037081: 0, 12, 42, 60, 66, 90, 96, 102, 126, 132, 150, 180, 192
9995348564889375931: 0, 12, 42, 60, 66, 90, 96, 102, 126, 132, 150, 180, 192
10013230717641471277: 0, 12, 42, 60, 66, 90, 96, 102, 126, 132, 150, 180, 192

Эта часть БД непрерывна, то есть без пропусков.

Далее то, что выложил г. Петухов на форуме dxdy.ru

10130392328070474157,
10153185061549088971,
10236355150921661327,
10246017460829141557,
10304613318488232701,
10326541662008009681,
10371425130288542017,
10383682450304082877,
10408168773472119061,
10499493692947708861,
10540143033014354611,
10560397483948992091,
10567963099523203771,
10607521634695145011,
10716366929681877161,
10717708445691097247,
10723236960793555441,
10732242437627290537,
10861110627532434967,
10960719362282020897,
10962757032949087217,
10965448136607379981

Эта часть тоже, скорее всего, непрерывна.

Это все те центральные 13-ки. которые находятся в диапазоне (0 - 53#), то есть как раз в том диапазоне, где работает моя новая программа.
Напомню: 53# = 32589158477190044730.

Тут ещё есть что поискать в добавление к известным центральным 13-м.

Далее центральные 13-ки, содержащиеся в ключевых 17-х, 13 штук

1006882292528806742291
3954328349097827424421
4896552110116770789797
6751407944109046348087
7768326730875185894831
19252814175273852997781
154787380396512840656531
187749702383119068641861
901985248981556228168791
4246610002636339828954861
9425346484752129657862247
9701757886114895320879571
14451615724941305041645471

Наконец, начинаю собирать центральные 13-ки, найденные в BOINC-проекте ODLK2025, пока их всего 3 штуки

20911182178947411463213667,
22395329944893298631678291,
26847772833987315137133317

Это всё, что у меня имеется на данный момент.

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

Моя новая программа поиска в нулевом периоде для периода 53# очень интересна.
Особенно важно, что эту программу реально выполнить полностью хотя бы в BOINC.
Она прекрасно распараллеливается на короткие (быстрые!) программы.

PS. Раньше я неоднократно говорила, что ключевые 17-ки имеют большую самостоятельную ценность.
Это относится и к центральным 13-м тоже, и к центральным 15-м.
Кто занимается исследованиями, тот это прекрасно понимает.

Кстати, команда г. Петухова может существенно дополнить выложенную мной БД центральных 13-к.
А чем полнее будет БД, тем больше её ценность для исследований.
Это аксиома, которую не надо доказывать.

Ещё замечу, что центральные 13-ки, центральные 15-ки и ключевые 17-ки содержатся в 19-ке с минимальным диаметром и далее в 21-ке, 23-ке, 25-ке и 27-ке - с преемственными паттернами.
Это одна из причин, почему так важны указанные центральные кортежи.
ID: 16775 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16776 - Posted: 14 Jun 2025, 9:58:23 UTC
Last modified: 14 Jun 2025, 10:07:05 UTC

Сейчас пришла идея поставить в программу фильтр.

Зачем проверять те добавки, от которых центральные 13-ки уже известны.
Пусть проверяются только следующие (по возрастанию) добавки.
Тогда будут найдены только новые центральные 13-ки в заданном диапазоне (0 - 53#).

Фильтровать буду с этой добавки - 10013230717641471277.
Пусть несколько центральных 13-к, выложенных г. Петуховым, повторятся.
Это подтвердит правильность алгоритма поиска.

Кстати, начальная часть БД центральных 13-к непрерывная (то есть без пропусков).
Вот вам и расстояния между кортежами, вполне реальны.
Каков закон распределения расстояний?
Как прогнозировать появление следующих центральных 13-к на основе этого закона, коль скоро он есть?

Замечательные вопросы для исследования!

А расширив БД, мы улучшим объект исследования, в результате повышается точность прогнозов.
ID: 16776 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16777 - Posted: 14 Jun 2025, 10:10:03 UTC
Last modified: 14 Jun 2025, 10:34:45 UTC

Вот найденная черепашкой первая центральная 9-ка

28622451268054578373: [0,18,24,48,54,60,84,90,108]

Она в хорошем месте найдена, то есть для добавки >10013230717641471277.

Итак, диапазон поиска в моей новой программе после добавления фильтра будет такой
(10013230717641471277, 32589158477190044730).

Много ли центральных 13-к в этом диапазоне?
Пусть Ядряра со своим помощником vicvolf вычислят :)
Конкретная практическая задача!
Основана на реальной непрерывной БД.

Нам известен ещё небольшой интервал, это кортежи, найденные г. Петуховым

10130392328070474157,
10153185061549088971,
10236355150921661327,
10246017460829141557,
10304613318488232701,
10326541662008009681,
10371425130288542017,
10383682450304082877,
10408168773472119061,
10499493692947708861,
10540143033014354611,
10560397483948992091,
10567963099523203771,
10607521634695145011,
10716366929681877161,
10717708445691097247,
10723236960793555441,
10732242437627290537,
10861110627532434967,
10960719362282020897,
10962757032949087217,
10965448136607379981

Вот вам конкретный интервал и точное значение кортежей в нём.
Можно присоединить этот интервал к началу БД; будет другой конкретный интервал и точное количество кортежей в нём.

Кстати, все кортежи здесь - tuplet.

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

И не надо никаких "чистых", "сверхплотных", "кристаллов".

Мы ищем симметричные 13-tuplet по заданному паттерну
0, 12, 42, 60, 66, 90, 96, 102, 126, 132, 150, 180, 192

Симметричность кортежей обеспечивается паттерном.
ID: 16777 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16779 - Posted: 14 Jun 2025, 15:57:47 UTC
Last modified: 14 Jun 2025, 16:00:12 UTC

Фильтр в программу вставила.

Запустила программу для WU5 на черепашке, попробовать.
Может, до первой центральной 9-ки покрутится.

Жара чуть-чуть схлынула к вечеру.
Черепашка вместе со мной спала.
Сейчас отдохнувшая, повеселевшая :)
ID: 16779 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16782 - Posted: 14 Jun 2025, 17:27:58 UTC

Ну вот, черепашка аж две центральные 9-ки нашла

11578719801694199593: [0,18,24,48,54,60,84,90,108]

11533604722241906743: [0,18,24,48,54,60,84,90,108]

Молодец!

Прервала программу.
Программа работала 1,5 часа.
ID: 16782 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16790 - Posted: 15 Jun 2025, 10:01:05 UTC
Last modified: 15 Jun 2025, 10:06:04 UTC

Сегодня тоже было на попробовать у черепашки.

Запустила следующую программу - WU6.
Черепашка аж три центральные 9-ки успела найти, пока я её не прервала.
Вот они

12731786929451234083: [0,18,24,48,54,60,84,90,108]

16524248012752814773: [0,18,24,48,54,60,84,90,108]

13275231999685620403: [0,18,24,48,54,60,84,90,108]

Замечательно!
Фильтр работает.

Прервала программу.
Жарко и очень душно было перед дождём.
А сейчас дождь да с грозой.

Итак, черепашка испытала программы WU4 - WU6.
Центральные 9-ки всеми программами найдены.

Черепашка у меня тестер и испытатель :)

Эх, жутко интересно, как скоро появятся центральные 11-ки.
А центральные 13-ки?
ID: 16790 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16794 - Posted: 16 Jun 2025, 3:39:58 UTC
Last modified: 16 Jun 2025, 3:58:01 UTC

Ахиллесов по-прежнему не вижу, четвёртые сутки.

Запустила на черепашке ещё одну программу на испытание: WU7.

Центральная 9-ка уже найдена!

? \r 13_53_0period.txt
24150901514880694993: [0,18,24,48,54,60,84,90,108]

9-ка найдена в правильном месте, согласно фильтру.

Ну пусть покрутится ещё немножко, пока не очень жарко.
ID: 16794 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16795 - Posted: 16 Jun 2025, 4:02:12 UTC
Last modified: 16 Jun 2025, 7:19:13 UTC

Ого!
Черепашка нашла центральную 11-ку!!

У-Р-А!

? \r 13_53_0period.txt
24150901514880694993: [0,18,24,48,54,60,84,90,108]

32051002751375672503: [0,18,24,48,54,60,84,90,108]

32051002751375672473: [0,30,48,54,78,84,90,114,120,138,168]

Замечательно!
Центральная 11-ка тоже найдена в правильном месте, согласно фильтру.

Недаром черепашка рвалась в бой :)

Теперь будем ждать центральную 13-ку.
Два шага пройдены - центральные 9-ки, центральные 11-ки.
Центральные 13-ки в этом алгоритме последний шаг.

Мы помним выведенное Ядрярой соотношение: в среднем на 247 центральных 11-к одна центральная 13-ка.
Но в этом алгоритме у нас элементы центральных кортежей следуют не по порядку.
Поэтому этот закон тут не работает.
Центральная 13-ка может найтись в любой момент, хотя центральная 11-ка у нас пока найдена всего одна.

PS. Обратите внимание: здесь не выводится паттерн, по которому выполняется поиск.
Этот паттерн всего один - паттерн центральной 13-ки
0,12,42,60,66,90,96,102,126,132,150,180,192
ID: 16795 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16797 - Posted: 16 Jun 2025, 5:59:09 UTC
Last modified: 16 Jun 2025, 6:01:18 UTC

Умница моя!
Управилась, полностью выполнила программу, даже время показала


? \r 13_53_0period.txt
24150901514880694993: [0,18,24,48,54,60,84,90,108]

32051002751375672503: [0,18,24,48,54,60,84,90,108]

32051002751375672473: [0,30,48,54,78,84,90,114,120,138,168]

18821723266988896693: [0,18,24,48,54,60,84,90,108]

sgenerirovano dobavok 493516800
end
time = 1h, 57min, 10,996 ms.

Время очень хорошее!
Быстрые программы, даже для BOINC вполне годятся.
Это на черепашке, на других ПК будет быстрее.

Ещё одна центральная девятка найдена, тоже в правильном месте.

Вот так проходят испытания на черепашке.
ID: 16797 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16799 - Posted: 16 Jun 2025, 6:17:58 UTC
Last modified: 16 Jun 2025, 7:22:54 UTC

Господа!

Приглашаю всех поискать центральные 13-ки.

Программа хорошая, работает быстро.
Центральные кортежи находит, уже нашла центральную 11-ку.
Центральные 13-ки на подходе.

Программа выложена выше.
Сначала надо сгенерировать вушки; программа для генерации вушек тоже выложена.

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

PS. В BOINC-проекте видела сервер - 192 процессора.
Круто!
Вот на этом сервере можно сразу все 192 программы первой серии запустить.
И за два часа они все выполнятся!
А потом ещё 1535 раз по 192 программы.
Да, долго, конечно, но ведь не тысячу лет.
А в BOINC ещё быстрее!
ID: 16799 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16800 - Posted: 16 Jun 2025, 6:31:18 UTC
Last modified: 16 Jun 2025, 7:31:56 UTC

Господа!
Вот пакетный файл на запуск 6 программ: WU1 - WU6


copy WU_1_13_get_sym_tuples.txt in.txt
start gp 13_53_0period.txt
ping 127.1 -n 5 >nul
copy WU_2_13_get_sym_tuples.txt in.txt
start gp 13_53_0period.txt
ping 127.1 -n 5 >nul
copy WU_3_13_get_sym_tuples.txt in.txt
start gp 13_53_0period.txt
ping 127.1 -n 5 >nul
copy WU_4_13_get_sym_tuples.txt in.txt
start gp 13_53_0period.txt
ping 127.1 -n 5 >nul
copy WU_5_13_get_sym_tuples.txt in.txt
start gp 13_53_0period.txt
ping 127.1 -n 5 >nul
copy WU_6_13_get_sym_tuples.txt in.txt
start gp 13_53_0period.txt
ping 127.1 -n 5 >nul

Если вам не хочется генерировать вушки, я сейчас покажу первые 6 вушек, то есть прямо содержимое файлов-вушек.

Дальше положите в папку программу gp.exe и рабочую программу 13-53_0period.txt (она опубликована выше).
И ещё создайте вспомогательный файл in.txt.

Всё, больше ничего не нужно.
Запускаете пакетный файл, имя пакетного файла, например, run.bat.

Примечание: это будет работать в ОС Windows.
Не знаю, как в 32-bit.
У меня 64-bit.

gris,
если вы читаете тему, пожалуйста, попробуйте для 32-bit.
Делать вам всё равно нечего, задачки Ксюша не генерирует :)

PS. Рабочая программа 13_53_0period.txt опубликована в сообщении
https://boinc.progger.info/odlk/forum_thread.php?id=317&postid=16765
ID: 16800 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16801 - Posted: 16 Jun 2025, 6:42:31 UTC
Last modified: 16 Jun 2025, 7:55:32 UTC

Вот содержимое первых 6 фалов-вушек

WU_1_13_get_sym_tuples.txt
1
1
out1

WU_2_13_get_sym_tuples.txt
1
2
out2

WU_3_13_get_sym_tuples.txt
1
3
out3

WU_4_13_get_sym_tuples.txt
1
4
out4

WU_5_13_get_sym_tuples.txt
1
5
out5

WU_6_13_get_sym_tuples.txt
1
6
out6

Создайте в рабочей папке файлы с таими именами и запишите в них данные.

Вроде ничего не забыла.
Если есть вопросы, пожалуйста, пишите по адресу
natalimak1@yandex.ru

Прошу Ядряру выполнить этот пакет программ.
Специально для него сделала пакет на запуск 6 программ.
Шесть программ, запущенные одновременно, выполнятся максимум за 2 часа.

В своё время я ему помогла вычислениями.

Долг платежом красен.

А тут ему ещё и творчество можно применить - оптимизировать программу.
Ну, хотя бы в 14 раз убыстрить, в рамках PARI/GP :)

К тому же, у нас ведь нет полной БД центральных 13-к в диапазоне (0 - 53#).
Не так ли?

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

Demis,
вам не икается? :)
Я всё время вспоминаю вашу знаменитую фразу: "Ищете 11-ки и радуетесь."

Да-да, именно так: ищу центральные 11-ки и радуюсь :))
[Только вы под 11-ми имели в виду совсем другое.]

А вы сейчас что ищете и чему радуетесь?
Предлагаю поискать со мной центральные 13-ки и порадоваться :)

У меня есть и покруче предложения; например, поискать симметричный 27-tuplet с минимальным диаметром.
Как насчёт такого предложения?
ID: 16801 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16802 - Posted: 16 Jun 2025, 7:15:17 UTC
Last modified: 16 Jun 2025, 7:52:21 UTC

А черепашка рвётся в бой!

Запустила ещё одну программу: WU8.

Пусть покрутится немножко, пока не очень жарко.

Центральная 9-ка найдена с ходу!

? \r 13_53_0period.txt
28370990949433616923: [0,18,24,48,54,60,84,90,108]

Поиск продолжается.

Вторая центральная 9-ка!

26629229033881208173: [0,18,24,48,54,60,84,90,108]
ID: 16802 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16803 - Posted: 16 Jun 2025, 9:19:41 UTC
Last modified: 16 Jun 2025, 16:07:59 UTC

Готово!
Программа выполнена


? \r 13_53_0period.txt
28370990949433616923: [0,18,24,48,54,60,84,90,108]

26629229033881208173: [0,18,24,48,54,60,84,90,108]

28163346171095539843: [0,18,24,48,54,60,84,90,108]

32517573570692734963: [0,18,24,48,54,60,84,90,108]

sgenerirovano dobavok 493516800
end
time = 1h, 58min, 40,604 ms.

Центральных 11-к этой программой не найдено.
Время почти такое же, как в предыдущей программе.
Стабильность - это хорошо.

Тэк-с, пока хватит, пусть отдохнёт черепашка.
ID: 16803 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 15710
Credit: 0
RAC: 0
Message 16806 - Posted: 16 Jun 2025, 10:58:57 UTC
Last modified: 16 Jun 2025, 11:24:11 UTC

Черепашка отдохнула и выполняет следующую программу: WU9.

Ждём результаты.

Центральная 9-ка нашлась с ходу!

? \r 13_53_0period.txt
27540443326755373453: [0,18,24,48,54,60,84,90,108]

Обратите внимание: здесь не может быть одинаковых кортежей, потому что добавок одинаковых не бывает.

Таким образом, все центральные 9-ки идут разные; ну и остальные кортежи тоже будут разные.
Это очень хорошо.

Ещё радует, что каждая короткая программа находит хотя бы центральные 9-ки.
Не было ещё программы совсем без результатов.
ID: 16806 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Previous · 1 · 2 · 3 · 4 · 5 · Next

Message boards : Cafe : Банк центральных 13-к


©2025 (C) Progger