라틴 방진 문서 원본 보기

{{위키데이터 속성 추적}}
[[파일:Fisher-stainedglass-gonville-caius.jpg|섬네일|[[케임브리지 대학교]]에 있는, 7×7 라틴 방진을 나타내는 [[스테인드 글라스]]. 이는 라틴 방진의 이론에 공헌한 [[로널드 피셔]]를 기리기 위하여 피셔의 제자 앤서니 윌리엄 페어뱅크 에드워즈({{llang|en|Anthony William Fairbank Edwards}})가 디자인하였다.]]
[[조합론]]에서 '''라틴 방진'''(Latin方陣, {{llang|en|Latin square}})은 각 행과 열이 각각 주어진 [[알파벳]]의 문자를 모두 중복되지 않게 포함하는 [[정사각 행렬]]이다.<ref>{{서적 인용|이름1=A. Donald|성1=Keedwell|이름2=József|성2=Denes|제목=Latin squares and applications|판=2|doi=10.1016/B978-0-444-63555-6.50016-7|출판사=North-Holland|날짜=2015|zbl=1318.05001|언어=en}}</ref>

== 정의 ==
라틴 방진의 개념은 다음과 같이 두 가지로 정의될 수 있으며, 이 두 정의는 서로 [[동치]]이다.
* 라틴 방진은 특별한 성질을 갖는, 기호들로 구성된 일종의 [[정사각 행렬]]이다.
* 라틴 방진은 특별한 성질을 만족시키는 [[순서쌍]] 집합으로 여겨질 수 있다. 이 정의는 행렬을 통한 정의보다 더 대칭적이지만, 조금 덜 직관적이다.
* 라틴 방진은 [[유한 집합|유한]] [[유사군]]으로 여겨질 수 있다.

=== 행렬을 통한 정의 ===
다음이 주어졌다고 하자.
* 자연수 <math>n\in\mathbb N</math>. 이를 라틴 방진의 '''크기'''라고 한다.
* [[집합의 크기|크기]] <math>n</math>의 [[유한 집합]] <math>\Sigma</math>. 이를 '''알파벳'''이라고 한다.
그렇다면, 알파벳 <math>\Sigma</math>에 대한 '''라틴 방진'''은 다음 조건을 만족시키는, <math>\Sigma</math>의 원소를 성분으로 하는, <math>n\times n</math> [[정사각 행렬]]
:<math>L=\begin{pmatrix}
L_{11}&L_{12}&\dotsm&L_{1n}\\
L_{21}&L_{22}&&L_{2n}\\
\vdots&&\ddots&\vdots\\
L_{n1}&L_{n2}&\ddots&L_{nn}
\end{pmatrix}</math>
이다.
* 각 행은 <math>\Sigma</math>의 모든 원소를 (정확히 하나씩) 포함한다. 즉, 임의의 <math>i\in\{1,\dotsc,n\}</math>에 대하여, <math>\Sigma=\{M_{i1},\dotsc,M_{i n}\}</math>이다.
* 각 열은 <math>\Sigma</math>의 모든 원소를 (정확히 하나씩) 포함한다. 즉, 임의의 <math>j\in\{1,\dotsc,n\}</math>에 대하여, <math>\Sigma=\{M_{1j},\dotsc,M_{nj}\}</math>이다.

=== 순서쌍을 통한 정의 ===
알파벳 <math>\Sigma=\{1,2,3,\dotsc,n\}</math>를 생각하자.

크기 <math>n</math>의 '''라틴 방진'''은 다음 두 조건들을 만족시키는 부분 집합
:<math>L\subseteq\Sigma^3=\Sigma\times\Sigma\times\Sigma</math>
이다.
* <math>|L|=|\Sigma|^2</math>이다.
* <math>L</math>의 서로 다른 두 원소는 세 성분 가운데 임의의 두 개 만으로도 구별된다. 즉, 임의의 <math>(a,b,c),(a',b',c')\in L</math>에 대하여, 만약 <math>(a,b,c)\ne(a',b',c')</math>라면, <math>(a,b)\ne (a',b')</math>이며, <math>(b,c)\ne(b',c')</math>이며, <Math>(a,c)\ne(a',c')</math>이다.

