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

Как раз сейчас в OEIS идёт обсуждение минимальной 11-ки
https://oeis.org/history?seq=A292580

Самое время господину Никонову заявить в обсуждении, что

Пока минимальность 11-ки не доказана.

Для того чтобы в OEIS не приняли не доказанный результат и подождали, когда его докажет (или опровергнет) господин Никонов.

Как уже отмечено выше, прецедент известен.
Господин Ватутин выражал протест в OEIS против доказанного мной утверждения.
И представьте себе: ему поверили, и мне пришлось присвоить своему доказанному утверждению статус гипотезы.
А затем господин Ватутин доказал моё утверждение тотальным перебором и... утверждение подтвердилось!
Иначе и быть не могло.
Смотрите статью в OEIS
https://oeis.org/A328873

Может быть, господину Никонову доказать минимальность 11-ки брутфорсом (по примеру господина Ватутина).
Это будет железобетонное доказательство :)))
И не надо тужиться с построением полной системы паттернов.

Вот опять нестандартное завершение проверки паттерна

C:\Users\boinc\Documents\pcoul_20221202>pcoul -x:120402988681658048433948 -f11 -
p7e8 -W5e4 -g5 -rb86.log -b86 12 12
path b86.log
001 pcoul(12 12) -p700000000 -W50000 -f11 -g5 -x120402988681658048433948 -b86 *R
T*
2^2.3 11^2 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2 67^5: 351 / 3044
367 coul(12, 12): recurse 32201273, walk 234995509, walkc 101682574 (683.78s)

C:\Users\boinc\Documents\pcoul_20221202>12
"12" не является внутренней или внешней
командой, исполняемой программой или пакетным файлом.

C:\Users\boinc\Documents\pcoul_20221202>pause
Для продолжения нажмите любую клавишу . . .

Цитирую Hugo

The error message should just mean that there was an extra "12" on
a line of its own in the batch file, so I suspect something went wrong
when you edited the file.

The error is coming from running the batch file, not from running pcoul.

Если ошибка возникает при запуске пакетного файла, а не при запуске программы pcoul, значит, программа pcoul выполняется правильно.
Поэтому перепроверять паттерн b86 не буду.

Интересно: все пакетные файлы совершенно аналогичны, однако ошибка возникла только при запуске проверки паттерна b86.

В общем, причина возникновения этой ошибки не выяснена.
Может ли она влиять на проверку паттерна, точно неизвестно.
Интересный вопрос: эта ошибка только у меня возникает?
Если так, тогда ладно.
Я прекращаю вычисления.

Сейчас соберу и отправлю результаты для проверенных паттернов с шагом LCM=14642258400.

Уф!
Заархивировала результаты.

Отправила Hugo результаты для 78 паттернов с шагом LCM=14642258400.

Итак, я полностью проверила 24+44+78=146 самых лёгких паттернов.

Цитата из моего письма Hugo

I'm stopping the calculation because there is an error I don't understand.
Perhaps I will continue the calculations if the cause of the error is identified and eliminated.
Maybe this error occurs only for me?
In that case, I will not continue the calculations.

А вот если бы Hugo начал пользоваться BOINC-проектом, операторские ошибки при запуске заданий были бы исключены.
В BOINC-проекте есть ещё куча преимуществ, но Hugo предпочитает решать задачу D(12,12) в ручном режиме.
Ему виднее.

Кстати, в проверенных мной паттернах меньшая 12-ка не найдена.
Не будет ли и с 12-ой такой же результат? То есть текущая минимальная 12-ка и будет настоящей минимальной.

Игра "Угадай слово"

Сегодня загадано простое слово, но отгадала 4-й попыткой, на "троечку" :)
Была вариантность. Сначала ввела слово съедобное - покушать, и мимо. Пришлось сделать ещё одну попытку.

Моя статистика на сегодня
Статистика Wordle (RU)

Игр сыграно - 304
Процент побед - 98%
Подряд максимум - 139
Попыток на игру в среднем - 3.88
Рейтинг +2394
#вордли

https://wordle.belousov.one

Уже сыграла 304 партии, почти год играю.
Правда, некоторые дни пропускаю, когда забуду.

Всё!
Минимальная 11-ка утверждена в OEIS

T(6,11) 9887353188984012120346 Team https://github.com/hvds/divrep/wiki/D(12,11) 2022-12-05

