Цитата

Разумеется!
Господина Петухова устраивает только стопроцентная вероятность успеха.
Чего проще: взять чужие паттерны, написать по ним программу и получить стопроцентное решение!
И сказать при этом: "Смотрите, я обогнал автора паттернов!"

Сюда необходимо добавить: используя доказанный автором паттернов интервал, в котором надо искать минимальную 11-ку.

Итак, интервал поиска известен, теоретические паттерны известны, даже и программа есть у автора паттернов! И он работает по этой программе.
Но! Это же медленно!
Господин Петухов решит задачу "на три порядка быстрее"!
Чего там ковыряться по программе автора!
Глупые все - не умеют писать программы!
В подтверждение

... не знаю как надо написать код чтобы он работал настолько медленно, наверное там слишком много/рано используются numdiv и nextprime вместо ispseudoprime.

https://dxdy.ru/post1568629.html#p1568629

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

Поэтому я в "ручной рассвет" не верю.
Верю в естественный рассвет, который наступит при полной проверке программой Hugo.

Брутфорс вперёд

Проверен интервал (2973879756088065948, 2973882377599999449).

Новые решения

2973881228871651417: 32, 32, 8, 192, 8, 12, 12, 12, 12, 12, 8, 24, 8, 32, 32
2973881293860763417: 4, 32, 16, 12, 16, 12, 12, 12, 12, 12, 8, 192, 32, 32, 24 – шестёрка
2973881294687168217: 72, 8, 4, 192, 4, 12, 12, 12, 12, 12, 4, 24, 64, 32, 16
2973881394181934041: 16, 32, 16, 12, 16, 12, 12, 12, 12, 12, 96, 48, 16, 16, 12 – семёрка
2973881635323605145: 128, 64, 4, 24, 16, 12, 12, 12, 12, 12, 32, 24, 8, 8, 4
2973881642146757145: 48, 16, 16, 48, 4, 12, 12, 12, 12, 12, 16, 6, 8, 8, 2
2973881649633488217: 24, 16, 4, 96, 4, 12, 12, 12, 12, 12, 8, 24, 16, 128, 32
2973881711742543769: 4, 64, 32, 12, 16, 12, 12, 12, 12, 12, 8, 48, 8, 4, 6 – шестёрка
2973881945694781017: 128, 16, 4, 48, 4, 12, 12, 12, 12, 12, 8, 24, 32, 64, 16
2973882142537535641: 16, 16, 8, 24, 64, 12, 12, 12, 12, 12, 4, 48, 4, 16, 80
2973882223539940441: 16, 12, 16, 12, 32, 12, 12, 12, 12, 12, 8, 96, 64, 8, 12 – восьмёрка
2973882234264071769: 6, 16, 8, 24, 4, 12, 12, 12, 12, 12, 64, 48, 16, 4, 8
2973882288878226841: 8, 16, 64, 12, 8, 12, 12, 12, 12, 12, 4, 24, 16, 8, 96 – шестёрка
2973882305932422169: 8, 96, 32, 48, 8, 12, 12, 12, 12, 12, 4, 96, 24, 32, 32
2973882336942330841: 16, 16, 8, 48, 4, 12, 12, 12, 12, 12, 8, 24, 32, 8, 80
2973882370004832217: 2, 8, 16, 72, 48, 12, 12, 12, 12, 12, 16, 48, 4, 32, 128

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

Репост

И ещё цитирую письмо Hugo

The source is available at [1]. The first step would be for your
colleagues to read the beginning part of the README file at [2],
particularly the first three paragraphs of the "BUILD" section
(lines 12 to 25).

[1] https://github.com/hvds/seq
[2] https://github.com/hvds/seq/blob/master/divrep/README

Ссылки есть.
Можно знакомиться и приступать к компиляции.
Если бы не это

I am still actively developing the code, so if there are changes
I can make so that it is easier to build on Windows please ask them
to let me know so that I can include them in the primary source.

_________________________________
конец дублируемого сообщения

Слава Богу, недоразумение разрешилось.
Просто я неправильно поняла сообщение в конце продублированного поста.
Мне показалось, что Hugo сказал в этом сообщении о том, что он будет изменять код.
Сегодня Hugo ответил на мой вопрос, готов ли его код к компиляции.
Теперь я написала коллеге и попросила его начинать компиляцию.
И снова ожидание...
Ох!

