К штурму 19-ки

Message boards : Cafe : К штурму 19-ки
Message board moderation

To post messages, you must log in.

Previous · 1 . . . 45 · 46 · 47 · 48 · 49 · 50 · 51 . . . 55 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12959 - Posted: 14 Nov 2023, 18:13:14 UTC
Last modified: 14 Nov 2023, 18:22:17 UTC

Итак, я начинаю поиск 19-ки с минимальным диаметром 252 со следующего интервала

i1=1058692890999999000;
i2=1058692891000010000;

Показанная в предыдущем сообщении центральная 9-ка в этом интервале программой находится

(22:05) gp > \r d252_11a.txt
   logfile = "d252_11a_res.txt"
range of search
1058692890999999000 (p=10268992847903780300310000 )
1058692891000010000 (p=10268992847903886996900000 )
10268992847903790005321209, 10268992847903790005321227, 102689928479037900053212
33, 10268992847903790005321257, 10268992847903790005321263, 10268992847903790005
321269, 10268992847903790005321293, 10268992847903790005321299, 1026899284790379
0005321317, 

Отлично!
Можно ехать дальше.
ID: 12959 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12960 - Posted: 15 Nov 2023, 13:02:23 UTC
Last modified: 15 Nov 2023, 16:26:35 UTC

Ох, полдня писала программу на PARI/GP по новому алгоритму.

Часа три искала причину ошибки!
Эта вечная "неожиданная закрывающаяся скобка"!!!
Чего я только ни делала в блоке программы, чтобы устранить ошибку.
Н-и-ч-е-г-о не помогало.
Уже наступило полное отчаяние.

И где (вы думаете) была ошибка?
Ошибка была в самом начале программы.
При копировании строк из двух программ ошибочно скопировала две фигурные скобки.
И... песец подкрался :)

Это какой-то кошмар!
И ведь был у меня уже такой случай (две фигурные скобки в начале программы), но не догадалась сразу посмотреть на первые строки в сегодняшнем случае.
Думала уже, что и не напишу эту программу.

Но, слава Богу, всё же посмотрела на начало программы.

Ну, с Божьей помощью программу написала.
Это принципиально новый алгоритм поиска 19-ки с минимальным диаметром 252.
Смотрите далее.

В-о-т, алгоритм разработала за полчаса, программу писала полдня.
Так умудриться инициализировать "неожиданно закрывающуюся скобку" могли только разработчики PARI/GP, за что им огромнейшая благодарность.
Причём ошибка эта локализуется в середине программы, где всё абсолютно правильно!
ID: 12960 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12961 - Posted: 15 Nov 2023, 13:14:20 UTC
Last modified: 15 Nov 2023, 13:35:10 UTC

Кстати, о птичках...
Выше я спрашивала, есть ли в PARI/GP операция сравнения двух векторов одинаковой длины?
В новой программе использовала эту операцию, всё прекрасно работает!
А раньше ни разу не использовала сравнение векторов.
ID: 12961 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12962 - Posted: 15 Nov 2023, 13:22:13 UTC
Last modified: 15 Nov 2023, 13:38:25 UTC

Итак, идея просто гениальная :)
И принадлежит она Ярославу Врублевскому.

