百科详情
发布时间:2023-01-28 00:43
1拉丁方阵的标准型
当一个拉丁方阵的第一行与第一列的元素按顺序排列时,此为这个拉丁方阵的标准型,英语称为"reduced Latin square, normalized Latin square, 或Latin square in standard form"。
2同型类别
许多对于拉丁方阵的运算都会产生新的拉丁方阵。例如说,交换拉丁方阵里的行、交换拉丁方阵里的列、或是交换拉丁方阵里的元素的符号,都会得到一个新的拉丁方阵。交换拉丁方阵里的行、交换拉丁方阵里的列、或是交换拉丁方阵里的元素的符号所得的新的拉丁方阵与原来的拉丁方阵称为同型(isotopic)。同型(isotopism)是一个等价关系,因此所有的拉丁方阵所成的集合可以分成同型类别(isotopic class)的子集合,同型的拉丁方阵属于同一个同型类别,而不属于同一个同型类别的拉丁方阵则不同型。
3拉丁方阵的正交
设有两个阶数相同(为)的拉丁方阵,其中将所有放置位置相同的元素组合成一个元组,组合成一个新的矩阵。当这个新的矩阵中每一个元素互不相同时,拉丁方阵和是互相正交的。此时,和即为一对正交拉丁方。而在阶数固定的情况下,所有两两正交的拉丁方所成的集合称为正交拉丁方族。
4希腊拉丁方阵
根据前面所得到关于正交的定义,两个拉丁方阵相正交所得到的方阵为希腊拉丁方阵(Graeco-Latin square)。事实上,并不是任意阶数的拉丁方都存在一对正交拉丁方,也就是说,并不是任意阶数的拉丁方均存在希腊拉丁方阵。
5正交拉丁方
6定理
若n阶拉丁方存在r个两两正交的拉丁方,那么。
7应用
当该定理中的等号成立时,则该阶正交拉丁方族被称为完全的。可以分析得到,当n为1时,只存在一个拉丁方,当n为2时,不存在正交拉丁方族。此外,当n为6时,也不存在正交拉丁方族,这个结论是通过对三十六军官问题的尝试得到的。三十六军官问题指的是是否有一个解决方案使得来自6个不同地区的6个不同军衔的军官排成的方阵,其中每一行每一列的军官都来自于不同的地区且具有不同的军衔。而该问题的方案即为6阶正交拉丁方的个数,该问题于1901年被Gaston Tarry证明为无解。除了上述三种情况外,当阶数小于等于8时,均存在有n-1个正交的拉丁方。
如当n=3时,存在两个正交的拉丁方。当阶数更多时,可以通过正交拉丁方表得到正交拉丁方族。
8拉丁方阵的数量
目前,没有公式可以计算 n × n 的拉丁方阵的数量,而当前最精确的公式在当 n 很大时,拉丁方阵的数量的最精确的估计值,其上下界也相差很远。具体估计公式为:
以下是已知的数值。当 n 增加时,拉丁方阵的数量急速增多。
n | 拉丁方阵的标准型的数量(OEIS中的数列A000315) | 所有拉丁方阵的数量(OEIS中的数列A002860) |
1 | 1 | 1 |
2 | 1 | 2 |
3 | 1 | 12 |
4 | 4 | 576 |
5 | 56 | 161280 |
6 | 9408 | 812851200 |
7 | 16942080 | 61479419904000 |
8 | 535281401856 | 108776032459082956800 |
9 | 377597570964258816 | 5524751496156892842531225600 |
10 | 7580721483160132811489280 | 9982437658213039871725064756920320000 |
11 | 5363937773277371298119673540771840 | 776966836171770144107444346734230682311065600000 |