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

 

Часть III

 

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

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

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

 

Напомню читателям, что в конце предыдущей части я рассказала о методе латинских квадратов применительно к построению магических квадратов порядка n = 4k + 2. Было показано использование пар  диагональных и не диагональных ОЛК порядка 10.

Поскольку пары ОЛК порядков 14 и 18 у меня отсутствуют, и строить их я пока не умею, эти порядки придётся пропустить.

 

Перехожу к латинским квадратам 22-го порядка. Во второй части статьи представлена группа из трёх взаимно ортогональных латинских квадратов данного порядка. Все три квадрата не диагональные. Более того: они не являются нетрадиционными магическими квадратами и потому не пригодны для построения магических квадратов. И соотношения:

 

22*S₁ + S₃ + 22 = 5335

22*S₂ + S₄ + 22 = 5335

 

ни для одной пары ОЛК не выполняются.

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

Тогда я взяла одну пару ОЛК и выполнила преобразование обоих латинских квадратов так, чтобы они превратились в нетрадиционные магические квадраты с магической константой 231. Другими словами: исправлены неправильные диагонали, то есть те диагонали, в которых сумма чисел была не равна магической константе квадрата. Замечу, что во всех трёх латинских квадратах, найденных мной в статье, неправильная только одна диагональ, во второй диагонали находится тождественная перестановка чисел 0, 1, 2, … 21.

Итак, показываю первый латинский квадрат выбранной мной пары ОЛК (рис. 1):

 

 

Рис. 1

 

Сумма чисел в неправильной диагонали этого латинского квадрата равна 216. Обратите внимание на другую диагональ квадрата, она выделена. Очевидно, что в этой диагонали находится тождественная перестановка чисел 0, 1, 2, … 21. Поэтому сумма чисел в этой диагонали равна магической константе квадрата – 231.

Теперь выполняю преобразование латинского квадрата, которое состоит в трансформации тождественной перестановки, то есть выполняется замена тождественной перестановки чисел 0, 1, 2, … 21 на другую перестановку:

 

0  1   2  3  4  5  6  7  8  9   10  11  12  13  14  15  16  17  18  19  20  21

0 19  7  1  4  5  8  3  2  9   10  11  12  13  14  15  16  17  18   6   20  21

 

Обратите внимание: в перестановках выделены числа, которые переставляются. Выполнить такое преобразование очень просто, надо во всём квадрате произвести замены чисел:

 

1 à 19,   2 à 7,   3 à 1,   6 à 8,   7 à 3,    8 à 2,   19 à 6

 

Все остальные числа остаются на месте.

В результате такого преобразования получается следующий латинский квадрат (рис. 2):

 

 

Рис. 2

 

Этот латинский квадрат является нетрадиционным магическим квадратом с магической константой 231.

Аналогично преобразовываю второй латинский квадрат, изображённый на рис. 3.

 

 

Рис. 3

 

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

 

  0  1  2  3  4  5   6   7    8    9  10  11  12  13  14  15  16  17  18  19  20  21

0  1  2  3  4  5  21 20 19 18  17  16  15  14  13  12  11  10   9    8    7    6

 

Как видите, это совсем другая трансформация тождественной перестановки. В результате такого преобразования получается следующий латинский квадрат (рис. 4):

 

 

Рис. 4

 

Этот латинский квадрат тоже является нетрадиционным магическим квадратом с магической константой 231.

Читателей может заинтересовать вопрос, как я нашла нужные трансформации тождественной перестановки чисел. Можно составить для этого программу, но я действовала простым подбором: надо так переставить числа в тождественной перестановке, чтобы получившийся при этом набор чисел во второй главной диагонали давал в сумме 231. Вот и весь алгоритм.

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

 

 

Теперь строю из полученной пары не диагональных ОЛК магический квадрат 22-го порядка. Замечу, что я использовала для построения магического квадрата вторую формулу, то есть поменяла местами латинские квадраты. Напомню читателям обе формулы для построения магического квадрата 22-го порядка из пары ОЛК. Обозначим матрицу первого латинского квадрата A(a_ij), матрицу второго латинского квадрата – B(b_ij), матрицу готового магического квадрата – C(c_ij). Тогда формулы для построения магического квадрата из пары ОЛК будут иметь следующий вид:

 

