Латинский квадрат

\(\textbf{Латинским квадратом n-того порядка}\) называют таблицу \(A=(a_{ij})\) размером \(n\times n,\) заполненную \(n\) элементами множества \(M\) таким образом, что в каждой строке и в каждом столбце таблицы каждый элемент из \(M\) встречается ровно один раз.

\(\textbf{Пример.}\) Пусть \(M=\{A,B,C\}.\)
\[
\begin{array}{| c | c | c |}
\hline
A&B&C\\
\hline
C&A&B\\
\hline
B&C&A\\
\hline
\end{array}
\]