Латинский квадрат

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Лати́нский квадра́т n-го порядка — таблица L=(lij) размеров n × n, заполненная n элементами множества M таким образом, что в каждой строке и в каждом столбце таблицы каждый элемент из M встречается в точности один раз. Пример латинского квадрата 3-го порядка:

который может быть представлен в виде {(1,1,A), (1,2,B), (1,3,C), (2,1,C), (2,2,A), (2,3,B), (3,1,B), (3,2,C), (3,3,A)}, где первый и второй элемент — позиция элемента в матрице, а третий — значение.

В настоящее время в качестве множества M обычно берётся множество натуральных чисел {1,2,…,n} или множество {0,1,…,n-1}, однако Леонард Эйлер использовал буквы латинского алфавита, откуда латинские квадраты и получили своё название[1].

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

История исследований латинских квадратов[править | править код]

Окно в честь Фишера с латинским квадратом 7-го порядка. Кембридж

Впервые латинские квадраты (4-го порядка) были опубликованы в книге «Шамс аль-Маариф» («Книга о Солнце Гнозиса»), написанной Ахмадом аль-Буни в Египте приблизительно в 1200 году.

В 1700 году латинские квадраты были описаны корейским математиком Чхве Сок Чон, где он сформулировал «задачу о шестиугольной черепахе», полностью эквивалентную «задаче о 36 офицерах», которая будет вновь сформулирована Эйлером через 67 лет.

Пары ортогональных латинских квадратов были упомянуты Жаком Озанамом в 1725 году[2]. В книге, представляющей собой сборник задач по физике и математике, приведена следующая задача:

Необходимо разместить 16 игральных карт из тузов, королей, дам и валетов всех четырёх мастей в виде квадрата так, чтобы все масти и карты всех достоинств встречались в каждой строке и в каждом столбце ровно один раз.

Эта задача имеет 6912 решений (если дополнительно потребовать, чтобы и диагонали квадрата удовлетворяли тому же условию, то число решений уменьшится в 6 раз и станет равным 1152).

Важной вехой в истории исследований латинских квадратов стала работа Эйлера[1]. Он занимался в ней методами построения магических квадратов и предложил метод, основанный на паре ортогональных латинских квадратов. Исследуя такие пары, Эйлер выяснил, что проблема их построения подразделяется на три случая в зависимости от остатка от деления числа n на 4. Он предложил способы построения пар ортогональных квадратов для n, делящихся на 4 и для нечётных n. Очевидно, что при n = 2 таких пар не существует. Ему не удалось построить пары ортогональных латинских квадратов для n = 6, 10 и он высказал гипотезу о том, что не существует пар ортогональных квадратов для n = 4t+2. Для n = 6 он сформулировал «задачу о 36 офицерах»:

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

В 1890 году Кэли вывел формулу для числа латинских прямоугольников из двух строк (частный случай классической комбинаторной «задачи о встречах», поставленной P. Montmort в 1708 году).[3]

В 1900 году гипотеза Эйлера для n = 6 была подтверждена Терри[en][4]. Он построил все 9408 нормализованных латинских квадратов, разбил их на 17 типов и показал, что при любом их сочетании невозможно построить пару ортогональных квадратов. Таким образом, он отрицательно решил «задачу о 36 офицерах».

В 1922 году MacNeish впервые применил теоретико-групповой подход к решению задач относительно латинских квадратов[5]. В частности, он предложил метод конструирования латинских квадратов порядка n1•n2 из латинских квадратов порядков n1 и n2, при этом свойство ортогональности сохраняется.

В 1925 году Роналд Фишер предложил использовать ортогональные латинские квадраты для планирования сельскохозяйственных экспериментов[6].

В 1920—1930 годы стали интенсивно изучаться неассоциативные алгебраические структуры, что привело, в частности, к созданию теории квазигрупп, тесно связанной с изучением латинских квадратов, так как между латинскими квадратами и таблицами Кэли квазигрупп существует взаимно-однозначное соответствие.

В 1959 году Bose и Shrikhande построили 2 ортогональных латинских квадрата для n = 22, а в 1960 году они же и Parker построили с использованием ЭВМ минимальный контрпример для n = 10. Таким образом, спустя 177 лет гипотеза Эйлера была опровергнута[7].

Число латинских квадратов[править | править код]

Точная формула для числа L(n) латинских квадратов n-го порядка неизвестна. Наилучшие оценки для L(n) даёт формула

[8]