[1]                                                      c_ij = 22*a_ij + b_ij + 1

c_ij = 22*b_ij + a_ij + 1

 

Таким образом, из любой пары ОЛК, пригодной для построения магического квадрата, всегда можно построить два магических квадрата. Приведённый ниже магический квадрат построен по второй формуле. Первый латинский квадрат (А) изображён на рис. 2, второй латинский квадрат (В) – на рис. 4. Я не стала записывать магический квадрат в таблицу, привожу его в виде, записанном программой в файл.

 

1  436  149  214  232  313  252  182  388  46  417  484  279  359  99  167  333  305  31  448  114  86

 465  42  415  150  193  211  292  231  163  367  71  375  462  258  351  122  14  318  271  48  420  96

 401  450  52  381  151  172  190  273  210  4  346  94  372  440  237  309  475  37  297  263  69  112

 98  380  429  68  373  139  19  169  246  189  25  325  119  338  418  216  306  454  60  276  221  467

 218  121  361  408  93  331  153  29  16  223  168  54  304  466  310  396  195  272  433  83  255  446

 234  184  474  334  387  116  328  133  65  39  208  15  77  283  443  291  374  161  244  412  106  427

 129  213  156  453  311  366  471  294  152  67  62  187  38  100  249  428  270  352  21  225  391  400

 370  469  192  5  432  296  345  444  266  140  108  85  166  61  123  241  407  251  330  23  204  377

 185  349  461  171  28  411  275  324  421  247  134  118  95  13  84  476  199  386  224  308  64  362

 74  158  315  419  18  53  390  254  303  406  226  137  464  131  36  107  455  196  365  201  286  341

 264  90  3  307  416  41  70  369  233  282  385  207  138  445  463  59  117  434  162  344  186  320

 165  242  115  32  265  382  51  91  348  212  261  364  180  141  424  460  82  483  413  2  323  299

 302  12  220  468  55  262  354  87  120  327  191  227  343  157  136  405  426  105  441  392  27  278

 50  281  35  198  449  78  228  335  89  473  293  170  219  322  10  135  378  398  128  438  371  257

 337  75  260  58  176  422  101  200  314  130  452  285  17  177  301  33  142  355  379  481  404  236

 376  329  92  239  81  22  399  124  181  295  470  431  243  40  174  280  56  143  340  358  447  215

 439  357  287  113  205  104  44  384  477  160  268  442  410  240  63  8  259  79  144  319  339  194

 312  397  336  284  472  197  127  66  363  456  9  245  423  389  206  73  24  238  102  145  298  173

 277  289  394  317  250  451  155  480  88  342  435  26  230  402  368  178  109  49  217  125  146  7

 147  256  274  360  290  222  430  20  459  110  321  414  47  209  383  347  159  111  72  183  478  43

 457  148  235  253  332  267  203  409  30  425  132  300  393  76  188  356  326  6  482  97  175  45

 34  57  80  103  126  479  458  437  403  395  353  350  316  288  269  248  229  202  179  164  11  154

 

Предлагаю читателям построить второй магический квадрат 22-го порядка из этой же пары ОЛК по первой формуле. Вы убедитесь в том, что получится новый магический квадрат.

 

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

 

Пары диагональных ОЛК 22-го порядка мне найти не удалось. Жду сообщений от читателей! Может быть, кто-то знает, как составить такие пары ОЛК не только для порядка 22, а также для пропущенных выше порядков 14 и 18, но и для любого порядка рассматриваемой серии.

 

Глава 3. ПОСТРОЕНИЕ ПОЛУМАГИЧЕСКИХ КВАДРАТОВ

 

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