Как же я раньше не догадалась использовать бесценный опыт коллеги :(
Искать надо не 19-ку с минимальным диаметром 252, а 17-ку с минимальным диаметром 240 и с преемственным паттерном, вот с этим
0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240

Без такой 17-ки не будет и 19-ки с минимальным диаметром 252.
Это и ежу понятно.
Матрёшка!

Ярослав в конкурсе по кортежам так и делал: искал 17-ки и проверял их на продолжение до 19-ки.
И 17-ок с диаметром 240 и с преемственным паттерном для 19-ки с диаметром 252 он нашёл аж 6 штук!
К сожалению, ни одна из них до 19-ки не продолжилась.

А искать 17-ки как-никак проще, нежели искать 19-ки.

Итак, алгоритм разработала, программу написала.
Сейчас программа тестируется на черепашке.
ID: 12962 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12963 - Posted: 15 Nov 2023, 13:28:28 UTC
Last modified: 17 Nov 2023, 3:00:01 UTC

Сначала протестировала известную 17-ку, найденную Ярославом, вот эту

19252814175273852997757: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240

или подробно
{19252814175273852997757, 19252814175273852997763, 19252814175273852997781, 19252814175273852997793, 19252814175273852997823,
19252814175273852997841, 19252814175273852997847, 19252814175273852997871, 19252814175273852997877, 19252814175273852997883,
19252814175273852997907, 19252814175273852997913, 19252814175273852997931, 19252814175273852997961, 19252814175273852997973, 
19252814175273852997991, 19252814175273852997997}

Моя программа выдала

(16:42) gp > \r 17tuple.txt
   logfile = "res_17tuple.txt"
range of search
37712903126821815 (p=19252814175273804775650 )
37712903126900000 (p=19252814175313719000000 )
19252814175273852997793: [36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204]
19252814175273852997781: [24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204,
 216]
19252814175273852997763: [6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 2
04, 216, 234]
19252814175273852997757: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174
, 204, 216, 234, 240]

Программа выдаёт центральные 11-ку, 13-ку и 15-ку, а также и 17-ку; разумеется, если такие кортежи найдутся.
В примере 17-ки Ярослава все четыре кортежа имеем, программа их нашла.

Эта 17-ка последняя найденная Ярославом - с преемственным паттерном.
Вот теперь думаю: продолжать ли от этой 17-ки или прыгнуть к бОльшему диапазону, в котором я уже начала искать 19-ку с минимальным диаметром.
В этом поиске остановилась на интервале (чтобы не забыть)
i1=1058692891005000001;
i2=1058692891006000000;

Эх, были бы ресурсы!
Можно бы в обоих диапазонах поискать.

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

Пример центральной 11-ки
19252814175273852997793: [36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204]

Конечно, её паттерн надо нормализовать
19252814175273852997793: 0, 30, 48, 54, 78, 84, 90, 114, 120, 138, 168
ID: 12963 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12964 - Posted: 15 Nov 2023, 13:43:28 UTC
Last modified: 15 Nov 2023, 13:48:51 UTC

Черепашка протестировала проверку интервала длины 1.000.000 (натуральных чисел) с замером времени

(16:50) gp > default(timer,1)
(16:52) gp > \r 17tuple.txt
   logfile = "res_17tuple.txt"
range of search
37712903127000001 (p=19252814175364770510510 )
37712903128000000 (p=19252814175875280000000 )
time = 35min, 49,882 ms.

Решений в этом интервале не найдено.

Время неплохое.
Конечно, у меня не супер-пупер программа, как у господина Петухова (никаких 300.000 формул, которые формируются на лету).
Ну, мне и такая пойдёт.
Зато сама написала :)
Уже не скажет господин Петухов: "Всех достала, вот ей и написали программу."
ID: 12964 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12965 - Posted: 15 Nov 2023, 14:01:14 UTC
Last modified: 15 Nov 2023, 14:08:31 UTC

И опять кстати, о птичках...
У господина Петухова, помнится, тоже была 17-ка с диаметром 240 и с преемственным паттерном для 19-ки с минимальным диаметром 252.
Кажется, даже продолжается эта 17-ка в одну сторону, точно не помню.
В теме "Симметричные кортежи из последовательных простых чисел" смотрите
https://dxdy.ru/topic100750-285.html

Вот только такие 17-ки и надо искать.
И больше никаких 300.000 формул :)))
ID: 12965 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12966 - Posted: 16 Nov 2023, 8:49:51 UTC
Last modified: 16 Nov 2023, 9:50:01 UTC

Несколько проходов, черепашка тестирует новую программу - поиск 17-ок с минимальным диаметром 240 и преемственным для 19-ки с минимальным диаметром 252 паттерном.

