Время полночь.
Черепашка пыхтит с паттерном b109.
Сейчас буду прерывать.
Завтра отработаем с черепашкой чекпоинт.

В момент прерывания в файле результатов

. . . . . . . . 
305 11^2 2.5^2 3 2^5 7.37^2 2.3^2 5 2^2 3 2 13^2: 98796905 / 3503837793 (48623.64s)
305 11^2 2.5^2 3 2^5 7.37^2 2.3^2 5 2^2 3 2 13^2: 406747688 / 3503837793 (49223.95s)
305 11^2 2.5^2 3 2^5 7.37^2 2.3^2 5 2^2 3 2 13^2: 664689863 / 3503837793 (49824.24s)

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

E:\Pari64-2-13-4\PCOUL>pcoul.exe -rb109.txt -x9887353188984012120346 -f11 -g3 -b
109 12 11
path b109.txt
001 recover pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b109
11^2 2.5^2 3 2^5 7.37^2 2.3^2 5 2^2 3 2 13^2: 765459058 / 3503837793

Напомню, что писал Hugo о перезапуске программы

At step (4) it should immediately write another line to the log
file starting "001". If that line starts "001 recover pcoul"
then it is working correctly; if the line starts "001 pcoul",
then it is not working correctly.

Да, программа начала работать со строки

001 recover pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b109

Значит, она работает с прерванного места, всё правильно.

Запустила на черепашке паттерн b126.

Проверяется 7 паттернов - 5 на Ахиллесе и 2 на черепашке.
7 - хорошее число :) моё любимое.

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

На данный момент у меня проверено 15 паттернов.
Проверяется 7 паттернов у меня и 10 паттернов у corporaltermit.

Господин Никонов писал в сообщении
https://dxdy.ru/post1568606.html#p1568606

Черепашка и Ахиллес уже который день считают, но ни одной 9-ки не нашли. Никакой.

А всё потому, что тот перебор трудно назвать умным.

И в сообщении
https://dxdy.ru/post1569085.html#p1569085

Пока продолжаю проверять тот самый паттерн. b085 по Hugo.
<...>
Лучшая непрерывная находка:

3238732922755761945: 72, 8, 4, 48, 8, 12, 12, 12, 12, 12, 12, 12, 8, 4, 8, va=7, max=7

Что-то хиленько - для умного перебора :)

Господин Никонов думал, что при умном переборе сразу посыпятся непрерывные девятки и десятки.
Ан нет, что-то не посыпались пока.

Непрерывные семёрки у меня брутфорсом тоже найдены

1796959865817: 24, 8, 4, 192, 4, 12, 12, 12, 12, 12, 12, 12, 16, 16, 4
2248236224217: 12, 16, 32, 192, 8, 12, 12, 12, 12, 12, 12, 12, 16, 16, 4
3029691507417: 20, 32, 8, 48, 8, 12, 12, 12, 12, 12, 12, 12, 8, 32, 4
3459417283417: 8, 16, 8, 24, 8, 12, 12, 12, 12, 12, 12, 12, 4, 32, 48
5709308235417: 24, 16, 4, 24, 8, 12, 12, 12, 12, 12, 12, 12, 32, 16, 8
2973880256814150169: 4, 32, 32, 12, 12, 12, 12, 12, 12, 12, 4, 768, 4, 8, 24

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

Так что, у меня не найдены более длинные непрерывные цепочки, совсем не потому, что брутфорс - тупой перебор, а потому, что в проверенных мной интервалах этих цепочек не существует.
Азбучная истина! Стыдно её не знать.

Кстати, интересно...
Господин Никонов писал

Проверен интервал 297387e13 — 333e16

Непрерывная семёрка, найденная брутфорсом в этом же интервале

2973880256814150169: 4, 32, 32, 12, 12, 12, 12, 12, 12, 12, 4, 768, 4, 8, 24

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

Мне очень нравится, как
Ахиллес грызёт цепочки



Показаны все пять потоков.

Черепашка оглушила криком :)
- Я закончила паттерн b126!!

Да, вот файл результатов

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b126
305 13^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 .: 268703081 / 514838890 (600.28s)
305 17^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 .: 14369245 / 301064956 (1200.57s)
305 17^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 .: 275253810 / 301064956 (1800.86s)
305 19^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 .: 237572560 / 241018760 (2401.15s)
305 29^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 .: 96592574 / 103457517 (3001.44s)
305 47^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 .: 7172654 / 39387854 (3601.74s)
305 137^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 .: 3628223 / 4635716 (4202.03s)
305 401743481^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 . (4802.32s)
305 1083192449^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 . (5402.61s)
305 1767866813^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 . (6002.90s)
305 2467066919^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 . (6603.19s)
305 3167874907^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 . (7203.49s)
305 3866638409^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 . (7803.78s)
305 4567826069^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 . (8404.07s)
305 5259468791^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 . (9004.36s)
305 5955583037^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 . (9604.65s)
305 6653455309^2 2.5^2 3 2^5 11^5 2.3^2 5.7^2 2^2 3 2 . (10204.95s)
367 coul(12, 11): recurse 310063074, walk 310067127, walkc 1954870365 (10236.13s)