Каждому латинскому квадрату можно поставить в соответствие нормализованный (или редуцированный) латинский квадрат, у которого первая строка и первый столбец заполнены в соответствии с порядком, заданном на множестве M. Пример нормализованного латинского квадрата:

Число R(n) нормализованных латинских квадратов n-го порядка (последовательность A000315 в OEIS) в n!(n-1)! раз меньше, чем L(n) (последовательность A002860 в OEIS).

Точные значения величины L(n) известны для n от 1 до 11[9]:

Число латинских квадратов
n R(n) L(n) Автор и год
1 1 1
2 1 2
3 1 12
4 4 576
5 56 161280 Euler (1782)
6 9408 812851200 Frolov (1890)
7 16942080 61479419904000 Sade (1948)
8 535281401856 108776032459082956800 Wells (1967)
9 377597570964258816 5524751496156892842531225600 Bammel и Rothstein (1975)
10 7580721483160132811489280 9982437658213039871725064756920320000 McKay и Rogoyski (1995)
11 5363937773277371298119673540771840 776966836171770144107444346734230682311065600000 McKay и Wanless (2005)

Отношения эквивалентности на множестве латинских квадратов[править | править код]

Два латинских квадрата называют изотопными, если один из них может быть получен из другого в результате изотопии — композиции из перестановки строк, перестановки столбцов и замены элементов множества M по подстановке из симметрической группы S(M).

Изотопия является отношением эквивалентности, поэтому множество латинских квадратов n-го порядка разбивается на непересекающиеся изотопические классы. Из одного латинского квадрата можно получить с помощью изотопии (n!)3 эквивалентных, но некоторые из них при этом могут совпасть с исходным, это называется автопаратопией. Доля латинских квадратов с нетривиальной группой автопаратопий стремится к нулю с ростом n[9].

Латинский квадрат можно рассматривать как ортогональный массив. Меняя порядок элементов в каждой упорядоченной тройке этого массива, можно получить 6 латинских квадратов, которые называются парастрофами. В частности, парастрофом является латинский квадрат, полученный в результате транспонирования.

Композиция изотопии и парастрофии называется изострофией. Это ещё одно отношение эквивалентности, его классы называются главными классами. Каждый главный класс содержит 1, 2, 3 или 6 изотопических классов. В случае совпадения исходного латинского квадрата и изострофного ему, говорят об автострофии. С ростом n почти все латинские квадраты имеют тривиальную группу автострофий[10].

Число классов эквивалентности
n Число главных классов Число изотопических классов
1 1 1
2 1 1
3 1 1
4 2 2
5 2 2
6 12 22
7 147 564
8 283657 1676267
9 19270853541 115618721533
10 34817397894749939 208904371354363006
11 2036029552582883134196099 12216177315369229261482540

Ортогональные латинские квадраты[править | править код]

Два латинских квадрата L=(lij) и K=(kij) n-го порядка называются ортогональными, если все упорядоченные пары (lij,kij) различны. Пример двух ортогональных латинских квадратов и соответствующие им упорядоченные пары:

Эйлер называл такие квадраты «полными». В его честь в научной литературе их раньше называли «эйлеровыми» или «греко-латинскими» (так как Эйлер использовал буквы греческого алфавита для квадрата, ортогонального латинскому).

Ортогональные латинские квадраты существуют для любого n, не равного 2 и 6.

Латинский квадрат L n-го порядка имеет ортогональный ему квадрат тогда и только тогда, когда в L существует n непересекающихся трансверсалей.

Особый интерес в связи с многочисленными приложениями вызывают множества из нескольких попарно ортогональных латинских квадратов n-го порядка. Максимально возможная мощность N(n) такого множества равна n-1, в этом случае множество называется полным.

При n, стремящемуся к ∞, величина N(n) тоже стремится к ∞.

Для n, являющегося степенью простого числа, всегда существует полное множество попарно ортогональных латинских квадратов, его можно взаимооднозначно сопоставить с конечной проективной плоскостью порядка n. Для его построения применяется метод Боуза, использующий для заполнения квадратов значения многочленов вида при ненулевом a над полем [11]. Пример построения полного множества попарно ортогональных латинских квадратов 4-го порядка (d — корень примитивного многочлена над ):

Если n ≡ 1 (mod 4) или n ≡ 2 (mod 4) и свободная от квадрата часть числа n содержит хотя бы один простой множитель p ≡ 3 (mod 4), то для таких n полного множества попарно ортогональных латинских квадратов не существует.