이 정의는 행렬을 통한 정의와 [[동치]]이다. 구체적으로, 행렬 <math>M</math>이 주어졌을 때, 이에 대응하는 순서쌍 집합은
:<math>\{(i,j,M_{ij})\colon 1\le i,j\le n\}</math>
이다.

=== 대수적 정의 ===
크기 <math>n</math>의 '''라틴 방진'''은 집합 <math>\Sigma=\{1,2,\dotsc,n\}</math> 위에 정의된, 다음 두 조건을 따르는 [[이항 연산]]
:<math>*\colon\Sigma\times\Sigma\to\Sigma</math>
이다.
* (왼쪽 역원의 존재) 임의의 <Math>a,b\in\Sigma</math>에 대하여, <math>a*x=b</math>인 <math>x\in\Sigma</math>가 유일하게 존재한다.
* (오른쪽 역원의 존재) 임의의 <Math>a,b\in\Sigma</math>에 대하여, <math>x*a=b</math>인 <math>x\in\Sigma</math>가 유일하게 존재한다.
즉, 라틴 방진의 개념은 [[유한 집합|유한]] [[유사군]]의 개념과 사실상 [[동치]]이다.

이 경우, <math>(\Sigma,*)</math>에 대응되는 행렬은
:<math>M_{ij}=i*j</math>
이며, 마찬가지로 <math>(\Sigma,*)</math>에 대응되는 순서쌍 집합은
:<math>\{(i,j,i*j)\colon i,j\in\Sigma\}</math>
이다.

== 연산 ==
=== 동위 라틴 방진 ===
임의의 라틴 방진 <math>M</math>이 주어졌다고 하자.
* <math>M</math>의 행들의 [[순열]]을 취해도 라틴 방진을 이룬다. 즉, 임의의 [[순열]] <math>\sigma\in\operatorname{Sym}(n)</math>에 대하여, <math>N_{ij}=M_{\sigma(i)j}</math> 역시 라틴 방진이다.
* <math>M</math>의 열들의 [[순열]]을 취해도 라틴 방진을 이룬다. 즉, 임의의 [[순열]] <math>\sigma\in\operatorname{Sym}(n)</math>에 대하여, <math>N_{ij}=M_{i\sigma(j)}</math> 역시 라틴 방진이다.
* <math>M</math>의 각 성분에 <math>\Sigma</math>의 순열을 취해도 라틴 방진을 이룬다. 즉, 임의의 [[순열]] <math>\sigma\in\operatorname{Sym}(n)</math>에 대하여, <math>N_{ij}=\sigma(M_{ij})</math> 역시 라틴 방진이다.
만약 같은 알파벳 위의 두 라틴 방진을 위와 같은 연산들을 가하여 같게 만들 수 있다면, 이 두 라틴 방진이 서로 '''동위'''(同位, {{llang|en|isotopic}})라고 한다.

이에 따라, 알파벳 <math>\Sigma=(a_1,a_2,\dotsc,a_n)</math>가 [[전순서 집합]]일 때, 임의의 <math>\Sigma</math>-라틴 방진에 순열을 가해 첫 행과 첫 열이 둘 다 순서대로 배열되게 놓을 수 있다. 즉, 다음과 같은 꼴이다.
:<math>L=\begin{pmatrix}
a_1&a_2&\dotsm&a_n\\
a_2&L_{22}&&L_{2n}\\
\vdots&&\ddots&\vdots\\
a_n&L_{n2}&\dotsm&L_{nn}
\end{pmatrix}</math>
이를 '''표준형 라틴 방진'''(標準型Latin方陣, {{llang|en|normal-form/standard-form/reduced Latin square}})이라고 한다.

