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

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

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

2973880751155296345: 40, 64, 8, 24, 4, 12, 12, 12, 12, 12, 8, 24, 8, 16, 16
2973880788336929817: 112, 8, 32, 192, 32, 12, 12, 12, 12, 12, 16, 48, 8, 64, 16
2973880796998112217: 12, 16, 4, 48, 8, 12, 12, 12, 12, 12, 8, 12, 4, 16, 32 – семёрка
2973880833235478041: 8, 8, 8, 24, 96, 12, 12, 12, 12, 12, 16, 48, 4, 24, 64
2973880943505495769: 4, 32, 64, 96, 32, 12, 12, 12, 12, 12, 12, 96, 4, 32, 48 – непрерывная шестёрка
2973881049960894169: 4, 128, 128, 24, 8, 12, 12, 12, 12, 12, 4, 96, 8, 8, 80
2973881082943664217: 12, 32, 8, 96, 8, 12, 12, 12, 12, 12, 16, 24, 32, 32, 4 – шестёрка

Банк непрерывных шестёрок пополнился

2973880090604957017: 8, 64, 8, 48, 4, 12, 12, 12, 12, 12, 12, 384, 4, 128, 16
2973880943505495769: 4, 32, 64, 96, 32, 12, 12, 12, 12, 12, 12, 96, 4, 32, 48
10000003447067711769: 12, 64, 2, 12, 4, 12, 12, 12, 12, 12, 12, 192, 24, 64, 16

Прогресса пока нет: девятка не найдена даже дырявая.
Непрерывная восьмёрка тоже не найдена.

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

Улыбка...

Кранчер написал

With no other input I will reset the project and see how that goes.

https://boinc.multi-pool.info/latinsquares/forum_thread.php?id=176&postid=3613

Google переводит

Без каких-либо других входных данных я перезагрузлю проект и посмотрю, как это пойдет.

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

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

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

9887353179242909606041: 12, 8, 8, 24, 16, 12, 12, 12, 12, 12, 2, 12, 8, 32, 160 – семёрка
9887353179368069413017: 40, 4, 48, 384, 32, 12, 12, 12, 12, 12, 2, 24, 64, 128, 8
9887353179483964156569: 18, 32, 2, 24, 4, 12, 12, 12, 12, 12, 16, 12, 16, 8, 8 – шестёрка
9887353179509469532441: 16, 16, 16, 12, 32, 12, 12, 12, 12, 12, 32, 24, 64, 64, 48 – шестёрка
9887353178887729386841: 16, 64, 16, 12, 32, 12, 12, 12, 12, 12, 16, 192, 4, 8, 192 – шестёрка
9887353178479017499417: 2, 8, 32, 24, 4, 12, 12, 12, 12, 12, 32, 24, 4, 64, 24
9887353178450315347417: 4, 8, 16, 96, 16, 12, 12, 12, 12, 12, 4, 24, 8, 192, 10

Никакого прогресса.
И дырявая семёрка плохая: не даёт 11-ку с четырьмя дырками.

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

Дублирую сообщение
https://boinc.progger.info/odlk/forum_thread.php?id=232&postid=10030

Господа!
Нет, я не забыла об этом эксперименте.
Автор задачи, которую мы будем решать в данном эксперименте, Hugo van der Sanden.
Смотрите статью в OEIS
https://oeis.org/A292580

На данный момент имеются следующие оценки для цепочек длин 10-15 с 12 делителями

T(6,10) 2973879756088065948 Hugo van der Sanden 2022-09-03
T(6,11) <= 9887353188984012120346 Hugo van der Sanden 2022-07-14
T(6,12) <= 120402988681658048433948 Hugo van der Sanden 2022-09-25
T(6,13) <= 586683019466361719763403545 Dmitry Petukhov 2022-08-19
T(6,14) <= 1966089440441196672524986345512345 Dmitry Petukhov 2022-09-30
T(6,15) <= 80215613469168729088982885848674841 Natalia Makarova 2022-09-18

Смотрите
https://oeis.org/A292580/a292580_7.txt

Минимальность цепочки длины 10 Hugo доказал.
Теперь требуется доказать минимальность цепочки длины 11.
В соответствии с теоретическими и эмпирическими данными, полученными Hugo, минимальную 11-ку надо искать в следующем интервале
(2973879756088065948, 9887353188984012120346).