(03:40) gp > default(timer,1)
(03:42) gp > \r 17tuple.txt
log = 1 (on)
[logfile is "res_17tuple.txt"]
range of search
37712903132000001 (p=19252814177917320510510 )
37712903135000000 (p=19252814179448850000000 )
time = 1h, 47min, 27,380 ms.
(05:32) gp > \r 17tuple.txt
logfile = "res_17tuple.txt"
range of search
37712903135000001 (p=19252814179448850510510 )
37712903140000000 (p=19252814182001400000000 )
time = 2h, 59min, 1,653 ms.
(10:11) gp > \r 17tuple.txt
logfile = "res_17tuple.txt"
range of search
37712903140000001 (p=19252814182001400510510 )
37712903142000000 (p=19252814183022420000000 )
time = 1h, 11min, 54,145 ms.

Вроде всё нормально, только решений нет.
Чтобы не было совсем тоскливо из-за отсутствия решений, добавила в программу вывод центральных 9-ок.
Может быть, 9-ки всё-таки появятся на горизонте :)
С кортежами нечётной длины за границей 2^64 вообще очень туго.

Запустила ещё один небольшой интервал.
Сейчас думаю перейти в бОльший диапазон (26-значные числа).

Завершён проход

(12:23) gp > \r 17tuple.txt
   logfile = "res_17tuple.txt"
range of search
37712903142000001 (p=19252814183022420510510 )
37712903144000000 (p=19252814184043440000000 )
time = 1h, 11min, 53,007 ms.

И 9-ки пока не найдено.
ID: 12966 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12967 - Posted: 16 Nov 2023, 9:52:45 UTC
Last modified: 16 Nov 2023, 10:20:56 UTC

Вот нашла 17-ку господина Петухова
154787380396512840656501:[-28, 6, 12, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], valids=18
Тут все 18 чисел кроме первого правильные. Т.е. она содержит и правильную 17-ку (и более короткие конечно).

https://dxdy.ru/post1597696.html#p1597696

17-ка такая
154787380396512840656507: 0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240

или подробно
{154787380396512840656507, 154787380396512840656513, 154787380396512840656531, 154787380396512840656543,
154787380396512840656573, 154787380396512840656591, 154787380396512840656597, 154787380396512840656621,
154787380396512840656627, 154787380396512840656633, 154787380396512840656657, 154787380396512840656663,
154787380396512840656681, 154787380396512840656711, 154787380396512840656723, 154787380396512840656741,
154787380396512840656747}

Сейчас я её протестирую своей программой.

Готово!

(14:01) gp > \r 17tuple.txt
   logfile = "res_17tuple.txt"
range of search
303201465978164600 (p=154787380396512809946000 )
303201465978200000 (p=154787380396530882000000 )
154787380396512840656573: [66, 84, 90, 114, 120, 126, 150, 156, 174]
154787380396512840656543: [36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204]
154787380396512840656531: [24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204
, 216]
154787380396512840656513: [6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174,
204, 216, 234]
154787380396512840656507: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 17
4, 204, 216, 234, 240]
time = 1min, 15,052 ms.

Всё правильно.
Выведены все центральные кортежи, начиная с 9-ки, и сама 17-ка.

Итак, этот кандидат (17-ка) дал 19-ку с минимальным диаметром с одной "дыркой".
Ещё немного, ещё чуть-чуть :))

Я записала бы приближение к 19-ке так

{*154787380396512840656473, 154787380396512840656507, 154787380396512840656513, 154787380396512840656531,
154787380396512840656543, 154787380396512840656573, 154787380396512840656591, 154787380396512840656597,
154787380396512840656621, 154787380396512840656627, 154787380396512840656633, 154787380396512840656657,
154787380396512840656663, 154787380396512840656681, 154787380396512840656711, 154787380396512840656723,
154787380396512840656741, 154787380396512840656747, 154787380396512840656753}

По-моему, это гораздо понятнее, не надо никаких плюсов и минусов.
В кортеже последовательные простые числа, одно из них (первое) не соответствует паттерну и помечено звёздочкой, это и есть "дырка".
ID: 12967 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12968 - Posted: 16 Nov 2023, 10:22:38 UTC
Last modified: 16 Nov 2023, 10:29:47 UTC