Вы можете использовать для построения полумагических квадратов все пары ОЛК, приведённые в статье, из которых нельзя построить магические квадраты. Приведу только один пример – построение полумагического квадрата 9-го порядка. На рис. 5 показана пара ОЛК, не пригодная для построения магических квадратов. Один из латинских квадратов в этой паре не диагональный. Данная пара ОЛК взята из группы взаимно ортогональных латинских квадратов, построенной в Maple.

 

 

Рис. 5

 

Посмотрите на эти латинские квадраты. Второй латинский квадрат (изображён справа) диагональный. В первом латинском квадрате только одна диагональ неправильная. Поэтому, понятно, что в полумагическом квадрате, построенном из этой пары ОЛК магической суммы нет только в одной диагонали.  Готовый полумагический квадрат показан на рис. 6.

 

 

Рис. 6

 

Вот такой “хромой” на одну диагональ полумагический квадрат получился. А теперь я отправляю этот квадрат на исправление  “хромой” диагонали. Это очень успешно делает у меня программа перестановки строк. Ввожу квадрат в программу, и за несколько секунд получаю следующий магический квадрат (рис. 7):

 

 

Рис. 7

 

Понятно, что, разложив этот магический квадрат на два ортогональных латинских квадрата, мы получим ту пару ОЛК, из которой этот квадрат построен. Очевидно, что латинские квадраты этой пары отличаются от квадратов пары ОЛК, показанной на рис. 5, точно такой же перестановкой строк. На рис. 8 вы видите пару ОЛК, соответствующую магическому квадрату с рис. 7.

 

 

Рис. 8

 

Оба латинских квадрата стали не диагональными. Зато они являются нетрадиционными магическими квадратами с магической константой 36 и потому пригодны для построения магических квадратов.

 

Глава 4. ПОСТРОЕНИЕ НЕТРАДИЦИОННЫХ МАГИЧЕСКИХ КВАДРАТОВ

 

