Взаимно ортогональные латинские квадраты - Mutually orthogonal Latin squares

В комбинаторика, два Латинские квадраты такого же размера (порядок) называются ортогональный если при наложении все упорядоченные парные записи в позициях различны. Набор латинских квадратов одного порядка, все пары которых ортогональны, называется набором взаимно ортогональные латинские квадраты. Эта концепция ортогональность в комбинаторике тесно связан с концепцией блокировка в статистике, что гарантирует, что независимые переменные действительно независимы без скрытых искажающих корреляций. Таким образом, «ортогональный» является синонимом «независимого» в том смысле, что знание значения одной переменной не дает дополнительной информации о вероятном значении другой переменной.

Пара ортогональных латинских квадратов традиционно называлась Греко-латинский квадрат, хотя этот термин сейчас несколько устарел.

Греко-латинские квадраты

А Греко-латинский квадрат или Квадрат Эйлера или пара ортогональные латинские квадраты порядка п более двух наборы S и Т (которые могут быть одинаковыми), каждый из которых состоит из п символы, это п × п расположение ячеек, каждая ячейка содержит упорядоченная пара (s, т), где s в S и т в Т, так что каждая строка и каждый столбец содержат каждый элемент S и каждый элемент Т ровно один раз, и что никакие две ячейки не содержат одинаковых упорядоченных пар.

• Греко-латинские квадраты (пары ортогональных латинских квадратов)
• 

  Заказ 3

• 

  Заказ 4

• 

  Заказ 5

Расположение s-координаты сами по себе (которые можно рассматривать как латинские символы) и т-координаты (греческие символы) каждая образует Латинский квадрат. Таким образом, греко-латинский квадрат можно разложить на два ортогональных латинских квадрата. Ортогональность здесь означает, что каждая пара (s, т) от Декартово произведение S × Т происходит ровно один раз.

Ортогональные латинские квадраты детально изучены Леонард Эйлер, который принял два набора за S = {А, B, C, ...}, первый п заглавные буквы из Латинский алфавит, и Т = {α, β, γ, ...},первый п строчные буквы из Греческий алфавит - отсюда и название греко-латинский квадрат.

Существование

Когда греко-латинский квадрат рассматривается как пара ортогональных латинских квадратов, каждый из латинских квадратов имеет ортогональное сопряжение. В произвольном латинском квадрате набор позиций, по одной в каждой строке и по одной в каждом столбце, все записи которых различны, называется поперечный этой площади.^[1] Рассмотрим один символ в греко-латинском квадрате. Все позиции, содержащие этот символ, должны находиться в разных строках и столбцах, и, кроме того, все остальные символы в этих позициях должны быть разными. Следовательно, если рассматривать как пару латинских квадратов, позиции, содержащие один символ в первом квадрате, соответствуют трансверсали во втором квадрате (и наоборот).

Данный латинский квадрат порядка n имеет ортогональное сопряжение тогда и только тогда, когда он имеет n непересекающихся трансверсалей.^[2]

В Стол Кэли (без границ) любых группа нечетного порядка образует латинский квадрат, который имеет ортогональное сопряжение.^[2]

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

Эйлер сумел построить греко-латинские квадраты порядков, кратных четырем,^[2] и, казалось, знал о следующем результате.

Греко-латинские квадраты на основе групп не могут существовать, если порядок кратен двум (то есть равен 4).k + 2 для некоторого положительного целого числа k).^[3]

История

Хотя ортогональные латинские квадраты известны своим оригинальным математическим подходом к этому вопросу, они появились еще до Эйлера. В виде старой головоломки с участием играя в карты,^[4] конструкция набора 4 x 4 была опубликована Жак Озанам в 1725 г.^[5] Задача заключалась в том, чтобы взять всех тузов, королей, дам и валетов из стандартной колоды карт и расположить их в сетке 4 x 4 таким образом, чтобы каждая строка и каждый столбец содержали все четыре масти, а также по одному каждого номинала. У этой проблемы есть несколько решений.

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

