Jump to content

Латинская площадь

(Перенаправлено с латинских квадратов )
Этот витраж в колледже Гонвилл и Кайус в Кембридже, изображающий латинский квадрат 7 × 7, был посвящен Рональду Фишеру , в чьем «Плане экспериментов» обсуждались латинские квадраты. Окно сэра Рональда Фишера было удалено в 2020 году из-за связи Фишера с евгеникой. [1]

В комбинаторике и в планировании экспериментов латинский квадрат представляет собой массив размером n × n , заполненный n различными символами, каждый из которых встречается ровно один раз в каждой строке и ровно один раз в каждом столбце. Пример латинского квадрата 3×3:

А Б С
С А Б
Б С А

Название «Латинский квадрат» было вдохновлено математическими работами Леонарда Эйлера (1707–1783), который использовал латинские символы в качестве символов. [2] но можно использовать любой набор символов: в приведенном выше примере алфавитную последовательность A, B, C можно заменить целочисленной последовательностью 1, 2, 3. Эйлер положил начало общей теории латинских квадратов.

Корейский математик Чхве Сок Чжон был первым, кто опубликовал пример латинских квадратов девятого порядка, чтобы построить магический квадрат в 1700 году, на 67 лет раньше Леонарда Эйлера. [3]

Уменьшенная форма

[ редактировать ]

Латинский квадрат называется приведенным ( также нормализованным или в стандартной форме ), если его первая строка и первый столбец находятся в естественном порядке. [4] Например, латинский квадрат выше не сокращается, поскольку его первый столбец — A, C, B, а не A, B, C.

Любой латинский квадрат можно уменьшить, переставляя (то есть меняя порядок) строки и столбцы. Здесь переключение второй и третьей строк приведенной выше матрицы дает следующий квадрат:

А Б С
Б С А
С А Б

Этот латинский квадрат уменьшен; и его первая строка, и первый столбец расположены в алфавитном порядке A, B, C.

Характеристики

[ редактировать ]

Представление ортогонального массива

[ редактировать ]

Если каждую запись латинского квадрата размера n × n записать в виде тройки ( r , c , s ), где r — строка, c — столбец, а s — символ, мы получим набор из n 2 тройки называются виде ортогонального массива представлением квадрата в . Например, представление латинского квадрата в ортогональном массиве

1 2 3
2 3 1
3 1 2

является

{ (1, 1, 1), (1, 2, 2), (1, 3, 3), (2, 1, 2), (2, 2, 3), (2, 3, 1), (3, 1, 3), (3, 2, 1), (3, 3, 2) },

где, например, тройка (2, 3, 1) означает, что в строке 2 и столбце 3 находится символ 1. Ортогональные массивы обычно записываются в форме массива, где тройки являются строками, например:

р с с
1 1 1
1 2 2
1 3 3
2 1 2
2 2 3
2 3 1
3 1 3
3 2 1
3 3 2

Определение латинского квадрата можно записать в терминах ортогональных массивов:

  • Латинский квадрат – это набор из n 2 тройки ( r , c , s ), где 1 ⩽ r , c , s n , такие, что все упорядоченные пары ( r , c ) различны, все упорядоченные пары ( r , s ) различны и все упорядоченные пары ( c , s ) различны.

Это означает, что н 2 упорядоченные пары ( r , c ) — это все пары ( i , j ) с 1 ≤ i , j n по одному разу каждая. То же самое относится и к упорядоченным парам ( r , s ) и упорядоченным парам ( c , s ).

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

Классы эквивалентности латинских квадратов

[ редактировать ]

Многие операции над латинским квадратом создают другой латинский квадрат (например, переворачивая его).

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