Пойду корректировать диапазон поиска, чтобы искать в диапазоне с 26-значными числами.

Это будет интереснее :)

Вот тут я остановилась при поиске программой для 19-ки

i1=1058692891005000001;
i2=1058692891006000000;

Реальный диапазон

range of search
1058692891005000001 (p=10268992847952288459699690 )
1058692891006000000 (p=10268992847961988140000000 )
ID: 12968 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12969 - Posted: 16 Nov 2023, 10:45:17 UTC
Last modified: 16 Nov 2023, 11:34:07 UTC

А между тем в BOINC-проекте SPT уже чёртова дюжина 17-ок!

# page=1, count=(?), batch=(?)
# Copyright boinc.termit.me Natalia Makarova & Alex Belyshev & Tomáš Brada, ask on forum about reuse or citation.
# where `start`>=0 and `start`<= 1898337310272981169 and kind='spt' and k=17 limit 0,200000
4679308425291971279: 0 12 30 54 72 144 180 252 282 312 384 420 492 510 534 552 564
4787657908465021067: 0 36 90 156 216 240 246 294 330 366 414 420 444 504 570 624 660
6031294806199243111: 0 6 18 48 60 108 126 150 318 486 510 528 576 588 618 630 636
6239488505247755519: 0 12 42 60 102 138 198 210 240 270 282 342 378 420 438 468 480
6254294998011830071: 0 30 42 60 96 102 120 180 246 312 372 390 396 432 450 462 492
6561013649263688341: 0 30 42 60 90 156 210 270 276 282 342 396 462 492 510 522 552
6837359459759035391: 0 42 60 66 72 120 126 150 156 162 186 192 240 246 252 270 312
6884636766567609443: 0 18 60 66 78 120 150 168 198 228 246 276 318 330 336 378 396
6909503198005638941: 0 18 60 78 162 168 210 228 300 372 390 432 438 522 540 582 600
6919940122097246351: 0 30 90 150 156 162 216 240 246 252 276 330 336 342 402 462 492
7294058794134463997: 0 42 132 162 174 192 282 294 372 450 462 552 570 582 612 702 744
7325015925425379463: 0 24 84 120 126 144 156 210 240 270 324 336 354 360 396 456 480
7333241003025607627: 0 6 42 66 90 102 180 300 306 312 432 510 522 546 570 606 612
# count = 13

https://boinc.termit.me/adsl/tuples.php?spt=17&p=1&ln

Что-то посыпались 17-ки, уж не перед 19-й ли? :)

А ещё в проекте найдена вторая 26-ка

# page=1, count=(?), batch=(?)
# Copyright boinc.termit.me Natalia Makarova & Alex Belyshev & Tomáš Brada, ask on forum about reuse or citation.
# where `start`>=0 and `start`<= 1898337310272981169 and kind='spt' and k=26 limit 0,200000
5179852391836338871: 0 12 18 28 46 76 78 120 186 210 226 232 238 300 306 312 328 352 418 460 462 492 510 520 526 538
7331618973503379271: 0 22 30 36 40 52 58 72 120 160 190 192 220 348 376 378 408 448 496 510 516 528 532 538 546 568
# count = 2

https://boinc.termit.me/adsl/tuples.php?spt=26&p=1&ln

26-ка продолжается в обе стороны, получаются две хромоногие 28-ки.

первый вариант

{7331618973503379241, 7331618973503379271, 7331618973503379293, 7331618973503379301, 7331618973503379307,
7331618973503379311, 7331618973503379323, 7331618973503379329, 7331618973503379343, 7331618973503379391,
7331618973503379431, 7331618973503379461, 7331618973503379463, 7331618973503379491, 7331618973503379619,
7331618973503379647, 7331618973503379649, 7331618973503379679, 7331618973503379719, 7331618973503379767,
7331618973503379781, 7331618973503379787, 7331618973503379799, 7331618973503379803, 7331618973503379809,
7331618973503379817, 7331618973503379839, *7331618973503379937}

паттерн
[0, 30, 52, 60, 66, 70, 82, 88, 102, 150, 190, 220, 222, 250, 378, 406, 408, 438, 478, 526, 540, 546, 558, 562, 568, 576, 598, 628]