Согласно с Мартин Гарднер, который описал эту проблему в своей ноябрьской 1959 г. Колонка "Математические игры",^[6] количество различных решений было неверно указано как 72 Роуз Болл. Эта ошибка сохранялась в течение многих лет, пока правильное значение 144 не было найдено Кэтлин Оллереншоу. Каждое из 144 решений имеет восемь отражений и вращений, что дает всего 1152 решения. Решения 144 × 8 можно разделить на следующие два классы эквивалентности:

Решение	Нормальная форма
Решение # 1	А ♠ К ♥ Q ♦ J ♣ Q ♣ J ♦ А ♥ K ♠ J ♥ Q ♠ K ♣ А ♦ K ♦ А ♣ J ♠ Q ♥
Решение # 2	А ♠ К ♥ Q ♦ J ♣ J ♦ Q ♣ K ♠ А ♥ K ♣ А ♦ J ♥ Q ♠ Q ♥ J ♠ А ♣ K ♦

Для каждого из двух решений 24 × 24 = 576 решений могут быть получены путем независимой перестановки четырех мастей и четырех номиналов. Никакая перестановка не преобразует два решения друг в друга, потому что масти и номиналы не совпадают.

Проблема тридцати шести офицеров

Проблема, похожая на проблему с картой выше, циркулировала в Санкт-Петербург в конце 1700-х годов и, согласно фольклору, Екатерина Великая попросила Эйлера решить ее, поскольку в то время он проживал при ее дворе.^[7] Эта проблема известна как проблема тридцати шести офицеров,^[8] и Эйлер ввел его следующим образом:^[9][10]

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

— Леонард Эйлер

Гипотеза Эйлера и опровержение

Эйлеру не удалось решить проблему, но в этой работе он продемонстрировал методы построения греко-латинских квадратов, где п нечетно или кратно 4. Заметив, что квадрата второго порядка не существует, и будучи не в состоянии построить квадрат шестого порядка, он предположил, что ни один квадрат не существует ни для одного странно даже количество п ≡ 2 (мод 4). Отсутствие квадратов шестого порядка было подтверждено в 1901 г. Гастон Терри через доказательство исчерпания.^[11][12] Однако гипотеза Эйлера не решалась до конца 1950-х годов, но проблема привела к важной работе в комбинаторика.^[13]

В 1959 г. R.C. Bose и С. С. Шриханде построили несколько контрпримеров (получивших название Спойлеры Эйлера) порядка 22 с использованием математических представлений.^[14] потом Э. Т. Паркер нашел контрпример порядка 10, выполнив часовой компьютерный поиск на UNIVAC 1206 Военный компьютер во время работы на UNIVAC отдел Ремингтон Рэнд (это была одна из первых задач комбинаторики, решенных на цифровой компьютер ).

В апреле 1959 года Паркер, Боз и Шриханде представили свою статью, в которой гипотеза Эйлера неверна для всех. п ≥ 10.^[15] Таким образом, греко-латинские квадраты существуют для всех порядков. п > 1 Кроме п = 2, 6. В ноябрьском выпуске журнала Scientific American за 1959 г. Мартин Гарднер опубликовал этот результат.^[6] Передняя обложка представляет собой опровержение гипотезы Эйлера размером 10 × 10.

Примеры взаимно ортогональных латинских квадратов (MOLS)

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

Например, набор MOLS (4) определяется следующим образом:^[16]

${\displaystyle {\begin{matrix}1&2&3&4\\2&1&4&3\\3&4&1&2\\4&3&2&1\end{matrix}}\qquad \qquad {\begin{matrix}1&2&3&4\\4&3&2&1\\2&1&4&3\\3&4&1&2\end{matrix}}\qquad \qquad {\begin{matrix}1&2&3&4\\3&4&1&2\\4&3&2&1\\2&1&4&3\end{matrix}}.}$

И набор МОЛС (5):^[17]