Я уже некоторое время ищу минимальную 11-ку, используя алгоритм грубой силы – брутфорс.
Мои программы работают и сейчас.
И этот эксперимент можно продолжить всем вместе.
Это для тех, у кого ОС Windows.
Я пока не знаю, могут ли работать мои программы на PARI/GP в ОС Linux.
Думаю, что могут, но для этого надо компилировать PARI/GP для Linux.

Недавно я написала Hugo и предложила помочь ему в поиске минимальной 11-ки.
Он согласился, но… есть проблема.
Его программа работает в ОС Linux, а для ОС Windows программы нет, никто ещё не пытался скомпилировать код Hugo для Windows.
Вот эту проблему предстоит решить, чтобы начать выполнять эксперимент, используя более эффективный алгоритм Hugo.

Задача минимизации цепочек с 12 делителями решается также на форуме dxdy.ru
https://dxdy.ru/topic148829.html
Я в этом форуме не участвую по причине вечного бана.
_________________________________________________
конец дублируемого сообщения

Итак, проблему компиляции кода Hugo для ОС Windows надо решать.
Что-то пока никак не решается :)
Я не выдержала долгого ожидания, показалось, что жду у моря погоды.
Написала сейчас Hugo письмо

Hello dear Hugo!

You wrote
>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.

Is your code ready to compile?

Best regards,
Natalia

Теперь снова жду ответ.
Коллега, к которому обратилась с просьбой о компиляции, тоже молчит.
Он, наверное, ознакомился с кодом по ссылке, присланной Hugo, и ждёт дальнейших указаний.
Я ему написала, что код будет изменяться автором.

Такой вот получился перекрёстный договор :)
И никак не могу этот договор разрулить.

И ещё цитирую письмо 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.

Господа!
Все вы наверняка знаете поговорку "Два сапога - пара".

Покажу вам замечательную иллюстрацию к этой поговорке.

Сапог первый



Сообщение принадлежит господину Петухову, написано 28 сентября 2015 г.
https://dxdy.ru/post1057479.html#p1057479

Сапог второй



Сообщение принадлежит господину Никонову, написано сегодня
https://dxdy.ru/post1568606.html#p1568606

Мне очень весело наблюдать за этими сапогами :)
По досадному недосмотру администрации форума господину Никонову до сих пор не присвоен статус "Заслуженный сапог участник".

Очень интересно наблюдать, как эти два сапога участника - заслуженный и не заслуженный - тужатся родить теоретические паттерны для минимальной 11-ки.
Да-а-а... роды у участников были тяжёлые :)
Ну, хоть ребёнок-то живой?

Господин Петухов уже устал тужиться и взмолился

А у меня остаётся надежда что за меня подумаете Вы с Yadryara и выдадите или готовый список паттернов или точные условия как их получать.

https://dxdy.ru/post1568570.html#p1568570

Итак, вся надежда на Ядряру и EUgeneUS.
Родят ли?
Главное - чтобы живого :)

Кстати, EUgeneUS ранее неоднократно заявлял, что задача минимизации цепочек ему нисколько не интересна и он не будет ею заниматься.
Ну... как сказал мудрец: "Всё течёт, всё изменяется".

Да, и снова о птичках...
Супер-герой писал 7 лет назад

Моя программа поиска по паттернам вполне себе использует и все эти и множество других формул, до двухсот миллионов формул одновременно, а не жалкие 12 штук. Причём формулы формируются "на лету", самой программой, без всяких онлайн-решателей.

https://dxdy.ru/post1057479.html#p1057479

И где 19-ка?
Двести миллионов формул ни черта не дали?
Формулы плохие или решатель плохой?
Или плюнул супер-герой на эту 19-ку?

А я не плюнула и до сих пор задачу решаю.
И брутфорсом, и поиском по паттернам. Да, с жалкими N формулами, но решаю!
И в BOINC-проекте, и на своём ПК.
Что я пока не нашла решение, значит только то, что во всех проверенных интервалах и для N проверенных паттернов 19-ки нет.

Тема "Нерешённая проблема теории чисел"
https://boinc.progger.info/odlk/forum_thread.php?id=224

Дублирую недавнее сообщение

И ещё цитирую письмо 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.

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

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

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