Применение метода латинских квадратов для построения нетрадиционных магических квадратов уже было освещено в статье “Нетрадиционные магические квадраты” (http://www.natalimak1.narod.ru/netradic.htm ). Однако там использовались обобщённые латинские квадраты. Теперь рассмотрим построение нетрадиционных магических квадратов с использованием ортогональных классических латинских квадратов.

 

4.1. ИСПОЛЬЗОВАНИЕ ТРАДИЦИОННЫХ ЛАТИНСКИХ КВАДРАТОВ

 

Этот способ тоже был освещён в указанной статье. Поэтому повторю его очень кратко.

Традиционным латинским квадратом порядка n будем называть латинский квадрат, заполненный числами 0, 1, 2, … n-1. Если мы имеем пару традиционных ОЛК, из которой можно построить традиционные магические квадраты, то из этой пары ОЛК можно построить и нетрадиционные магические квадраты, если в формуле для построения магического квадрата (см. формулы[1]) изменить множитель. Приведу пример. Возьмём пару ОЛК, изображённую на рис. 8, и построим из неё нетрадиционный магический квадрат 9-го порядка, применив такую формулу:

 

[2]                                          c_ij = 10*a_ij + b_ij + 1

 

Вы видите этот нетрадиционный магический квадрат на рис. 9.

 

 

Рис. 9

 

Сравните полученный нетрадиционный магический квадрат с традиционным магическим квадратом на рис. 7.  Легко заметить, что в обоих квадратах совершенно одинаковая начальная цепочка (на рис. 9 она выделена жёлтым цветом). Можно построить бесконечно много подобных нетрадиционных магических квадратов, выбирая в формуле для построения другие множители, и во всех этих квадратах начальная цепочка не изменится. Нетрудно понять, почему так получается, если внимательно посмотреть на формулу построения магического квадрата.

Если в формуле для построения магического квадрата взять множитель меньше порядка квадрата, тоже получится нетрадиционный магический квадрат, но в нём будут повторяющиеся числа. Возьмём, например, для той же пары ОЛК с рис. 8 в формуле для построения магического квадрата множитель 8. В результате получим такой нетрадиционный магический квадрат (рис. 10):

 

 

Рис. 10

 

А начальная цепочка не изменилась!

Можно взять даже множитель 1 в формуле для построения магического квадрата. Тогда получится такой нетрадиционный магический квадрат (рис. 11):

 

 

Рис. 11

 

И опять точно такая же начальная цепочка.

Если в этом случае не прибавлять единицу, то магический квадрат получается просто поэлементным сложением латинских квадратов.

Таким образом, формулу [2] для построения нетрадиционных магических квадратов можно записать в следующем виде:

 

[3]                              c_ij = m*a_ij + b_ij + 1,      m = 1,  2,  3, …

 

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

 

4.2. ИСПОЛЬЗОВАНИЕ НЕТРАДИЦИОННЫХ ЛАТИНСКИХ КВАДРАТОВ

 

А теперь рассмотрим латинские квадраты, которые заполнены произвольными натуральными числами. По аналогии с магическими квадратами будем называть такие латинские квадраты нетрадиционными. Но по-прежнему будем рассматривать классические латинские квадраты.

Возьмём конкретный пример – диагональный латинский квадрат 5-го порядка (рис. 12).

 

 

Рис. 12

 

Это традиционный латинский квадрат, так как он заполнен числами 0, 1, 2, 3, 4. Однако латинский квадрат можно заполнить любыми натуральными числами. Обозначим: a – 0, b – 1, c – 2, d – 3, e – 4. Тогда латинский квадрат 5-го порядка, изображённый на рис. 10, можно записать в общем виде (рис. 13):

 

 

Рис. 13

 

Точно так же в общем виде запишем второй латинский квадрат ортогональный данному (рис. 14):

 

 

Рис. 14

 

Задав произвольные значения символьных констант, мы получим пару нетрадиционных диагональных ОЛК, из которой можно построить бесконечно много нетрадиционных магических квадратов (варьируя множитель в формуле). Пусть, например: a = 2, b = 4, c = 5, d = 7, e = 9. В формуле для построения магического квадрата возьмём множитель 10. Готовый нетрадиционный магический квадрат 5-го порядка изображён на рис. 15.

 

 

Рис. 15

 

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

 

4.3. ИСПОЛЬЗОВАНИЕ НЕ ОРТОГОНАЛЬНЫХ ЛАТИНСКИХ КВАДРАТОВ

 

Для построения нетрадиционных магических квадратов можно использовать пары не ортогональных латинских квадратов, только необходимо, чтобы оба латинских квадрата были нетрадиционными магическими квадратами. При таком способе построения в нетрадиционном квадрате будут повторяющиеся числа. Приведу примеры.

На рис. 16 изображена пара не ортогональных латинских квадратов 10-го порядка.

 

 

Рис. 16

 

Оба латинских квадрата в этой паре являются нетрадиционными магическими квадратами с магической константой 45. На рис. 17 показан нетрадиционный магический квадрат, построенный из данной пары не ортогональных латинских квадратов.

 

 

Рис. 17

 

Магическая константа этого нетрадиционного квадрата равна магической константе традиционного магического квадрата 10-го порядка. Если в формуле для построения магического квадрата взять другой множитель, отличный от порядка квадрата, то получится новый нетрадиционный магический квадрат с другой магической константой. Понятно, что таких квадратов можно построить бесконечно много из одной пары латинских квадратов.

Таким способом можно строить даже нетрадиционные магические квадраты 6-го порядка. Как уже известно читателям, для порядка 6 не существует ортогональных квадратов. А нам сейчас и не нужны ортогональные латинские квадраты. На рис. 18 изображён латинский квадрат 6-го порядка, построенный по придуманной мной схеме для любого порядка n = 4k + 2.

 

 

Рис. 18

 

Этот латинский квадрат не диагональный, в нём одна диагональ неправильная, сумма чисел в этой диагонали не равна магической константе квадрата. Преобразовываю этот квадрат с помощью следующей трансформации тождественной перестановки чисел:

 

0  1  2  3  4  5

0  1  3  2  4  5

 

В результате такого преобразования получаю следующий латинский квадрат (рис. 19):

 

 

Рис. 19

 

Этот латинский квадрат является нетрадиционным магическим квадратом с магической константой 15. Второй латинский квадрат не буду сочинять, получу его из первого латинского квадрата поворотом на 90 градусов вокруг центра квадрата по часовой стрелке. Показывать второй латинский квадрат тоже не буду. На рис. 20 вы видите готовый нетрадиционный магический квадрат (в формуле для построения магического квадрата взят множитель 6).

 

 

Рис. 20

 

Магическая константа этого квадрата равна магической константе традиционного магического квадрата 6-го порядка. Можно построить из данной пары не ортогональных латинских квадратов бесконечно много нетрадиционных магических квадратов, варьируя множитель m в формуле [3].

Ещё один пример для квадратов 6-го порядка. На рис. 21 вы видите диагональный латинский квадрат 6-го порядка (квадрат взят из книги Ю. В. Чебракова, стр. 73):

 

 

Рис. 21

 

Этот латинский квадрат уже является нетрадиционным магическим квадратом с магической константой 15, поскольку он диагональный. Возьмём в качестве второго латинского квадрата отражённый относительно горизонтальной оси симметрии первый латинский квадрат. Готовый нетрадиционный магический квадрат, построенный из данной пары латинских квадратов, вы видите на рис. 22 (множитель в формуле для построения взят равным 6).

 

 

Рис. 22

 

Магическая константа этого квадрата равна магической константе традиционного магического квадрата 6-го порядка.

 

Итак, чтобы построить нетрадиционный магический квадрат любого порядка методом латинских квадратов, надо: 1) построить любой латинский квадрат данного порядка; 2) если этот латинский квадрат не является нетрадиционным магическим квадратом, преобразовываем его, исправляя неправильные диагонали; 3) любым способом строим второй латинский квадрат из первого латинского квадрата (например, поворотом на 90 градусов или отражением относительно одной из осей симметрии квадрата); 4) строим магический квадрат по формуле [3].