${\displaystyle {\begin{matrix}1&2&3&4&5\\2&3&4&5&1\\3&4&5&1&2\\4&5&1&2&3\\5&1&2&3&4\end{matrix}}\qquad {\begin{matrix}1&2&3&4&5\\3&4&5&1&2\\5&1&2&3&4\\2&3&4&5&1\\4&5&1&2&3\end{matrix}}\qquad {\begin{matrix}1&2&3&4&5\\5&1&2&3&4\\4&5&1&2&3\\3&4&5&1&2\\2&3&4&5&1\end{matrix}}\qquad {\begin{matrix}1&2&3&4&5\\4&5&1&2&3\\2&3&4&5&1\\5&1&2&3&4\\3&4&5&1&2\end{matrix}}.}$

Хотя MOLS можно представить в виде «составной» матрицы, подобной греко-латинским квадратам, например,

1,1,1,1	2,2,2,2	3,3,3,3	4,4,4,4	5,5,5,5
2,3,5,4	3,4,1,5	4,5,2,1	5,1,3,2	1,2,4,3
3,5,4,2	4,1,5,3	5,2,1,4	1,3,2,5	2,4,3,1
4,2,3,5	5,3,4,1	1,4,5,2	2,5,1,3	3,1,2,4
5,4,2,3	1,5,3,4	2,1,4,5	3,2,5,1	4,3,1,2

для приведенного выше примера MOLS (5) более типично компактно представить MOLS как ортогональный массив (см. ниже ).^[18]

В приведенных выше примерах MOLS для каждого квадрата использовался один и тот же алфавит (набор символов), но это не обязательно, как показывают греко-латинские квадраты. Фактически, для каждого квадрата набора MOLS могут использоваться совершенно разные наборы символов. Например,

Любые два из текста, цвета переднего плана, цвета фона и шрифта образуют пару ортогональных латинских квадратов:

фьорды	челюсть	мокрота	кивиут	цинский
цинский	фьорды	челюсть	мокрота	кивиут
кивиут	цинский	фьорды	челюсть	мокрота
мокрота	кивиут	цинский	фьорды	челюсть
челюсть	мокрота	кивиут	цинский	фьорды

является представлением примера составного MOLS (5) выше, где четыре MOLS имеют следующие алфавиты, соответственно:

• цвет фона: черный, бордовый, бирюзовый, военно-морской, и серебро
• цвет переднего плана: белый, красный, Лайм, синий, и желтый
• текст: фьорды, челюсть, мокрота, кивиут, и цинский
• семейство шрифтов: засечки, без засечек, плита с засечками, курсив и моноширинный.

Количество взаимно ортогональных латинских квадратов

Свойство взаимной ортогональности набора MOLS не зависит от

• Переставляя ряды всех квадратов одновременно,
• Переставляя столбцы всех квадратов одновременно, и
• Самостоятельная перестановка записей в любом квадрате.

Используя эти операции, любой набор MOLS может быть помещен в стандартная форма, что означает, что первая строка каждого квадрата идентична и обычно размещается в некотором естественном порядке, и один квадрат имеет свой первый столбец также в этом порядке.^[19] Примеры MOLS (4) и MOLS (5) в начале этого раздела приведены в стандартной форме.

Поставив комплект МОЛС (п) в стандартной форме и изучив записи во второй строке и первом столбце каждого квадрата, можно увидеть, что не более п − 1 квадраты могут существовать.^[20] Набор п - 1 МОЛЬ (п) называется полный комплект МОЛС. Известно, что полные наборы существуют при п это простое число или мощность простого числа (см. Конечное поле ниже ). Однако количество MOLS, которое может существовать для данного заказа п не известен в целом п, и является областью исследований в комбинаторика.

Проективные плоскости

Основная статья: Проективная плоскость § Конечные проективные плоскости

Набор п - 1 МОЛЬ (п) эквивалентно конечному аффинная плоскость порядка п (увидеть Сети ниже ).^[10] Поскольку каждая конечная аффинная плоскость однозначно продолжается до конечная проективная плоскость того же порядка, эта эквивалентность также может быть выражена в терминах существования этих проективных плоскостей.^[21]

Как уже было сказано выше, комплектации MOLS (п) существуют, если п является степенью простого или простого числа, поэтому существуют проективные плоскости таких порядков. Конечные проективные плоскости с порядком, отличным от этих, и, следовательно, полные наборы МОЛС таких порядков, как известно, не существуют.^[10]