Известные нижние оценки числа N(n) при n < 33 приведены в следующей таблице (выделены оценки, которые могут быть улучшены):

Нижние оценки числа N(n)
n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
N(n)≥ 2 3 4 6 7 8 2 10 5 12 3 4 15 16 3 18 4 5 3 22 6 24 4 26 5 28 4 30 31

Построение ортогональных квадратов — сложная комбинаторная задача. Для её решения применяются как алгебраические конструкции, так и комбинаторные (трансверсали, ортогональные массивы, дизайны, блок-схемы, тройки Штейнера и др.) Существует несколько подходов к решению этой задачи, их можно разделить на две группы. К первой группе относятся методы, основанные на выборе базового латинского квадрата, к которому отыскиваются изотопные ортогональные латинские квадраты. Например, пять попарно ортогональных латинских квадратов 12-го порядка были найдены в результате построения четырёх ортоморфизмов абелевой группы, являющейся прямым произведением циклических групп порядков 6 и 2.[12]

Ко второй группе относятся методы, использующие для построения ортогональных латинских квадратов комбинаторные объекты (включая сами латинские квадраты) меньших порядков. Например, два латинских квадрата 22-го порядка были построены Bose и Shrikhande на основе двух дизайнов 15-го и 7-го порядка.

Диагональные латинские квадраты[править | править код]

Латинский квадрат называется диагональным, если в дополнение к требованиям уникальности элементов в строках и столбцах, свойственным для латинского квадрата, добавляются требования уникальности элементов на главной и побочной диагоналях[13]. Аналитическая оценка числа диагональных латинских квадратов неизвестна, их число для размерностей N<10 было определено в 2016 г. в проекте добровольных распределённых вычислений Gerasim@Home[14][15][16] (последовательность A274171 в OEIS и последовательность A274806 в OEIS). Для диагональных латинских квадратов, как и для просто латинских, возможно построение ортогональных пар, часть из которых (порядка 9 и 10) была найдена в проекте добровольных распределённых вычислений SAT@home с использованием SAT-подхода. В настоящее время поиск пар ортогональных диагональных латинских квадратов 10-го порядка производится в проекте добровольных распределённых вычислений Gerasim@Home с использованием трансверсалей[17], а также в BOINC-проектах ODLK[18] и ODLK1[19]. 25 апреля 2018 г. найден диагональный латинский квадрат 10-го порядка, имеющий 10 ортогональных диагональных латинских квадратов[20]. Это максимальное известное количество ортогональных диагональных квадратов у диагонального латинского квадрата 10-го порядка (последовательность A287695 в OEIS). Открытой математической проблемой является существование тройки попарно ортогональных диагональных латинских квадратов порядка 10 (на текущий момент наилучшим приближением к её решению является тройка квадратов, в которой две пары квадратов ортогональны, а третья частично ортогональна в 74 ячейках[21]).

Частичные квадраты[править | править код]

Квадрат, в котором каждый элемент множества M в каждой строке и в каждом столбце встречается не более одного раза, называется частичным.

Задача распознавания того, может ли частичный квадрат быть дополнен до латинского, является NP-полной.

Введено понятие критического множества, соответствующего частичному квадрату, который однозначно может быть дополнен до латинского, причём никакое его подмножество условию однозначности не удовлетворяет[22]. Мощность C(n) критического множества для квадратов размеров n × n известна для n < 7:

Мощность критического множества
n 1 2 3 4 5 6
С(n) 0 1 3 7 11 18

Нерешённые задачи[править | править код]

Помимо задачи нахождения формулы для величины L(n), имеется большое количество нерешённых задач относительно латинских квадратов. Ряд таких задач был сформулирован на конференции Loops’03:

  • Оценка максимального числа трансверсалей в латинском квадрате n-го порядка
  • Характеризация латинских подквадратов в таблице умножения луп Муфанг
  • Оценка плотности частичного квадрата, удовлетворяющего свойству Блэкберна
  • Вычисление максимального t(n), при котором 2t(n) делит величину L(n)

Применение[править | править код]

Пример использования латинского квадрата в филателии

Латинские квадраты находят широкое применение в алгебре, комбинаторике, статистике, криптографии, теории кодов и многих других областях.

Применение в криптографии. Протокол с нулевым разглашением[править | править код]

В настоящее время латинские квадраты активно применяются для реализации протоколов с нулевым разглашением. В частности для генерации MAC.
Пусть q={1,2,…,n}. Для данного латинского квадрата