9887353178125579353945: 32, 512, 32, 96, 32, 12, 12, 12, 12, 12, 16, 96, 16, 8, 8
9887353178189056262041: 4, 16, 32, 24, 32, 12, 12, 12, 12, 12, 8, 48, 4, 8, 96
9887353178205643422169: 8, 128, 8, 96, 2, 12, 12, 12, 12, 12, 24, 96, 16, 64, 48
9887353178373369369945: 32, 96, 4, 12, 8, 12, 12, 12, 12, 12, 16, 6, 128, 32, 16 – шестёрка
9887353178384964893017: 8, 4, 96, 12, 16, 12, 12, 12, 12, 12, 8, 384, 16, 32, 64 – шестёрка
9887353177919546193817: 16, 192, 32, 192, 16, 12, 12, 12, 12, 12, 2, 24, 8, 32, 80
9887353177549767701017: 16, 4, 16, 96, 8, 12, 12, 12, 12, 12, 4, 96, 16, 16, 24
9887353177618261372441: 32, 32, 16, 24, 16, 12, 12, 12, 12, 12, 8, 96, 16, 32, 40
9887353177677381954841: 4, 64, 16, 6, 16, 12, 12, 12, 12, 12, 4, 192, 16, 32, 64
9887353177704001727769: 6, 32, 2, 48, 16, 12, 12, 12, 12, 12, 16, 96, 128, 32, 16
9887353177708964184345: 48, 128, 16, 384, 16, 12, 12, 12, 12, 12, 16, 24, 8, 32, 24
9887353177766076239769: 96, 8, 4, 24, 48, 12, 12, 12, 12, 12, 16, 48, 8, 8, 4
9887353177769113209817: 32, 64, 16, 24, 24, 12, 12, 12, 12, 12, 2, 48, 8, 64, 32

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

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

Показываю новые 13-ки и 18-ки.

13-ки
первый диапазон

5000387456622057439: 0 42 60 90 144 174 192 210 240 294 324 342 384
5000477654495870249: 0 54 72 84 114 162 222 282 330 360 372 390 444
5000486187675135383: 0 18 24 30 78 84 114 144 150 198 204 210 228
5000486191219631569: 0 48 90 108 120 168 210 252 300 312 330 372 420
5000507330148328127: 0 30 90 156 174 204 210 216 246 264 330 390 420
5000508454211268821: 0 6 30 60 102 132 186 240 270 312 342 366 372

второй диапазон

6000379860619194121: 0 36 42 126 180 240 246 252 312 366 450 456 492
6000385871914457021: 0 60 66 108 120 180 228 276 336 348 390 396 456
6000409077833593853: 0 24 66 84 96 156 180 204 264 276 294 336 360
6000426062014702579: 0 18 30 60 84 114 144 174 204 228 258 270 288
6000434617484097653: 0 36 48 126 168 210 228 246 288 330 408 420 456
6000439002488712911: 0 6 12 90 96 120 126 132 156 162 240 246 252
6000474496078930799: 0 60 78 84 138 198 204 210 270 324 330 348 408
6000487659565206701: 0 36 48 138 216 246 258 270 300 378 468 480 516
6000493687595041577: 0 12 42 54 90 120 132 144 174 210 222 252 264
6000506966560816123: 0 108 120 126 138 150 228 306 318 330 336 348 456

18-ки
первый диапазон

5000383902171727819: 0 24 28 78 94 150 162 208 210 232 234 280 292 348 364 414 418 442
5000404726054439743: 0 54 96 114 118 130 144 166 196 198 228 250 264 276 280 298 340 394
5000406573681079633: 0 10 18 36 48 70 78 106 114 190 198 226 234 256 268 286 294 304
5000451040856863171: 0 16 30 60 76 118 126 178 216 220 258 310 318 360 376 406 420 436
5000476809511508263: 0 4 24 28 58 78 120 144 148 186 190 214 256 276 306 310 330 334
5000509306098235463: 0 24 120 158 204 230 260 344 354 374 384 468 498 524 570 608 704 728
5000510709051729709: 0 12 18 48 60 90 94 138 162 220 244 288 292 322 334 364 370 382
5000520148798068871: 0 6 18 72 120 168 172 298 366 382 450 576 580 628 676 730 742 748

второй диапазон

6000377659521257851: 0 48 72 100 186 198 258 268 346 402 480 490 550 562 648 676 700 748
6000384932572003999: 0 34 58 100 132 148 204 252 264 268 280 328 384 400 432 474 498 532
6000395465948042363: 0 26 50 68 96 110 120 128 138 266 276 284 294 308 336 354 378 404
6000443125418416277: 0 30 42 114 120 126 170 176 180 236 240 246 290 296 302 374 386 416
6000465315964674329: 0 8 24 68 74 104 150 194 218 234 258 302 348 378 384 428 444 452
6000465937600007711: 0 8 32 38 48 92 110 158 168 200 210 258 276 320 330 336 360 368
6000466607619793909: 0 40 52 64 84 94 120 162 178 204 220 262 288 298 318 330 342 382
6000470858259454723: 0 6 40 46 58 100 126 168 198 226 256 298 324 366 378 384 418 424
6000483149575322699: 0 20 32 42 54 78 84 92 98 174 180 188 194 218 230 240 252 272
6000511483442948987: 0 42 60 72 84 102 140 170 182 204 216 246 284 302 314 326 344 386

