拉丁方阵

✍ dations ◷ 2025-04-02 18:04:27 #拉丁方阵
拉丁方阵(英语:Latin square)是一种 n × n 的方阵,在这种 n × n 的方阵里,恰有 n 种不同的元素,每一种不同的元素在同一行或同一列里只出现一次。以下是两个拉丁方阵举例:拉丁方阵有此名称是因为瑞士数学家和物理学家欧拉使用拉丁字母来做为拉丁方阵里的元素的符号。当一个拉丁方阵的第一行与第一列的元素按顺序排列时,此为这个拉丁方阵的标准型,英语称为"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 × n {displaystyle ((a_{i,j}^{(1)},a_{i,j}^{(2)}))_{ntimes n}} 。 当这个新的矩阵 ( ( a i , j ( 1 ) , a i , j ( 2 ) ) ) n × n {displaystyle ((a_{i,j}^{(1)},a_{i,j}^{(2)}))_{ntimes n}} 中每一个元素互不相同时,拉丁方阵 A 1 {displaystyle A_{1}} 和 A 2 {displaystyle A_{2}} 是互相正交的。 此时, A 1 {displaystyle A_{1}} 和 A 2 {displaystyle A_{2}} 即为一对正交拉丁方。 而在阶数固定的情况下,所有两两正交的拉丁方所成的集合称为正交拉丁方族。根据前面所得到关于正交的定义,两个拉丁方阵相正交所得到的方阵为希腊拉丁方阵(Graeco-Latin square)。 事实上,并不是任意阶数的拉丁方都存在一对正交拉丁方,也就是说,并不是任意阶数的拉丁方均存在希腊拉丁方阵,n阶希腊拉丁方阵存在的充要条件是n+2不是2的幂,所以其实几乎所有的阶数都存在希腊拉丁方阵。若n阶拉丁方存在r个两两正交的拉丁方,那么 r ≤ n − 1 {displaystyle rleq n-1} 。当该定理中的等号成立时,则该阶正交拉丁方族被称为完全的。 可以分析得到,当n为0或1时,存在无限多个正交的拉丁方,当n为2时,不存在正交拉丁方族。 此外,当n为6时,也不存在正交拉丁方族,这个结论是通过对三十六军官问题的尝试得到的。 三十六军官问题指的是是否有一个解决方案使得来自6个不同地区的6个不同军衔的军官排成 6 × 6 {displaystyle 6times 6} 的方阵,其中每一行每一列的军官都来自于不同的地区且具有不同的军衔。 而该问题的方案即为6阶正交拉丁方的个数,该问题于1901年被Gaston Tarry证明为无解。 除了上述三种情况外,当阶数小于等于8时,均存在有n-1个正交的拉丁方。如当n=3时,存在两个正交的拉丁方。 [ 1 2 3 2 3 1 3 1 2 ] {displaystyle {begin{bmatrix}1&2&3\2&3&1\3&1&2\end{bmatrix}}} [ 1 2 3 3 1 2 2 3 1 ] {displaystyle {begin{bmatrix}1&2&3\3&1&2\2&3&1\end{bmatrix}}} 当阶数更多时 n ≤ 8 {displaystyle nleq 8} ,可以通过正交拉丁方表得到正交拉丁方族。事实上,当阶数n是质数或者质数的幂次时,必定存在n-1个正交拉丁方,另外,当n除以4余1或2,而且n不是两个平方数的和(0也算作平方数),就一定不存在n-1个正交的拉丁方,而对于10阶的情形,已经确定至少存在2个正交的拉丁方,但是不存在9个正交的拉丁方,因此10阶正交拉丁方的个数最少是2,最大是8(因为到目前为止,连3个正交的10阶拉丁方都还没找到,所以有猜测是10阶正交拉丁方的个数是2),对于12阶,已经确定至少存在5个正交的拉丁方了。目前,没有公式可以计算 n × n 的拉丁方阵的数量,而当前最精确的公式在当 n 很大时,拉丁方阵的数量的最精确的估计值,其上下界也相差很远。 具体估计公式为: ∏ k = 1 n ( k ! ) n / k ≥ L n ≥ ( n ! ) 2 n n n 2 {displaystyle prod _{k=1}^{n}(k!)^{n/k}geq L_{n}geq {frac {(n!)^{2n}}{n^{n^{2}}}}}以下是已知的数值。当 n 增加时,拉丁方阵的数量急速增多。

相关

  • 冠状动脉再成形术冠状动脉再成形术又名球囊动脉成形术、经皮腔内冠状动脉成形术(Percutaneous transluminal coronary angioplasty,简称PTCA),也称作经皮冠状动脉介入治疗(Percutaneous coronary
  • 修道院病毒科修道院病毒科是一种由粉介壳虫和蚜虫传播的植物病毒。修道院病毒包括甜菜枯黄病毒(英语:Beet yellows virus)、莴苣传染性枯黄病毒(英语:Lettuce infectious yellows virus)、葡萄
  • 维根斯坦路德维希‧约瑟夫‧约翰‧维特根斯坦(德语:Ludwig Josef Johann Wittgenstein,又译维特根施泰因、维特根斯坦;1889年4月26日-1951年4月29日)是一名奥地利哲学家。他生于奥地利,后入
  • 西班牙皇家学院西班牙皇家语言学院(西班牙语:Real Academia Española,简称RAE)是西班牙王室设立的一个机构,负责翻译西班牙语。总部设在马德里,座右铭是“它清理、修复,并创造辉煌”(Limpia, fija
  • 兰斯·阿姆斯特朗兰斯·爱德华·阿姆斯特朗(英语:Lance Edward Armstrong,1971年9月18日-,出生名兰斯·爱德华·冈德森(Lance Edward Gunderson)),美国前职业公路自行车赛车手。他通过服用机能辅助类
  • Prsub2/subOsub3/sub三氧化二镨(化学式:Pr2O3),又称氧化镨(Ⅲ),是稀土元素镨的倍半氧化物。它是黄绿色固体,难溶于水和碱液,但可溶于强无机酸溶液中。固体属六方晶系,金属离子配位数为7,有6个氧原子占据八
  • 果尔达·梅厄果尔达·梅厄(通称梅厄夫人,或译迈尔夫人,希伯来语:גּוֹלְדָּה מֵאִיר‎;拉丁转写:Golda Meir,1898年5月3日-1978年12月8日)以色列女性政治家,是该国的创国者之一及
  • 尤袤尤袤(1127年3月28日-1194年),字延之,号遂初居士,晚年号乐溪、木石老逸民,无锡(今江苏)人,南宋诗词四大家之一。绍兴十八年(1148年)考取进士,官拜太常少卿,权充礼部侍郎兼修国史,又曾权中书
  • 成为日本吞并琉球指的是1872年至1879年期间大日本帝国废除并吞并琉球国、设置冲绳县的一系列历史事件。明治时代日本政府将此事称为“琉球处分”(日语:琉球処分/りゅうきゅうしょぶ
  • 蒙古国经济蒙古国经济传统上以农业和畜牧业为基础。蒙古国矿产资源丰富,铜、煤、钼、锡、钨、黄金等矿物生产占蒙古国经济的很大比例。由于蒙古经济高度依赖苏联援助,在苏联解体时,蒙古经