一个7x7的拉丁方阵
拉丁方阵(英语:Latin square)是一种 n × n 的方阵,在这种 n × n 的方阵里,恰有 n 种不同的元素,每一种不同的元素在同一行或同一列里只出现一次。以下是两个拉丁方阵举例:
[
1
2
3
2
3
1
3
1
2
]
[
a
b
d
c
b
c
a
d
c
d
b
a
d
a
c
b
]
{displaystyle {begin{bmatrix}1&2&32&3&13&1&2end{bmatrix}}{begin{bmatrix}a&b&d&cb&c&a&dc&d&b&ad&a&c&bend{bmatrix}}}
拉丁方阵有此名称是因为瑞士数学家和物理学家欧拉使用拉丁字母来做为拉丁方阵里的元素的符号。
目录
1 拉丁方阵的标准型
2 同型类别
3 拉丁方阵的正交
4 希腊拉丁方阵
5 正交拉丁方
5.1 定理
5.2 应用
6 拉丁方阵的数量
7 参考文献
8 外部链接
9 参见
拉丁方阵的标准型
当一个拉丁方阵的第一行与第一列的元素按顺序排列时,此为这个拉丁方阵的标准型,英语称为"reduced Latin square, normalized Latin square, 或Latin square in standard form"。
同型类别
参见:等价类和集合划分
许多对于拉丁方阵的运算都会产生新的拉丁方阵。例如说,交换拉丁方阵里的行、交换拉丁方阵里的列、或是交换拉丁方阵里的元素的符号,都会得到一个新的拉丁方阵。交换拉丁方阵里的行、交换拉丁方阵里的列、或是交换拉丁方阵里的元素的符号所得的新的拉丁方阵与原来的拉丁方阵称为同型(isotopic)。同型(isotopism)是一个等价关系,因此所有的拉丁方阵所成的集合可以分成同型类别(isotopic class)的子集合,同型的拉丁方阵属于同一个同型类别,而不属于同一个同型类别的拉丁方阵则不同型。
拉丁方阵的正交
设有两个阶数相同(为)的拉丁方阵A
1
=
(
a
i
,
j
(
1
)
)
n
×
n
,
A
2
=
(
a
i
,
j
(
2
)
)
n
×
n
{displaystyle A_{1}=(a_{i,j}^{(1)})_{ntimes n},A_{2}=(a_{i,j}^{(2)})_{ntimes n}}
,其中将所有放置位置相同的元素组合成一个元组,组合成一个新的矩阵(
(
a
i
,
j
(
1
)
,
a
i
,
j
(
2
)
)
)
n