15-ки нет, 20-ки нет.
Ох! И когда же будет эта 19-ка? :))

Предыдущий вывод результатов был в сообщении
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=9964

Проект TBEG по-прежнему стоит.

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

PS. Кстати, могли бы попросить Hugo выложить все теоретически возможные паттерны, например, для минимальной 11-ки.
Они у него точно есть. И не надо изобретать велосипед.

Наконец-то, после длительных потуг произвести на свет все теоретические паттерны для минимальной 11-ки, господин Никонов озвучил такую простую мысль
https://dxdy.ru/post1568644.html#p1568644

А сколько паттернов для D(12,11) у Hugo? 1044?

Как-то странно, что такая простая мысль так поздно пришла в такую умную голову!

Продолжаю свою цитату

Надо просто взять программу Hugo и всем дружно считать.

Тоже очень простая мысль.
Как мне написал Hugo, он общался с Demis и с господином Никоновым по этому вопросу.
И Demis начал считать по его программе.
Но почему только Demis?
Что, никто не может скомпилировать код Hugo для Windows?
По-моему, причина не в этом.
Но своё видение причины озвучивать не буду.

Господин Петухов и господин Никонов писали в сообщении
https://dxdy.ru/post1568678.html#p1568678

Да, и поэтому тоже не тороплюсь компилировать выложенные паттерны. Тем более независимого их подтверждения пока нет, только по 6-ти паттернам с пятёрками. Хотелось бы всё же согласия что да, всё верно, а не каждый сам себе по списочку.

А какое ещё независимое подтверждение нужно? Мы все втроём ведь согласились что самых левых паттернов ровно 11. Из моего списка 13-ти выкидываются 3-й и 4-й.

Можно конечно ещё дождаться, когда Hugo свои паттерны выложит. И ещё раз перепроверить.

Родили 11 паттернов, с которыми все втроём согласились?
Грандиозно! :))
Велосипед изобрели. Осталось проверить, правильный ли велосипед.
И ещё чуть-чуть - самую малость: изобрести примерно 1000 недостающих паттернов.
И сверить их с паттернами Hugo.
Тогда уж можно господину Петухову включать свои тысячекратные ускорители.

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

А всё потому, что тот перебор трудно назвать умным. Учитывается, что в искомой 11-ке обязательно есть число 32p. Но ничего не говорится о об использовании того факта, что в искомой 11-ке не менее железобетонно есть число 18p. Про обязательность 25-ки тоже ни слова. Сколько тысяч лет уйдёт на проверку интервала таким способом...

Да уж, какой же дурак назовёт брутфорс "умным перебором" :)))
Переживает умный господин, как долго будет выполняться тупой перебор!

А этот прогноз от EUgeneUS
https://dxdy.ru/post1568433.html#p1568433

Итого - сотни или 1-2 тысячи лет на один поток.

насколько понимаю, для "умного перебора".
Неужели даже с ускорителями? :)

Цитата

Как мне написал Hugo, он общался с Demis и с господином Никоновым по этому вопросу.
И Demis начал считать по его программе.
Но почему только Demis?
Что, никто не может скомпилировать код Hugo для Windows?
По-моему, причина не в этом.
Но своё видение причины озвучивать не буду.

Ну вот, причину озвучил господин Петухов
https://dxdy.ru/post1568686.html#p1568686

Но хотелось бы дождаться полного списка паттернов (с которым согласны хотя бы двое, Вы и Евгений), а не множества отдельных кусочков. Пара дней ничего в этой задаче не решают, куда лошадей гнать, с ускорителями мы всё равно должны обогнать Hugo :) там же три порядка разницы в скорости перебора по паттерну (8e5 против 1e9). А если получится реализовать его идею с дополнительным простым в квадрате, то и ещё сильно быстрее, ценой сотен ускорителей для каждого паттерна

