第十章 区组设计.ppt

第十章 区 组 设 计 §10.1问题的提出区组设计理论是组合数学的一个重要分支。它有许多有价值的和实际的应用。它不仅在统计学的“试验的分析和设计”这一分支起着重要的作用，而且对计算机科学和数字通信理论都有着十分重要的应用 。为了说明问题是如何提出来的，先看下面的两个例子。这两个例子就是著名的“36军官问题”和“Kirkman女学生问题”。 ［例1］有36名来自6个不同团的军官，每个团6名且分属于6种不同的军衔。能否把他们排成一个6*6的方形阵列，使得每行、每列的6名军官正好来自6个不同的团且属于不同的军衔? 这个有趣的问题是1782年由瑞士数学家Euler提出来的。对于这个问题，可以作如下的考虑来构造它的数学模型。 假设有序数对(i,j)表示一名军官。其中i表示这名军官的军衔(i=1,2,…,6)，j表示这名军官所属的团(j=1,2,…,6)。于是，问题就变成了把36个有序数对排成6×6的方阵，使得在每一行和每一列中所有有序数对的第一个分量是集合｛1,2,…，6｝的一个全排列，第二个分量也是集合｛1,2,…，6｝的一个全排列。这样，问题又可以叙述为：是否存在两个6×6方阵，其元素取自集合｛1,2,…，6｝，使得这两个方阵满足两个条件： 1、方阵的每一行和每一列都是集｛1,2,…，6｝的一个全排列。 2、当两个方阵并置时，所有的36个不同的有序数对(i,j)都必须出现。其中，i, j=1,2,…,6。 如果在这个问题中，把6换成n，36换成n2，则问题就一般化了。为了用数学模型来描述和研究这个问题，我们引入一些概念。 定义10.1 设S=｛s1,s2,…,sn｝是一n元集，A=( )是n×n矩阵。若A的每一行都是集S的不同的全排列，A的每一列也是S的不同全排列，则称矩阵A为一个n阶拉丁方。 举例：生产队引进了五个新的小麦品种，若想知道哪个品种对本地最适合,问应如何试种。 有人说，找五块田分别种上五个不同的品种。缺点：五块田的各种条件不可能完全相同。 有人说，找一块大田,把它分成五块，分别种上五个不同的品种。缺点：比如说，灌溉的水是从东向西流的，则东边与西边的条件不一样。 建议：把一块地分成5*5块，按拉丁方的办法分别种上这五个品种。不论南边和北边，东边和西边，五个品种都有，可从亩产比较不同品种的优劣。 但如果一天只能播完五块地，问应怎样安排才好？ 定义10.2 设A,B是两个不同的n阶拉丁方，如果在由这两个拉丁方所并置起来的方阵中，所有的有序数对都是不同的，则称拉丁方A与B是正交的。 例如: A，B分别是如下的3阶拉丁方 如果把上例看成是从3个不同的团来的具有3种不同军衔的9名军官，则由于A，B的并置方阵(A，B)中的数对互不相同，于是(A，B)就是题目所要求的3×3的方形阵列。这样，“36军官问题”可重新叙述为：是否存在两个正交的6阶拉丁方? 更一般地，对于任意正整数n,是否存在两个正交的n阶拉丁方? Euler 提出了他的猜想：“当n=2(mod4)时，不存在两个正交的n阶拉丁方。” 对于Euler的猜想，法国数学家G.Tarry在1901年通过系统的枚举证明了Euler猜想对于n=6是正确的。也就是说，36名军官问题的排法是不可能的。在这以后的大约60年， R.C.Bose, E.T.Parker和S.S.Shrikhande终于证明了：“对于n6，且n=2(mod4)时，必存在一对正交的n阶拉丁方。”从而否定了Euler猜想(当n6)。对于上面的问题以及拉丁方的有关问题将在10.3节中继续讨论。 ［例2］某女教师每天带领她班上的15名女学生去散步，她把这些女学生按三人一行排成五行。这样每个女学生有两名同伴，能否作出一个连续散步七天的计划，使得没有一个女生和她的任何同学同在一个三人组的次数多于一次。 这个问题就是Kirkman在1850年提出的“Kirkman女学生问题”。它导致了以后的Steiner三元组系的研究。有关这方面的课题将在 10.6节中讨论。 如果把这15名女学生编号成1，2，…，15，则符合题设要求的分组方法如下： 第一日：｛1,2,5｝｛3,14,15｝｛4,6,12｝｛7,8,11｝｛9,10,13｝ 第二日：｛1,3,9｝｛2,8,15｝｛4,11,13｝｛5,12,14｝｛6,7,10｝ 第三日：｛1,4,15｝｛2,9,11｝｛3,10,12｝｛5,7,13｝｛6,8,14｝ 第四日：｛1,6,11｝｛2,7,12｝｛3,8,13｝｛4,9,14｝｛5,10,15｝ 第五日：｛1,8,10｝｛2,13,14｝｛3,4,7｝｛5,6,9｝｛11,12,1