Единственный общий результат о несуществовании конечных проективных плоскостей - это Теорема Брука – Райзера., что говорит о том, что если проективная плоскость порядка п существует и п ≡ 1 (мод.4) или п ≡ 2 (mod 4), тогда п должен быть суммой двух (целых) квадратов.^[22] Это исключает, например, проективные плоскости порядков 6 и 14, но не гарантирует существование плоскости, когда п удовлетворяет условию. Особенно, п = 10 удовлетворяет условиям, но проективной плоскости порядка 10 не существует, как показал очень долгий компьютерный поиск,^[23] что, в свою очередь, означает, что не существует девяти МОЛС порядка 10.

О других результатах существования неизвестно. По состоянию на 2020 год^{[Обновить]} Таким образом, наименьший порядок, для которого существование полного набора MOLS не определено, равен 12.^[10]

Теорема Макниша

Минимальное количество МОЛС (п), как известно, равно 2 для всех п кроме п = 2 или 6, где это 1. Однако можно сказать и больше, а именно,^[24]

Теорема Макнейша: Если ${\displaystyle n=p_{1}^{\alpha _{1}}p_{2}^{\alpha _{2}}\cdots p_{r}^{\alpha _{r}}}$ является факторизацией целого числа п в степени различных простых чисел ${\displaystyle p_{1},p_{2},\cdots ,p_{r}}$ тогда

минимальное количество МОЛС (п) ${\displaystyle \geq {\underset {i}{\operatorname {min} }}\{p_{i}^{\alpha _{i}}-1\}.}$

Теорема МакНейша не дает очень хорошей оценки снизу, например, если п 2 (mod 4), то есть в разложении на простые множители имеется единственная 2, теорема дает нижнюю границу 1, которая превосходит, если п > 6. С другой стороны, он дает правильное значение, когда п это степень простого числа.

Для общих составных чисел количество MOLS неизвестно. Первые несколько значений, начинающиеся с п = 2, 3, 4 ... равны 1, 2, 3, 4, 1, 6, 7, 8, ... (последовательность A001438 в OEIS ).

Наименьший случай, для которого точное количество МОЛС (п) не известно п = 10. Согласно конструкции греко-латинского квадрата должно быть не менее двух, а из-за отсутствия проективной плоскости порядка 10 их меньше девяти. Однако ни один набор из трех MOLS (10) так и не был обнаружен, хотя многие исследователи пытались обнаружить такой набор.^[25]

Для достаточно больших п, количество МОЛС больше, чем ${\displaystyle {\sqrt[{14.8}]{n}}}$, таким образом, для каждого k, существует лишь конечное число п такое, что количество МОЛС k.^[26] Причем минимум 6 для всех п > 90.

Конечное поле конструкции

Полный комплект МОЛС (q) существует всякий раз, когда q это простая или простая степень. Это следует из конструкции, основанной на конечное поле GF(q), которые существуют, только если q это простая или простая степень.^[27] Мультипликативная группа GF(q) это циклическая группа, и, следовательно, имеет генератор λ, что означает, что все ненулевые элементы поля могут быть выражены как различные степени λ. Назовите q элементы GF(q) следующим образом:

α₀ = 0, α₁ = 1, α₂ = λ, α₃ = λ², ..., α_q-1 = λ^q-2.

Теперь λ^q-1 = 1 и правилом произведения в терминах α является α_яα_j = α_т, где т = я + j -1 (мод q -1). Латинские квадраты строятся следующим образом: (я, j) -я запись в латинском квадрате L_р (с участием р ≠ 0) является L_р(я, j) = α_я + α_рα_j, где все операции происходят в GF(q). В случае, если поле является простым полем (q = п штрихом), где элементы поля представлены обычным образом в виде целые числа по модулю п, приведенное выше соглашение об именах можно отбросить, а правило построения можно упростить до L_р(я, j) = я + rj, где р ≠ 0 и я, j и р являются элементами GF(п) и все операции находятся в GF(п). Приведенные выше примеры MOLS (4) и MOLS (5) возникли из этой конструкции, хотя и с изменением алфавита.