Именно так я и подумала: хотят сделать свою программу с ускорителями и обогнать Hugo.
Конечно, желание сделать свою программу похвально.
Однако не понимаю, зачем надо кого-то обгонять?
Решается одна задача,
Почему бы не решать её вместе по уже готовой программе (которая, кстати, даёт вполне приемлемый прогноз по времени)?
Тем более что автор этой программы согласен на её использование для совместных вычислений.
Ну да ладно, пусть обгоняют.
Мышиная возня!

Hugo выложил примеры своих паттернов для непрерывной 11-ки
https://dxdy.ru/post1568699.html#p1568699

b0: 605p 18p . 32p 147p 50p . 12p . 2p^2q 45p
b1: 5p^2q 18p 121pq 32p 147p 50p . 12p . 2p^2q 45p
b2: 5p^2q 18p 161051p 32p 147p 50p . 12p . 2p^2q 45p
...
b2165: . 2p^2q 3p^2q 28p 5p^2q 18p 11p^2q 32p 3p^2q 50p 16807p
b2166: . 2p^2q 3p^2q 28p 5p^2q 18p . 32p 363p 50p 16807p

В следующем посте господин Петухов написал

О как, 2167 паттернов против 558 у EUgeneUS ...
Наверное у Hugo они и с Ap^2 или q^3p^2, почти все которые я уже исключил или проверил.

Ну конечно, "все уже исключил или проверил" :))
После чего написал: "проверьте мои выкладки".

Что ж, господину Петухову осталось взять все теоретические паттерны Hugo для непрерывной 11-ки, написать программу со своими тысячекратными ускорителями и... обогнать Hugo.

Мне тут
http://mathhelpplanet.com/viewtopic.php?p=451830#p451830
один форумчанин предложил хороший фильм посмотреть
"У зеркала два лица" ( https://ok.ru/video/87261842110 )
Конечно, посмотрела.
Мне тоже фильм понравился.
Я назвала бы его "Брак без секса".
Фильм довольно старый, 1996 г., жанр - мелодрама.

Всем, кто хочет отдохнуть от тяжёлой реальности, рекомендую посмотреть.

Три господина получили готовые паттерны 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

Впечатляет :)
Теперь ждём, когда господа устроят "ручной рассвет" :)))

I think You are absolutely right about your code. Because it is universal and should work with any k and n.
But for specific, record-breaking chains, we can try to go the extra mile and arrange a "manual sunrise". :)

https://dxdy.ru/post1568773.html#p1568773

Ой, а это сообщение господина Петухова я пропустила :) только сейчас увидела
https://dxdy.ru/post1568629.html#p1568629
Классно повеселил :)))

Я не знаю как они перебирают, но подозреваю что forprime для 32p. Но для чисел 1e19 простое в среднем каждое 45-е число, значит в пространстве чисел перебор идёт с шагом в среднем 45*32=1440, против более чем 2млн шага у меня в программе (352800*6). Это уже в полторы тысячи раз быстрее. Плюс ускоритель работает раз в 600 быстрее PARI. В сумме выходит под миллион раз разница в скорости.

"...они перебирают..." :)))

Сравните (это написано 7 лет назад)

Моя программа поиска по паттернам вполне себе использует и все эти и множество других формул, до двухсот миллионов формул одновременно, а не жалкие 12 штук. Причём формулы формируются "на лету", самой программой, без всяких онлайн-решателей.

https://dxdy.ru/post1057479.html#p1057479
Очень похоже, не правда ли?

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

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

А кто-то просто не хочет её знать (это ведь уже далеко не 6-й класс школы) и считает как умеет.

Да уж, куда уж нам уж выйти замуж, мы уж так уж как-нибудь :)))

И финальная фраза - апофеоз мудрости

Так что не мешайте человеку заниматься любимым делом, медленно но верно.

Кстати, о птичках...

Ликбез для господина Петухова.
Брутфорс с соблюдением необходимых условий даёт решение с вероятностью равной 1, если оно существует в пространстве перебора.

Это не "ткнул пальцем"!
Именно брутфорсом была найдена минимальная 17-ка, о чём господин Петухов написал на форуме dxdy.ru

Счёт достиг 10^17, результаты выложены на сайте проекта, минимальность КПППЧ17 подтверждена. Круто! Поздравляю всех с этим достижением.

https://dxdy.ru/post1206936.html#p1206936
Угу! Особенно вас, господин Петухов, - поздравляю с этим достижением! :)))

Глупая Макарова устроила брутфорс в BOINC-проекте, где и была найдена минимальная 17-ка.