https://oeis.org/A292580/a292580_9.txt

Для всех это минимальная 11-ка, кроме господина Никонова.
Ещё раз рекомендую ему арендовать кластер или суперкомпьютер и доказать минимальность 11-ки брутфорсом :)
[разумеется, шутка]

Заявленная им цель: построить все паттерны для 11-ки, проверить те, которых нет в системе паттернов Hugo, и найти пропущенную Hugo меньшую 11-ку.
Ждём-с новую минимальную 11-ку :)

Цитирую господина Никонова

Я пытаюсь решить задачу построения полной(в определённом смысле) системы паттернов для проверки что ни один паттерн у Хьюго не пропущен.

А если вдруг найдутся пропущенные паттерны, то обсчитать их и закрыть вопрос.

https://dxdy.ru/post1572990.html#p1572990

У Hugo новое объяснение ошибки.
Цитата

I think you will get errors when the new line is more than two characters
longer than the old line.

For example, a command with "-rb86.txt -b86" that has been edited to
"-rb1274.txt -b1274" by the time that command completes will have
made the line 4 characters longer. That will be just enough for the
final "12" to be seen as a new command. (The carriage return
"" and line feed "" combination is used to mark the end of
a line on Windows.)

Нет, не годится.
Например, я запускала паттерн b1165 вслед за паттерном b40, и ошибка для паттерна b40 не возникла.

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

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

В общем, договорились: я беру 4 паттерна и запускаю их в 4-х разных папках
• (6098400, 4): 94, 442, 867, 1284

Для этой группы паттернов Hugo рекомендовал следующие параметры:
-p5e8 -W8e5 -g10.

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

Ахиллес работает в задаче D(12,12)

В проверке группа паттернов
• Natalia (6098400, 4): 94, 442, 867, 1284



Интересно, как долго будут считаться паттерны с шагом LCM=6098400.
Это не самый высокий уровень сложности, кажется, третье место.

Да, вот уровни сложности в порядке убывания - от сложного к менее сложному

1) LCM = 554400
2) LCM = 3880800
3) LCM = 6098400
4) LCM = 42688800
5) LCM = 1331114400
6) LCM = 8116970400
7) LCM = 14642258400
8) LCM = 56818792800
9) LCM = 19488845930400

Господа!
Пожалуйста, подключайтесь к эксперименту!

Есть для проверки много лёгких паттернов - уровни сложности 5-6.
Эти паттерны посчитаются быстро.
Для тех, кто хочет посложнее, паттерны уровней сложности 1-2.

Напомню: распределение заданий на странице
https://github.com/hvds/divrep/wiki/D(12,12)
На странице есть адрес автора проекта Hugo, напишите ему и получите задания.

Цитата

В проверке группа паттернов
• Natalia (6098400, 4): 94, 442, 867, 1284

Проверены!
Покажу частично логи паттерна b1284

001 pcoul(12 12) -p500000000 -W800000 -f11 -g10 -x120402988681658048433948 -b1284 *RT*
305 . 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^2 2^2.3 W(37868849,4): 0 / 5 (588.09s)
305 . 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^2 2^2.3 W(8099891,0): 125 / 150 (1173.83s)
305 . 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^2 2^2.3 W(4414279,6): 319 / 505 (1759.69s)
305 . 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^2 2^2.3 W(3041587,8): 29 / 1066 (2344.51s)
305 . 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^2 2^2.3 W(2326483,1): 403 / 1823 (2929.14s)
305 . 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^2 2^2.3 W(1888483,4): 648 / 2767 (3513.35s)
305 . 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^2 2^2.3 W(1591099,4): 2402 / 3898 (4100.77s)
. . . . . . . . . . 
305 307873^2 2 3 2^2 5 2.3^2 7.684773^2 2^5 3 2.5^2 11^2 2^2.3 (51115.32s)
305 345607^2 2 3 2^2 5 2.3^2 7.793253^2 2^5 3 2.5^2 11^2 2^2.3 (51712.21s)
305 414769^2 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^2 2^2.3: 50384 / 57381 (52302.41s)
305 528107^2 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^2 2^2.3: 28923 / 35394 (52892.25s)
305 735467^2 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^2 2^2.3: 17161 / 18249 (53482.20s)
367 coul(12, 12): recurse 9000108561, walk 9620137000, walkc 17442431461 (53677.95s)

