НОВЫЕ АСПЕКТЫ МЕТОДА ЛАТИНСКИХ КВАДРАТОВ

 

Часть VI

 

Данная страница является продолжением страницы

http://www.natalimak1.narod.ru/aspekty5.htm

 

 

Продолжаю разработку алгоритмов составления пар ОЛК чётных порядков. Все чётные порядки (за исключением 2 и 6) я разделила на три группы:

 

1.      n = 6k, k>1

2.      n = 2 (mod 6)

3.      n = 4 (mod 6)

 

Как уже было отмечено, для чётных порядков, являющихся степенью числа 2, составление пар ОЛК не вызывает затруднений. Кроме того, в предыдущей части статьи был показан метод составных квадратов; этот метод работает для порядков, представимых в виде произведения двух чисел, для каждого из которых существует пара диагональных ОЛК.

Мне удалось разработать алгоритм составления пар ОЛК для третьей группы порядков. Основой для этого алгоритма послужил греко-латинский квадрат 10-го порядка, найденный в Интернете. Таким образом, остаются две группы порядков.

Я попробовала по аналогии с алгоритмом, разработанным для третьей группы, разработать алгоритм для первой группы порядков. Вот что у меня получилось.

Начну с минимального порядка в данной группе – 12. На рис. 1 показана схема составления первого латинского квадрата.

 

 

Рис. 1

 

Переменные a₁, a₂, a₃ принимают значения 10, 11, 0 в любой комбинации.

На рис. 2 показана схема составления второго латинского квадрата.

 

 

Рис. 2

 

Аналогия со схемой составления пары ОЛК 10-го порядка полная.

Теперь задаём значения переменных и составляем конкретную пару ОЛК 12-го порядка. Пусть значения переменных будут такими: a₁ = 10, a₂ = 11, a₃ = 0. На рис. 3 – 4 показана пара ОЛК, построенная для данных значений переменных.

 

 

Рис. 3

 

 

Рис. 4

 

Понятно, что, варьируя значения переменных, можно составить 6 подобных пар ОЛК.

 

Программа проверки ортогональности подтверждает ортогональность этих латинских квадратов. Точно так же, как и латинские квадраты 10-го порядка, построенные по аналогичной схеме, латинские квадраты 12-го порядка не диагональные. Следующая трансформация тождественной перестановки чисел исправляет первый латинский квадрат, превращая его в нетрадиционный магический квадрат с магической константой 66:

 

0  1  2  3  4  5  6  7  8  9  10  11

9  4  2  3  1  5  6  7  8  0  10  11

 

На рис 5 показан преобразованный с помощью данной трансформации первый латинский квадрат.

 

 

Рис. 5

 

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

 

0  1  2  3  4  5  6  7  8  9  10  11

0  1  2  3  4  5  9  7  8  6  10  11

 

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

 

 

Рис. 6

 

И вот первый магический квадрат 12-го порядка, построенный методом латинских квадратов (с использованием классических латинских квадратов) (рис. 7):

 

 

Рис. 7

 

В квадрате выделена начальная цепочка. Конечно, она не такая стройная, как, например, в идеальном магическом квадрате 12-го порядка, но ход конём присутствует и здесь. Построенный магический квадрат не обладает никакими дополнительными свойствами. Это просто магический квадрат, построенный из пары ортогональных классических латинских квадратов методом латинских квадратов.

Интересно показать другие магические квадраты 12-го порядка, которые тоже были построены методом латинских квадратов (или могут быть построены этим методом). Вот, например, идеальный магический квадрат (копирую из другой статьи) (рис. 7а):

 

 

Рис. 7а

 

На рис. 8 – 9 показана пара ортогональных латинских квадратов, из которой построен этот квадрат.

 

 

Рис. 8

 

 

Рис. 9

 

Очевидно, что оба латинских квадрата являются обобщёнными латинскими квадратами.

Ещё один пример: ассоциативный магический квадрат, построенный методом квадратных рамок (рис. 10).

 

 

                                                                       Рис. 10

 

На рис. 11 – 12 показаны два ортогональных латинских квадрата, из которых может быть построен этот магический квадрат. Оба этих латинских квадрата тоже обобщённые.

 

 

                                                                       Рис. 11

 

 

                                                                       Рис. 12

 

И последний пример – совершенный магический квадрат (рис. 15). На рис. 13-14 показаны обобщённые латинские квадраты, из которых построен приведённый совершенный квадрат.

 

 

Рис. 13

 

 

Рис. 14

 

 

Рис. 15

 

Читатели могут найти в моих статьях множество других квадратов 12-го порядка, например: сотовый магический квадрат, магический квадрат, построенный методом окаймлённых квадратов, пандиагональный квадрат, составной магический квадрат. Но ни один из этих квадратов не раскладывается на два ортогональных классических латинских квадрата. Таким образом, полученный выше результат единственный в своём роде.

 

***

 

Следующий порядок в группе порядков n = 6k (k>1) равен 18. Этот порядок относится к чётно-нечётным порядкам, для которых не существует ни ассоциативных, ни пандиагональных, ни идеальных, ни совершенных квадратов. Предшествующий ему чётно-нечётный порядок 14 так пока и остаётся для меня загадкой. Он как раз входит во вторую группу порядков, для которой мне пока не удалась разработать алгоритм составления пар ОЛК. А сейчас покажу, какая схема у меня получилась для пары ОЛК 18-го порядка. Здесь всё аналогично схеме для квадратов 12-го порядка. На рис. 16 изображена схема составления первого латинского квадрата 18-го порядка.

 

 

Рис. 16

 

Здесь переменные a₁, a₂, a₃, a₄, a₅ принимают значения 14, 15, 16, 17, 0 в любой комбинации.

На рис 17 показана схема составления второго латинского квадрата.

 

 

Рис. 17

 

Теперь осталось построить конкретную пару ОЛК, задав значения переменных. Пусть это будут такие значения: a₁ = 14, a₂ = 15, a₃ = 16, a₄ = 17, a₅ = 0. На рис 18 – 19 показана пара ОЛК для данных значений.