второй вариант
{*7331618973503379241, 7331618973503379271, 7331618973503379293, 7331618973503379301, 7331618973503379307,
7331618973503379311, 7331618973503379323, 7331618973503379329, 7331618973503379343, 7331618973503379391,
7331618973503379431, 7331618973503379461, 7331618973503379463, 7331618973503379491, 7331618973503379619,
7331618973503379647, 7331618973503379649, 7331618973503379679, 7331618973503379719, 7331618973503379767,
7331618973503379781, 7331618973503379787, 7331618973503379799, 7331618973503379803, 7331618973503379809,
7331618973503379817, 7331618973503379839, 7331618973503379937}

паттерн
[0, 98, 120, 128, 134, 138, 150, 156, 170, 218, 258, 288, 290, 318, 446, 474, 476, 506, 546, 594, 608, 614, 626, 630, 636, 644, 666,
764]

Чуть-чуть не дотягиваем до 28-ки.
Ничего, дотянем :)
Уже четыре 28-ки с одной "дыркой" имеются.
ID: 12969 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12970 - Posted: 16 Nov 2023, 11:42:31 UTC
Last modified: 16 Nov 2023, 11:43:08 UTC

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

Напомню, что в этих заоблачных высотах я нашла жадным алгоритмом несколько центральных 9-ок в 19-ке с минимальным диаметром 252.
Это последняя из них

10268992847903790005321209: 0, 18, 24, 48, 54, 60, 84, 90, 108

От этой 9-ки я и начала поиск в этом заоблачном диапазоне.
Сначала программой поиска 19-ки с минимальным диаметром.

А теперь ищу 17-ки с минимальным диаметром 240 и преемственным паттерном с 19-ой с минимальным диаметром.
Новая программа выводит все центральные кортежи в 17-ке, какие найдутся, начиная с 9-ки.

Ждём, что она найдёт.
В заоблачных высотах кортежей нечётных длин о-ч-е-н-ь мало.
ID: 12970 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12971 - Posted: 16 Nov 2023, 11:46:15 UTC

Начальный интервал задан маленький

(15:24) gp > \r 17tuple.txt
   log = 1 (on)
   [logfile is "res_17tuple.txt"]
range of search
20115164929113800000 (p=10268992847961886038000000 )
20115164929114000000 (p=10268992847961988140000000 )
time = 7min, 4,260 ms.

За 7 минут проверен.
Сейчас побольше задам интервал.
ID: 12971 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12972 - Posted: 16 Nov 2023, 14:15:33 UTC
Last modified: 16 Nov 2023, 14:18:25 UTC

Ну вот, интервал длины 3.000.000 (в диапазоне 26-значных чисел) проверялся около 2 часов

(15:32) gp > \r 17tuple.txt
   logfile = "res_17tuple.txt"
range of search
20115164929114000001 (p=10268992847961988140510510 )
20115164929117000000 (p=10268992847963519670000000 )
time = 1h, 50min, 13,866 ms.

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

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

PS. Реальный интервал смотрите в скобках, он такой
[10268992847961988140510510, 10268992847963519670000000].
ID: 12972 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12973 - Posted: 17 Nov 2023, 0:53:30 UTC
Last modified: 17 Nov 2023, 1:04:19 UTC

Цитата из сообщения
https://boinc.progger.info/odlk/forum_thread.php?id=237&postid=12969

А между тем в BOINC-проекте SPT уже чёртова дюжина 17-ок!