b = q/2 варианты LS изотопные друг другу.

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

1. случайным образом переставляет и получает другой латинский квадрат Н
2. отправляет Н к
3. просит либо:
— доказать что Н и изотопны
— доказать что Н и изотопны
4. выполняет просьбу. Он или
— доказывает что Н и изотопны
— доказывает что Н и изотопны
5. и повторяют шаги 1-4 n раз

Ниже приведён псевдокод для посчёта Хеш-функции

for k from 1 to q do
    begin
        d_k=1;
    end
for i from 1 to q do
    begin
    for j from 1 to q do
        begin
        for k from 1 to b do
            begin
                 d_l_ji=m_ij*d_l_ji;
            end
        end
    end

Хеш-сумма получится в векторе D=[]
Пример использования:
Пусть q=8, b=4



и


Предположим что передаётся следующее сообщение:


Перемещения строк для получения матриц с до



Зададим вектор
И будем считать хеш по алгоритму приведённому выше:
Получим

Применение в криптографии. Схема разделения секрета[править | править код]

Схема с разделением секрета, в которой ключом является латинский квадрат порядка . Латинский квадрат держится в секрете. Между тем порядок латинского квадрата публикуется для всех. Разделение секрета основано на частичных латинских квадратах ={ | критические множества }. Объединение может быть составлено из всех возможных критических множеств L или из множества критических множеств. Количество критических множеств зависит от порядка латинского квадрата и числа участников, участвующих в схеме.
Протокол:
Выбирается латинский квадрат L. Порядок n разглашается, но сам латинский квадрат остаётся в секрете и используется как ключ.
Множество S объединение критических множеств L.
Каждый участник получает долю (i, j, k) .
Когда участники собираются вместе они могут соединить свои части вместе и восстановить квадрат L.
Пример:
Выделим три частичных квадрата:

И целый квадрат L

0 1 2
1 2 0
2 0 1

Мы можем легко убедиться, что все частные латинские квадраты , , являются критическими множествами. Они могут быть однозначно расширены до полного латинского квадрата L. Это уникальное свойство теряется если любой элемент любого частичного латинского квадрата , , удаляется.
Пусть объединение трёх критических наборов , , . Тогда = .
Мы распространяем трём участникам части . Любые два участника могут восстановить полный латинский квадрат.
Полученный выше простой пример может быть расширен до общего случая.
В 1979 латинский квадрат был предложен в качестве хорошего кандидата для использования в секретных схемах распределения. Однако, Есть определённые ограничения для его применения, как описано ниже.
1) Сразу после распределения частей критического множества, частичная информация будет доступна любой несанкционированной группе. Это означает, что есть высокий шанс для любой несанкционированной группе, чтобы выяснить остальные части методом проб и ошибок. Таким образом, предложенная схема не идеальна.
2) Схема не является гибкой. В данном случае это просто схема расщепления секрета.
Хеширование
Если мы хотим, использовать хеш-сумму для хранения фиксированного секретного квадрата, например, латинского квадрата порядка 10, мы должны хранить 81 номер (последнюю строку и столбец хранить не обязательно). Четыре бита могут быть использованы для хранения ряда, так что нам понадобится 324 бит. В этом случае, мы можем выбрать SHA-384 или SHA-512. Если нам нужно использовать SHA-256, мы можем проступить следующим образом. 10 бит будем использовать для представления 3-го номера. Таким образом, мы сначала использовали 250 бит для представления 75 чисел, а затем следующие 4 бита для представления одного номера. В общей сложности, мы можем хранить 76 номеров. Зафиксируем частичный латинский квадрат в следующем формате. Выберем латинский квадрат порядка 10, который можно восстановить однозначно, удалив записи, как показано в таблице. Компромиссом здесь является то, что небольшой процент латинских квадратов порядка 10, не могут быть восстановлены однозначно и, следовательно, не могут быть выбран в качестве секрета.

x x x x x x x x x .
x x x x x x x x x .
x x x x x x x x x .
x x x x x x x x x .
x x x x x x x x . .
x x x x x x x x . .
x x x x x x x x . .
x x x x x x x x . .
x x x x x x x x . .
. . . . . . . . . .

Игры и головоломки с латинскими квадратами[править | править код]

Существует ряд игр, в которых используются латинские квадраты. Наиболее известна из них судоку. В ней требуется частичный квадрат дополнить до латинского квадрата 9-го порядка, обладающего дополнительным свойством: все девять его подквадратов содержат по одному разу все натуральные числа от 1 до 9.

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

