Н. Макарова

 

ГРУППЫ MOLS ПЯТНАДЦАТОГО ПОРЯДКА

 

Как-то совершенно незаметно пропустила порядок 15. В последнее время так много строю групп MOLS, что сама за собой не успеваю.

Вчера перечитала все ранние статьи данного цикла. Много мне уже удалось ликвидировать белых пятен в своих исследованиях. Ещё совсем недавно я никак не могла построить группы MOLS 14-го и 20-го порядков. Теперь они построены. Пытаюсь продвигаться дальше по книге “Handbook of Combinatorial Designs” (издание 2007 г.). Кстати, в этой книге дана самая современная таблица значений максимального количества квадратов в группах MOLS порядков от 1 до 10000. Я сравнила её с той таблицей, которая была найдена в Сети раньше (часть её приведена в одной из моих статей данного цикла). В ней есть некоторые изменения, то есть математикам удалось для некоторых порядков найти новые группы MOLS, содержащие на один или два квадрата больше, чем в найденных ранее группах. Приведу здесь копию начала этой таблицы (рис. 1).

 

 

 

Рис. 1

 

Здесь вы видите значения Q(n) для n от 0 до 339. По сравнению с прежней таблицей изменились значения Q(24), Q(36), Q(48), Q(62) и Q(75). Как вы знаете, для порядков 2 и 6 не существует даже пары ортогональных латинских квадратов. В таблице Q(2) и Q(6) положены равными 1. Q(0) = Q(1) = ∞.

Тут мы имеем необъятное поле деятельности! Ищите новые подходы, стройте новые группы MOLS. Например, до сих пор не найдена группа MOLS 10-го порядка, содержащая более двух квадратов. Пара ортогональных латинских квадратов 10-го порядка была впервые построена Паркером в 1959 году. А дальше пары никому не удалось продвинуться!

 

Теперь расскажу о группах MOLS 15-го порядка. В таблице вы видите, что Q(15)=4. Значит, пока удалось построить группу MOLS данного порядка, состоящую из четырёх квадратов.

Начну с пар ОЛК 15-го порядка. Пару ОЛК 15-го порядка можно построить методом составных квадратов (эта пара показана в конце статьи).

Интересна пара ОЛК 15-го порядка, которая строится по алгоритму, найденному мной в цикле статей “Анатомия магических квадратов” (этот цикл статей был выложен на форуме http://dxdy.ru/topic12959.html ). Покажу здесь эту пару (рис. 2 – 3) (см. статью http://www.natalimak1.narod.ru/grolk2.htm ).

 

Первый латинский квадрат

 

 

Рис. 2

 

Второй латинский квадрат

 

 

Рис. 3

 

Латинские квадраты в этой паре ОЛК хотя и недиагональные, но они являются нетрадиционными магическими квадратами. Более того, они обладают свойствами ассоциативности и пандиагональности, то есть являются идеальными. И поэтому из этой пары ОЛК получаются идеальные магические квадраты.

Множество аналогичных пар ОЛК можно получить, раскладывая готовые идеальные магические квадраты 15-го порядка, построенные, например, методом качелей, на два ортогональных латинских квадрата. Такие примеры были приведены.

 

Теперь перехожу к построению группы MOLS 15-го порядка, состоящей из четырёх квадратов. На рис. 4 вы видите копию квази-разностной матрицы из указанной выше книги.

 

 

Рис. 4

 

Я уже подробно объясняла в предыдущих статьях, как по квази-разностной матрице строить латинские квадраты. Отмечу только, что мне удобнее строить латинские квадраты, заполненные числами от 1 до 15. Поэтому все элементы матрицы я увеличиваю на единицу. Далее показаны четыре квадрата группы MOLS, построенные по данной матрице (рис. 5 - 8).

 

Первый латинский квадрат

 

 

Рис. 5

 

Второй латинский квадрат

           

 

Рис. 6

 

Третий латинский квадрат

 

 

Рис. 7

 

Четвёртый латинский квадрат

 

 

Рис. 8

 

Понятно, что из четырёх квадратов группы можно составить 6 пар ОЛК. Все квадраты в группе недиагональные, и во всех неправильная только одна диагональ. Образуем пару ОЛК из первых двух квадратов. Теперь надо исправить в обоих квадратах неправильные диагонали, чтобы сумма чисел в них была равна сумме чисел в строках и в столбцах квадратов – 120. Первый латинский квадрат преобразовываем с помощью всего одной взаимозамены: 5 à 13, 13 à 5. Преобразованный квадрат изображён на рис. 9.

 

Преобразованный первый латинский квадрат

 

 

Рис. 9

 

Второй латинский квадрат преобразовываем с помощью следующей трансформации тождественной перестановки чисел:

 

1   2   3   4   5   6   7   8   9   10   11   12   13   14   15

11 2   3   4   7   6   5   8   9   10    1    12   13   14   15

 

На рис. 10 вы видите полученный в результате такого преобразования второй латинский квадрат.

 

Преобразованный второй латинский квадрат

 

 

Рис. 10

 

Пара ОЛК готова для построения магических квадратов. На рис. 11 показан один магический квадрат, построенный из данной пары ОЛК.

 

 

Рис. 11

 

Итак, мы имеем магический квадрат 15-го порядка, построенный методом латинских квадратов из произвольно выбранной пары ОЛК. В квадрате по привычке выделила начальную цепочку. Вроде бы числа начальной цепочки размещены в квадрате без всякой системы. Однако, как знать: возможно, есть какая-то скрытая система в расположении этой начальной цепочки. Но это не так важно. Главное в том, что метод латинских квадратов и в этом случае работает.

 

Напомню читателям, что для порядка 15, как для нечётного порядка, можно применить метод Делаира. Построенная по этому методу пара ОЛК будет выглядеть, например, так (рис. 12 – 13):

 

Первый латинский квадрат

 

 

Рис. 12

 

Второй латинский квадрат

 

 

Рис. 13

 

Красивая пара ОЛК! Очевидно, что оба латинских квадрата этой пары являются нетрадиционными магическими квадратами с магической константой 120, обладающими свойством ассоциативности. И поэтому магические квадраты, построенные из данной пары ОЛК тоже ассоциативны. На рис. 14 вы видите один из этих магических квадратов.

 

 

Рис. 14

 

Здесь уже полная гармония! И начальная цепочка имеет строго диагональную форму.

Подробно о методе Делаира читайте в статьях, посвящённых методам построения магических квадратов. А лучше скачайте мою книгу “Волшебный мир магических квадратов” вот по этой ссылке:

http://narod.ru/disk/5834353000/Magic_squares.pdf.html

 

В заключение покажу пару ОЛК 15-го порядка, построенную методом составных квадратов (рис. 15 – 16).

 

Первый латинский квадрат

 

 

Рис. 15

 

Второй латинский квадрат