Господа!
Ссылка на код в приведённой цитате.
И ссылка на README, который надо внимательно изучить прежде чем начинать компиляцию.
Приглашаю всех попробовать скомпилировать этот код Hugo для Windows.
Напоминаю: моя версия ОС Windows-7 64-bit.

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

И ещё важно: Hugo написал сегодня в письме

Yes, it is valid, please start compiling.

If he has any problems, please let me know:
- windows version
- compiler version
- actual command used to compile
- the text of any error messages

Пожалуйста, пришлите мне сообщения об ошибках, если компиляция вдруг не пойдёт.
Напоминаю мой адрес: natalimak1@yandex.ru

Жду помощи, и Hugo тоже ждёт.
Тогда мы можем начать вычисления по его алгоритму также и в Windows.

Коллега, к которому я обратилась за помощью, прислал письмо, в котором подтвердил получение ссылок.
Пока больше нет от него писем.
Жду.

Я подозреваю, что скомпилировать код Hugo для Windows не совсем простое дело.
Недаром он рекомендовал внимательно изучить Readme.

Сейчас попробую написать ещё Стефану, он раньше мне компилировал программы Алексея Белышева.

Demis тоже пока молчит.
У него компьютер занят.
А когда освободится? А ХЗ :)

Вот проблема-то!
Прям никак не прошибёшь :)

Запостила просьбу на форуме MHP
http://mathhelpplanet.com/viewtopic.php?f=44&t=78417
Вдруг там помогут.

PS. Стефану написала.

Тэк-с, жду у моря погоды :)
Кто-нибудь же проникнется просьбой о помощи.
Надеюсь...

Брутфорс назад

Проверен интервал (9887353176310399997721, 9887353188984012120346).

Новые решения

9887353177207057497945: 32, 2048, 4, 48, 16, 12, 12, 12, 12, 12, 4, 6, 32, 16, 48
9887353177250120121945: 40, 16, 8, 96, 16, 12, 12, 12, 12, 12, 8, 24, 16, 4, 2
9887353177272584768217: 160, 16, 4, 24, 4, 12, 12, 12, 12, 12, 16, 48, 64, 16, 32
9887353177293443323417: 12, 8, 32, 96, 16, 12, 12, 12, 12, 12, 16, 48, 8, 128, 8 – шестёрка
9887353176378640745817: 96, 8, 16, 48, 4, 12, 12, 12, 12, 12, 4, 48, 8, 128, 16
9887353176550459732569: 12, 32, 8, 384, 32, 12, 12, 12, 12, 12, 4, 192, 8, 16, 4 – шестёрка

Количество делителей 2048 - это, кажется, максимум, который у меня был найден.

Как видим, прогресса нет.
Поиск продолжается.

Цитата

Факторизация нескольких непрерывных 11-ок (первые из списка)

9887353188984012120346:12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32, 32, 8, 32,

[2, 1; 11, 2; 40856831359438066613, 1],
[47, 1; 67, 2; 46863269500310509, 1],
[2, 2; 3, 1; 823946099082001010029, 1],
[31, 2; 4125403, 1; 2493964574503, 1],
[2, 1; 5, 2; 197747063779680242407, 1],
[3, 1; 7, 2; 67260906047510286533, 1],
[2,5; 308979787155750378761, 1],
[13, 2; 1283, 1; 45600193652008339, 1],
[2, 1; 3,2; 549297399388000673353, 1],
[5, 1; 17, 2; 6842458954314195239, 1],
[2, 2; 287611, 1; 8594380247090699, 1],
[3, 1; 11, 1; 19, 1; 2828466041, 1; 5575213951, 1],
[2, 1; 7, 1; 383, 1; 203173, 1; 9075848651983, 1],
[41, 1; 101, 1; 2387672829988894499, 1],
[2, 3; 3, 1; 5, 1; 82394609908200101003, 1],

__________________________________
конец цитаты

15-ку, в составе которой находится эта 11-ка Hugo, корректнее записать так:

9887353188984012120345: 24, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32, 32, 8

Тогда факторизация элементов 15-ки будет следующая:

[3, 2; 5, 1; 23, 1; 9552998250226098667, 1],
[2, 1; 11, 2; 40856831359438066613, 1],
[47, 1; 67, 2; 46863269500310509, 1],
[2, 2; 3, 1; 823946099082001010029, 1],
[31, 2; 4125403, 1; 2493964574503, 1],
[2, 1; 5, 2; 197747063779680242407, 1],
[3, 1; 7, 2; 67260906047510286533, 1],
[2, 5; 308979787155750378761, 1],
[13,2; 1283, 1; 45600193652008339, 1],
[2, 1; 3, 2; 549297399388000673353, 1],
[5, 1; 17, 2; 6842458954314195239, 1],
[2, 2; 287611, 1; 8594380247090699, 1],
[3, 1; 11, 1; 19, 1; 2828466041, 1; 5575213951, 1],
[2, 1; 7, 1; 383, 1; 203173, 1; 9075848651983, 1],
[41, 1; 101, 1; 2387672829988894499, 1]

Теперь элемент вида 32р стоит в центре 15-ки.

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

Надежда досчитать все варианты в этом году и даже в следующем по текущей технологии ускорителей умерла: там 6-8 паттернов с шагом 554400 и всего тремя проверяемыми местами, со скоростью даже 1e9/c (что для трёх мест нереально) считать 200 дней каждый, а всего паттернов с шагом 554400 более 60шт (до сокращений, после останется штук 40). 10к дней на поток это перебор.
С другой стороны, я ошибся выше в программе подсчитывающей ускорение от идеи Hugo размещать лишнее простое в квадрате, там перебор простого надо вести не до $\sqrt{10^{22}/\operatorname{lcm}(...)}$, а в худшем случае до $\sqrt{10^{22}}$ (в лучшем до $\sqrt{10^{22}/11}$ что не сильно меньше), а это простые до 1e11, их же 4.1e9 штук. PARI их перебирать будет (включая и КТО) ну явно не секунды, это и станет основным тормозом. И это для каждого паттерна из нескольких сотен. В общем грустно. Пока думаю как это ускорить и вообще реализовать. А то высокая скорость перебора по паттерну нивелируется малым шагом паттерна.

Помните пословицу: "Не говори гоп, пока не перепрыгнешь"!

Уже было готово "обгоним Hugo на три порядка" :)

PS. Однако... продолжаю цитату господина Пеьухова

UPD. Впрочем нет, не всё так страшно, за час справится, на каждый паттерн. А ускорители (порядка 8000 штук на паттерн) будут работать 5 дней.
Т.е. за пару-тройку месяцев в 4 потока можно попытаться справиться со самыми сложными паттернами ...

Итак, снова "обгоним Hugo на три порядка"? :)

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

Но я забил на всю эту возню с паттернами, ведь программная генерация выдала ровно 1044 паттернов, т.е. можно надеяться все возможные.

Правильно! Зачем возиться, если готовые паттерны прислали.

Процитирую своё сообщение

Три господина получили готовые паттерны Hugo.

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

После исправления этой ошибки, количество паттернов, если различать перекрывающиеся, у меня получилось 1044. OK.

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

О, после исправления глюков и выкидывания дублей осталось ровно 1044, ура.

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

Так, решил подытожить крайне левую группу паттернов. Там где 25-ка на 2-м месте.
<…>
Итого крайне левые паттерны расположены в списке Hugo на позициях 809-888. То есть их всего 888-808 = 80 штук. Или так:

11 + 12 + 11 + 12 + 13 + 11 + 10 = 80

Брутфорс по поиску симметричных кортежей из последовательных простых чисел работает на Ахиллесе

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

Наконец-то, Ахиллес нашёл первую 15-ку!
Вот она - красавица, жирненькая такая :)

5000545538850056059: 0 102 132 198 210 252 258 270 282 288 330 342 408 438 540

Ну вот, 15-ка есть.
Мы с Ахиллесом и черепашкой теперь ждём 17-ку.
Она может выпрыгнуть, хотя и не скоро.
Ну, а 19-ка... Ах и ох! :)
Эта штучка чёрт её знает, где сидит!

Напомню: это 15-ка, найденная Ахиллесом-2

5000065236725064403: 0 36 66 84 126 150 186 210 234 270 294 336 354 384 420

Ну вот, приходится бежать впереди паровоза :)
Мой коллега и прекрасный помощник компиляцию для Windows выполнил!
Исполняемую программу отправила Hugo ещё вчера.
Попросила посмотреть на файл запуска программы и на файл результатов.
И спросила, как мне указывать при запуске конкретный паттерн.
И - тишина!
Вроде и день прошёл, и ночь прошла, и второй день пошёл :)
Hugo вчера вечером писал сообщения на dxdy.ru
Ничего не понимаю!
Почему он не отвечает на моё письмо?
В почте письмо в отправленных есть.