См. также[править | править код]

Примечания[править | править код]

  1. 1 2 Euler L. Recherches sur une nouvelle espèce de quarrés magiques. — Middelburg, 1782.
  2. Ozanam J. Récréations mathématiques et physiques. — Paris, 1725.
  3. Cayley A. On Latin Squares // Messenger of mathematics. — 1890. — Т. XIX. — С. 135–137.
  4. Tarry G. Le problème des 36 officiers // Comptes Rendus Assoc. France Av. Sci.. — 1900. — Т. 29, part 2. — С. 170–203.
  5. MacNeish, Harris F. Euler Squares // Annals of Mathematics. — 1922. — Т. 23. — С. 221–227.
  6. Fisher R. A. Statistical methods for research workers. — Edinburg, London: Oliver & Boyd, 1925.
  7. Bose R. C.; Shrikhande S. S. On the falsity of Euler’s conjecture about the non-existence of two orthogonal Latin squares of order 4t + 2 // Proc. Nat. Acad. Sci. U.S.A.. — 1959. — Т. 45. — С. 734–737.
  8. van Lint J. H., Wilson R. M. A Course in Combinatorics. — Cambridge University Press, 1992.
  9. 1 2 McKay B. D., Wanless I. M. On the number of Latin Squares // Ann. Combin.. — 2005. — Т. 9. — С. 335—344.
  10. Черемушкин А. В. Почти все латинские квадраты имеют тривиальную группу автострофий // Прикладная дискретная математика. — 2009. — Т. 3(5). — С. 29–32.
  11. Bose R.S. On the applications of the properties of Galois fields to the problems of construction of Hyper-Graeco-Latin squares // Indian J. Stat.. — 1938. — Т. № 3. Part. 4. — С. 323–338.
  12. Dulmage A. L., Johnson D., Mendelsohn N. S. Orthomorphisms of groups and orthogonal Latin squares I // Canad. J. Math.. — 1961. — Т. 13. — С. 356–372.
  13. Colbourn C. J., Dinitz J. H. Handbook of Combinatorial Designs. Second Edition. Chapman&Hall, 2006. 984 p.
  14. О проекте Gerasim@home - Page 96 - Gerasim@home - Форум Boinc.ru. Дата обращения: 22 ноября 2016. Архивировано из оригинала 23 ноября 2016 года.
  15. Ватутин Э. И., Заикин О. С., Журавлёв А. Д., Манзюк М. О., Кочемазов С. Е., Титов В. С. О влиянии порядка заполнения ячеек на темп генерации диагональных латинских квадратов // Информационно-измерительные диагностирующие и управляющие системы (Диагностика — 2016). Курск: изд-во ЮЗГУ, 2016. С. 33-39. Дата обращения: 22 ноября 2016. Архивировано 22 ноября 2016 года.
  16. Vatutin E.I., Zaikin O.S., Zhuravlev A.D., Manzuk M.O., Kochemazov S.E., Titov V.S. Using grid systems for enumerating combinatorial objects on example of diagonal Latin squares // Distributed computing and grid-technologies in science and education (GRID’16): book of abstracts of the 7th international conference. Dubna: JINR, 2016. p. 114—115. Дата обращения: 22 ноября 2016. Архивировано 21 сентября 2017 года.
  17. Поиск КФ ОДЛК в проекте Gerasim@home - Gerasim@home - Форум Boinc.ru. Дата обращения: 18 марта 2017. Архивировано из оригинала 15 марта 2017 года.
  18. ОДЛК. Дата обращения: 11 июля 2018. Архивировано 11 июля 2018 года.
  19. ODLK1. Дата обращения: 11 июля 2018. Архивировано 11 июля 2018 года.
  20. Форум. Дата обращения: 12 июля 2018. Архивировано 12 июля 2018 года.
  21. Zaikin O., Zhuravlev A., Kochemazov S., Vatutin E. On the Construction of Triples of Diagonal Latin Squares of Order 10 // Electronic Notes in Discrete Mathematics. Vol. 54C. 2016. pp. 307–312. DOI: 10.1016/j.endm.2016.09.053. Дата обращения: 22 ноября 2016. Архивировано из оригинала 22 ноября 2016 года.
  22. Nelder J. Critical sets in latin squares // CSIRO Division of Math. and Stats. — 1977. — Т. Newsletter, 38.

Литература[править | править код]

Ссылки[править | править код]