Вообще говоря, можно остановиться и на втором этапе, ведь нетрадиционный магический квадрат уже построен. Но, конечно, этот квадрат не очень интересен, так как заполнен он числами 0, 1, 2, … n-1.

 

Покажу пример для порядка 12. У меня нет ни одной пары ортогональных латинских квадратов для данного порядка, а один латинский квадрат есть, и диагонали в нём уже исправлены. Копирую этот квадрат из предыдущей части статьи (рис. 23):

 

 

Рис. 23

 

Этот латинский квадрат является нетрадиционным магическим квадратом с магической константой 66. Получим второй латинский квадрат из первого, отразив его относительно вертикальной оси симметрии. Из полученной пары не ортогональных латинских квадратов строим нетрадиционный магический квадрат, взяв в формуле [3] множитель m = 12. Готовый квадрат вы видите на рис. 24.

 

 

Рис. 24

 

Интересный квадрат получился, он состоит из пар “перевёрнутых” строк. Магическая константа этого квадрата равна магической константе традиционного магического квадрата 12-го порядка.

Варьируя множитель m, можно построить бесконечно много подобных нетрадиционных магических квадратов.

 

***

 

 ЕЩЁ НЕМНОГО О ГРЕКО-ЛАТИНСКИХ КВАДРАТАХ 10-го ПОРЯДКА

 

А сейчас покажу греко-латинский квадрат 10-го порядка (рис. 25), который нашла по ссылке:

http://www.mi.ras.ru/spm/pdf/011.pdf

 

 

Рис. 25

 

Своеобразная диагональная симметрия в этом квадрате замечательная. И только в нижнем угловом квадрате 3х3 эта симметрия нарушается. Интересный экземпляр! В отличие от греко-латинского квадрата Паркера, приведённого в книге М. Гарднера, в этом квадрате есть какая-то закономерность, которая сразу бросается в глаза.

 

Примечание: при более пристальном рассмотрении пары ОЛК Паркера и особенно при сравнении её с парой ОЛК Стенсона, я увидела некоторые закономерности.

 

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