# page=1, count=(?), batch=(?)
# Copyright boinc.termit.me Natalia Makarova & Alex Belyshev & Tomáš Brada, ask on forum about reuse or citation.
# where `start`>=0 and `start`<= 1898337310272981169 and kind='spt' and k=17 limit 0,200000
4679308425291971279: 0 12 30 54 72 144 180 252 282 312 384 420 492 510 534 552 564
4787657908465021067: 0 36 90 156 216 240 246 294 330 366 414 420 444 504 570 624 660
6031294806199243111: 0 6 18 48 60 108 126 150 318 486 510 528 576 588 618 630 636
6239488505247755519: 0 12 42 60 102 138 198 210 240 270 282 342 378 420 438 468 480
6254294998011830071: 0 30 42 60 96 102 120 180 246 312 372 390 396 432 450 462 492
6561013649263688341: 0 30 42 60 90 156 210 270 276 282 342 396 462 492 510 522 552
6837359459759035391: 0 42 60 66 72 120 126 150 156 162 186 192 240 246 252 270 312
6884636766567609443: 0 18 60 66 78 120 150 168 198 228 246 276 318 330 336 378 396
6909503198005638941: 0 18 60 78 162 168 210 228 300 372 390 432 438 522 540 582 600
6919940122097246351: 0 30 90 150 156 162 216 240 246 252 276 330 336 342 402 462 492
7294058794134463997: 0 42 132 162 174 192 282 294 372 450 462 552 570 582 612 702 744
7325015925425379463: 0 24 84 120 126 144 156 210 240 270 324 336 354 360 396 456 480
7333241003025607627: 0 6 42 66 90 102 180 300 306 312 432 510 522 546 570 606 612
# count = 13

https://boinc.termit.me/adsl/tuples.php?spt=17&p=1&ln

Что-то посыпались 17-ки, уж не перед 19-й ли? :)

Так и есть!
Эта 17-ка
7325015925425379463: 0 24 84 120 126 144 156 210 240 270 324 336 354 360 396 456 480

матрёшечная!

И 19-ок уже две

# page=1, count=(?), batch=(?)
# Copyright boinc.termit.me Natalia Makarova & Alex Belyshev & Tomas Brada, ask on forum about reuse or citation.
# where `start`>=0 and `start`<= 1898337310272981169 and kind='spt' and k=19 limit 0,200000
6919940122097246303: 0 48 78 138 198 204 210 264 288 294 300 324 378 384 390 450 510 540 588
7325015925425379457: 0 6 30 90 126 132 150 162 216 246 276 330 342 360 366 402 462 486 492
# count = 2

Ура! Ура! Ура!

Кстати, матрёшечная 17-ка чуть-чуть припозднилась, 14 ноября список 17-ок был такой

# page=1, count=(?), batch=(?)
# Copyright boinc.termit.me Natalia Makarova & Alex Belyshev & Tomáš Brada, ask on forum about reuse or citation.
# where `start`>=0 and `start`<= 1898337310272981169 and kind='spt' and k=17 limit 0,200000
4679308425291971279: 0 12 30 54 72 144 180 252 282 312 384 420 492 510 534 552 564
4787657908465021067: 0 36 90 156 216 240 246 294 330 366 414 420 444 504 570 624 660
6031294806199243111: 0 6 18 48 60 108 126 150 318 486 510 528 576 588 618 630 636
6239488505247755519: 0 12 42 60 102 138 198 210 240 270 282 342 378 420 438 468 480
6254294998011830071: 0 30 42 60 96 102 120 180 246 312 372 390 396 432 450 462 492
6561013649263688341: 0 30 42 60 90 156 210 270 276 282 342 396 462 492 510 522 552
6837359459759035391: 0 42 60 66 72 120 126 150 156 162 186 192 240 246 252 270 312
6884636766567609443: 0 18 60 66 78 120 150 168 198 228 246 276 318 330 336 378 396
6909503198005638941: 0 18 60 78 162 168 210 228 300 372 390 432 438 522 540 582 600
6919940122097246351: 0 30 90 150 156 162 216 240 246 252 276 330 336 342 402 462 492
7294058794134463997: 0 42 132 162 174 192 282 294 372 450 462 552 570 582 612 702 744
7333241003025607627: 0 6 42 66 90 102 180 300 306 312 432 510 522 546 570 606 612
# count = 12
ID: 12973 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12974 - Posted: 17 Nov 2023, 1:34:57 UTC
Last modified: 17 Nov 2023, 1:46:37 UTC

К сожалению, новая 19-ка не продолжается даже до хромоногой 21-ки.