Не все комплекты МОЛС возникают из этой конструкции. Проективная плоскость, связанная с полным набором МОЛС, полученным в результате этой конструкции поля, является специальным типом, a Дезаргова проективная плоскость. Существуют недезарговы проективные плоскости и соответствующие им полные наборы MOLS не могут быть получены из конечных полей.^[28]

Ортогональный массив

Основная статья: Ортогональный массив

An ортогональный массив, OA (k, n), степени два и индекса один является п² × k множество А (k ≥ 2 и п ≥ 1, целые числа) с элементами из набора размера п так что в любых двух столбцах А (прочность) каждая упорядоченная пара символов появляется ровно в одной строке А (показатель).^[29]

OA (s + 2, п) эквивалентно s МОЛС (п).^[29]Например, пример MOLS (4), приведенный выше и повторенный здесь,

${\displaystyle {\begin{matrix}1&2&3&4\\2&1&4&3\\3&4&1&2\\4&3&2&1\\&L_{1}&&\end{matrix}}\qquad \qquad {\begin{matrix}1&2&3&4\\4&3&2&1\\2&1&4&3\\3&4&1&2\\&L_{2}&&\end{matrix}}\qquad \qquad {\begin{matrix}1&2&3&4\\3&4&1&2\\4&3&2&1\\2&1&4&3\\&L_{3}&&\end{matrix}}}$

может использоваться для формирования открытого доступа (5,4):

р	c	L1	L2	L3
1	1	1	1	1
1	2	2	2	2
1	3	3	3	3
1	4	4	4	4
2	1	2	4	3
2	2	1	3	4
2	3	4	2	1
2	4	3	1	2
3	1	3	2	4
3	2	4	1	3
3	3	1	4	2
3	4	2	3	1
4	1	4	3	2
4	2	3	4	1
4	3	2	1	4
4	4	1	2	3

где записи в столбцах помечены р и c обозначают строку и столбец позиции в квадрате, а остальную часть строки для фиксированного р и c values ​​заполняется записью в этой позиции в каждом из латинских квадратов. Этот процесс обратим; учитывая OA (s,п) с s ≥ 3, выберите любые два столбца для воспроизведения р и c ролей, а затем заполните латинские квадраты записями в оставшихся столбцах.

Более общие ортогональные массивы представляют собой обобщения концепции MOLS, такие как взаимно ортогональные латинские кубы.

Сети

А (геометрический) (k, n) -net - это набор п² элементы, называемые точки и набор кн подмножества, называемые линии или блоки каждый размер п с тем свойством, что две различные прямые пересекаются не более чем в одной точке. Кроме того, линии можно разбить на k параллельные классы (никакие две его линии не пересекаются), каждый из которых содержит п линий.^[30]

An (п + 1, п) -сеть является аффинной плоскостью порядка п.

Набор k МОЛС (п) эквивалентно a (k + 2, п)-сеть.^[10]

Чтобы построить (k + 2, п) -net из k МОЛС (п), представьте MOLS как ортогональный массив, OA (k + 2, п) (увидеть над ). Упорядоченные пары записей в каждой строке ортогонального массива в столбцах, помеченных р и c, будем считать координатами п² точки сети. Каждый другой столбец (то есть латинский квадрат) будет использоваться для определения линий в параллельном классе. В п линии, определяемые столбцом, обозначенным L_я будем обозначать л_ij. Пункты на л_ij будут те, координаты которых соответствуют строкам, где запись в L_я столбец j. Есть два дополнительных параллельных класса, соответствующие р и c столбцы. Линии р_j и c_j состоят из точек, первые координаты которых j, или вторые координаты j соответственно. Эта конструкция обратима.^[31]

Например, OA (5,4) в приведенном выше разделе можно использовать для построения (5,4) -сети (аффинной плоскости порядка 4). Точки на каждой линии задаются следующим образом (каждая строка ниже представляет собой параллельный класс линий):

