Латинським квадратом в математиці називається таблиця розміру n × n заповнена n різними елементами так, що в кожному стовпці і кожному рядку всі елементи зустрічаються по одному разу. Прикладом латинського квадрата може бути:
Будь-який латинський квадрат є таблицею множення квазігрупи. Якщо в першому рядку і в першому стовпці елементи йдуть у зростаючому порядку (як у поданому вище прикладі), то такий квадрат називається нормалізованим. Очевидно, що будь-який квадрат можна звести до нормалізованого за допомогою перестановки рядків і стовпців.
Ортогональне представлення
Кожен латинський квадрат розмірності n може бути записаний за допомогою трійок (r,c,s), де r -номер рядка, c -номер стовпця,s - елемент. Для поданого вище латинського квадрата маємо представлення: { (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) } За допомогою ортогонального представлення можна дати визначення латинського квадрата:
- Латинський квадрат це система n2 трійок (r,c,s), де 1 ≤ r, c, s ≤ n.
- Всі пари (r,c) є відмінні, всі пари (r,s) є відмінні, всі пари (c,s) є відмінні.
Класи еквівалентності
Якщо один латинський квадрат одержується з іншого перестановкою рядків стовпців і перепозначенням елементів то такі квадрати називаються ізотопними. Відношення ізотопності є відношенням еквівалентності і розбиває множину латинських квадратів на класи ізотопності. Якщо в ортогональному запису до всіх трійок застосувати одну перестановку то одержимо інший квадрат який називають спряженим до попереднього. Поєднавши відношення ізотопності і спряженості одержимо відношення паратопності, класи розбиття якого також називають головними
Кількість латинських квадратів
Зараз невідома точна формула для визначення кількості всіх нормалізованих латинських квадратів порядку n. Щоб визначити загальну кількість латинських квадратів порядку n, треба кількість всіх нормалізованих латинських квадратів помножених на n!(n-1)!. Однією з формул, що обчислює межі для можливої кількості є формула Ван Лінта - Вілсона:
У наступній формулі подані відомі тепер[] результати щодо кількості латинських квадратів:
n | нормалізовані латинські квадрати | всі латинські квадрати n |
1 | 1 | 1 |
2 | 1 | 2 |
3 | 1 | 12 |
4 | 4 | 576 |
5 | 56 | 161280 |
6 | 9408 | 812851200 |
7 | 16942080 | 61479419904000 |
8 | 535281401856 | 108776032459082956800 |
9 | 377597570964258816 | 5524751496156892842531225600 |
10 | 7580721483160132811489280 | 9982437658213039871725064756920320000 |
11 | 5363937773277371298119673540771840 | 776966836171770144107444346734230682311065600000 |
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 |
Ортогональні латинські квадрати
Два латинських квадрати називаються ортогональними, якщо всі пари символів (a,b), де a — символ в деякій клітинці першого квадрата, а b — символ в тій же клітинці другого квадрата є всі різні. Прикладом ортогональних квадратів є:
Неважко переконатись, що всі пари відповідних елементів є різні:
Ортогональні латинські квадрати існують для всіх n крім 2 і 6. Якщо в кожній діагоналі латинського квадрата всі елементи різні, такий латинський квадрат називається діагональним. Пари ортогональних діагональних латинських квадратів існують для всіх n, крім 2, 3 і 6. Прикладом ортогональних діагональних латинських квадратів може бути:
Квадрат із пар елементів двох ортогональних латинських квадратів називається греко-латинським квадратом.
Застосування в статистиці
Латинські квадрати мають широке застосування в області планування експериментів. Нехай потрібно провести декілька експериментів, що залежать від трьох параметрів 1≤a,b,c≤n, так щоб для кожної пари були випробувані всі n² варіантів. Тоді необхідно взяти деякий латинський квадрат порядку n і провести n² експериментців з параметрами a = номер рядка, b = номер стовпця, c = значення у відповідній клітині латинського квадрата.
Література
- J.H. van Lint, R.M. Wilson: A Course in Combinatorics. Cambridge University Press 1992,
- C.F.Laywine,G.L.Mullen: Discrete MathematicsUsing Latin Squares. Wiley & sons inc. 1998,
- Denes J., Keedwell A.D. Latin squares and their applications. Budapest: Academiai Kiado, 1974. 547p.
- Маркова Е. Д. Руководство по применению латинских планов при планировании эксперимента с качественнями факторами. Челябинск:Южно-Урал. кн. изд--во, 1971. 156с.
- Белоусов В.Д. Элементы теории квазигрупп. Кишинев 1981
Це незавершена стаття з математики. Ви можете проєкту, виправивши або дописавши її. |
Це незавершена стаття про алгоритми. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Latinskim kvadratom v matematici nazivayetsya tablicya rozmiru n n zapovnena n riznimi elementami tak sho v kozhnomu stovpci i kozhnomu ryadku vsi elementi zustrichayutsya po odnomu razu Prikladom latinskogo kvadrata mozhe buti 1 2 3 2 3 1 3 1 2 displaystyle begin bmatrix 1 amp 2 amp 3 2 amp 3 amp 1 3 amp 1 amp 2 end bmatrix Bud yakij latinskij kvadrat ye tabliceyu mnozhennya kvazigrupi Yaksho v pershomu ryadku i v pershomu stovpci elementi jdut u zrostayuchomu poryadku yak u podanomu vishe prikladi to takij kvadrat nazivayetsya normalizovanim Ochevidno sho bud yakij kvadrat mozhna zvesti do normalizovanogo za dopomogoyu perestanovki ryadkiv i stovpciv Ortogonalne predstavlennyaKozhen latinskij kvadrat rozmirnosti n mozhe buti zapisanij za dopomogoyu trijok r c s de r nomer ryadka c nomer stovpcya s element Dlya podanogo vishe latinskogo kvadrata mayemo predstavlennya 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 Za dopomogoyu ortogonalnogo predstavlennya mozhna dati viznachennya latinskogo kvadrata Latinskij kvadrat ce sistema n2 trijok r c s de 1 r c s n Vsi pari r c ye vidminni vsi pari r s ye vidminni vsi pari c s ye vidminni Klasi ekvivalentnostiYaksho odin latinskij kvadrat oderzhuyetsya z inshogo perestanovkoyu ryadkiv stovpciv i perepoznachennyam elementiv to taki kvadrati nazivayutsya izotopnimi Vidnoshennya izotopnosti ye vidnoshennyam ekvivalentnosti i rozbivaye mnozhinu latinskih kvadrativ na klasi izotopnosti Yaksho v ortogonalnomu zapisu do vsih trijok zastosuvati odnu perestanovku to oderzhimo inshij kvadrat yakij nazivayut spryazhenim do poperednogo Poyednavshi vidnoshennya izotopnosti i spryazhenosti oderzhimo vidnoshennya paratopnosti klasi rozbittya yakogo takozh nazivayut golovnimiKilkist latinskih kvadrativZaraz nevidoma tochna formula dlya viznachennya kilkosti vsih normalizovanih latinskih kvadrativ poryadku n Shob viznachiti zagalnu kilkist latinskih kvadrativ poryadku n treba kilkist vsih normalizovanih latinskih kvadrativ pomnozhenih na n n 1 Odniyeyu z formul sho obchislyuye mezhi dlya mozhlivoyi kilkosti ye formula Van Linta Vilsona k 1 n k n k L n n 2 n n n 2 displaystyle prod k 1 n left k right n k geq L n geq frac left n right 2n n n 2 U nastupnij formuli podani vidomi teper koli rezultati shodo kilkosti latinskih kvadrativ Kilkist latinskih kvadrativ n normalizovani latinski kvadrati vsi latinski kvadrati n 1 1 1 2 1 2 3 1 12 4 4 576 5 56 161280 6 9408 812851200 7 16942080 61479419904000 8 535281401856 108776032459082956800 9 377597570964258816 5524751496156892842531225600 10 7580721483160132811489280 9982437658213039871725064756920320000 11 5363937773277371298119673540771840 776966836171770144107444346734230682311065600000 Klasi ekvivalentnosti latinskih kvadrativ n golovni klasi klasi izotopiyi 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 208904371354363006Ortogonalni latinski kvadratiDva latinskih kvadrati nazivayutsya ortogonalnimi yaksho vsi pari simvoliv a b de a simvol v deyakij klitinci pershogo kvadrata a b simvol v tij zhe klitinci drugogo kvadrata ye vsi rizni Prikladom ortogonalnih kvadrativ ye 1 2 3 2 3 1 3 1 2 1 2 3 3 1 2 2 3 1 displaystyle begin bmatrix 1 amp 2 amp 3 2 amp 3 amp 1 3 amp 1 amp 2 end bmatrix quad quad begin bmatrix 1 amp 2 amp 3 3 amp 1 amp 2 2 amp 3 amp 1 end bmatrix Nevazhko perekonatis sho vsi pari vidpovidnih elementiv ye rizni 11 22 33 23 31 12 32 13 21 displaystyle begin bmatrix 11 amp 22 amp 33 23 amp 31 amp 12 32 amp 13 amp 21 end bmatrix Ortogonalni latinski kvadrati isnuyut dlya vsih n krim 2 i 6 Yaksho v kozhnij diagonali latinskogo kvadrata vsi elementi rizni takij latinskij kvadrat nazivayetsya diagonalnim Pari ortogonalnih diagonalnih latinskih kvadrativ isnuyut dlya vsih n krim 2 3 i 6 Prikladom ortogonalnih diagonalnih latinskih kvadrativ mozhe buti 1 2 3 4 5 5 3 4 1 2 4 5 2 3 1 2 4 1 5 3 3 1 5 2 4 1 2 3 4 5 4 5 2 3 1 5 3 4 1 2 3 1 5 2 4 2 4 1 5 3 displaystyle begin bmatrix 1 amp 2 amp 3 amp 4 amp 5 5 amp 3 amp 4 amp 1 amp 2 4 amp 5 amp 2 amp 3 amp 1 2 amp 4 amp 1 amp 5 amp 3 3 amp 1 amp 5 amp 2 amp 4 end bmatrix quad quad begin bmatrix 1 amp 2 amp 3 amp 4 amp 5 4 amp 5 amp 2 amp 3 amp 1 5 amp 3 amp 4 amp 1 amp 2 3 amp 1 amp 5 amp 2 amp 4 2 amp 4 amp 1 amp 5 amp 3 end bmatrix Kvadrat iz par elementiv dvoh ortogonalnih latinskih kvadrativ nazivayetsya greko latinskim kvadratom Zastosuvannya v statisticiLatinski kvadrati mayut shiroke zastosuvannya v oblasti planuvannya eksperimentiv Nehaj potribno provesti dekilka eksperimentiv sho zalezhat vid troh parametriv 1 a b c n tak shob dlya kozhnoyi pari buli viprobuvani vsi n variantiv Todi neobhidno vzyati deyakij latinskij kvadrat poryadku n i provesti n eksperimentciv z parametrami a nomer ryadka b nomer stovpcya c znachennya u vidpovidnij klitini latinskogo kvadrata LiteraturaJ H van Lint R M Wilson A Course in Combinatorics Cambridge University Press 1992 ISBN 0 521 42260 4 C F Laywine G L Mullen Discrete MathematicsUsing Latin Squares Wiley amp sons inc 1998 ISBN 0 471 24064 8 Denes J Keedwell A D Latin squares and their applications Budapest Academiai Kiado 1974 547p Markova E D Rukovodstvo po primeneniyu latinskih planov pri planirovanii eksperimenta s kachestvennyami faktorami Chelyabinsk Yuzhno Ural kn izd vo 1971 156s Belousov V D Elementy teorii kvazigrupp Kishinev 1981 Ce nezavershena stattya z matematiki Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi Ce nezavershena stattya pro algoritmi Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi