Новости в поиске пентадекатлона

Появился автор эксперимента Владимир Лецко и заявил, что он бы и хотел посчитать по новым "ускоренным" в N раз программам, но

Но я безнадежно отстал от развития событий

https://dxdy.ru/post1551732.html#p1551732

Это очень огорчило господина Петухова; в следующем посте он отвечает

Вы понимаете, что потратив пусть даже целый день на разбирательство как запустить мои программы (хотя достаточно пары часов, я же даю всё практически готовое), Вы за второй день просчитали бы все эти 82 паттерна в 22 потока с нуля до 1e40? А за 5-6 дней в 20-22 потока просчитали бы все 46080 паттернов до 1e38? При том что по всем нашим прикидкам пятнашка должна быть где-то не сильно дальше 1-2e38, т.е. всего на неделю-две Вам счёта. День потерять и плюс неделю-две подождать — и золотой ключик в кармане ... С 21 марта, как я сделал последнюю версию программ и запустил счёт по всем паттернам в низинах (с нуля), уже прошло две недели ...

То есть господин Петухов даёт на поиск 15-ки две недели при условии, что Лецко запустит вычисления по его программам.
Ну, наверное, Лецко проникся и начал осваивать запуск программ господина Петухова.
Пока он ничего не ответил.

В данный момент, как я понимаю, считают двое - по программам господина Петухова.
Господин Петухов считает "в низинах", это где-то 4-5е37 (если не путаю).
И EUgeneUS считает где-то в районе 9е37.
Антон Никонов, похоже, не считает.
Он продолжает заниматься оценкой вероятностей.
15-ка может найтись и в этих областях, где сейчас идут вычисления. Но может и не найтись.
Лецко считает по своим старым программам.
По одному из паттернов он уже досчитал примерно до 5*10^39 (из того же сообщения).

При том что по всем нашим прикидкам пятнашка должна быть где-то не сильно дальше 1-2e38

Вполне может оказаться и сильно дальше.
Здесь всё весьма непредсказуемо.
И самое интересное - если 15-ка вообще не существует.
Где-то в одном из сообщений EUgeneUS видела, что на существование 15-ки есть только некая гипотеза.
Ну, гипотеза может быть верной и неверной.
Вот найдётся 15-ка, и гипотеза будет доказана эмпирически.

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

Становится интересно: а сойдется ли к единице вероятность найти пятнашку когда-нибудь.

Сойдётся - ровно тогда, когда пятнашка будет найдена :)))

Антон Никонов писал в сообщении
https://dxdy.ru/post1551838.html#p1551838

Подключайтесь уже.

Ведь потом на основе подобных программ можно будет побиться не только за 15-шку, но и за другие мировые рекорды. 19-ку найти, например.

Ах, у них тоже есть 19-ка :)
И у меня есть, только другая по содержанию. И за мою 19-ку тоже можно побиться, потому что она пока никому в мире неизвестна.
Смотрите о моей 19-ке тему "Нерешённая проблема теории чисел"
https://boinc.progger.info/odlk/forum_thread.php?id=224

Игра "Угадай слово" за 4 апреля

ЗАКОН
КОПИЯ
ОКРУГ

Друг играл так

СКУЛА
УКРОП
ОКРУГ

Сегодня снова сыграла на "четвёрку". Вся игра заняла три минуты.
Повезло с первым проверочным словом, поймалось сразу три буквы, причём две на своём месте.

Новости в поиске пентадекатлона

29-я серия мыльной оперы закончилась сообщением Лецко
https://dxdy.ru/post1551929.html#p1551929

Внутренний голос подсказывает мне, что вы раньше досчитаете, чем я разберусь... :)

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

30-я серия началась с сообщения EUgeneUS
https://dxdy.ru/post1551932.html#p1551932
в котором он пытается переубедить Лецко.
И кроме того, спрашивает