л11:	(1,1) (2,2) (3,3) (4,4)	л12:	(1,2) (2,1) (3,4) (4,3)	л13:	(1,3) (2,4) (3,1) (4,2)	л14:	(1,4) (2,3) (3,2) (4,1)
л21:	(1,1) (2,4) (3,2) (4,3)	л22:	(1,2) (2,3) (3,1) (4,4)	л23:	(1,3) (2,2) (3,4) (4,1)	л24:	(1,4) (2,1) (3,3) (4,2)
л31:	(1,1) (2,3) (3,4) (4,2)	л32:	(1,2) (2,4) (3,3) (4,1)	л33:	(1,3) (2,1) (3,2) (4,4)	л34:	(1,4) (2,2) (3,1) (4,3)
р1:	(1,1) (1,2) (1,3) (1,4)	р2:	(2,1) (2,2) (2,3) (2,4)	р3:	(3,1) (3,2) (3,3) (3,4)	р4:	(4,1) (4,2) (4,3) (4,4)
c1:	(1,1) (2,1) (3,1) (4,1)	c2:	(1,2) (2,2) (3,2) (4,2)	c3:	(1,3) (2,3) (3,3) (4,3)	c4:	(1,4) (2,4) (3,4) (4,4)

Поперечные конструкции

А поперечный дизайн с k размерные группы п и индекс λ, обозначенный T [k, λ; п], является тройкой (X, G, B) куда:^[32]

• Икс это набор кн разновидности;
• грамм = {грамм₁, грамм₂, ..., грамм_k} - это семья k n-наборы (называемые группы, но не в алгебраическом смысле), которые образуют разбиение Икс;
• B это семья k-наборы (называемые блоки) разновидностей таких, что каждое k-установлен в B пересекает каждую группу грамм_я ровно в одном многообразии, и любая пара многообразий, принадлежащих разным группам, входит вместе ровно в λ блоков в B.

Существование Т [k,1;п] дизайн эквивалентен существованию k-2 МОЛЬ (п).^[33]

Поперечный дизайн T [k,1;п] это двойной структура заболеваемости из (k, n)-сеть. То есть имеет нк очки и п² блоки. Каждая точка находится в п блоки; каждый блок содержит k точки. Очки попадают в k классы (группы) эквивалентности по размеру п так что две точки в одной группе не содержатся в блоке, а две точки в разных группах принадлежат ровно одному блоку.^[34]

Например, используя (5,4) -сеть из предыдущего раздела, мы можем построить T [5,1; 4] трансверсальный план. Блок, связанный с точкой (я, j) сети будем обозначать б_ij. Баллы дизайна будут получены по следующей схеме: р_я ↔ я, c_j ↔ 5j, и л_ij ↔ 5я + j. Таким образом, точки рисунка обозначаются целыми числами 1, ..., 20. Блоки рисунка:

б11:	6 11 16 1 5	б22:	6 13 19 2 10	б33:	6 14 17 3 15	б44:	6 12 18 4 20
б12:	7 12 17 1 10	б21:	7 14 18 2 5	б34:	7 13 16 3 20	б43:	7 11 19 4 15
б13:	8 13 18 1 15	б24:	8 11 17 2 20	б31:	8 12 19 3 5	б42:	8 14 16 4 10
б14:	9 14 19 1 20	б23:	9 12 16 2 15	б32:	9 11 18 3 10	б41:	9 13 17 4 5

Пять «групп»:

6 7 8 9

11 12 13 14

16 17 18 19

1 2 3 4

5 10 15 20

Теория графов

Набор k МОЛС (п) эквивалентно реберному разбиению полный (k + 2) -дольный граф K_п,...,п в полные подграфы порядка k + 2.^[10]

Приложения

Взаимно ортогональные латинские квадраты имеют множество применений. Они используются в качестве отправной точки для построения статистических дизайн экспериментов, расписание турниров, и коды исправления и обнаружения ошибок. Интерес Эйлера к греко-латинским квадратам возник из его желания построить магические квадраты. Французский писатель Жорж Перек структурировал свой роман 1978 года Жизнь: Руководство пользователя вокруг греко-латинского квадрата 10 × 10.

