Исследование свойств диагональных латинских квадратов в проектах добровольных распределенных вычислений и не только...
В проекте от новой серии экспериментов, направленных на поиск ESODLS, первая не однушка:
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 9 8 5 7
9 5 7 8 6 4 2 0 1 3
7 6 4 5 0 3 1 9 2 8
4 3 9 2 1 7 8 5 0 6
6 0 3 9 2 8 5 4 7 1
8 7 5 6 9 0 3 1 4 2
2 9 8 0 7 1 4 6 3 5
5 4 6 1 8 2 7 3 9 0
3 8 1 7 5 9 0 2 6 4
Линия-4 (квадраты A-B=C-D, их КФы 1-2=2-1, знаком "-" отмечена обычная ортогональность, знаком "=" — ESODLS), 2 КФ, ХО=12, exp407 (3 случайно заполняемые пары ячеек, дальше дозаполнение полным перебором с ограничением по времени), схема 209/10717, структура длин циклов каноническая {1:10, 2:45}.
Комбинаторная структура очень редкая: до этого таких нам было известно всего 3 из более чем 8 млн. КФов.
Большое спасибо за увеличение деадлайна приложения Test Separator !!!
А когда заменят само приложение Test Separator на новой версии?
https://boinc.progger.info/odlk/forum_thread.php?id=143&postid=5307
"Я по-прежнему утверждаю, что никаких новых self нет. Либо это классические SODLS, либо те ОДЛК, которые получены от классических SODLS полным Замыканием программой Белышева.
Для опровержения гипотезы нужен контрпример.
Я буду искать его."
Контрпример не нужен, гипотеза легко опровергается и без него. Смотрим на 2 известных числовых ряда в OEIS:
- число SODLS с фиксированной первой строкой (aka нормализованных): 1, 0, 0, 2, 4, 0, 64, 1152, 224832 (https://oeis.org/A287761);
- число ESODLS с фиксированной первой строкой: 1, 0, 0, 2, 4, 0, 256, 4608 (https://oeis.org/A309598).
Число ESODLS превосходит число SODLS в 4 раза для размерностей 7 и 8. Замыкание (канонизация + простые преобразования) дает около 10-15% прибавку числа КФов, никак не в 4 раза. Соответственно очень маловероятно, что ВСЕ КФ ESODLS могут быть получены из SODLS замыканием. Ну а контрпример (список находок) будет в конце месяца вместе с месячным отчетом...
Число главных классов ДЛК нам известно: https://oeis.org/A287764.
Число главных классов ESODLS нам так же известно: https://oeis.org/A309210.
А вот ни число главных классов ОДЛК, ни число главных классов классических SODLS мы почему-то не считали. Точнее, для ОДЛК оно давно известно, только не публиковалось нигде, а для SODLS его элементарно можно посчитать (как минимум до N=8 включительно) отталкиваясь от известных списков КФ ОДЛК. Итак, восполним этот пробел:
1, 0, 0, 1, 1, 0, 2, 8 — число главных классов SODLS для 1 <= N <= 8;
1, 0, 0, 1, 1, 0, 5, 1105 — число главных классов ОДЛК для 1 <= N <= 8.
Сопоставляя ряды, можно сделать вывод, что для 1 <= N <=7 все (!!!) ОДЛК являются ESODLS!
https://oeis.org/draft/A329685
https://oeis.org/draft/A330391
Цитата: Yura12 от 24.02.2020, 11:41А когда заменят само приложение Test Separator на новой версии?
Я хотел оттестировать частично новый расчетный код в основном проекте, вроде оттестировал, все работает. Теперь можно поменять расчетник и в тестовом, поменял на 1.3.4, смотрим...
Спасибо за новый расчётник!
А вот эта страница http://gerasim.boinc.ru/StatsPage/InvalidResults.aspx актуальна?
Чтобы по ней следить за ситуацией?
Цитата: Yura12 от 25.02.2020, 12:14А вот эта страница http://gerasim.boinc.ru/StatsPage/InvalidResults.aspx актуальна?
Чтобы по ней следить за ситуацией?
Эта вряд ли, т.к. эти графики включают в том числе протухшие WU'шки. Я вручную буду смотреть по номерам WU'шек...
Ну что, будем следить за следующими заданиями:
http://gerasim.boinc.ru/users/viewWorkunit.aspx?WorkunitId=59698572
http://gerasim.boinc.ru/users/viewWorkunit.aspx?WorkunitId=59698583
http://gerasim.boinc.ru/users/viewWorkunit.aspx?WorkunitId=59722121
http://gerasim.boinc.ru/users/viewWorkunit.aspx?workunitid=59716071
http://gerasim.boinc.ru/users/viewWorkunit.aspx?WorkunitId=59698605
http://gerasim.boinc.ru/users/viewWorkunit.aspx?WorkunitId=59719944
Число SODLS порядка 9 известно (см. страничку Harry White'а: https://budshaw.ca/SODLS.htm и соответствующую последовательность в OEIS: https://oeis.org/A287761). Точнее, известно не только количество, но и их список. А вот число главных классов SODLS порядка 9 неизвестно. А если есть список (он был любезно предоставлен Harry White'ом по моей просьбе), то посчитать главные классы (они же КФы) не так уж и сложно... Итак: среди 224 832 нормализованных SODLS порядка 9 оказалось всего 470 различных главных классов. Теперь необходимо поправить соответствующую последовательность в OEIS...
При попытке открыть файл stderr.txt приложения spstarter 3.12 я получаю ошибку: "Процесс не может получить доступ к файлу, так как этот файл занят другим процессом."