Кстати, как-то можете прокомментировать вот этот вопрос:
Становится интересно: а сойдется ли к единице вероятность найти пятнашку когда-нибудь.

Я прокомментировала :) тут

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

Но если не найдём пятнашку до 1-2e38, то возможно задумаюсь о переписывании под GPU ... Но если у Вас тоже видюхи не ахти, то незачем и париться (а париться много, к сожалению я плохо разбираюсь в тонкостях вычислений на GPU, да ещё и ассемблера там нет в принципе, только C, качество компиляции с которого вызывает сомнения).

А почему бы для BOINC-проекта не написать расчётный модуль?
Для Лецко, наверное, найти сервер не проблема, он, кажется, в вузе преподаёт.

Кстати, и это

Ведь потом на основе подобных программ можно будет побиться не только за 15-шку, но и за другие мировые рекорды. 19-ку найти, например.

тоже можно будет в BOINC-проекте считать.
Шансы-то повышаются раз в 100 и становятся вполне реальными не за 7-9 лет.
Плюс 1000-й "ускоритель" господина Петухова.
Ну-у-у, тут и 15-ка, и 19-ка будут в кармане за пару недель :)

Лецко в сообщении
https://dxdy.ru/post1551953.html#p1551953
писал

Я уверен, что пятнашка найдется.
А вероятность?..
Как известно, нулевая вероятность какого-либо события не делает его невозможным.
Не исключено, что и здесь такая же картина.

Вот как!
Не буду комментировать.
Наверное, я отстала от современной науки, и мне сие не совсем понятно :)

Игра "Угадай слово" за 5 апреля

КОЛБА
ТОСКА
ДОСКА

Сегодня опять "четвёрку" заработала :)
Пока всё хорошо идёт, стабилизировалось на трёх попытках.

Новости в поиске пентадекатлона

Итак, господин Лецко уверен, что пентадекатлон будет найден, даже если вероятность его нахождения равна нулю.
Остальные участники эксперимента упорно пытаются оценить вероятность этого события.

На чём основана уверенность господина Лецко?
Предположу, что на большом опыте.
Он уже с этими цепочками много работал, есть статьи в OEIS.
При наличии большого опыта появляется научная интуиция, если можно так сказать.

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

Мы досчитаем 38-значные числа (по всем паттернам) через неделю-полторы.
А оценка вероятности найти её там, вроде как получается от 0,7 до 0,8. То есть с этим розовым единорогом, как в том анекдоте про динозавров - то ли встретится, то ли нет.

В отличие от господина Лецко EUgeneUS не столь оптимистичен.
Даже при вероятности 0,7-0,8 он не уверен, что пентадекатлон найдётся в указанном диапазоне.
Бабушка надвое сказала :)
Ну, господин Лецко, может быть, рассматривает вопрос независимо от диапазона.

Господин Петухов изобрёл формулу вероятности нахождения пентадекатлона, согласно которой эта вероятность прекрасно сходится к 1.
Смотрите сообщение
https://dxdy.ru/post1551979.html#p1551979

Ну, так кто же сомневается? :)
Господин Лецко, к примеру, ничуть не сомневается в том, что пентадекатлон найдётся.

Мыльная опера продолжается :)))
Забавно читать.
Господин Петухов всё тужится считать вероятности.
Антон Никонов поправляет насчитанные им вероятности.
https://dxdy.ru/post1551982.html#p1551982

А откуда взялось это число?

Это слишком мало: всего 1 раз на 71 ярд. А по моим вычислениям(основанных на данных именно в этом месте) только в 4e38 она станет 1 раз на 63 ярда.

Господин Петухов: "Да, я ошибся...".
И потом снова по тому же кругу.

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

Господин Петухов продолжает тужиться :)))
https://dxdy.ru/post1551995.html#p1551995

Оценки выше забываем, они походу неверные. Попытаюсь оценить честно.

Да, мыльная опера получается супер!
Сейчас снова придёт Антон Никонов и будет поправлять.
Интересно: ему не надоела эта бодяга?