Умница - дорогая моя черепашка! Она всё может!

Даю ей новый паттерн - b127.

Паттерн b109 черепашка пока считает, после перезапуска.
Надеюсь, что чекпоинт сработал правильно.

Господа!
Я начинаю эксперимент с распределёнными вычислениями.

Паттернов много, хватит всем :)
Думаю, что здесь не нужно напоминать, кто автор этого эксперимента.

Для начала скачайте архив с программой для ОС Windows
https://disk.yandex.ru/d/tow3YsSIviBpvw
Яндекс.Диск, 1,82 МБ

Исполняемая программа имеет имя pcoul.exe
Она запускается с помощью пакетного файла start.bat
В архиве есть пример файла start.bat
В этом примере запускается проверка паттерна b109

pcoul.exe -rb109.txt -x9887353188984012120346 -f11 -g3 -b109 12 11
pause

Обратите внимание на то, что паттерн указывается в двух местах командной строки: -rb109.txt и -b109.
Все остальные параметры и аргументы командной строки (кроме паттерна) для данного эксперимента неизменны.

Исполняемая программа pcoul.exe работает в ОС Windows 64-bit.

Продолжение следует

В эксперименте уже участвуют:

1. Hugo van der Sanden - автор
2. Demis
3. Natalia Makarova
4. corporaltermit

Приглашаю всех принять участие в эксперименте!
Выполнение эксперимента просто, не требует много ОЗУ.
Проверка одного паттерна может выполняться от доли секунды до несколько часов и суток.

Программа имеет также версию для ОС Linux.
Если вы хотите работать в этой ОС, вам надо обратиться к Hugo van der Sanden.

Осталось раздать задания :)
Hugo выделил мне для начала паттерны b100-b199, то есть 100 паттернов.
Мы с corporaltermit уже проверяем паттерны из этой порции.

Для новых участников эксперимента выделяю паттерны b160-b199.

Повторю командную строку для запуска программы.
Пусть вы хотите запустить проверку паттерна b160.
Командная строка будет иметь вид (она записывается в файл start.bat)

pcoul.exe -rb160.txt -x9887353188984012120346 -f11 -g3 -b160 12 11

Когда программа отработает, вы будете иметь файл результатов, в данном примере b160.txt.
Все файлы результатов надо прислать мне.

Важно: в программе реализован чекпоинт.

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

Пожалуйста, пишите мне по адресу natalimak1@yandex.ru
Для участников проекта ОДЛК доступна личная переписка на форуме проекта; они могут писать и в теме.
Вам необходимо сообщить мне, какие паттерны вы хотите проверить, чтобы участники паттерна не проверяли одни и те же паттерны.

На Ахиллесе отстрелялся паттерн b108

367 coul(12, 11): recurse 2553808412, walk 2553823289, walkc 24159206350 (78661.43s)

Долгоиграющий!

Запустила паттерн b128.

Господин Никонов опять расстроился :)

Если даже это непонятно, буду сожалеть.

https://dxdy.ru/post1569092.html#p1569092

Он никак не может понять, что я не в теме.
Я не разбиралась с паттернами!
Именно поэтому у меня БРУТФОРС.
И ведь неоднократно это говорила: что не разбиралась с паттернами.

Итак, ещё раз - для особо умных.
Есть тотальный перебор (брутфорс), который не учитывает никаких паттернов, а перебирает всё подряд, учитывая только необходимые условия.
А есть поиск по паттернам, в котором задаются конкретные паттерны и интервал для поиска, и уже для этих условий организуется перебор.
Разумеется, к необходимому условию, которое использует мой брутфорс, можно добавлять и другие необходимые условия поиска (разные там 18р и 25р).
НО ЭТИ УСЛОВИЯ НАДО ЗНАТЬ!
Я их не знаю.
Кажется, уже ежу всё понятно.
Но вряд ли понятно господину Никонову.

Кстати, в симметричных кортежах из последовательных простых чисел 19-ка ищется и брутфорсом, и по паттернам в моём ручном проекте.
И опять кстати, господин Петухов - великий специалист в поиске 19-ки по паттерну!
Однако... 19-ку он не нашёл!!
[Ещё и Ярослав Врублевский - тот же результат.]
А вот в BOINC-проекте её могут найти, потому что - ЭТО БРУТФОРС! И против него не попрёшь!
Опять непонятно?

Да, брутфорсом 19-ка может найтись через год или через 5 лет, или через миллион лет.
Но меня все эти расчёты про миллионы лет только смешат и - ничего более!
Настоящий исследователь не считает миллионы лет; он занимается исследованиями и по мере возможности решает поставленную задачу.

Все ОДЛК10 не найдут и через миллион лет.
Это не означает, что искать их не нужно!!!
И кто этого не понимает, тому нечего делать в математических задачах.
Да-с!

Господин Лецко считает, что найти минимальный пентадекатлон с 12 делителями невозможно и за миллион лет.
Поэтому искать его не нужно.
Если он так считает, ему тоже нечего делать в математических задачах.

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