Выполнив любую трансформацию тождественной перестановки чисел 0, 1, 2, … 9, можно получить 3628800 вариантов подобных греко-латинских квадратов.

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

 

0  1  2  3  4  5  6  7  8  9

9  0  1  2  3  4  5  6  7  8

 

В результате получим такой греко-латинский квадрат (рис.  26):

 

 

Рис. 26

 

В этом квадрате точно такая же диагональная симметрия, которая нарушена только в нижнем угловом квадрате 3х3.

Оба представленных греко-латинских квадрата являются готовыми полумагическими квадратами (записанными в нетрадиционной форме). Попробую сделать из полумагического квадрата с рис. 25 магический квадрат путём перестановки строк. Ввожу этот квадрат в программу перестановки строк и через несколько секунд получаю следующий магический квадрат (рис. 27):

 

 

Рис. 27

 

Этот магический квадрат записан в традиционной форме.

 

Вернёмся к греко-латинскому квадрату Паркера. Покажу снова пару ортогональных латинских квадратов, из которых состоит этот квадрат (рис. 28):

 

 

Рис. 28

 

Очевидно, что оба латинских квадрата в этой паре не диагональные. Поэтому данная пара не пригодна для построения магического квадрата. Из неё можно построить полумагический квадрат (греко-латинский квадрат Паркера и является готовым полумагическим квадратом, полученным из этой пары ОЛК). Этот полумагический квадрат легко превратить в магический простой перестановкой строк. На рис. 29 показан магический квадрат, полученный из греко-латинского квадрата Паркера перестановкой строк (квадрат записан в нетрадиционной форме).

 

 

Рис. 29

 

Всё это было подробно показано в предыдущей части статьи. А сейчас покажу преобразования обоих латинских квадратов в паре Паркера с целью получить пару, пригодную для построения магического квадрата. Эти преобразования выполняются путём трансформации тождественной перестановки чисел. Такие преобразования тоже не раз были показаны в предыдущих частях статьи.

Начнём с преобразования первого латинского квадрата (на рис. 28 этот квадрат изображён слева). В этом латинском квадрате неправильная только одна диагональ. Для исправления этой диагонали достаточно применить такую трансформацию тождественной перестановки чисел:

 

0  1  2  3  4  5  6  7  8  9

2  1  0  6  4  5  3  7  8  9

 

Напомню, как выполнять данное преобразование. Надо в преобразуемом латинском квадрате выполнить следующие замены чисел:

 

0 à 2,   2 à 0,   3 à 6,   6 à 3

 

В результате такого преобразования получим следующий латинский квадрат (рис. 30):

 

 

Рис. 30

 

Очевидно, что этот латинский квадрат является нетрадиционным магическим квадратом с магической константой 45. Неправильная диагональ исправлена.

Переходим к преобразованию второго латинского квадрата (на рис. 28 этот квадрат изображён справа). В этом латинском квадрате обе диагонали неправильные. Поэтому выполняем преобразование в два этапа. Сначала исправляем диагональ

 

0  1  2  3  4  5  6  7  7  7

 

Сумма чисел в этой диагонали равна 42, до нужной суммы не хватает 3. Легко видеть, что следующая трансформация тождественной перестановки чисел исправит эту диагональ:

 

0  1  2  3  4  5  6  7  8  9

0  1  2  3  4  5  6  8  7  9

 

В результате такого преобразования получаем следующий латинский квадрат (рис. 31):

 

 

Рис. 31

 

Теперь надо исправить вторую диагональ. Сумма чисел в этой диагонали равна 42. Выполним следующую трансформацию тождественной перестановки чисел:

0  1  2  3  4  5  6  7  8  9

0  2  3  1  4  5  6  7  8  9

 

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

 

 

Рис. 32

 

Понятно, что два этапа преобразований можно объединить, сразу выполнив такую трансформацию тождественной перестановки чисел:

 

0  1  2  3  4  5  6  7  8  9

0  2  3  1  4  5  6  8  7  9

 