=== 켤레 라틴 방진 ===
(순서쌍으로 표현된) 라틴 방진 <math>M</math>이 주어졌다고 하자. 그렇다면, 크기 3의 집합 위의 순열 <Math>\sigma\in\operatorname{Sym}(3)</math>에 대하여, 순서쌍 집합
:<math>M'=\{\sigma\cdot(a_1,a_2,a_3)=(a_{\sigma(1)},a_{\sigma(2)},a_{\sigma(3)})\colon (a_1,a_2,a_3)\in M\}</math>
역시 라틴 방진을 이루며, 이 경우 <math>M'</math>과 <math>M</math>이 서로 '''켤레'''({{llang|en|conjugate}})라고 한다.

특히, 예를 들어 <math>\sigma=(12)</math>일 경우 이는 행렬 표현에서 [[정사각 행렬]]의 [[전치 행렬]]을 취하는 것에 해당한다.

=== 직교성 ===
같은 크기의 두 라틴 방진 <math>M</math>, <math>N</math>이 주어졌다고 하자. 만약 각 칸에서 두 라틴 방진의 성분이 각각 다른 순서쌍을 이룬다면, 즉 만약
:<math>\forall i,j,i',j'\in\{1,2,\dotsc,\}\colon (M_{ij},N_{ij})\ne(M_{i'j'},N_{i'j'})</math>
라면, <math>M</math>과 <math>N</math>이 서로 '''직교'''(直交, {{llang|en|orthogonal}})라고 하며,
:<math>M\perp N</math>
으로 표기한다.

같은 크기의 라틴 방진의 집합 <math>\mathcal M</math>에 대하여, 만약 임의의 <math>M,N\in\mathcal M</math>에 대하여 <math>M\ne N</math>일 경우 <math>M\perp N</math>일 때, <math>\mathcal M</math>을 '''상호 직교 라틴 방진 집합'''({{llang|en|set of mutually orthogonal Latin squares}}, 약자 MOLS)이라고 한다. 특히, 크기가 2인 상호 직교 라틴 방진 집합, 즉 직교하는 두 라틴 방진의 [[순서쌍]] <math>(M,N)</math>을 '''직교 라틴 방진 (쌍)'''(直交Latin方陣順序雙, {{llang|en|(pair of) orthogonal Latin square(s)}}) 또는 '''그레코라틴 방진'''(Greco-Latin方陣, {{llang|en|Greco–Latin square}})이라고 한다.

== 성질 ==
=== 라틴 방진의 수 ===
라틴 방진의 수는 다음과 같다. 여기서, 주어진 크기 <math>n</math>의 라틴 방진의 수(즉, 넷째 열)는 표준형 라틴 방진의 수(즉, 셋째 열) × <math>n!(n-1)!</math>이다.
{| class=wikitable style="text-align: right"
|-
! 크기 ''n'' || 라틴 방진의 동위류의 수<br>{{OEIS|A40082}} || 표준형 라틴 방진의 수<br>{{OEIS|A315}} || 모든 라틴 방진의 수<br>{{OEIS|A2860}}
|-
! 0
| 1 || 1 || 1
|-
!1
| 1 || 1 || 1
|-
!2
| 1 || 1 || 2
|-
!3
| 1 || 1 || 12
|-
!4
|2 || 4 || 576
|-
!5
| 2 || 56 || 161&thinsp;280
|-
!6
| 22 || 9&thinsp;408 || 812&thinsp;851&thinsp;200
|-
!7
| 564 || 16&thinsp;942&thinsp;080 || 61&thinsp;479&thinsp;419&thinsp;904&thinsp;000
|-
! 8
| 1&thinsp;676&thinsp;267 || 115&thinsp;618&thinsp;721&thinsp;533 | 535&thinsp;281&thinsp;401&thinsp;856 || 108&thinsp;776&thinsp;032&thinsp;459&thinsp;082&thinsp;956&thinsp;800
|-
! 9
| 115&thinsp;618&thinsp;721&thinsp;533 || 377&thinsp;597&thinsp;570&thinsp;964&thinsp;258&thinsp;816 || 5&thinsp;524&thinsp;751&thinsp;496&thinsp;156&thinsp;892&thinsp;842&thinsp;531&thinsp;225&thinsp;600
|-
! 10
| 208&thinsp;904&thinsp;371&thinsp;354&thinsp;363&thinsp;006 || 7&thinsp;580&thinsp;721&thinsp;483&thinsp;160&thinsp;132&thinsp;811&thinsp;489&thinsp;280 || 9&thinsp;982&thinsp;437&thinsp;658&thinsp;213&thinsp;039&thinsp;871&thinsp;725&thinsp;064&thinsp;756&thinsp;920&thinsp;320&thinsp;000
|-
! 11
| 12&thinsp;216&thinsp;177&thinsp;315&thinsp;369&thinsp;229&thinsp;261&thinsp;482&thinsp;540 || 5&thinsp;363&thinsp;937&thinsp;773&thinsp;277&thinsp;371&thinsp;298&thinsp;119&thinsp;673&thinsp;540&thinsp;771&thinsp;840 || 776&thinsp;966&thinsp;836&thinsp;171&thinsp;770&thinsp;144&thinsp;107&thinsp;444&thinsp;346&thinsp;734&thinsp;230&thinsp;682&thinsp;311&thinsp;065&thinsp;600&thinsp;000
|}

크기 <math>n</math>의 라틴 방진의 수를 <math>L_n</math>이라고 하면, 다음이 성립한다.
:<math>\frac{(n!)^{2n}}{n^{n^2}}\le L_n\le \prod_{i=1}^n(i!)^{n/i}\qquad\forall n\in\mathbb N</math>
물론, 크기 <math>n</math>의 표준형 라틴 방진의 수는 <math>L!/(n!(n-1)!)</math>이다. (<math>n=0</math>일 경우, 좌변에서 <math>0^0=1</math>로 놓으며, 우변에서 0개의 항의 곱은 1이다.)

또한, 다음과 같은 <math>L_n</math>에 대한 공식이 존재한다.<ref>{{저널 인용|제목=A formula for the number of Latin squares|이름=Jia-yu|성=Shao|이름2=Wan-di|성2=Wei|저널=Discrete Mathematics|권=110|호=1–3|날짜=1992-12-11|쪽=293–296|doi=10.1016/0012-365X(92)90722-R|언어=en}}</ref>
:<math>L_n=n!\sum_{M\in\operatorname{Mat}(n,n;\{0,1\})}(-)^{|\{(i,j)\in\{1,2,\dotsc,n\}^2\colon M_{ij}=0\}|}\binom{\operatorname{perm}M}n</math>
여기서
* <math>\operatorname{Mat}(n,n;\{0,1\})</math>은 <math>\{0,1\}</math> 성분을 갖는, <math>n\times n</math> [[정사각 행렬]]들의 집합이다.
* <math>|\{(i,j)\in\{1,2,\dotsc,n\}^2\colon M_{ij}=0\}|</math>은 행렬 <math>M</math>의 성분 가운데, 값이 0인 것의 수이다.
* <math>\operatorname{perm}M\in\mathbb N</math>은 행렬 <math>M</math>의 [[퍼머넌트]]이다.
* <math>\textstyle\binom{-}{-}</math>은 [[이항 계수]]이다.

=== 직교 라틴 방진의 존재 ===
임의의 양의 정수 <math>n\ge2</math>에 대하여, 다음 두 조건이 서로 [[동치]]이다.
* 서로 직교하는 두 <math>n\times n</math> 라틴 방진을 찾을 수 있다.
* <math>n\not\in\{2,6\}</math>이다.
다시 말해, 2×2 및 6×6을 제외한 다른 모든 크기에서는 직교 라틴 방진 쌍이 존재한다.

보아 일반적으로, <math>n\ge2</math>일 때, 크기 <math>n\times n</math>의 상호 직교 라틴 방진 집합의 [[집합의 크기|크기]]는 항상 <math>n-1</math> 이하이다. 또한, 만약 <math>n</math>이 [[소수 (수론)|소수]]의 거듭제곱일 때 (즉, 만약 크기 <math>n</math>의 [[유한체]]가 존재할 때) 이 [[상계 (수학)|상계]]는 포화된다. 구체적으로, 크기 <math>n-1</math>의 <math>n\times n</math> 상호 직교 라틴 방진 집합은 크기 <math>n</math>의 유한 [[사영 평면]]의 존재와 동치이다.

각 <math>n</math>에 대하여, 상호 직교 라틴 방진 집합의 최대 [[집합의 크기|크기]]는 다음과 같다. {{OEIS|A1438}}
{| class=wikitable
|-
! 크기 <math>n</math> || 상호 직교 라틴 방진 집합의 최대 [[집합의 크기|크기]]
|-
! 0
| ∞
|-
! 1
| ∞
|-
! 2
| 1
|-
! 3
| 2
|-
! 4
| 3
|-
! 5
| 4
|-
! 6
| 1
|-
! 7
| 6
|-
! 8
| 7
|-
! 9
| 8
|}

== 예 ==
크기 3 이하의 (유일한) 표준형 라틴 방진들은 각각 다음과 같다.
:<math>\begin{pmatrix}\end{pmatrix}</math>
:<math>\begin{pmatrix}1\end{pmatrix}</math>
:<math>\begin{pmatrix}
1&2\\
2&1
\end{pmatrix}</math>
:<math>\begin{pmatrix}
1&2&3\\
2&3&1\\
3&1&2
\end{pmatrix}</math>

== 응용 ==
[[통계학]]에서, 라틴 방진은 [[실험 설계]]에 사용된다.

== 역사 ==
[[최석정]](1646~1715)은 1710년~1715년 경 출판된 것으로 여겨지는 수학서 《[[구수략]]》<ref>{{서적 인용|저자=崔錫鼎|저자링크=최석정|날짜=1715?|제목=[[구수략|九數略]]|언어=zh}}</ref>에서 서로 직교인 9×9 라틴 방진 쌍 및 (서로 직교가 아닌) 두 개의 10×10 라틴 방진을 수록하였다.<ref>{{저널 인용|url=http://coding.yonsei.ac.kr/pdf/KSHSBA_2010_v23n3_21.pdf|제목=최석정의 직교라틴방진|저널=한국수학사학회지|권=23|호=3|날짜=2010-08|쪽=21–31|저자=김성숙|저자2=강미경|언어=ko|확인날짜=2017-06-08|보존url=https://web.archive.org/web/20190728164542/http://coding.yonsei.ac.kr/pdf/KSHSBA_2010_v23n3_21.pdf|보존날짜=2019-07-28|url-status=dead}}</ref> 최석정은 두 10×10 라틴 방진을 각각 백자자수음양착종도(白子子數陰陽錯綜圖) · 백자모수음양착종도(白子母數陰陽錯綜圖)라고 명명하였으며, 9×9 직교 라틴 방진을 구구모수변궁양도(九九母數變宮陽圖)라고 명명하였다.

프랑스의 수학자 자크 오자낭({{llang|fr|Jacques Ozanam}}, 1640~1718)은 1694년에 각종 수학 퍼즐이 수록된 책을 출판하였다.<ref>{{서적 인용|이름=Jacques|성=Ozanam|제목=Recreations mathematiques et physiques, qui contiennent Pluſieurs Problêmes d’Arithmetique, utiles & agreables, de Geometrie, d’Optique, de Gnomonique, de Coſmographie, de Mecanique, de Pyrotechnie, & de Phyſique. Avec un Traitè nouveau des Horloges Elementaires|출판사=Chez Jean Jombert|위치=[[파리 (프랑스)|파리]]|날짜=1694|언어=fr}}</ref> 이후 오자낭의 사후 1778년에 장에티엔 몽튀클라({{llang|fr|Jean-Étienne Montucla}}, 1725~1799)가 이를 편집하고 새 퍼즐들을 추가하여 재출판하였으며, 이 개정판에는 (제1판에 수록되지 않았던) 4×4 직교 라틴 방진에 해당하는 퍼즐이 수록되어 있다.<ref>{{서적 인용|이름=Jacques|성=Ozanam|제목=Recreations mathematiques et physiques, ou l’on traite. Des Phoſphores naturels & artificiels, & des lampes perpétuelles. Diſſertation phyſique & chymique. Avec l’explication des tours de gibeciere, de gobelets, & autres récréatifs & divertiſſans|판=2|출판사=Chez Claude Jombert|날짜=1778|위치=[[파리 (프랑스)|파리]]|언어=fr}}</ref> 개정판 4권에 수록된 산수 퍼즐 29번은 [[플레잉카드]]의 4개의 슈트(◆, ♥, ♠, ♣)에 속하는, 숫자 대신 라틴 문자가 달린 카드(킹 K, 퀸 Q, 잭 J, 에이스 A)를 사용하여 직교 라틴 방진을 구성하는 것이었으며, 책에 수록된 해는 다음과 같다.
:🃋🂱🂮🃝
:🂭🃞🃁🂻
:🃑🂫🂽🃎
:🂾🃍🃛🂡

[[레온하르트 오일러]]는 1779년에 집필되고 1782년에 출판된 논문<ref name="Euler">{{저널 인용|이름=Leonhard|성=Euler|제목=Recherches sur une nouvelle espèce de quarrés magiques|날짜=1782|저널=Verhandelingen uitgegeven door het zeeuwsch genootschap der wetenschappen te Vlissingen|권=9|쪽=85–239|url=http://www.biodiversitylibrary.org/item/54628#page/229/mode/1up|언어=fr|access-date=2017-06-09|archive-date=2020-06-11|archive-url=https://web.archive.org/web/20200611011716/https://www.biodiversitylibrary.org/item/54628#page/229/mode/1up|url-status=dead}}</ref>에서, 만약 <Math>n\not\equiv 2\pmod4</math>일 경우 서로 직교하는 <math>n\times n</math> 라틴 방진의 쌍이 존재함을 증명하였으며, 또한 이것이 직교하는 라틴 방진의 쌍이 존재할 [[필요 충분 조건]]일 것이라고 추측하였다.

“라틴 방진”이라는 용어는 [[레온하르트 오일러]]가 논문<ref name="Euler"/>에서 이러한 조합론적 구조를 다룰 때, 알파벳의 원소를 ([[그리스 문자]] 대신) [[라틴 문자]]로 표기한 것에서 유래하였다. 예를 들어 다음과 같은 꼴이다.
:{| class=wikitable
| a || b || c
|-
| c || a || b
|-
| b || c || a
|}
마찬가지로, “그레코라틴 방진”이라는 용어는 오일러가 두 라틴 방진의 원소를 각각 [[라틴 문자]]와 [[그리스 문자]]로 표기한 것에서 유래하였다. 예를 들어, 다음과 같은 꼴이다.
:{| class=wikitable
| aα || bγ || cβ
|-
| cγ || aβ || bα
|-
| bβ || cα || aγ
|}
이 논문에서 오일러는 다음과 같이 적었다.
{{인용문2|
§1. 매우 흥미로운 한 문제가 […] 내게 아래와 같은 연구를 개시할 동기를 부여하였다 […]. 이 문제는 36인의 장교에 대한 것이다. 이들은 6개의 서로 다른 계급을 가지며, 6개의 서로 다른 연대에 속한다. 이들은 정사각형의 모양으로 배열하여, 각 행과 각 열이 각각 6인의, 서로 다른 계급과 연대에 속하는 장교들로 구성되어야 한다. 이 문제에 많은 노력을 할애한 뒤, 나는 이러한 배열이 (비록 이를 엄밀히 증명할 수는 없지만) 절대로 불가능함을 인정한다.
<br>§2. 이 문제의 상태를 더 잘 설명하기 위하여, 나는 여섯 개의 연대를 각각 [[라틴 문자]] a, b, c, d, e, f로 표시할 것이며, 여섯 개의 계급을 각각 [[그리스 문자]] α, β, γ, δ, ε, ζ로 표시할 것이다. 즉, 각 장교의 특성은 두 개의 글자 — 라틴 글자 하나, 그리스 글자 하나 — 로 결정되며, 첫째는 연대, 둘째는 계급을 나타낸다. […]<br>
{{lang|fr|§1. Une question fort curieuſe […] m’a engagé à faire les recherches ſuivantes […]. Cette question rouloit ſur une asſemblée de 36 Officiers de ſix différens grades et tirès de ſix Régimens différens, qu’il ſ’agisſoit de ranger dans un quarré, de manière que ſur chaque ligne tant horizontale que verticale il ſe trouva ſix Officiers tant de différens caractères que de Régimens différens. Or après toutes les peines qu’on ſ’est donné pour reſoudre ce Probléme, on a été obligé de réconnoître, qu’un tel arrangement est abſolument imposſible, quoiqu’on ne puisſe pas en donner de demonſtration rigoureuſe.<br>
§2. Pour mieux expliquer l’étât de la question mentionée, je marquerai les ſix Régimens différens par les lettres latines a, b, c, d, e, f, et les ſix différens grades par les grecques α, β, γ, δ, ε, ζ, et il est clair que le Caractère de chaque Officier est déterminé par deux lettres, l’une latine, et l’autre grecque, dont la premiere marque ſon Régiment, et l’autre ſon grade […].}}
|<ref name="Euler"/>{{rp|85–86, §§1–2}}
}}
1901년에 프랑스의 수학자 가스통 타리({{llang|fr|Gaston Tarry}}, 1843~1913)는 서로 직교하는 두 6×6 라틴 방진이 존재할 수 없음을 엄밀히 증명하여, 오일러의 추측의 일부를 확인하였다.<ref>{{저널 인용|이름=Gaston|성=Tarry|날짜=1901-08-04|제목=Le problème des 36 officiers|저널=Association française pour l’avancement des Sciences, Paris, Comptes-rendus de la 29° session, Deuxième partie: Notes et mémoires|쪽=170-203|url=http://gallica.bnf.fr/ark:/12148/bpt6k2011936/f175.image.r=Tarry.langFR|언어=fr}}</ref>

그러나 1959년에 [[라지 찬드라 보스]]와 샤라드찬드라 샨카르 슈리칸데({{llang|hi|शरदचंद्र शंकर श्रीखंडे}}, {{llang|en|Sharadchandra Shankar Shrikhande}})는 서로 직교하는 22×22 라틴 방진의 존재를 증명하였다.<ref>{{저널 인용|이름=Raj Chandra|성=Bose|저자링크=라지 찬드라 보스|이름2=Sharadchandra Shankar|성2=Shrikhande|제목=On the falsity of Euler’s conjecture about the non-existence of two orthogonal Latin squares of order 4''t''+2|저널=Proceedings of the National Academy of Science of the United States of America|권=45|호=5|날짜=1959-05-01|쪽=734–737|jstor=90214|zbl= 0085.00902|pmc=222625|issn=0027-8424|언어=en}}</ref> 곧 보스와 슈리칸데와 어니스트 틸던 파커({{llang|en|Ernest Tilden Parker}}, 1926~1991)는 1960년에 10 이상의 모든 수에 대하여 오일러의 추측이 거짓임을 증명하였다.<ref>{{저널 인용|이름=Raj Chandra|성=Bose|저자링크=라지 찬드라 보스|이름2=Sharadchandra Shankar|성2=Shrikhande|이름3=Ernest Tilden|성3=Parker|제목=Further results on the construction of mutually orthogonal Latin squares and the falsity of Euler’s conjecture|doi=10.4153/CJM-1960-016-5|저널=Canadian Journal of Mathematics|권=12|날짜=1960|쪽=189–203|zbl=0093.31905|issn=0008-414X|언어=en}}</ref>

== 같이 보기 ==
* [[블록 설계]]
* [[여덟 퀸 문제]]
* [[마방진]]
* [[사토르 마방진]]
== 각주 ==
{{각주}}

== 외부 링크 ==
* {{eom|title=Latin square}}
* {{eom|title=Latin rectangle }}
* {{eom|title=Orthogonal Latin squares }}
* {{매스월드|id=LatinSquare|title=Latin square}}
* {{매스월드|id=PartialLatinSquare|title=Partial Latin square}}
* {{매스월드|id=LatinRectangle|title=Latin rectangle}}
* {{매스월드|id=EulerSquare|title=Euler square}}
* {{매스월드|id=EulersGraeco-RomanSquaresConjecture|title=Euler’s Graeco-Roman squares conjecture}}
* {{매스월드|id=36OfficerProblem|title=36 Officer Problem}}
* {{nlab|id=Latin square}}

{{전거 통제}}

[[분류:실험 설계]]
[[분류:오류 검출 정정]]
[[분류:조합론]]
[[분류:통계학 용어]]