Другой тип операции проще всего объяснить, используя представление латинского квадрата в виде ортогонального массива. Если систематически и последовательно переупорядочить три элемента в каждой тройке (то есть переставить местами три столбца в форме массива), то получится еще один ортогональный массив (и, следовательно, еще один латинский квадрат). Например, мы можем заменить каждую тройку ( r , c , s ) на ( c , r , s ), что соответствует транспонированию квадрата (размышляя о его главной диагонали), или мы можем заменить каждую тройку ( r , c , s ) by ( c , s , r ), что является более сложной операцией. Всего существует 6 возможностей, включая «ничего не делать», что дает нам 6 латинских квадратов, называемых сопряженными (также парастрофами ) исходного квадрата. [5]

Наконец, мы можем объединить эти две операции эквивалентности: два латинских квадрата называются паратопными , а также изотопными основного класса , если один из них изотопен сопряженному другому. Это снова отношение эквивалентности, классы эквивалентности называются основными классами , видами или паратопическими классами . [5] Каждый основной класс содержит до шести изотопических классов.

Количество n × n латинских квадратов

[ редактировать ]

Неизвестна легко вычислимая формула для количества n латинских L квадратов n × n с символами 1, 2, ..., n . Наиболее точные верхняя и нижняя границы, известные для больших n, далеко друг от друга. Один классический результат [6] это что

Простая и явная формула количества латинских квадратов была опубликована в 1992 году, но ее до сих пор нелегко вычислить из-за экспоненциального увеличения количества членов. Эта формула для числа L n латинских n × n квадратов имеет вид где B n — множество всех n × n {0, 1}-матриц, σ 0 ( A ) количество нулевых элементов в матрице A , а per( A ) перманент матрицы A. [7]

В таблице ниже приведены все известные точные значения. Видно, что цифры растут чрезвычайно быстро. Для каждого n общее количество латинских квадратов (последовательность A002860 в OEIS ) равно n ! ( п − 1)! раз больше количества сокращенных латинских квадратов (последовательность A000315 в OEIS ).

Количество латинских квадратов разного размера
н уменьшенные латинские квадраты размера n
(последовательность A000315 в OEIS )
все латинские квадраты размера n
(последовательность A002860 в OEIS )
1 1 1
2 1 2
3 1 12
4 4 576
5 56 161,280
6 9,408 812,851,200
7 16,942,080 61,479,419,904,000
8 535,281,401,856 108,776,032,459,082,956,800
9 377,597,570,964,258,816 5,524,751,496,156,892,842,531,225,600
10 7,580,721,483,160,132,811,489,280 9,982,437,658,213,039,871,725,064,756,920,320,000
11 5,363,937,773,277,371,298,119,673,540,771,840 776,966,836,171,770,144,107,444,346,734,230,682,311,065,600,000
12 1.62 × 10 44
13 2.51 × 10 56
14 2.33 × 10 70
15 1.50 × 10 86

Для каждого n каждый изотопический класс (последовательность A040082 в OEIS ) содержит до ( n !) 3 Латинские квадраты (точное количество варьируется), при этом каждый основной класс (последовательность A003090 в OEIS ) содержит либо 1, 2, 3 или 6 изотопических классов.

Классы эквивалентности латинских квадратов
н основные классы

(последовательность A003090 в OEIS )

изотопические классы

(последовательность A040082 в OEIS )

структурно различные квадраты

(последовательность A264603 в OEIS )

1 1 1 1
2 1 1 1
3 1 1 1
4 2 2 12
5 2 2 192
6 12 22 145,164
7 147 564 1,524,901,344
8 283,657 1,676,267
9 19,270,853,541 115,618,721,533
10 34,817,397,894,749,939 208,904,371,354,363,006
11 2,036,029,552,582,883,134,196,099 12,216,177,315,369,229,261,482,540

Число структурно различных латинских квадратов (т.е. квадраты невозможно сделать одинаковыми путем вращения, отражения и/или перестановки символов) для n = 1 до 7 равно 1, 1, 1, 12, 192, 145164, 1524901344 соответственно (последовательность A264603 в OEIS ).

Приведем по одному примеру латинского квадрата из каждого основного класса до пятого порядка.