И вот какой греко-латинский квадрат получила я из греко-латинского квадрата Паркера (рис. 33):

 

 

Рис. 33

 

Это готовый магический квадрат, записанный в нетрадиционной форме. Чтобы привести квадрат к традиционной форме записи, надо все элементы этого квадрата увеличить на единицу.

 

В преобразованиях пары ОЛК такого вида возникает два вопроса:

1) любая ли трансформация тождественной перестановки чисел в ортогональных не диагональных латинских квадратах сохраняет их ортогональность?

2) любой ли не диагональный латинский квадрат (с неправильными суммами в диагоналях) можно превратить в латинский квадрат, являющийся нетрадиционным магическим квадратом (то есть имеющим в диагоналях такие же суммы чисел, как в строках и столбцах)?

 

Мне сказали в личной переписке (не называю автора), что ответ на первый вопрос очевидно положительный. Если это так, очень хорошо. Тогда остаётся один вопрос. Формулирую его в виде гипотезы, которую, конечно, надо доказать:

 

 

Выше были показаны примеры такого превращения для двух не диагональных латинских квадратов 10-го и  22-го порядков.

Ещё интересен вопрос: как находить нужную трансформацию тождественной перестановки чисел. Разумеется, в общем случае надо составить программу. Во всех приведённых примерах я действовала простым подбором. Для квадратов 10-го порядка всё получилось с ходу. Над квадратами 22-го порядка пришлось немного подумать.

Ну, а теперь рассмотрим ещё один пример, чтобы подтвердить высказанную гипотезу. Возьмём греко-латинский квадрат, изображённый на рис. 25. Разложим его на два ортогональных латинских квадрата (рис. 34):

 

 

Рис. 34

 

Начнём с латинского квадрата, изображённого слева. В этом квадрате обе диагонали неправильные. Конечно, если составлять программу, можно сразу искать такую трансформацию тождественной перестановки чисел, которая исправит сразу обе диагонали. Поскольку я решаю задачу подбором, буду выполнять преобразование в два этапа. Для исправления диагонали 1, 2, 3, 4, 5, 6, 7, 8, 8, 8 применяю такую трансформацию тождественной перестановки чисел:

 

0  1  2  3  4  5  6  7  8  9

1  0  2  3  4  8  6  7  5  9

 

Показываю латинский квадрат, получившийся в результате такого преобразования (рис. 35).

 

 

Рис. 35

 

Теперь надо исправить в полученном квадрате вторую диагональ. Сейчас в этой диагонали сумма чисел равна 43. Нужную трансформацию тождественной перестановки чисел для исправления этой диагонали подобрать очень просто. Вот она:

 

0  1  2  3  4  5  6  7  8  9

2  1  0  3  4  5  6  7  8  9

 

На рис. 36 вы видите полностью исправленный латинский квадрат. Этот квадрат является нетрадиционным магическим квадратом с магической константой 45.

 

 

Рис. 36

 

Переходим ко второму латинскому квадрату (этот квадрат на рис. 34 справа). В этом квадрате только одна диагональ неправильная. Сумма чисел в этой диагонали равна 43. Очевидно, что для исправления этой диагонали годится только что применённая трансформация тождественной перестановки чисел:

 

0  1  2  3  4  5  6  7  8  9

2  1  0  3  4  5  6  7  8  9

 

Готовый второй латинский квадрат вы видите на рис. 37.

 

 

Рис. 37

 

Из полученной пары ортогональных латинских квадратов (рис. 36 и рис. 37) составляем греко-латинский квадрат (рис. 38).

 

 

Рис. 38

 

Это готовый магический квадрат, записанный в нетрадиционной форме.

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

 

Продолжение будет здесь:

 

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

 

Читайте мою виртуальную книгу “Волшебный мир магических квадратов”:

 

http://www.klassikpoez.narod.ru/glavnaja.htm

 

3 – 8 января 2009 г.

г. Саратов

 

       Пишите мне!

Приглашаю всех на форум!

На главную страницу