Смотрите также

• 36 куб
• Блочный дизайн
• Блокировка (статистика)
• Комбинаторный дизайн

Примечания

1. Это получило несколько названий в литературе, формула директриса (Эйлер), директриса, 1-перестановка, и диагональ среди других. (Денес и Кидвелл 1974, п. 29) ошибка harv: цель отсутствует: CITEREFDenesKeedwell1974 (Помогите)
2. Денес и Кидвелл 1974, п. 155 Ошибка harvnb: цель отсутствует: CITEREFDenesKeedwell1974 (Помогите)
3. Денес и Кидвелл 1974, п. 156 Ошибка harvnb: цель отсутствует: CITEREFDenesKeedwell1974 (Помогите)
4. Кнут, Дональд (2011), Искусство программирования, 4A: Combinatorial Algorithms Part 1, Addison-Wesley, pp. Xv + 883pp, ISBN  978-0-201-03804-0. Опечатки: [1]
5. Озанам, Жак (1725), Отдых, математика и телосложение, IV, п. 434, решение находится в Рис 35
6. Гарднер 1966, стр. 162-172
7. ван Линт и Уилсон 1993, стр.251
8. П. А. Мак-Магон (1902). «Магические квадраты и другие задачи на шахматной доске». Труды Королевского института Великобритании. XVII: 50–63.
9. Эйлер: Recherches sur une nouvelle espece de qures magiques, написано в 1779 г., опубликовано в 1782 г.
10. Колборн и Диниц 2007, п. 162
11. Тарри, Гастон (1900). "Le Probléme de 36 Officiers". Compte Rendu de l'Association Française pour l'Avancement des Sciences. Secrétariat de l'Association. 1: 122–123.
12. Тарри, Гастон (1901). "Le Probléme de 36 Officiers". Compte Rendu de l'Association Française pour l'Avancement des Sciences. Secrétariat de l'Association. 2: 170–203.
13. ван Линт и Уилсон 1993, стр.267
14. Bose, R.C .; Шриханде, С. С. (1959), «О ложности гипотезы Эйлера о несуществовании двух ортогональных латинских квадратов порядка 4т + 2", Труды Национальной академии наук США, 45 (5): 734–737, Дои:10.1073 / pnas.45.5.734, ЧВК  222625, PMID  16590435
15. Bose, R.C .; Shrikhande, S. S .; Паркер, Э. Т. (1960), "Дальнейшие результаты о построении взаимно ортогональных латинских квадратов и ложность гипотезы Эйлера", Канадский математический журнал, 12: 189–203, Дои:10.4153 / CJM-1960-016-5, Г-Н  0122729
16. Колберн и Диниц 2007, п. 160 Ошибка harvnb: цель отсутствует: CITEREFColburnDinitz2007 (Помогите)
17. Колберн и Диниц 2007, п. 163 Ошибка harvnb: цель отсутствует: CITEREFColburnDinitz2007 (Помогите)
18. Маккей, Мейнерт и Мирволд 2007, п. 98
19. Денес и Кидвелл 1974, п. 159 Ошибка harvnb: цель отсутствует: CITEREFDenesKeedwell1974 (Помогите)
20. Денес и Кидвелл 1974, п. 158 Ошибка harvnb: цель отсутствует: CITEREFDenesKeedwell1974 (Помогите)
21. Термин «порядок», используемый здесь для MOLS, аффинных плоскостей и проективных плоскостей, определяется по-разному в каждой настройке, но эти определения скоординированы, так что числовое значение одинаково.
22. Bruck, R.H .; Райзер, Х.Дж. (1949), "Несуществование некоторых конечных проективных плоскостей", Канадский математический журнал, 1: 88–93, Дои:10.4153 / cjm-1949-009-2
23. Лам, К. В. Х. (1991), «Поиск конечной проективной плоскости порядка 10», Американский математический ежемесячный журнал, 98 (4): 305–318, Дои:10.2307/2323798, JSTOR  2323798
24. Денес и Кидвелл 1974, п. 390 Ошибка harvnb: цель отсутствует: CITEREFDenesKeedwell1974 (Помогите)
25. Маккей, Мейнерт и Мирволд 2007, п. 102
26. Lenz, H .; Jungnickel, D .; Бет, Томас (ноябрь 1999 г.). Теория дизайна Томаса Бета. Кембриджское ядро. Дои:10.1017 / cbo9781139507660. ISBN  9780521772310. Получено 2019-07-06.
27. Денес и Кидвелл 1974, п. 167 Ошибка harvnb: цель отсутствует: CITEREFDenesKeedwell1974 (Помогите)
28. Денес и Кидвелл 1974, п. 169 Ошибка harvnb: цель отсутствует: CITEREFDenesKeedwell1974 (Помогите)
29. Стинсон 2004, п. 140
30. Колборн и Диниц 2007, п. 161
31. Денес и Кидвелл 1974, п. 270 Ошибка harvnb: цель отсутствует: CITEREFDenesKeedwell1974 (Помогите)
32. Улица и улица 1987, п. 133 Ошибка harvnb: нет цели: CITEREFStreetStreet1987 (Помогите)
33. Улица и улица 1987, п. 135 Ошибка harvnb: нет цели: CITEREFStreetStreet1987 (Помогите)
34. ван Линт и Уилсон 1993, стр.257

