Исследование свойств диагональных латинских квадратов в проектах добровольных распределенных вычислений и не только...
Что-то в последнее время очень часто на некоторых компьютерах сайт http://gerasim.boinc.ru/ не открывается в браузере Google Chrome
При том, что в других браузерах, установленных на том же компьютере - открывается.
Большинство числовых рядов, связанных с числовыми характеристиками ДЛК (min/max число трансверсалей, интеркалятов и т.д.) точно посчитано до размерности N=8 включительно. Для размерностей N>=9 для большинства рядов известны лишь ограничения сверху или снизу, полученные путем отыскания того или иного квадрата с экстремальным значением выбранной числовой характеристики. Пришло время внести ясность как минимум для размерности N=9, что нам вполне по силам. Однако и тут не все так просто: числовые характеристики можно условно разделить на 2 множества: вычисляемые относительно быстро и вычисляемые относительно долго (долго в данном случае — в десятки и сотни раз дольше, чем быстро). Долго вычисляемые характеристики пока отложим в долгий ящик 
и займемся быстро вычисляемыми. Для этого в подпроект ODLS BS проекта Gerasim@Home (http://gerasim.boinc.ru) был добавлен новый расчетный модуль версии 1.18 и 129 тыс. тестовых WU'шек эксперимента exp813, цель которого — попробовать оценить данные характеристики для размерности N=8. WU'шки короткие, большинство не более 10 с, их цель — проверить корректность разработанного кода расчетного модуля и кода постобработчика. Если все будет хорошо (а по первым результатам так вроде бы и есть), то следом за данной партией тестовых WU'шек пойдут боевые, для размерности N=9. Кворум 2, дедлайн 1 сутки, считаем!
Цитата: Yura12 от 04.09.2020, 10:16
Что-то в последнее время очень часто на некоторых компьютерах сайт http://gerasim.boinc.ru/ не открывается в браузере Google Chrome
При том, что в других браузерах, установленных на том же компьютере - открывается.
На одной из моих машин обратная ситуация: стабильно открывается во всех браузерах, кроме Opera'ы. Пингуется сайт без проблем. На других машинах (в том числе и из того же сегмента сети) все норм. Закономерности не выявил, появилось данное неприятное поведение месяц — два назад 
Я тут заинтересовался, сколько времени может занять счет. Грубо получается полгода - год, но может чуть подольше.
Если так, то и хорошо - обозримо такую глыбу осилим. А то по 10м даже проблесков не видно.
Эксперимент exp813 показал в точности те самые результаты, которые от него и ожидались. А раз так, то код расчетного модуля и постобработчика работает корректно, и на его основе можно запускать большой боевой эксперимент exp814 на размерности N=9, что и было сделано. В ходе данного эксперимента будут сгенерированы все КФ ДЛК порядка 9 с целью оценки их быстровычислимых свойств, в том числе с построением полной коллекции КФ ОДЛК порядка 9. В настоящий момент в подпроект ODLS BS проекта Gerasim@Home (http://gerasim.boinc.ru) добавлена версия расчетного модуля 1.19 и 182 тыс. WU'шек линейки 1 (для начала). Дедлайн — 7 дней, кворум — 2, время счета большинства из них 1—5 минут на Core i7 4770, чекпоинтов нет, считаем...
При нарезке линейки на WU'шки есть тонкость, связанная с балансом между числом WU'шек и временем их счета. Сами исходные данные WU'шки представляют собой 2 заполненные диагонали ДЛК (Х-образное заполнение, соответствующее одной из линеек) и еще D ячеек. Так, например, при D=10 WU'шек было бы 69 тыс., при D=11 — 182 тыс., а при D=12 — 389 тыс. С точки зрения постобработки удобнее работать с небольшим числом WU'шек, да и нагрузка на сервер проекта при этом ниже. Однако у меня есть опасение, что некоторые WU'шки, содержащие в своем составе большое число КФ, могут обрабатываться до 14 часов, если сделать нарезку на более мелкое число WU'шек. Поэтому пока D=11, наблюдаем, а для других линеек посмотрим...
С учетом того, что темп обработки для выбранного подмножества числовых характеристик ДЛК составляет 830 ДЛК/с в один поток на Core i7 4770, обработка всех 3292326155394 КФ ДЛК порядка 9 (см. https://oeis.org/A287764) займет примерно 125 лет (эта информация для тех, кто пытается сделать аналогичные эксперименты вручную на одной машине, работы до правнуков хватит :). На гриде на это потребуется от нескольких месяцев до года времени в зависимости от того, какая реальная производительность данного подпроекта будет достигнута.
При построении исчерпывающего списка всех КФ ОДЛК порядка 9 никакие другие известные списки (центрально-симметричные ОДЛК, ОДЛК из RakeSearch и пр.) использованы не будут, список планируется построить с нуля. Это сделано специально для того, чтобы потом с использованием этих уже известных списков можно было проверить полученный список находок и убедиться в том, что он действительно исчерпывающий. Простые преобразования и канонизатор при этом так же не используются, т.к. в данном случае они являются пустой тратой вычислительного времени. Попробуйте догадаться почему...
PS. На картинке внизу первые результаты постобработчика: за первый час расчетов обработано 3 805 195 КФ ДЛК, ОДЛК пока нет, ждем...
Цитата: citerra от 08.09.2020, 11:52Я тут заинтересовался, сколько времени может занять счет. Грубо получается полгода - год, но может чуть подольше.
Если так, то и хорошо - обозримо такую глыбу осилим. А то по 10м даже проблесков не видно.
Оценка необходимого времени верная, мои выкладки см. в посте выше
После второго слива результатов обработано 76 558 487 ДЛК порядка 9, найдены первые 111 КФ ОДЛК. Среди них:
Линия-4:
0 1 2 3 4 5 6 7 8
2 3 6 8 7 0 1 5 4
6 4 7 0 5 8 2 3 1
5 7 8 1 3 4 0 6 2
8 5 4 2 6 1 7 0 3
4 8 3 7 0 2 5 1 6
7 6 1 5 8 3 4 2 0
1 0 5 4 2 6 3 8 7
3 2 0 6 1 7 8 4 5
Звезда 1:16 (новая структура!):
0 1 2 3 4 5 6 7 8
1 2 3 8 6 7 0 5 4
5 0 4 2 8 3 7 6 1
3 7 6 5 1 2 4 8 0
6 8 1 7 3 0 2 4 5
7 4 8 1 5 6 3 0 2
2 5 0 4 7 1 8 3 6
8 6 7 0 2 4 5 1 3
4 3 5 6 0 8 1 2 7
Структура 18N32M18C:
0 1 2 3 4 5 6 7 8
2 3 0 1 6 8 7 4 5
6 7 4 5 8 2 3 0 1
5 6 7 8 1 0 4 2 3
8 4 5 7 2 6 1 3 0
1 2 3 6 5 7 0 8 4
4 8 1 2 0 3 5 6 7
3 5 6 0 7 4 8 1 2
7 0 8 4 3 1 2 5 6
И еще несколько новых ранее не известных структур. Сразу видно, что размерность N=9 очень богатая на структуры (не то, что N=10, где сплошь однушки).
Кроме того, найден ДЛК
0 2 3 4 5 6 7 8 1
5 1 4 7 8 3 2 0 6
8 7 2 5 6 1 3 4 0
6 5 8 3 7 2 0 1 4
2 6 0 8 4 7 1 5 3
4 0 7 6 1 5 8 3 2
3 4 5 1 0 8 6 2 7
1 8 6 2 3 0 4 7 5
7 3 1 0 2 4 5 6 8
с нулевым числом интеркалятов. Это интересно потому, что позволяет с уверенностью сказать, что член a(9) последовательности https://oeis.org/A307163 равен нулю.
Первый результат есть!
Ну и новые структуры радуют.
Будут как в Rake графические схемы?
За ночь расчетов среди ОДЛК порядка 9 найдены новые комбинаторные структуры (в дополнение к 227 уже известным на данный момент, см. http://evatutin.narod.ru/evatutin_ls_all_structs_n9_rus.pdf):
* 9N8M9C — 012345678120687345548731026867503214473168502385274160601452783254016837736820451
* 10N10M10C — 012345678123587046657410382508631427276058134831264705340726851465873210784102563
* 11N10M9C — 012345678123506847346812750458173206730258461584637012871460325605724183267081534
* 16N24M15C — 012345678124038765567801423483652107346710582871563240250174836638427051705286314
* 37N88M12C — 012345678120468357578216034364572801201637485857104263436851720643780512785023146
* 312N368M12C — 012345678230176854645018327763820541128567403387204165501432786874653210456781032