问题描述:
据说普鲁士的腓特列大帝曾组成一支仪仗队,仪仗队共有36名军官,来自6支部队,每支部队中,上校、中校、少校、上尉、中尉、少尉各一名。他希望这36名军官排成6×6的方阵,方阵的每一行,每一列的6名军官来自不同的部队并且军衔各不相同。令他恼火的是,无论怎么绞尽脑汁也排不成。
后来,他去求教瑞士著名的大数学家欧拉。欧拉发现这是一个不可能完成的任务。
来自n个部队的n种军衔的n×n名军官,如果能排成一个正方形,每一行,每一列的n名军官来自不同的部队并且军衔各不相同,那么就称这个方阵叫正交拉丁方阵。欧拉猜测在
n=2,6,10,14,18,…
时,正交拉丁方阵不存在。然而到了上世纪60年代,人们用计算机造出了n=10的正交拉丁方阵,推翻了欧拉的猜测。现在已经知道,除了n=2,6以外,其余的正交拉丁方阵都存在,而且有多种构造的方法
数学模型的建立:
为了解决上面的排列组合问题,我们可以建立数学模型,将上述问题转化为:能不能把36个有序对(i,j)(i=1,2,……6;j=1,2,……6)排列成一个6×6的矩阵,使得该矩阵的每一行每一列上整数1,2,……6能够以某种顺序出现?(觉得和数独是不是有点类似,但是有附加条件)
模型的求解:
我们可以将这样的矩阵分割为两个6×6的矩阵,一个对应于有序对的第一个位置(军衔矩阵),另一个对应有序对的另一个位置(军团矩阵)。这样问题可以描述如下:
1)这两个矩阵的每一行每一列上整数1,2,……6能够以某种顺序出现
2)当并置这两个矩阵时,所有有序对(i,j)(i=1,2,……6;j=1,2,……6)全部出现
上面矩阵比较大,我们以来自3个军团3个级别军衔的9个军官为例,可以得到问题的解(可以笔算得到)如下:
从上图可以看出,军衔矩阵和军团矩阵都是3阶拉丁方阵,并且两者并置得到的并置矩阵得到了所有可能的9个有序对(i,j)。这种情况下,我们称军衔矩阵和军团矩阵是正交的,并置矩阵称为正交拉丁方阵。
很明显,3阶正交拉丁方阵是存在的,对于36军官问题,也就是要求证6阶正交拉丁仿真是否存在。前面已经提到,除了阶数n=2,6以外,其余的正交拉丁方阵都存在,而且有多种构造的方法
对于正交拉丁方阵的构造,由于比较复杂,有时间再研究,下面给出拉丁方阵的具体实现:
#include<iostream> using namespace std; void main() { int n,i,j,count; int Num[20];//这里可以输入的阶数n的最大值是,可以自己修改 cout<<"请输入方阵阶数:"; cin>>n; for(i=0;i<n;i++) //给数组赋初始值 { Num[i]=i+1; } for (i = 0;i < n;i++) //外循环输出n行 { for (j = i,count=1;count<= n;count++) //内循环输出一行的每个数字 { cout<<Num[j%n]<<'\t'; j++; } printf("\n"); } }
【组合数学】36军官问题