В них представлены соответственно таблицы умножения следующих групп:

  • {0} – тривиальная 1-элементная группа
  • бинарная группа
  • циклическая группа порядка 3
  • четверка Клейна
  • – циклическая группа порядка 4
  • – циклическая группа порядка 5
  • последний — пример квазигруппы , точнее цикла , который не является ассоциативным.

Трансверсали и радужные паросочетания

[ редактировать ]

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

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

Поэтому многие результаты о латинских квадратах/прямоугольниках содержатся в статьях с термином «радужное сопоставление» в названии, и наоборот. [8]

Некоторые латинские квадраты не имеют поперечных. Например, когда n четно, n латинский квадрат размером на n , в котором значение ячейки i , j равно ( i + j ) mod n, не имеет трансверсали. Вот два примера: В 1967 году Х. Дж. Райзер предположил, что, когда n нечетно , каждый n x латинский квадрат размером n имеет трансверсаль. [9]

В 1975 году С. К. Штейн и Бруальди предположили, что, когда n четно - , каждый n латинский квадрат размером n имеет частичную трансверсаль размера n - 1. [10]

Более общая гипотеза Штейна состоит в том, что трансверсаль размера n -1 существует не только в латинских квадратах, но и в любом n - х массиве n символов, если каждый символ появляется ровно n раз. [9]

Были доказаны некоторые более слабые версии этих гипотез:

  • Каждый n латинский квадрат размером x n имеет частичную трансверсаль размера 2 n /3. [11]
  • Каждый n латинский квадрат размером x n имеет частичную трансверсаль размера n − sqrt( n ). [12]
  • Каждый n латинский квадрат размером x n имеет частичную трансверсаль размера n − 11 log. 2
    2
    ( н ). [13]
  • Каждый n латинский квадрат размером x n имеет частичную трансверсаль размера n − O(log n/loglog n). [14]
  • Каждый достаточно большой nxn квадрат размером латинский имеет частичную трансверсаль размера n −1. [15] (Препринт)

Алгоритмы

[ редактировать ]

Для маленьких квадратов можно генерировать перестановки и проверять, соблюдается ли свойство латинского квадрата. Для больших квадратов алгоритм Джейкобсона и Мэтьюза позволяет осуществлять выборку из равномерного распределения по пространству n × n латинских квадратов. [16]

Приложения

[ редактировать ]

Статистика и математика

[ редактировать ]

Коды исправления ошибок

[ редактировать ]

Наборы латинских квадратов, ортогональные друг другу, нашли применение в качестве кодов исправления ошибок в ситуациях, когда связь нарушается большим количеством типов шума, чем простой белый шум , например, при попытке передачи широкополосного Интернета по линиям электропередачи. [19] [20] [21]

Во-первых, сообщение отправляется с использованием нескольких частот или каналов — распространенный метод, который делает сигнал менее уязвимым к шуму на любой конкретной частоте. Буква в отправляемом сообщении кодируется путем отправки серии сигналов на разных частотах через последовательные промежутки времени. В приведенном ниже примере буквы от A до L кодируются путем отправки сигналов на четырех разных частотах в четырех временных интервалах. Например, буква С кодируется путем отправки сначала на частоте 3, затем 4, 1 и 2.

Кодировка двенадцати букв формируется из трех латинских квадратов, ортогональных друг другу. Теперь представьте, что на протяжении всей передачи в каналах 1 и 2 добавляется шум. Тогда буква А будет восприниматься как:

Другими словами, в первом слоте мы принимаем сигналы как с частоты 1, так и с частоты 2; в то время как третий слот имеет сигналы с частотами 1, 2 и 3. Из-за шума мы больше не можем сказать, были ли первые два слота 1,1 или 1,2, 2,1 или 2,2. Но случай 1,2 — единственный, который дает последовательность, соответствующую букве в приведенной выше таблице — букве А. Аналогичным образом мы можем представить всплеск помех на всех частотах третьего слота:

Опять же, из таблицы кодировок мы можем сделать вывод, что должна была передаваться буква А. Количество ошибок, которые может обнаружить этот код, на единицу меньше количества временных интервалов. Также было доказано, что если число частот равно простому числу или степени простого числа, ортогональные латинские квадраты создают максимально эффективные коды обнаружения ошибок.

Математические головоломки

[ редактировать ]
Построение магического квадрата дня рождения Рамануджана из латинского квадрата 4 × 4 с различными диагоналями и значениями дня (D), месяца (M), века (C) и года (Y), а также пример дня рождения Рамануджана.

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

Популярные головоломки судоку представляют собой особый случай латинских квадратов; любое решение судоку — это латинский квадрат. Судоку накладывает дополнительное ограничение: девять конкретных смежных подквадратов размером 3×3 также должны содержать цифры 1–9 (в стандартной версии). См. также Математика судоку .

Более поздние головоломки KenKen и Strimko также являются примерами латинских квадратов.

Настольные игры

[ редактировать ]

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

Агрономические исследования

[ редактировать ]

Латинские квадраты используются при планировании агрономических исследовательских экспериментов для минимизации экспериментальных ошибок. [23]

геральдика

[ редактировать ]

Латинский квадрат также фигурирует на гербе Статистического общества Канады . [24] специально упоминается на его гербе . Также он присутствует на логотипе Международного биометрического общества . [25]

Обобщения