Зато у неё диаметр меньше, чем у первой 19-ки.
Это уже хорошо.
У нас большие проблемы с 19-й с минимальным диаметром 252.
Маленький диаметр - трудно вписать 19-ку.
Поэтому уменьшение диаметра радует.

Ну, 19-ка с минимальным диаметром 252 до границы 2^64 точно не существует.
Это следует из того, что минимальная 17-ка с минимальным диаметром 240 (найденная Ярославом Врублевским) далеко за границей 2^64
258406392900394343851: 0 12 30 42 60 72 78 102 120 138 162 168 180 198 210 228 240
ID: 12974 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12975 - Posted: 17 Nov 2023, 2:27:48 UTC
Last modified: 17 Nov 2023, 2:48:48 UTC

Может ли найтись 21-ка с минимальным диаметром 324 до границы 2^64?
Трудно сказать.
Для этого необходимы 19-ки с такими паттернами
0, 18, 30, 42, 48, 60, 72, 102, 108, 150, 192, 198, 228, 240, 252, 258, 270, 282, 300
0, 18, 30, 42, 48, 72, 102, 108, 132, 150, 168, 192, 198, 228, 252, 258, 270, 282, 300

И ещё необходимы 17-ки с такими паттернами
0, 12, 24, 30, 42, 54, 84, 90, 132, 174, 180, 210, 222, 234, 240, 252, 264 
0, 12, 24, 30, 54, 84, 90, 114, 132, 150, 174, 180, 210, 234, 240, 252, 264

Ярослав Врублевский нашёл 17-ку с одним из таких паттернов очень далеко за границей 2^64
1338977422865229706499: 0 12 24 30 42 54 84 90 132 174 180 210 222 234 240 252 264

Ну, а с любым другим теоретически возможным паттерном 21-ка вполне может найтись до границы 2^64.
Как только 19-ки посыпятся, так и 21-ка найдётся :)
ID: 12975 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12976 - Posted: 17 Nov 2023, 4:32:46 UTC
Last modified: 17 Nov 2023, 9:19:26 UTC

Господин Петухов писал в сообщении
https://dxdy.ru/post1603091.html#p1603091
Вообще же прикидка показывает 3шт 19-ки до 10^20, вполне может одна из них оказаться и меньше 2^64.

Интересно, на чём основана эта "прикидка"?
На кофейной гуще?

Вот уже две 19-ки нашлись всего до 7325015925425379457.
Интервал [7325015925425379457, 10^20] очень приличный.
И в этом интервале "прикидка" господина Петухова прогнозирует ещё только одну 19-ку в дополнение к двум найденным.

Цитирую далее из этого же сообщения
Потому что автору алгоритма плевать на скорость и тысячи/миллионы лет счёта её не пугают. Почему они не пугают остальных участников — вопрос более интересный, видимо никто из них просто не интересовался (или не добился адекватного ответа) потребным временем, что-то там считается и ладно.
Другой момент: из некоторых источников известно что смысл не в скорости, а в преодолении порога 2^64. Тут что называется "как смогла так и смогла" (точнее даже не смогла, а таки достала других чтобы они всё написали, но не суть, главное на чём смогли на том и сделали).
Сама идея организовать сервер для PARI программ интересна — но не для проверки простых чисел на столь простые условия (симметричность последовательности), для этого есть на порядки более быстрые программы чем forprime/nextprime в PARI (например запущенная в боинке программа whitefox-а, которая фактически лишь обёртка над быстрым решетом Эратосфена primesieve).

Угу, есть программа Белышева, которая быстрая и которая основана на быстром генераторе простых чисел primesieve.
Но господин Петухов, кажется, забыл, что эта программа работает как раз до 2^64.
И в нашей программе по моему алгоритму, написанной на PARI/GP, всё тормозится не проверкой симметричности последовательности простых чисел, а генерацией специальных последовательностей простых чисел.
И PARI/GP задействован только потому, что программа Белышева на работает за границей 2^64.

А вот быструю программу за этой границей ещё никто не сделал.
Разве что господин Петухов сделал, но... его программа есть в свободном доступе?