Новости в поиске пентадекатлона

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

VAL, Yadryara, EUgeneUS
СВЕРШИЛОСЬ!
Час назад найдена основным компом:
N2-46-653421: 66387422053662391209161093722597723545: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=15, maxlen=15, ALL, FOUND!!!
Ура товарищи! :)

Эх! Закончилась мыльная опера :)))
Что же теперь смотреть на dxdy.ru?

Вот это надо ещё запустить :) (писал Антон Никонов)

Ведь потом на основе подобных программ можно будет побиться не только за 15-шку, но и за другие мировые рекорды. 19-ку найти, например.

А то ещё и мою 19-ку найти :)
Кстати, с моей-то 19-ой у господина Петухова любовные отношения давно начинались.
Это про неё он писал, что у него в программе "до двухсот миллионов формул" одновременно работают.
Формулы-то, может, работали, а 19-ки нет!

Напомню тему о моей 19-ке
https://boinc.progger.info/odlk/forum_thread.php?id=224

У меня сейчас в программе задействовано 160 формул.
Черепашка трудится, но пока найдена только 11-ка с одной "дыркой", то есть с одним неправильным элементом.
До 19-ки как до Луны :)

Покажу 11-ку с одной "дыркой", то есть с одним неправильным элементом

{258409177441837742393*, 258409177441837742473, 258409177441837742491, 258409177441837742497, 258409177441837742521,
258409177441837742527, 258409177441837742533, 258409177441837742557, 258409177441837742563, 258409177441837742581,
258409177441837742611}

Неправильный элемент помечен звёздочкой.
Может ли найтись полная 11-ка?
Господин Петухов сказал бы "нет" :)
Ну, потому что "дырка" - она уже не может быть правильным элементом (так рассуждает господин Петухов).
А я говорю, что может найтись полная 11-ка, а также полная 13-ка, и полная 15-ка, и полная 17-ка, и... полная 19-ка!

А это 13-ка с четырьмя "дырками"

{258408962906659564397*, 258408962906659564427*, 258408962906659564453, 258408962906659564471, 258408962906659564477,
258408962906659564501, 258408962906659564507, 258408962906659564513, 258408962906659564537, 258408962906659564543,
258408962906659564561, 258408962906659564589*, 258408962906659564591*}

Если показанную выше 11-ку продолжить до 13-ки, то 13-ка получится с тремя "дырками".

Читайте указанную тему, господа!
И присоединяйтесь к поиску моей 19-ки.
Напомню, что 19-ку мы ищем ещё в одном эксперименте.
Кратко об этом эксперименте здесь
https://boinc.progger.info/odlk/forum_thread.php?id=225
А не кратко - здесь
https://boinc.progger.info/odlk/forum_thread.php?id=49

Игра "Угадай слово" за 6 апреля

БУЛКА
ДИЛЕР
ПОЛЁТ

Сегодня снова у меня "четвёрка" :)
Интересно получилось: первое проверочное слово поймало 4 буквы загаданного слова, но все не на своём месте.
Игра продолжалась три минуты!

Игра "Угадай слово" за 7 апреля

ЩЕТКА
КАДЕТ
ПАКЕТ

В сегодняшней игре получила "тройку" - 4 попытки.
Игралось интересно: первое проверочное слово поймало одну букву загаданного слова не на своём месте; второе проверочное слово поймало две буквы загаданного слова не на своём месте; третье проверочное слово поймало три буквы загаданного слова, две из них на своём месте.
Четвёртая попытка - слово отгадано!

Новости в поиске пентадекатлона

