직교 라틴 방진

조합론에서 직교 라틴 방진(直交Latin方陣, 영어: Orthogonal Latin square)은 라틴 방진 2개를 겹쳤을 때 중복된 문자열이 존재하지 않는 정사각 행렬이다. 같은 크기의 두 라틴 방진 M {\displaystyle M} , N {\displaystyle N} 이 주어졌다고 하자. 만약 각 칸에서 두 라틴 방진의 성분이 각각 다른 순서쌍을 이룬다면, 즉 만약 ∀ i , j , i ′ , j ′ ∈ { 1 , 2 , … , } : ( M i j , N i j ) ≠ ( M i ′ j ′ , N i ′ j ′ ) {\displaystyle \forall i,j,i',j'\in \{1,2,\dotsc ,\}\colon (M_{ij},N_{ij})\neq (M_{i'j'},N_{i'j'})} 라면, M {\displaystyle M} 과 N {\displaystyle N} 이 서로 직교(直交, 영어: orthogonal)라고 하며, M ⊥ N {\displaystyle M\perp N} 으로 표기한다. 같은 크기의 라틴 방진의 집합 M {\displaystyle {\mathcal {M}}} 에 대하여, 만약 임의의 M , N ∈ M {\displaystyle M,N\in {\mathcal {M}}} 에 대하여 M ≠ N {\displaystyle M\neq N} 일 경우 M ⊥ N {\displaystyle M\perp N} 일 때, M {\displaystyle {\mathcal {M}}} 을 상호 직교 라틴 방진 집합(영어: set of mutually orthogonal Latin squares, 약자 MOLS)이라고 한다. 특히, 크기가 2인 상호 직교 라틴 방진 집합, 즉 직교하는 두 라틴 방진의 순서쌍 ( M , N ) {\displaystyle (M,N)} 을 직교 라틴 방진 (쌍)(直交Latin方陣順序雙, 영어: (pair of) orthogonal Latin square(s)) 또는 그레코라틴 방진(Greco-Latin方陣, 영어: Greco–Latin square)이라고 한다. 최석정(1646~1715)은 1710년~1715년 경 출판된 것으로 여겨지는 수학서 《구수략》에서 서로 직교인 9×9 라틴 방진 쌍 및 (서로 직교가 아닌) 두 개의 10×10 라틴 방진을 수록하였다. 최석정은 두 10×10 라틴 방진을 각각 백자자수음양착종도(白子子數陰陽錯綜圖) · 백자모수음양착종도(白子母數陰陽錯綜圖)라고 명명하였으며, 9×9 직교 라틴 방진을 구구모수변궁양도(九九母數變宮陽圖)라고 명명하였다. 프랑스의 수학자 자크 오자낭(프랑스어: Jacques Ozanam, 1640~1718)은 1694년에 각종 수학 퍼즐이 수록된 책을 출판하였다. 이후 오자낭의 사후 1778년에 장에티엔 몽튀클라(프랑스어: Jean-Étienne Montucla, 1725~1799)가 이를 편집하고 새 퍼즐들을 추가하여 재출판하였으며, 이 개정판에는 (제1판에 수록되지 않았던) 4×4 직교 라틴 방진에 해당하는 퍼즐이 수록되어 있다. 개정판 4권에 수록된 산수 퍼즐 29번은 플레잉카드의 4개의 슈트(◆, ♥, ♠, ♣)에 속하는, 숫자 대신 라틴 문자가 달린 카드(킹 K, 퀸 Q, 잭 J, 에이스 A)를 사용하여 직교 라틴 방진을 구성하는 것이었으며, 책에 수록된 해는 다음과 같다. 🃋🂱🂮🃝 🂭🃞🃁🂻 🃑🂫🂽🃎 🂾🃍🃛🂡 레온하르트 오일러는 1779년에 집필되고 1782년에 출판된 논문에서, 만약 n ≢ 2 ( mod 4 ) {\displaystyle n\not \equiv 2{\pmod {4}}} 일 경우 서로 직교하는 n × n {\displaystyle n\times n} 라틴 방진의 쌍이 존재함을 증명하였으며, 또한 이것이 직교하는 라틴 방진의 쌍이 존재할 필요 충분 조건일 것이라고 추측하였다. “라틴 방진”이라는 용어는 레온하르트 오일러가 논문에서 이러한 조합론적 구조를 다룰 때, 알파벳의 원소를 (그리스 문자 대신) 라틴 문자로 표기한 것에서 유래하였다. 예를 들어 다음과 같은 꼴이다. 마찬가지로, “그레코라틴 방진”이라는 용어는 오일러가 두 라틴 방진의 원소를 각각 라틴 문자와 그리스 문자로 표기한 것에서 유래하였다. 예를 들어, 다음과 같은 꼴이다. 이 논문에서 오일러는 다음과 같이 적었다. 1901년에 프랑스의 수학자 가스통 타리(프랑스어: Gaston Tarry, 1843~1913)는 서로 직교하는 두 6×6 라틴 방진이 존재할 수 없음을 엄밀히 증명하여, 오일러의 추측의 일부를 확인하였다. 그러나 1959년에 라지 찬드라 보스와 샤라드찬드라 샨카르 슈리칸데(힌디어: शरदचंद्र शंकर श्रीखंडे, 영어: Sharadchandra Shankar Shrikhande)는 서로 직교하는 22×22 라틴 방진의 존재를 증명하였다. 곧 보스와 슈리칸데와 어니스트 틸던 파커(영어: Ernest Tilden Parker, 1926~1991)는 1960년에 10 이상의 모든 수에 대하여 오일러의 추측이 거짓임을 증명하였다. 블록 설계 崔錫鼎 (1715?). 《九數略》 (중국어).  다음 날짜 값 확인 필요: |date= (도움말) 김성숙; 강미경 (2010년 8월). “최석정의 직교라틴방진” (PDF). 《한국수학사학회지》 23 (3): 21–31. 2019년 7월 28일에 원본 문서 (PDF)에서 보존된 문서. 2017년 6월 8일에 확인함.  Ozanam, Jacques (1694). 《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.  Ozanam, Jacques (1778). 《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.  Euler, Leonhard (1782). “Recherches sur une nouvelle espèce de quarrés magiques”. 《Verhandelingen uitgegeven door het zeeuwsch genootschap der wetenschappen te Vlissingen》 (프랑스어) 9: 85–239. 2020년 6월 11일에 원본 문서에서 보존된 문서. 2021년 1월 21일에 확인함.  Tarry, Gaston (1901년 8월 4일). “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.  Bose, Raj Chandra; Shrikhande, Sharadchandra Shankar (1959년 5월 1일). “On the falsity of Euler’s conjecture about the non-existence of two orthogonal Latin squares of order 4t+2”. 《Proceedings of the National Academy of Science of the United States of America》 (영어) 45 (5): 734–737. ISSN 0027-8424. JSTOR 90214. PMC 222625. Zbl 0085.00902.  Bose, Raj Chandra; Shrikhande, Sharadchandra Shankar; Parker, Ernest Tilden (1960). “Further results on the construction of mutually orthogonal Latin squares and the falsity of Euler’s conjecture”. 《Canadian Journal of Mathematics》 (영어) 12: 189–203. doi:10.4153/CJM-1960-016-5. ISSN 0008-414X. Zbl 0093.31905.