Ладно, решила действовать методом тыка.
Это было очень непросто!
Но с помощью Demis протыкала!
Demis дал ссылку на сообщение Hugo
https://dxdy.ru/post1566696.html#p1566696

Ну, кое-что из этого сообщения поняла.
Выполнила тест, ищется семёрка

C:\Users\boinc\Documents\pcoul>pcoul.exe -rresults.txt -x1796959864000:179695986
6000 -f7 12 7
path results.txt
001 pcoul(12 7) -f7 -x1796959864000:1796959866000
2 3.7^2 2^5 5^2 2.3^2 56443^2 2^2
202 Candidate 1796959865822 (19.30s)
8501^2 2^2.3 5^5 2 3 2^5 7

Программа семёрку нашла!

Но! Не знаю, как указывать конкретный паттерн для поиска решений.
А если паттерн не указывать, программа будет все теоретические паттерны проверять что ли?
Ох!
Почему молчит Hugo?

Сейчас задала поиск 11-ки, программа работает

C:\Users\boinc\Documents\pcoul>pcoul.exe -rresults.txt -x10000003903999998000:10
000003905000000000 -f7 12 11
path results.txt
001 pcoul(12 11) -f7 -x10000003903999998000:10000003905000000000
5 2.3^2 11^2 2^5 3.7^2 2.5^2 23^2 2^2.3 186345427^2 2 3^2.5

Диапазон задала не очень большой.
Как мне кажется, программа перебирает все паттерны.
Ну, это только мне кажется :)
А что программа на самом деле перебирает, ХЗ!
Ведь никакого указания на конкретный паттерн в командной строке запуска нет.

Пойду хоть позавтракаю :) уже обед, а я ещё не завтракала.
Этот метод тыка... О-о-о-о! Кто применял этот метод, тот меня поймёт.

Начала с того, что перевела Readme, но толку-то!
Вот, например

Если указано "-a", будет установлен только каждый допустимый набор пакетов.
распределения принудительных простых чисел и вывести эти наборы, назначив индекс
к каждому (для использования '-b' ниже).

Если указано "-b100", будет найден набор пакетных распределений
принудительные простые числа с индексом 100 и выполнение только обычных вычислений
над этой партией.

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

Я уже позавтракала, а Hugo всё молчит :)
Загадка!
Он передумал использовать Windows для вычислений?
А зачем же тогда я так старалась организовать компиляцию для Windows?
Или, может, ему кто-то другой сделал компиляцию?
Однако... в любом случае ответ-то надо написать!

Кстати, не далее как вчера вечером Hugo писал в сообщении
https://dxdy.ru/post1568842.html#p1568842

Another person is working to get the code compiling for Windows.

И это было уже после того, как я отправила ему исполняемую программу для Windows.
Может быть, под другим человеком Hugo имел в виду совсем не меня.
Ой, ну его - это гадание на кофейной гуще.
Не пишет ответ и не надо.
Паттерны мне не выдаёт для вычислений, тогда я сама возьму :)
"Если Магомет не идёт к горе, гора идёт к Магомету".

Тэк-с, EUgeneUS писал в сообщении
https://dxdy.ru/post1568844.html#p1568844

Huz
Tell me, please, has anyone worked or is working on b111, b120, b293, b302, b1942, b1952, b2127, b2136?
These are the eight worst items to speed up with Dmitriy40's technique.

На этот вопрос Hugo ответил

No, the list I gave above is the full list of those allocated and worked on.

Вот и отлично!
Беру первый паттерн - b111.
Demis прислал пояснения, как задавать ашки и бэшки в командной строке запуска.
Demis, огромное спасибо!
Что бы я без вас делала? :)

Вот и попробую бэшку b111.
Посмотрю, что из этого получится.

А, ещё есть предположение: Hugo не получил моё письмо, потому что в нём прикреплён архив с исполняемой программой.
Я знаю, что почтовый сервер Google не пропускает программы с расширением exe.
Но у Hugo почта вроде не в Google.
Может и его почтовый сервер тоже не пропускает?
Это единственная правдоподобная версия.