Рекомендации

• Колборн, Чарльз Дж .; Диниц, Джеффри Х. (2007), Справочник по комбинаторным схемам (2-е изд.), Бока-Ратон: Chapman & Hall / CRC, ISBN  978-1-58488-506-1
• Dénes, J .; Кидвелл, А. Д. (1974), Латинские квадраты и их приложения, Нью-Йорк-Лондон: Academic Press, стр. 547, г. ISBN  0-12-209350-X, Г-Н  0351850
• Гарднер, Мартин (1966), Новые математические отклонения от журнала Scientific American Мартина Гарднера, Fireside, ISBN  0-671-20913-2
• Маккей, Брендан Д.; Мейнерт, Элисон; Мирволд, Венди (2007), «Малые латинские квадраты, квазигруппы и петли» (PDF), Журнал комбинаторных дизайнов, 15 (2): 98–119, Дои:10.1002 / jcd.20105| doi-broken-date = 2020-10-03 | zbl = 1112.05018 | citeseerx = 10.1.1.151.3043}}
• Рагхаварао, Дамараджу (1988), Конструкции и комбинаторные задачи при планировании экспериментов. (исправленное переиздание изд. Wiley 1971 г.), Нью-Йорк: Dover
• Рагхаварао, Дамараджу И Пэджетт, Л. (2005). Блочные конструкции: анализ, комбинаторика и приложения. World Scientific.
• Стинсон, Дуглас Р. (2004), Комбинаторные конструкции / конструкции и анализ, Спрингер, ISBN  978-0-387-95487-5
• Улица, Энн Пенфолд; Улица, Дебора Дж. (1987), Комбинаторика экспериментального дизайна, Оксфорд У. П. [Кларендон], ISBN  0-19-853256-3
• van Lint, J.H .; Уилсон, Р. (1993), Курс комбинаторики, Издательство Кембриджского университета, ISBN  978-0-521-42260-4

внешняя ссылка

• Головоломка Леонарда Эйлера о 36 офицерах Архив столбцов, представленных AMS (Латинские квадраты на практике и теория II)
• Вайсштейн, Эрик В. "36 офицерская задача". MathWorld.
• Работа Эйлера о латинских квадратах и ​​квадратах Эйлера при конвергенции
• Инструмент Java, который помогает в построении греко-латинских квадратов (он не строит их самостоятельно) в завязать узел
• Все, кроме квадрата: от магических квадратов до судоку
• Исторические факты и взаимосвязь с Magic Squares, Приложение Javascript для решения греко-латинских квадратов размером от 1x1 до 10x10 и связанные исходный код (Javascript в браузере Firefox и мобильных устройствах HTML5)
• Грайм, Джеймс. «Квадраты Эйлера» (видео). YouTube. Брэди Харан. Получено 9 мая 2020.