[ редактировать ]
Латинский куб четвертого порядка взорвался
  • Латинский прямоугольник — это обобщение латинского квадрата, в котором есть n столбцов и n возможных значений, но количество строк может быть меньше n . Каждое значение по-прежнему появляется не более одного раза в каждой строке и столбце.
  • Греко -латинский квадрат — это пара двух латинских квадратов, при наложении одного на другой каждая упорядоченная пара символов появляется ровно один раз.
  • Латинский гиперкуб — ​​это обобщение латинского квадрата из двух измерений в несколько измерений.

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ Басби, Матта (27 июня 2020 г.). «Кембриджский колледж уберет окно, посвященное памяти евгеника» . Хранитель . Проверено 28 июня 2020 г.
  2. ^ Уоллис, штат Вашингтон; Джордж, Дж. К. (2011), Введение в комбинаторику , CRC Press, стр. 212, ISBN  978-1-4398-0623-4
  3. ^ Колборн, Чарльз Дж.; Диниц, Джеффри Х. (2 ноября 2006 г.). Справочник по комбинаторным планам (2-е изд.). ЦРК Пресс. п. 12. ISBN  9781420010541 . Проверено 28 марта 2017 г.
  4. ^ Денес и Кидуэлл 1974 , с. 128
  5. ^ Jump up to: а б Денес и Кидуэлл 1974 , с. 126
  6. ^ ван Линт и Уилсон 1992 , стр. 161-162.
  7. ^ Цзя-юй Шао; Ван-ди Вэй (1992). «Формула количества латинских квадратов» . Дискретная математика . 110 (1–3): 293–296. дои : 10.1016/0012-365x(92)90722-r .
  8. ^ Дьярфас, Андрас; Саркози, Габор Н. (2012). «Радужные паросочетания и частичные трансверсали латинских квадратов». arXiv : 1208.5670 [ CO math. СО ].
  9. ^ Jump up to: а б Ахарони, Рон; Бергер, Эли; Котлар, Дэни; Зив, Ран (04 января 2017 г.). «О догадке камня». Трактаты математического семинара Гамбургского университета . 87 (2): 203–211. дои : 10.1007/s12188-016-0160-3 . ISSN   0025-5858 . S2CID   119139740 .
  10. ^ Штейн, Шерман (1 августа 1975 г.). «Трансверсали латинских квадратов и их обобщения» . Тихоокеанский математический журнал . 59 (2): 567–575. дои : 10.2140/pjm.1975.59.567 . ISSN   0030-8730 .
  11. ^ Коксма, Клаас К. (1 июля 1969 г.). «Нижняя оценка порядка частичной трансверсали в латинском квадрате» . Журнал комбинаторной теории . 7 (1): 94–95. дои : 10.1016/s0021-9800(69)80009-8 . ISSN   0021-9800 .
  12. ^ Вулбрайт, Дэвид Э. (1 марта 1978 г.). «Латинский квадрат размера n × n имеет трансверсаль, содержащую как минимум n−n различных символов» . Журнал комбинаторной теории, серия А. 24 (2): 235–237. дои : 10.1016/0097-3165(78)90009-2 . ISSN   0097-3165 .
  13. ^ Хатами, Пуя; Шор, Питер В. (1 октября 2008 г.). «Нижняя оценка длины частичной трансверсали в латинском квадрате» . Журнал комбинаторной теории, серия А. 115 (7): 1103–1113. дои : 10.1016/j.jcta.2008.01.002 . ISSN   0097-3165 .
  14. ^ Киваш, Питер; Покровский, Алексей; Судаков, Бенни; Епремян, Лиана (15.04.2022). «Новые границы гипотезы Райзера и связанных с ней проблем» . Труды Американского математического общества, серия B. 9 (8): 288–321. дои : 10.1090/btran/92 . hdl : 20.500.11850/592212 . ISSN   2330-0000 .
  15. ^ Монтгомери, Ричард (2023). «Доказательство гипотезы Райзера-Бруальди-Стейна для больших четных n». arXiv : 2310.19779 [ math.CO ].
  16. ^ Джейкобсон, Монтана; Мэтьюз, П. (1996). «Генерация равномерно распределенных случайных латинских квадратов». Журнал комбинаторных проектов . 4 (6): 405–437. doi : 10.1002/(sici)1520-6610(1996)4:6<405::aid-jcd3>3.0.co;2-j .
  17. ^ Бейли, Р.А. (2008), «6 схем строк и столбцов и еще 9 о латинских квадратах» , План сравнительных экспериментов , Cambridge University Press, ISBN  978-0-521-68357-9 , МР   2422352
  18. ^ Шах, Кирти Р.; Синха, Бикас К. (1989), «Схемы с 4 строками и столбцами», Теория оптимальных планов , Конспекты лекций по статистике, том. 54, Springer-Verlag, стр. 66–84, ISBN.  0-387-96991-8 , МР   1016151
  19. ^ Колборн, CJ ; Клёве, Т.; Линг, ACH (2004). «Массивы перестановок для связи по линиям электропередачи». IEEE Транс. Инф. Теория . 50 : 1289–1291. дои : 10.1109/тит.2004.828150 . S2CID   15920471 .
  20. Революция Эйлера , New Scientist, 24 марта 2007 г., стр. 48–51.
  21. ^ Гучинская, Софи (2006). «ЛЭП и проблема 36 офицеров». Философские труды Королевского общества А. 364 (1849): 3199–3214. Бибкод : 2006RSPTA.364.3199H . дои : 10.1098/rsta.2006.1885 . ПМИД   17090455 . S2CID   17662664 .
  22. ^ К. Колборн (1984). «Сложность заполнения частичных латинских квадратов» . Дискретная прикладная математика . 8 : 25–30. дои : 10.1016/0166-218X(84)90075-1 .
  23. ^ Применение латинского квадрата в агрономических исследованиях.
  24. ^ «Патентные письма на получение оружия SSC» . ssc.ca. ​Архивировано из оригинала 21 мая 2013 г.
  25. ^ Международное биометрическое общество. Архивировано 7 мая 2005 г. в Wayback Machine.

Дальнейшее чтение

[ редактировать ]
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 1fd36284838cbbbc581d07c778fa86cc__1721278020
URL1:https://arc.ask3.ru/arc/aa/1f/cc/1fd36284838cbbbc581d07c778fa86cc.html
Заголовок, (Title) документа по адресу, URL1:
Latin square - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)