Обнаружился пятый участник эксперимента, который считал, но не афишировал свои вычисления.
Ещё обнаружены два пентадекатлона, которые были найдены раньше пентедекатлона господина Петухова, но не были замечены теми, кто их нашёл.
Это вообще довольно странно.
Конечно, трудно визуально увидеть нужное решение среди огромного количества цепочек в логах.
Но... программа должна выводить 15-ку отдельно от всех других цепочек. Это же главное решение, которое программа ищет!
Кажется, господин Петухов так и сделал в окончательной версии программы, которая работала у него.
Поэтому он и заметил быстро найденную 15-ку.
Господин Петухов писал в сообщении
https://dxdy.ru/post1552120.html#p1552120

Оказывается EUgeneUS тоже нашёл пятнашку! Причём первым, примерно полтора-два дня назад. И не заметил в куче логов ... Вот она:
N9-25-241356: 91340991749658028244987380473874205145: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=15, maxlen=15, ALL, FOUND!!!
Не зря я в последнем файле .gp сделал запись пятнашки отдельно, видимо только поэтому и заметил оперативно.

Далее, оказывается, есть ещё одна 15-ка, которую надо искать
M(36)<=15

Господин Петухов уже ринулся в бой :)

Второй пентадекатлон?
Антон Никонов против второго пентадекатлона :)
Первая мечта была красива.
Повторение не прокатывает, да-с.

О!
Господа, идём сюда :)
https://dxdy.ru/topic149302.html
Цитирую

Продолжение обсуждения из post1552110.html#p1552110, post1552127.html#p1552127 и post1552132.html#p1552132 (нахождение максимального числа M(36) последовательных чисел, имеющих ровно 36 делителей - известно, что 11 <= M(36) <= 15).

И далее

Может, стоит попробовать использовать и облачные вычисления? Они сейчас стоят довольно дёшево (можно найти и бесплатно, уверен), и обладают большими вычислительными мощностями.

Стоп! Стоп! Стоп!
Это как раз то, что мне нужно.
Господа!
Пожалуйста, просветите!
Я очень хочу это попробовать.
Мне катастрофически не хватает вычислительных ресурсов.
Если пользоваться облачными вычислениями несложно и можно найти бесплатно, я могу попробовать.
Мне нужен опытный помощник, чтобы научил - как, где и что.

Опа!
Господин Петухов как-то сразу против :)
Это мне напомнило, как давно он был сразу против BOINC-проектов (заодно с Алексеем Белышевым).
И совершенно напрасно, как оказалось в действительности.
BOINC-проекты очень даже эффективны!

Смотрим сообщение
https://dxdy.ru/post1552151.html#p1552151

Я бесплатно облаков не нашёл, но может плохо искал. А тратить десятки тысяч рублей (сотни usd) мне жаба не подписывает.
Кроме того, ещё придётся разбираться как там всё запустить, часто им требуется исходный код на C (и нередко под xUnix), а не готовая исполняемая программа.

Насчёт нашёл/не нашёл... бабушка надвое сказала :)
Насчёт исходного кода - разве проблема дать исходный код, если он есть???

Кроме того, ещё придётся разбираться как там всё запустить...

А как же вы хотели бы? :)
Чтобы кнопку нажал и - всё автоматически поехало?
В BOINC-проекте тоже надо разбираться, как там всё запустить.
Ничего! И Progger, и Алексей Белышев (whitefox) разобрались!

Ну, господин Петухов в своём репертуаре :)))

Ой, как забавно!
В новой теме разгорелся спор: нужна или не нужна новая тема?
Называть ли её по-старому?
Антон Никонов против старого названия.

Модератор не нашёл причин заводить новую тему и объединил её со старой.

Антон Никонов писал в сообщении
https://dxdy.ru/post1552200.html#p1552200

Неужто 46080 экзешных прог-32, которые сейчас в облаке, несмотря на номера паттернов не заточены именно под подквадратные 17-37 ?

Я что-то слегка обалдела :)
"46080 экзешных прог-32"?
Это как же их все запускать?
Параллельно? Последовательно?
Там ещё PARI/GP как-то пристёгивается.
И что-то ещё на Ассемблере.

В общем, господин Петухов сотворил что-то супер-пупер :)