Тэк-с, возвращаюсь к распределённым вычислениям.

Написала предложение Demis посчитать и в Windows, он считает в Юникс.

Demis
вы можете сообщить в теме, какие паттерны возьмёте, если подключитесь к вычислениям.

Ещё gris надо пригласить в эксперимент :)
Но!
У него Windows 32-bit.
Я не знаю, будет ли программа работать с 32-bit.
Надо спросить у corporaltermit.
Скорее всего, не будет.

gris
пожалуйста, скачайте программу и попробуйте, пока я собираюсь спросить у corporaltermit.
Архив здесь
https://disk.yandex.ru/d/tow3YsSIviBpvw

Можете сразу запускать программу, не изменяя файл start.bat, чтобы только проверить - будет работать или нет.

Господин Никонов писал в сообщении
https://dxdy.ru/post1569097.html#p1569097

Время счёта в один поток.

Дмитрий, новым способом: 0.7 часа.
Hugo, по методу Hugo: 3 часа.
Дмитрий, старым способом: 3 часа.
Ахиллес, по методу Hugo: 4 часа.
Паровозик, старым способом: 11 часов.

Опять не совсем корректное сравнение: метод Дмитрия и метод Hugo сравниваются не на одном компьютере, а от компьютера очень много зависит.
Смотрите:

Дмитрий, старым способом: 3 часа.
Паровозик, старым способом: 11 часов.

Итак, насколько понимаю, ускорители господина Петухова нисколько не ускорили поиск по сравнению с алгоритмом Hugo, ибо

Hugo, по методу Hugo: 3 часа.
Дмитрий, старым способом: 3 часа.

Ну, Супермен ещё не всё ускорил :)
То есть, теперь-то уже как раз всё, ибо

Дмитрий, старым способом: 3 часа.
Дмитрий, новым способом: 0.7 часа.

В 4,29 раза.
Браво, браво, браво!
Можно догонять и перегонять Америку! :))

Создала тему на форуме BOINC-проекта TBEG
https://boinc.tbrada.eu/forum_thread.php?id=3155

Проект стоит, заданий нет.
Может, кто-нибудь заинтересуется нашим экспериментом.

И ещё один пост - на форуме MHP
http://mathhelpplanet.com/viewtopic.php?p=452177#p452177

И ещё репост
https://boinc.progger.info/odlk/forum_thread.php?id=232&postid=10112

Господин Петухов писал в сообщении
https://dxdy.ru/post1569102.html#p1569102

EUgeneUS, Yadryara
Думаю надо прекращать счёт выложенными SSE ускорителями, это слишком долго. Лучше считать программой Hugo, раз она вроде как уже есть под винду.
Когда (и если) доделаю компиляцию на лету, тогда и посмотрим.

Не «вроде как», а точно есть.
Выложена на Яндекс.Диск
https://disk.yandex.ru/d/tow3YsSIviBpvw

Господин Никонов писал в сообщении
https://dxdy.ru/post1569103.html#p1569103

А программа Hugo вроде как только для 64-х разрядов.

«Вроде как» необходимо проверить.

EUgeneUS писал в сообщении
https://dxdy.ru/post1569129.html#p1569129

Я запустил код уважаемого Хуго под Windows (спасибо Наталье за компиляцию).
На данный момент лог такой:

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b1850
305 3^2.5 2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 17^2 2.3^2 5: 769807960 / 2371109213 (599.99s)
305 3^2.5 2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 17^2 2.3^2 5: 1488205618 / 2371109213 (1199.98s)
305 3^2.5 2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 17^2 2.3^2 5: 2207596090 / 2371109213 (1799.98s)
305 3^2.5 2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 19^2 2.3^2 5: 594417594 / 1898201004 (2399.99s)
001 recover pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b1850
305 3^2.5 2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 19^2 2.3^2 5: 1313362380 / 1898201004 (2999.99s)

Как-то можно оценить время, которое будет считаться данный паттерн до конца?

У меня такое ощущение, что программа перезапускалась (то есть сработал чекпоинт), из-за этой строки

001 recover pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b1850

На вопрос о времени ответить может Hugo.
Я без понятия.

PS.

... (спасибо Наталье за компиляцию)

Спасибо не мне, а моему коллеге и помощнику corporaltermit.

И ещё один пост - на форуме BOINC-проекта ODLK1
https://boinc.multi-pool.info/latinsquares/forum_thread.php?id=177

Вот такие попытки раскрутить эксперимент.
И пока - никаких результатов!

Вот так раскручивались и BOINC-проекты.
Да, "тысячепотоковая манна небесная" сама собой не свалится.

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

Будет ли считать EUgeneUS?
Пока неясно. Пробует один паттерн. Кажется, его пугает время.
Hugo писал, что один паттерн может проверяться от нескольких секунд/минут/часов до нескольких суток.
Конечно, хотелось бы, чтобы всё за секунды пощёлкалось.
Это будет у Супермена - если будет.
У Hugo нормальная программа.
У меня вот сейчас тоже паттерны попались долгоиграющие, вторые сутки считаются.
Я не спешу.