现代工程数学 第 10 章 组合的设计.ppt

用 3 ? (i ? 1) + r ? 1 代替 (ai , br)，即用 (i ? 1)(r ? 1)所表示的三进制数代替 (ai , br)， Steiner 三元系统 B 的区组成为： {0, 1, 2}, {3, 4, 5}, {6, 7, 8}, {0, 3, 6}, {1, 4, 7}, {2, 5, 8}, {0, 4, 8}, {1, 5, 6}, {2, 3, 7}, {0, 5, 7}, {2, 4, 6}, {1, 3, 8}。 如果可以将指数 ? = 1 的 Steiner 三元系统 B 的区组分成几部分，其中每部分构成样品集的划分，则称 B 为可解的，并称每部分为可解类。 Kirkman 女学生问题：女教师带 15 个女孩进行操练，将她们排成 5 行，每行 3 个女生。能否连续操练 7 天，使得没有两个女孩两天在同一行中？ 取 15 个女孩的集合为样品集，排成一行的 3 个女孩组成一个区组，共有 7 ? 5 = 35 个区组。每天排成 5 行的 15 个女孩恰好组成样品集。因此，实际上， Kirkman 女学生问题是问：是否存在有 15 个样品的指数 ? = 1 的可解的 Steiner 三元系统？ 指数 ? = 1 的可解的 Steiner 三元系统也称为 Kirkman 三元系统。 在 Kirkman 三元系统中，每个区组包含 3 个样品，因此 3 能够整除样品数 v。由定理10.3.1 知道， Steiner 三元系统的样品数 v 可表示为 6n + 1或 6n + 3。所以， Kirkman 三元系统的样品数v = 6n + 3，其中 n 是某个非负整数。 Kirkman 三元系统的参数为 ? = 1 k = 3 v = 6n + 3 由定理10.3.1 知道 b = ?v(v ? 1)/6 = (6n + 3)(6n + 2)/6 = (2n + 1)(3n + 1) r = ?(v ? 1) / 2 = (6n + 2) / 2 = 3n + 1 每个可解类中的区组个数为 v / 3 = 2n + 1 Kirkman 三元系统 n = 0， v = 6n + 3 = 3， b = (2n + 1)(3n + 1) = 1 区组为 {0, 1, 2}。 n = 1， v = 6n + 3 = 9， b = (2n + 1)(3n + 1) = 12 区组如下： {0, 1, 2}, {3, 4, 5}, {6, 7, 8}, {0, 3, 6}, {1, 4, 7}, {2, 5, 8}, {0, 4, 8}, {1, 5, 6}, {2, 3, 7}, {0, 5, 7}, {2, 4, 6}, {1, 3, 8}。 Kirkman 女学生问题的解 n = 2， v = 6n + 3 = 15， b = (2n + 1)(3n + 1) = 35 区组如下： {0, 1, 2}, {3, 7, 11}, {4, 9, 14}, {5, 10, 12}, {6, 8, 13}, {0, 3, 4}, {1, 7, 9}, {2, 12, 13}, {5, 8, 14}, {6, 10, 11}, {0, 5, 6}, {1, 8, 10}, {2, 11, 14}, {3, 9, 13}, {4, 7, 12}, {0, 7, 8}, {1, 11, 13}, {2, 4, 5}, {3, 10, 14}, {6, 9, 12}, {0, 9, 10}, {1, 12, 14}, {2, 3, 6}, {4, 8, 11}, {5, 7, 13}, {0, 11, 12}, {1, 3, 5}, {2, 8, 9}, {4, 10, 13}, {6, 7, 10}, {0, 13, 14}, {1, 4, 6}, {2, 7, 10}, {3, 8, 12}, {5, 9, 11}. 对于任意非负整数 n，是否存在有 6n + 3 个样品的Kirkman 三元系统呢？ 自从 Kirkman 在 1850 年提出 Kirkman 女学生问题，经过一百多年的努力，Ray-Chaudhuri 和Wilson 在 1971 年得到了这个问题的肯定解答，指出了对于每个 n 如何构造这样的系统。 10.4 拉丁方 设 n 是正整数， S 是 n 个元素的集合。基于集 S 的 n 阶拉丁方是一个 n 行 n 列的 S 中元素的阵列，使得 S 的每个元素在阵列的每行和每列都出现一次。 由鸽巢原理知道， S 的每个元素在阵列的每行（列）至少出现一次 ? S 的每个元素在阵列的每行（列）至多出现一次 ? S 的每个元素在阵列的每