Сама идея организовать сервер для PARI программ интересна

Именно это и было блестяще реализовано в Герасиме.
SerVal запустил этот алгоритм за три дня!
И всё прекрасно работало, несмотря на то, что это "чудовищно неэффективный алгоритм" - по словам Ядряры.
У Ядряры есть эффективный алгоритм для поиска симметричных кортежей из последовательных простых чисел за границей 2^64?
Если есть, пусть предъявит, только потом будет критиковать мой алгоритм.

... точнее даже не смогла, а таки достала других чтобы они всё написали, но не суть, главное на чём смогли на том и сделали ...

Никаких "других" я не "доставала".
Да, gris помог написать окончательную обобщённую программу (на оба этапа).
Но сначала я написала программу для первого этапа с использованием матрицы для специальных последовательностей простых чисел (что было выложено в теме).
Затем gris объединил эту программу первого этапа (генерация специальных последовательностей) с программой второго этапа (обработка специальных последовательностей).
К тому же, алгоритм этого поиска (специальные последовательности простых чисел) был разработан мной.
Смотрите тему
https://boinc.progger.info/odlk/forum_thread.php?id=247

Так что, подобные выражения ("достала других", "они всё написали") вообще не по делу; уж не говорю о том, что вряд ли Правилами форума разрешается писать всякие пакости о забаненном навечно участнике.
Ну, как я уже говорила, на форуме dxdy.ru ЗУ всё можно.
ID: 12976 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12978 - Posted: 17 Nov 2023, 11:45:02 UTC
Last modified: 17 Nov 2023, 12:04:38 UTC

Программа поиска 17-ок с минимальным диаметром 240 и с преемственным для 19-ки с минимальным диаметром паттерном запущена на Ахиллесе-3 в два потока.

На черепашке программа тоже работает, только в один поток.

Всё о-ч-е-н-ь плохо!
Пока не найдены даже центральные 9-ки в таких 17-ах.
Добавила ещё вывод центральных 7-ок, авось хоть 7-ки появятся на горизонте :)
Вот оно как в заоблачных высотах с кортежами нечётных длин.
Тоскливо...

Восхищаюсь решениями Ярослава именно в заоблачных высотах; он нашёл 17-ок больше, чем их было найдено в BOINC-проекте TBEG.
При этом нашёл минимальную 17-ку с минимальным диаметром 240.
Нашёл две 18-ки с минимальным диаметром, одна из которых счастливо продолжилась до 20-ки с минимальным диаметром.
И это тоже в заоблачных высотах.
И ещё много чего нашёл.
Конкурс по кортежам обсмеивался двумя крутыми деятелями: господином Петуховым и Бегемотом прямо на форуме.
А в конкурсе были найдены превосходные результаты!
Спасибо Ярославу!

Смейтесь, смейтесь.
"Смеяться, право, не грешно над тем, что кажется смешно".
К. Прутков

Людям работающим насмешки ничуть не мешают.
Собаки лают, караван идёт.
ID: 12978 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14352
Credit: 0
RAC: 0
Message 12986 - Posted: 22 Nov 2023, 1:55:01 UTC

Проверила очередную порцию 11-ок на продолжение до 13-ки, одна 11-ка дала продолжение

(05:43) gp > \r prod11-13.txt
   log = 1 (on)
   [logfile is "res_prod11-13.txt"]
12331055663948172367[12331055663948172439, 12331055663948172457, 123310556639481
72523, 12331055663948172559, 12331055663948172577, 12331055663948172583, 1233105
5663948172589, 12331055663948172607, 12331055663948172643, 12331055663948172709,
 12331055663948172727]12331055663948172799

12331055663948172367: 0, 72, 90, 156, 192, 210, 216, 222, 240, 276, 342, 360, 432

Красавица! 20-значная.
До 15-ки, увы, не продолжается.
ID: 12986 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Previous · 1 . . . 45 · 46 · 47 · 48 · 49 · 50 · 51 . . . 55 · Next

Message boards : Cafe : К штурму 19-ки


©2024 (C) Progger