Исследование свойств диагональных латинских квадратов в проектах добровольных распределенных вычислений и не только...
Цитата: Yura12 от 29.03.2021, 16:25А не могли бы Вы её у всех массово отменить со стороны сервера?
Я надеюсь, что я разберусь и поменяю версию расчетника в самое ближайшее время... Пока WU'шка 7 часов считается на моей машине под отладчиком, до квадрата, на котором она планово вывалилась с exception'ом, еще не дошли, к утру думаю он попадется. Но уже понятно, что за один их хвостов (ничем на первый взгляд не примечательную однушку) удалось выудить большую комбинаторную структуру, именно поэтому время счета WU'шки не 20 минут, а десятки часов... С одной стороны это плохо, а с другой — очень даже хорошо 
На этот раз зависло приложение test separator
Висит уже полчаса и при этом загрузка процессора - ноль!
Приложение
test_separator 1.36
Задание
wu_e1101_50_78_905_9854043_0.wu
Состояние
Работает
Получено
30.03.2021 9:56:13
Отправить до
06.04.2021 9:56:10
Предполагаемый объём вычислений
5 000 GFLOPs
Время ЦП
00:00:22
Время ЦП с последней контрольной точки
00:00:22
Затрачено времени
00:29:55
Осталось до завершения
00:39:08
Процент выполнения
43,333%
Объём виртуальной памяти
2,53 MB
Использование памяти
6,64 MB
Каталог
slots/1
ID процесса
1064
Скорость прогресса
81,360% в час
Исполняемый файл
test_wrapper_win64.exe
Версия расчетного модуля в подпроекте ODLS BS заменена на 1.2.6. В ней 2 основных нововведения.
- Лимит на максимальное число трансверсалей (точнее, DLX-покрытий, но не суть) увеличен до 200 тыс. За 17 часов счета на моей машине отталкиваясь от квадратов WU'шки ale4316 квадратов с большим числом трансверсалей не выявлено (рекордсмен имеет 198144 трансверсали, см. https://vk.com/wall162891802_1603, но гарантий отсутствия квадратов с большим числом трансверсалей нет). Это немного увеличит необходимый объем оперативки (сейчас примерно 100 МБ на WU'шку).
- Установлен лимит по времени обработки ОДЛК комбинаторных структур, равный 1 часу. Та комбинаторная структура, которая начала вытаскиваться из WU'шки ale4316, за 17 часов счета на моей машине под отладчиком уже включала в своем составе более 200 тыс. КФ ОДЛК. С учетом того, что среднее время обработки одного квадрата для данной размерности составляет 1 минуту, на обработку этой структуры может потребоваться до полугода (!!!) при организации расчета в один поток. Поэтому подобные досрочно прерванные WU'шки видимо придется либо постобрабатывать на моей машине, либо подключать к этому процессу грид.
Следим за подвисшими WU'шками дальше...
Цитата: evatutin от 30.03.2021, 11:06Цитата: Yura12 от 30.03.2021, 10:40На этот раз зависло приложение test separator
Прерывайте, с описанной выше ситуацией это не связано никак. Время от времени что-то мешает работать канонизатору :(, ранее уже обсуждали...
Скорее всего мешает виртуальная машина Oracle VirtualBOX
Я тут как раз её позавчера поставил и много раз перезапускал виртуальные машины. Вот наверно она и дала такой результат. Так как раньше на этом компьютере ничего не висло.
Набросал код, начинаем раскручивать большую структуру... Интересно, на это и правда потребуется полгода в 1 поток? Если да, то придется разработать распределенную версию, пока так.
Коротко логика работы следующая: есть 2 списка квадратов — текущие и уже обработанные. Из текущего выбирается очередной квадрат, производится определение всех его свойств, рекордные значения запоминаются. Для всех ОДЛК строятся КФы и проверяются на уже обработанность. Если были обработаны ранее — отбрасываются, если нет — добавляются в список текущих. Затем обработанная КФ ОДЛК перемещается из списка текущих в уже обработанные. Есть чекпоинты, чтобы обработку можно было прервать и перезапустить в любой момент.
За первые полчаса счета найден ДЛК
0 1 2 3 4 5 6 7 8 9 10 11
1 2 0 4 5 8 3 6 7 11 9 10
3 7 5 1 9 11 0 2 10 6 4 8
7 6 9 10 0 3 8 11 1 2 5 4
4 10 6 9 3 0 11 8 2 5 1 7
9 8 1 7 11 6 5 0 4 10 3 2
8 9 11 5 1 4 7 10 6 0 2 3
6 0 4 8 2 10 1 9 3 7 11 5
5 4 8 0 10 2 9 1 11 3 7 6
2 5 7 11 8 1 10 3 0 4 6 9
11 3 10 6 7 9 2 4 5 1 8 0
10 11 3 2 6 7 4 5 9 8 0 1
у которого 1123 ОДЛК, что позволяет усилить текущее ограничение с a(12)>=655 до a(12)>=1123 в ряду https://oeis.org/A287695.
В ходе обработки найденной большой комбинаторной структуры из ДЛК порядка 12 найден интересный квадрат, который позволяет усилить сразу 2 известных на данный момент нижних ограничения:
0 1 2 3 4 5 6 7 8 9 10 11
1 2 0 4 5 8 3 6 7 11 9 10
2 10 11 6 7 3 8 4 5 0 1 9
8 5 4 1 2 11 0 9 10 7 6 3
4 6 8 0 9 10 1 2 11 3 5 7
11 9 1 8 6 7 4 5 3 10 2 0
6 8 7 9 11 1 10 0 2 4 3 5
10 11 9 5 8 4 7 3 6 2 0 1
9 0 10 7 3 6 5 8 4 1 11 2
3 4 6 11 1 2 9 10 0 5 7 8
7 3 5 10 0 9 2 11 1 6 8 4
5 7 3 2 10 0 11 1 9 8 4 6
Он имеет 3641 ОДЛК, что позволяет усилить нижнее ограничение a(12)>=1123 до a(12)>=3641 в ряду https://oeis.org/A287695.
Также он имеет 148 интеркалятов, что позволяет усилить нижнее ограничение a(12)>=136 до a(12)>=148 в ряду https://oeis.org/A307164.
На данный момент за 22 часа счета обработаны 1976 КФ ОДЛК (в среднем 40 с на одну КФ), предстоит обработать 131499 КФ (и этот список постоянно растет), обработка найденной структуры продолжается...
Комбинаторные структуры из ОДЛК порядка 11
КФ ОДЛК порядка 11, полученные в ходе беглого анализа для текущего генератора ДЛК в проекте, теперь доступны онлайн: https://disk.yandex.ru/d/N5q5wsPeeCSVPg.
Они входят в состав 100 различных комбинаторных структур, самая большая из которых (28935C190112PM) включает в своем составе 28935 КФ ОДЛК (в том числе все КФ для циклических ДЛК, образующие клику максимальной известной для данной размерности мощности). Список известных на данный момент структур доступен здесь:
http://evatutin.narod.ru/n11_known_structs_descr_rus.html
http://evatutin.narod.ru/n11_known_structs_descr_eng.html
На построение списка структур по известным спискам КФ ОДЛК ушло около 2 недель вычислительного времени Core i7 4770 в 1 поток (не считая времени, необходимого на построение КФ ОДЛК структуры 28935C190112PM).
Результаты поиска КФ ОДЛК порядка 10 в проекте Gerasim@Home за месяц.
За месяц найдено 579 985 КФ ОДЛК. Из них:
ONCE (A):1 - 1733440, where:
1 CFs - 33160
2 CFs - 1700280
LINE3 (B):1 - 90239, where:
2 CFs - 18735
3 CFs - 71504 (+2724)
LINE3 (B):2 - 54487, 32:1, where:
2 CFs - 18735
3 CFs - 35752 (+1362)
LINE4 (C):1 - 150, where:
2 CFs - 4
4 CFs - 146 (+6)
LINE4 (C):2 - 150, where:
2 CFs - 4
4 CFs - 146 (+6)
LINE5 (D):1 - 17, where:
3 CFs - 17
LINE5 (D):2 - 34, where:
3 CFs - 34
LOOP4 (E):2 - 2264, where:
1 CFs - 2
2 CFs - 138
3 CFs - 1464
4 CFs - 660 (+8)
1TO3 (F):1 - 420, where:
4 CFs - 420 (+12)
1TO3 (F):3 - 140, where:
4 CFs - 140 (+4)
1TO4 (G):1 - 1334, where:
3 CFs - 882
5 CFs - 452 (+8)
1TO4 (G):4 - 554, where:
3 CFs - 441
5 CFs - 113 (+2)
1TO5 (k):1 - 10, where:
6 CFs - 10
1TO5 (k):5 - 2, where:
6 CFs - 2
1TO6 (H):1 - 42, where:
4 CFs - 24
7 CFs - 18
1TO6 (H):6 - 11, where:
4 CFs - 8
7 CFs - 3
1TO7 (h):1 - 7, where:
8 CFs - 7
1TO7 (h):7 - 1, where:
8 CFs - 1
1TO8 (I):1 - 48, where:
5 CFs - 32
9 CFs - 16
1TO8 (I):8 - 10, where:
5 CFs - 8
9 CFs - 2
RHOMBUS3 (J):2 - 9, where:
5 CFs - 9
RHOMBUS3 (J):3 - 6, where:
5 CFs - 6
RHOMBUS4 (K):2 - 73, where:
3 CFs - 2
4 CFs - 23
5 CFs - 32
6 CFs - 16
RHOMBUS4 (K):4 - 34, where:
3 CFs - 1
4 CFs - 17
5 CFs - 8
6 CFs - 8
FISH (N):1 - 7, where:
4 CFs - 1
6 CFs - 6
FISH (N):2 - 11, where:
4 CFs - 2
6 CFs - 9
FISH (N):4 - 4, where:
4 CFs - 1
6 CFs - 3
TREE1 (V):1 - 2, where:
4 CFs - 2
TREE1 (V):2 - 1, where:
4 CFs - 1
TREE1 (V):3 - 1, where:
4 CFs - 1
CROSS (X):1 - 16, where:
6 CFs - 16
CROSS (X):2 - 4, where:
6 CFs - 4
CROSS (X):4 - 4, where:
6 CFs - 4
DAEDALUS10 (i):1 - 6, where:
12 CFs - 6
DAEDALUS10 (i):2 - 4, where:
12 CFs - 4
DAEDALUS10 (i):4 - 1, where:
12 CFs - 1
DAEDALUS10 (i):10 - 1, where:
12 CFs - 1
FLYER (j):1 - 2, where:
8 CFs - 2
FLYER (j):2 - 3, where:
8 CFs - 3
FLYER (j):4 - 3, where:
8 CFs - 3
VENUS (l):1 - 1, where:
5 CFs - 1
VENUS (l):2 - 3, where:
5 CFs - 3
VENUS (l):4 - 1, where:
5 CFs - 1
DAEDALUS8 (m):1 - 2, where:
6 CFs - 2
DAEDALUS8 (m):2 - 2, where:
6 CFs - 2
DAEDALUS8 (m):4 - 1, where:
6 CFs - 1
DAEDALUS8 (m):8 - 1, where:
6 CFs - 1
RHOMBUS5 (n):2 - 4, where:
5 CFs - 4
RHOMBUS5 (n):5 - 1, where:
5 CFs - 1
1TO10 (o):1 - 5, where:
6 CFs - 5
1TO10 (o):10 - 1, where:
6 CFs - 1
ROBOT (p):1 - 4, where:
5 CFs - 4
ROBOT (p):2 - 4, where:
5 CFs - 4
ROBOT (p):4 - 2, where:
5 CFs - 2
STINGRAY (q):1 - 1, where:
5 CFs - 1
STINGRAY (q):2 - 3, where:
5 CFs - 3
STINGRAY (q):3 - 1, where:
5 CFs - 1
Эксперимент по исследованию свойств окрестностей обобщенных симметрий:
* парастрофический срез 1 [Px Py Pv]: обработка завершена;
* парастрофический срез 3 [Py Px Pv]: пройдено 386 (+56) окрестностей из 1764 (21,2%, +3,2%).