Однако... получается идиотизм какой-то.
Я письмо отправляю, мой почтовый сервер ничего плохого в письме не видит и отправляет его.
Почтовый сервер адресата письмо не пропускает.
Адресат при этом о письме даже не знает??
И я ничего не знаю о том, что адресат письмо не получил. Продолжаю ждать ответ - на письмо, которое адресат не получил!
И что же получается?
Получается некоторый абсурд!

Так, поиск 11-ки с паттерном b111 поехал!

C:\Users\boinc\Documents\pcoul>pcoul.exe -rresults.txt -x2973879756088065948:988
7353188984012120345 -f11 12 11
path results.txt
001 pcoul(12 11) -f11 -x2973879756088065948:9887353188984012120345
5.11^2 2.3^2 13^2 2^5 3.7^2 2.5^2 17^2 2^2.3 . 2 3^2.5: 25884647 / 2371109213

Не знаю, правильно ли я задала -f11; в коде у Demis задано -f7, но Demis искал 10-ку.

Посмотрим, что программа найдёт.
По крайней мере, она работает.

Кстати, в коде написано dmitry

% ./dmitry-pcoul -x9887353188984012120246:9887353188984012120446 -f7 12 10

Может, это и не Demis искал...

Ой, забыла паттерн задать! :)
Щас исправлю.

Есть! Задала паттерн. Снова поехала :)

C:\Users\boinc\Documents\pcoul>pcoul.exe -rresults.txt -x2973879756088065948:988
7353188984012120345 -f11 -b111 12 11
path results.txt
001 recover pcoul(12 11) -f11 -x2973879756088065948:9887353188984012120345 -b111

11.17^2 2.5^2 3 2^5 7.19^2 2.3^2 5 2^2 3 2 13^2: 12124010 / 505749056

Давала Hugo ссылку на эту тему.
Не читает?
Зря! :)

Похоже, надо писать Hugo новое письмо.

Тэк-c, сейчас буду сворачивать брутфорс и на Ахиллесе, и на черепашке.
Досчитываются пусть уже запущенные интервалы.

Далее запускаю на Ахиллесе паттерн b120 из показанного выше списка в сообщении EUgeneUS.
Это второй поток.
Поехала!

C:\Users\boinc\Documents\pcoul>pcoul.exe -rresults1.txt -x2973879756088065948:98
87353188984012120345 -f11 -b120 12 11
path results1.txt
001 pcoul(12 11) -f11 -x2973879756088065948:9887353188984012120345 -b120
13^2 2.5^2 3 2^5 7.19^2 2.3^2 5 2^2 3 2 11.17^2: 29389111 / 505749056

Написала Hugo новое письмо.
Может быть, он действительно письмо с программой не получил.

Тэк-с, я а тем временем запускаю следующий паттерн b293 из того же списка самых трудных для технологии господина Петухова.
Это третий поток на Ахиллесе.

Поехала!

C:\Users\boinc\Documents\pcoul>pcoul.exe -rresults2.txt -x2973879756088065948:98
87353188984012120345 -f11 -b293  12 11
path results2.txt
001 pcoul(12 11) -f11 -x2973879756088065948:9887353188984012120345 -b293
11.17^2 2 3 2^5 5 2.3^2 7.19^2 2^2 3 2.5^2 13^2: 28987168 / 505749056

Итак, программа запускается с помощью пакетного файла start.bat.
Я запустила проверку трёх паттернов в одной папке, для каждого паттерна назначила свой выходной файл.
Надеюсь, программы не будут мешать друг другу, работая в одной папке.

Вот файл для запуска start.bat
для паттерна b111

pcoul.exe -rresults.txt -x2973879756088065948:9887353188984012120345 -f11 -b111  12 11
pause

для паттерна b120

pcoul.exe –rresults1.txt -x2973879756088065948:9887353188984012120345 -f11 -b120  12 11
pause

для паттерна b293

pcoul.exe –rresults2.txt -x2973879756088065948:9887353188984012120345 -f11 –b293  12 11
pause

Интервал проверки для всех паттернов одинаковый.

Теперь надо дождаться ответа Hugo, он скажет, правильно ли я запустила программу для данных паттернов.
Если всё правильно, запущу ещё пару паттернов.

Ура!
Письмо от Hugo пришло.
Да, его почтовый сервер отправил моё письмо в Спам из-за прикреплённого архива с исполняемой программой.
Он вытащил письмо из Спама.

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

Hugo предложил мне для проверки паттерны b100-b199

Since you have started there already, I suggest you take charge of
the patterns b100-b199.

Начну с первого паттерна: b100.