首页 > 代码库 > 【组合数学】36军官问题

【组合数学】36军官问题

问题描述:

    据说普鲁士的腓特列大帝曾组成一支仪仗队,仪仗队共有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");
 }
}