组合数学（4）——拉丁方矩阵

这次，我们讲一讲拉丁方和正交拉丁方，相关性质及其应用。

1. 拉丁方及正交拉丁方

拉丁方指的是一种 n × n 的方阵，在这种 n ×n 的方阵里，恰有 n 种不同的元素，每一种不同的元素在同一行或同一列里只出现一次。换种形式的说法，就是数独。

如果形式化表达，就是下面的定义：

一个拉丁方似乎没什么难理解的，当有两个拉丁方时，就有一个比较重要的概念，那就是正交拉丁方。我们先来说一下数学上的形式化表示：

然后，我们再看一个例子：

两个拉丁方有一种关系叫做正交，但并不是所有的一对拉丁方就都是正交的。那么是不是所有阶的拉丁方都存在正交关系呢？或者n阶拉丁方最多会有多少组正交拉丁方呢？

2.正交拉丁方的性质

在解答这些问题之前，首先先做一些知识储备。我们都知道矩阵都是有恒等变换的，拉丁方是方阵，一组正交拉丁方也一定存在一些恒等变换规则的。

这些操作的目的最终就是构建一个出规范化的拉丁方，也就是拉丁方阵的标准型：当一个拉丁方阵的第一行与第一列的元素按顺序排列时，此为这个拉丁方阵的标准型。例如下面这个3阶的拉丁方的标准型：

我们先给出它的证明，然后再给出一组正交拉丁方的规范化过程，一组正交拉丁方规范化只能保证每一个拉丁方的第一行都是按照从小到大排序。


上面的说法也就是说，我们所有的置换也好，行列交换也罢，他们都是一个整体变换，就相当于是一个整体映射，只要是整体变换，那么他们元素本身就不会有冲突，也就是仍然保持正交。下面是完整的3个4阶正交拉丁方的规范化过程：

那么n阶的拉丁方的正交拉丁方族会有多少个元素呢？答案如下：

也就是说，最多有n-1个相互正交的n阶拉丁方，下面给出证明。

这里$\tau (132)$指的是做置换，让1->3,3->2,2->1。这n-1个正交拉丁方称为正交拉丁方完备组。那么如何构造正交方拉丁完备组呢？我们首先来说明一下几阶的正交拉丁方完备组存在。

首先我们应该知道，那就是6阶的正交拉丁方是不存在大，那么这个怎么证明呢？如果我们能构造出n阶的正交拉丁方完备组，那么不就证明了存在么？我们敏锐的发现这里的约束和有限域的特征的约束很像，因此使用有限域构造。

这里还是要补充一下有限域的一些基本知识，尽管补充的知识看似没什么用。


当集合F的元素个数有限时，称为有限域。这样，就有了以下的方法构造：

我们先对这个定义进行证明：

3. 构造正交拉丁方完备组

3.1使用有限域进行正交拉丁方完备组的构造

然后，我们给出两个例子来介绍如何使用这方法进行构造，先来一个简单的3阶正交拉丁方完备组。

这两个表格里的数字都是要经过取mod(3)运算的，例如2·2=1的原因就是mod(3)了，下面给出一个复杂的5阶的拉丁方。

3.2使用低阶正交拉丁方构造高阶正交拉丁方

通过上面的例子我们就可以看出，其实任意的素数阶的拉丁方我们都可以使用对应有限域来进行构造。当然，还可以由低阶的正交拉丁方构造出高阶的拉丁方。


下面给出定理的证明：

下面给出一个例子：

4.拉丁方及正交拉丁方的应用

下面我们讲讲3个应用:


如果复杂的话，是下面的例子：

下面有一个失败的历史例子：

据说普鲁士的腓特列大帝曾组成一支仪仗队，仪仗队共有36名军官，来自6支部队，每支部队中，上校、中校、少校、上尉、中尉、少尉各一名。他希望这36名军官排成6×6的方阵，方阵的每一行，每一列的6名军官来自不同的部队并且军衔各不相同。令他恼火的是，无论怎么绞尽脑汁也排不成。

后来，他去求教瑞士著名的大数学家欧拉。欧拉发现这是一个不可能完成的任务。

来自n个部队的n种军衔的n×n名军官，如果能排成一个正方形，每一行，每一列的n名军官来自不同的部队并且军衔各不相同，那么就称这个方阵叫正交拉丁方阵。欧拉猜测在n=2,6,10,14,18,…时，正交拉丁方阵不存在。然而到了上世纪60年代，人们用计算机造出了n=10的正交拉丁方阵，推翻了欧拉的猜测。现在已经知道，除了n=2,6以外，其余的正交拉丁方阵都存在，而且有多种构造的方法。