组合数学之区组设计.pptVIP

第十三讲: 内容提要 1. 引 言 2. Kirkman 15女生问题 1847年Kirkman提出了下面这样一个有趣的组合数学问题：有一个女教师, 每天要带领一个班的15名女生去散步. 问能否设计一种连续一周的散步方案, 使得每天散步的时候, 15名女生都能分成5组, 每组由3名女生组成, 而且在7天里每一个女生和其他女生都要在同一组中出现一次而且只出现一次? 简单分析一下, 要求解这个问题就是要找到满足下面条件的三元子集组: (1) 需要构造由15名女生组成的集合的7?5=35个三元子集族, 使得每两个女生在三元组里正好出现一次. (2) 由于在每天的散步中, 每个女生出现而且只能出现在一个三元组中. 所以, 必须能将35个三元组分成7部分, 每部分有5个三元组. 每一个女生正好在每部分出现一次, 即在一个三元组出现. 3. 区组设计概论 4. 平衡不完全区组设计(BIBD) 5. Hadamard矩阵 * 《组合数学》 第十三讲 区组设计 Kirkman 15女生问题 区组设计概论 平衡不完全的区组设计 阿达玛(Hadamard)矩阵 区组设计理论是组合数学的一个重要分支. 它主要研究某一有限集合的满足一定条件的子集族的存在性问题, 构造问题. 历史上是先有一些著名的区组设计的例子, 然后才有区组设计的一般理论. 例如Euler 36军官问题, 正交拉丁方问题, 都是这方面例子. 另一个很著名例子是Kirkman 15女生问题. 这些问题的研究在一定程度上推动了组合设计理论的发展. 这些问题的原始形式虽然仅仅表现为趣味数学问题, 但是对这些问题不断深入研究, 不仅发展了组合设计理论, 而且发现了越来越广泛的应用. 设计理论在实验设计, 竞赛安排及数字通讯等许多领域中均具有重要应用. 1850人们得到了这个问题的解: 星期一: {1,2,3}, {4,8,12}, {5,10,15}, {6,11,13}, {7,9,14}; 星期二: {1,4,5}, {2,8,10}, {3,13,14}, {6,9,15}, {7,11,12}; 星期三: {1,6,7}, {2,9,11}, {3,12,15}, {4,10,14}, {5,8,13}; 星期四: {1,8,9}, {2,12,14}, {3,5,6}, {4,11,15}, {7,10,13}; 星期五: {1,10,11}, {2,13,15}, {3,4,7}, {5,9,12}, {6,8,14}; 星期六: {1,12,13}, {2,4,6}, {3,9,10}, {5,11,14}, {7,8,15}; 星期日: {1,14,15}, {2,5,7}, {3,8,11}, {4,9,13}, {6,10,12}. 这就是典型的区组设计问题, 寻找满足某种条件的区组设计方案的存在性. 设X是一个有限集合, 则称X的子集族B={B1,B2,?,Bb}为X的一个区组设计, 记作D=(X,B). X称为此设计的基集, 而子集族B中诸子集Bi(i=1,2,…,b)则称为此设计的区组. 基集X中元素的个数|X|称为设计的阶. 对于i=1,2,…,b, 区组Bi的元素个数|Bi|又称为该区组的长度. 对于x?X, B中含有x的区组的个数称为元素x的重复数, 记为r(x). 对于x, y?X, x?y, B中的包含子集{x,y}的区组的个数称为元素x和y的相遇数, 记为?(x,y). 需要指出的是, 区组族B中的区组是可以重复的, 因此这是一个族, 而不是一个集. 一般族都允许重复, 集合不允许重复. 区组设计可用一个所谓的关联矩阵来描述. 设X={x1,x2,…,xv}, B={B1,B2,?,Bb}, 其关联矩阵定义为一个v?b阶矩阵 A=(aij)v?b, i=1,2,?,v; j=1,2,?,b, 其中 容易看出: 第i行出现1的个数=r(xi), 是xi的重复数, 第j列出现1的个数是第j个区组Bj的长度(容量). 第j列可以看作是Bj的特征函数. 那么r(xi,xj)=? 第i行与第j行的内积. 显然, 关联矩阵行列的交换相当于基集元素次序和区组次序的改变,本质上表示同样的区组设计. 这些概念似乎很复杂, 其实并不复杂. Kirkman 15女生设计的具体参数: (i) 设计的阶数=