Решила посмотреть на ортогональные ЛК 12-го порядка.
В моей
статье построена группа из 5 попарно ортогональных ЛК 12-го порядка (по описанию в одной из книг).
Очень хорошая оказалась группа! Кажется, эти ОЛК дают группу из 60 уникальных перестановок.
Пока проверила только перестановки из первых двух квадратов.
Вот группа из 24 уникальных перестановок чисел 1,2,3,...,12:
Код:
1,2,3,4,5,6,7,8,9,10,11,12,
2,3,4,5,6,1,8,9,10,11,12,7,
3,4,5,6,1,2,9,10,11,12,7,8,
4,5,6,1,2,3,10,11,12,7,8,9,
5,6,1,2,3,4,11,12,7,8,9,10,
6,1,2,3,4,5,12,7,8,9,10,11,
7,8,9,10,11,12,1,2,3,4,5,6,
8,9,10,11,12,7,2,3,4,5,6,1,
9,10,11,12,7,8,3,4,5,6,1,2,
10,11,12,7,8,9,4,5,6,1,2,3,
11,12,7,8,9,10,5,6,1,2,3,4,
12,7,8,9,10,11,6,1,2,3,4,5,
1,7,9,3,8,2,10,12,5,11,6,4,
2,8,10,4,9,3,11,7,6,12,1,5,
3,9,11,5,10,4,12,8,1,7,2,6,
4,10,12,6,11,5,7,9,2,8,3,1,
5,11,7,1,12,6,8,10,3,9,4,2,
6,12,8,2,7,1,9,11,4,10,5,3,
7,1,3,9,2,8,4,6,11,5,12,10,
8,2,4,10,3,9,5,1,12,6,7,11,
9,3,5,11,4,10,6,2,7,1,8,12,
10,4,6,12,5,11,1,3,8,2,9,7,
11,5,1,7,6,12,2,4,9,3,10,8,
12,6,2,8,1,7,3,5,10,4,11,9
При этом перестановки выписывала по строкам ЛК.
Имеем прямоугольник 24х12 strong-12-colorable.
По лемме из него можно получить прямоугольник 24х144 12-colorable.
Я ограничилась квадратом 24х24:
Код:
1,2,3,4,5,6,7,8,9,10,11,12,2,3,4,5,6,7,8,9,10,11,12,1,
2,3,4,5,6,1,8,9,10,11,12,7,3,4,5,6,7,2,9,10,11,12,1,8,
3,4,5,6,1,2,9,10,11,12,7,8,4,5,6,7,2,3,10,11,12,1,8,9,
4,5,6,1,2,3,10,11,12,7,8,9,5,6,7,2,3,4,11,12,1,8,9,10,
5,6,1,2,3,4,11,12,7,8,9,10,6,7,2,3,4,5,12,1,8,9,10,11,
6,1,2,3,4,5,12,7,8,9,10,11,7,2,3,4,5,6,1,8,9,10,11,12,
7,8,9,10,11,12,1,2,3,4,5,6,8,9,10,11,12,1,2,3,4,5,6,7,
8,9,10,11,12,7,2,3,4,5,6,1,9,10,11,12,1,8,3,4,5,6,7,2,
9,10,11,12,7,8,3,4,5,6,1,2,10,11,12,1,8,9,4,5,6,7,2,3,
10,11,12,7,8,9,4,5,6,1,2,3,11,12,1,8,9,10,5,6,7,2,3,4,
11,12,7,8,9,10,5,6,1,2,3,4,12,1,8,9,10,11,6,7,2,3,4,5,
12,7,8,9,10,11,6,1,2,3,4,5,1,8,9,10,11,12,7,2,3,4,5,6,
1,7,9,3,8,2,10,12,5,11,6,4,2,8,10,4,9,3,11,1,6,12,7,5,
2,8,10,4,9,3,11,7,6,12,1,5,3,9,11,5,10,4,12,8,7,1,2,6,
3,9,11,5,10,4,12,8,1,7,2,6,4,10,12,6,11,5,1,9,2,8,3,7,
4,10,12,6,11,5,7,9,2,8,3,1,5,11,1,7,12,6,8,10,3,9,4,2,
5,11,7,1,12,6,8,10,3,9,4,2,6,12,8,2,1,7,9,11,4,10,5,3,
6,12,8,2,7,1,9,11,4,10,5,3,7,1,9,3,8,2,10,12,5,11,6,4,
7,1,3,9,2,8,4,6,11,5,12,10,8,2,4,10,3,9,5,7,12,6,1,11,
8,2,4,10,3,9,5,1,12,6,7,11,9,3,5,11,4,10,6,2,1,7,8,12,
9,3,5,11,4,10,6,2,7,1,8,12,10,4,6,12,5,11,7,3,8,2,9,1,
10,4,6,12,5,11,1,3,8,2,9,7,11,5,7,1,6,12,2,4,9,3,10,8,
11,5,1,7,6,12,2,4,9,3,10,8,12,6,2,8,7,1,3,5,10,4,11,9,
12,6,2,8,1,7,3,5,10,4,11,9,1,7,3,9,2,8,4,6,11,5,12,10
Проверила квадрат в программе Эда, всё нормально, квадрат 12-colorable.
Теперь рассуждаем: если из всех 5 попарно ортогональных ЛК получим набор из 60 уникальных перестановок, тогда добавим к этому набору 12 комбинаций из одинаковых чисел и получим прямоугольник 72х12 strong-12-colorable. Далее применяем к этому прямоугольнику лемму и получаем очень неплохой прямоугольник 72х144 12-colorable.
Ну, готовое решение тут пока будет:
C=12, N=72x72.
Дальше надо пытаться применять алгоритм достраивания. Ничего пока не могу сказать об эффективности этого алгоритма в данном примере.
Однако, не исключено, что с этими ЛК ещё какой-нибудь финт можно проделать (без всякого достраивания). Тут надо крепко подумать. Уж очень хороший прямоугольник получается - 72х144, ровно половина квадрата 144х144.
А какая максимальная MOLS 12-го порядка известна на сегодня? Кто в курсе событий с ортогональными ЛК? Может быть, уже нашли группу из 10 попарно ортогональных ЛК? И все эти ЛК так же хороши, как те 5 ЛК, о которых я рассказала?
Тогда с построением решения C=12, N=132x132 вообще делать нечего
Да, кто владеет информацией, тот владеет миром (с).
Построение группы MOLS 12-го порядка я выполняла по описанию в книге М. Холл, "Комбинаторика", М.: Мир, 1970.
Цитата из этой книги:
Цитата:
Нет никакого другого квадрата порядка 12, ортогонального ко всем этим квадратам, и не было найдено никакого множества из шести попарно ортогональных квадратов порядка 12.
Но это было написано так давно, более 40 лет назад!