Проверялся почти 15 ч.

Сейчас попрошу у Hugo группу паттернов
(6098400, 7): 0, 4, 5, 9, 1174, 1178, 1179, 1183

Отправила Hugo результаты для паттернов: b94, b442, b867, b1284.

Заказала паттерны
(6098400, 7): 0, 4, 5, 9, 1174, 1178, 1179, 1183

Игра "Угадай слово"

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

А назначения паттернов от Hugo всё нет.
Оперативность у Hugo резко упала.
Недавно (тоже долго ждала назначения, даже второй раз написала письмо) он написал, что за ночь пришли 80 писем.
Поэтому так долго мне не отвечал.
И это тоже аргумент в пользу BOINC-проекта!
Там координирования практически нет, всё координируется автоматически.
Надо только забрать результаты с сервера и проверить их.
Ну, задача D(12,12) уже пролетела мимо BOINC-проекта.
Надеюсь, что задача D(12,13) будет всё-таки запущена в BOINC.

Жду дальше :)

Не люблю ждать!
А кто ж любит? :)

В общем, запустила на Ахиллесе задачи своих проектов.
Когда Hugo проснётся и закрепит за мной задания, тогда я буду спать :)
Когда и я проснусь, и Ахиллес досчитает запущенные задачи, тогда начну считать закреплённые задания.
Так мы будем считать до второго пришествия Христа.

Последний раз заглянула на страницу распределения заданий, время 13:35 (по Саратову), полдня прошло, задания не закреплены.
Расточительно так транжирить время Ахиллеса.
В общем, загрузила его по полной своими задачами.

Вчера смотрела одно видео, там вскользь было сказано о ЧСВ (Чувство Собственной Важности).

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

Утундрий

Я понял. Я предлагал отдельную тему ещё на 32-й странице. Почти никто не поддержал.

Не видится ли вам в этом сообщении чрезмерное ЧСВ господина Никонова? :)
Оно не только в этом сообщении, а в десятках других.

Человек без гипертрофированного ЧСВ написал бы так:
"Понял. Давно было предложено открыть отдельную тему. Почти никто не поддержал это предложение."
"Я" в двух рядом стоящих фразах как раз и кричит о ЧСВ.
Ещё и обязательное указание ссылки, где "Я предлагал".
Это же очень важно!
Пусть все посмотрят по ссылке и убедятся, что "Я предлагал ещё на 32-й странице" :)

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

На этом совпадение с паттернами Хьюго закончилось.

Ура!
Осталось найти такие паттерны, которых нет у Hugo.
Потом проверить эти паттерны и найти новую минимальную 11-ку.

Ждём-с :)))

Ну вот, наконец-то, задания закреплены
Natalia (6098400, 7): 0, 4, 5, 9, 1174, 1178, 1179, 1183

Теперь дело за Ахиллесом, как он досчитает запущенные задачи (моего проекта), так начну считать эти паттерны.

Пока пойду закушу :)

Один поток освободился, запустила паттерн b0.
Для данной группы паттернов Hugo рекомендовал следующие параметры:
-p4e8 -W4e5 -g6.

Вчера вечером запустила ещё один паттерн - b4.
Утром оба паттерна завершились.
Ура!
Поехала порция ещё из 4-х паттернов: b5, b9, b1174, b1178.

Господин Петухов распетушился :)
https://dxdy.ru/post1573275.html#p1573275

Как тут не вспомнить афоризм: "Умный любит учиться, а дурак - учить".

В общем, мыльная опера "Пентадекатлон мечты" продолжается, уже 188-я серия.
Очень развлекательный сериал.
Рекомендую всем!

Да, и про "два сапога - пара" тоже не забывайте :))
Весьма смешно наблюдать: то левый сапог наезжает на правого, то правый сапог наезжает на левого.
Вся мыльная опера и держится на этих сапогах.

Цитата

Поехала порция ещё из 4-х паттернов: b5, b9, b1174, b1178.

Что-то очень много цифирей :)

Завершились!
Запустила два последних паттерна: b1179, b1183.
Надеюсь, что за ночь проверятся.

Заказала на завтра паттерны
• (1331114400, 7): 35, 39, 1168, 1172

С этими паттернами всё получилось очень быстро.
Hugo оперативно выдал, я оперативно проверила и отправила результаты.

Заказала на завтра паттерны
• (3880800, 7): 27, 1159