科克曼的十五名女生问题

科克曼的十五名女生问题

1850年，科克曼在《女士与先生之日记》杂志上发表了题为的文章，提出了15个女学生问题：一位女教师每天带领好班上的15名女生去散步，他把这些女生按3人一组分成5组，问能不能作出一个连续散步7天的分组计划，使得任意两个女生曾被分到一组且仅被分到一组，也就是说，随便从15人中挑出 2人，她俩在一周所分成的35个小组里必在一组中见过一面，且仅见一面．

提出者

科克曼（Thomas Penyngton Kirkma，1806－1895），1806年3月31日出生于 英格兰的波尔顿，他在一个没有学问的商人家庭中长大，曾为受到较好的教育奋斗过，但他甚至没有受到任何水平的数学教育，他于1833年在都柏林大学获得艺术学位，被派到英格兰教会，成为一个教区的教区长，达五十年之久。 这个饶有趣味的游戏在一些数学家的介绍、研究和推广下很快在许多国家流传开来。科克曼本人给出了一个解，后来发现，科克曼给出的解并不是他所提出问题的唯一答案。

事实上，过了一百多年，到1974年，这一问题柚德尼斯顿借助于电子计算机得到解决。科克曼女生问题激起了兴趣的浪潮，吸引了许多数学家，推动了组合数字的发展。

问题的解答编辑

这个是组合数学里的问题。

解决这一问题并不很困难，凯莱首先给出了一个答案，然后科克曼发表了他自己的答案，当然在他提出这一问题时他就已经知道了答案。西尔维斯特（J.J.Sylvester）对这一问题也有研究，后来他就谁先想到这一问题与科克曼有过争论。

科克曼在同一刊物上公布了他自己给出的一个答案如下（1至15代表15个女生）：

星期日 {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}。

这个解是一个15阶科克曼三元系，其中v=15，k=3，λ=1。科克曼不但解决了斯坦纳三元系的存在性问题，同时还对r的每个素数值，给出了参数为v=r2+r+1，k=r+1，λ=1的2-设计，即现称作的有限射影平面。他应用循环差集构造r=4、r=8的射影平面，也发现参数为v=2n，k=4，λ=1的3-设计和其他几种特殊的设计。可以说，科克曼是组合设计之父。

问题的推广编辑

一般的推广

这一问题更一般的推广是：怎样把n个女学生分成n/3组，使得在每(n－1)/2天内任意两个女生在同一组内只相遇一次。显然如果这样的n存在，那么定有n≡3(mod6)。直到1971年，满足这个条件的n的存在性问题才得以证明。

科克曼当时的工作并未引起人们的重视，直到1853年，几何学家斯坦纳在研究四次曲线的两切线问题时再次提出了这一组合问题，并在克雷尔杂志上发表一文重新指出这种三元系存在的必要条件是n≡1，3(mod6)，此处不考虑分成n/3组，三元系的问题才引起学者的注意。1859年，赖斯（M.Reiss）证明了这一猜想。但由于当时信息不灵，他们并不知道英国的数学家对此问题已先行一步。早在1844年，就有数学家已提出了B(3,1，v)的情形，而科克曼已于1847年证明了赖斯在12年后才得到的那个结论。由于这一原因及斯坦纳当时的声望，B(3,1，v)一直被称为斯坦纳三元系，并将一般的B(k,1，v)称为斯坦纳系。

对于一般的平衡不完全区组设计BIBD（balance incomplete block design）的研究中，费舍尔（R.A.Fisher）和叶斯（F.Yates）在1938年的一本著作[4]中给出了一个B(k ,λ，v)的各个参数间满足的基本关系式：rv=bk与 r (k－1)=λ(v－1)，其中r表示每个区组中都含有r个元素，b表示全部的区组个数。显然，这是一个B(k ,λ，v)存在的必要而非充分条件。1940年，费舍尔又得到了B(k ,λ，v)存在的一个限定条件，即费舍尔不等式b≥v。

三元系

给出和证明B(k ,λ，v)存在性的充要条件是很困难的。三元系在被提出后，又经过约100年的探索，直到1961年才由哈纳尼（H. Hanani）证明了下面的（1）式确是B(3,λ，v)设计存在的充分条件，同时他还指出这也是B(4,λ，v)设计存在的充分条件。

λ（v-1）=0（mod2）

λv（v-1）=0（mod6）

当k≥5时，问题变得复杂了，对每个指定的k≥5，都满足（1）式但却不存在B(k, λ， v)的(v,λ)数值组。1975年，威尔逊 (R.M.Wilson)证明了："对给定的正整数k和λ，除去有限个正整数v以外，（1）式是B(k,λ，v)存在的充要条件。"[5]其中v≥k。这一结论宣告了B(k,λ，v)存在性问题的基本解决。

用现代术语来说，科克曼女生问题实际上是一个可分解的平衡不完全区组设计RB(3,1，15)。一个B(k,λ，v)设计（X，λ），其区组集?坠可分成若干个"平行类"，平行类是指?坠中的一些区组，这些区组恰好构成了集合X的一个分拆。那么寻求RB(k, λ，v)存在的充要条件也成为组合设计发展中的一个难题。对于RB(3,1，v)现常称作科克曼三元系，它的存在性问题曾是历史上一个著名难题。这个问题从提出到解决，历时100多年。确定RB(k, λ，v)设计存在的必要条件是容易的，即

v≡0（modk）

λ（v-1）≡0（mod（k-1））

同样，数学家也想知道（2）式是否是RB(k, λ，v)存在的充要条件？由于"可分解性"条件的难度，这方面的进展很慢。

对于k=3，λ=1的情形，即科克曼三元系，直到1972年才由雷·乔得赫里（D.K.Ray-Chaudhuri）及威尔逊证明了RB(3,1，v)存在的充要条件即是（2）式成立，此时（2）式成为 v≡3(mod6)。1972年，哈纳尼与上述两位数学家合作证明了（2）式也是RB(4,1，v)存在的充要条件，此时v≡4(mod12)。对于这两项结果，中国学者陆家羲于1961年就已得到，只因投稿未登而失去了这方面的优先权。至此，科克曼女生问题，亦即科克曼三元系的存在性问题得到完全解决。

西尔维斯特和凯莱在科克曼发表"女生问题"的研究之后，便对这一问题提出了一个进一步的要求，即"希望给出一个连续13周的队列安排，使得不但每周内的安排都符合原来的要求，还要让任意3名女生在全部13周内恰有一天排在同一组"。

"西尔维斯特问题"

这是在"女生问题"基础上出现的一个难度更大的问题，后称之为"西尔维斯特问题"，可简述为：对于任意可以构造的女生散步方案v，是不是总可以得到v－2个没有相同三元组的方案来。西尔维斯特问题引出区组设计的大集问题。

这一问题直到1974年才由美国的丹尼斯顿（R.H.Denniston）借助电子计算机得以确证，v=15确有如下的13个方案。

星期日 {i, a, b}，{8+i, 9+i, 12+i}，{3+i, 7+i, 10+i}，{2+i, 6+i, 11+i}，{1+i, 4+i, 5+i}；

星期一 {2+i, 8+i, b}，{1+i, 6+i, a}，{4+i, 7+i, 11+i}，{3+i, 5+i, 9+i}，{i, 10+i, 12+i}；

星期二 {11+i, 12+i, b}，{4+i, 10+i, a}，{6+i, 7+i, 9+i}，{1+i, 2+i, 3+i}，{i, 5+i, 8+i}；

星期三 {5+i, 7+i, b}，{3+i, 12+i, a}，{2+i, 9+i, 10+i}，{1+i, 8+i, 11+i}，{i, 4+i, 6+i}；

星期四 {4+i, 9+i, b}，{2+i, 5+i, a}，{6+i, 8+i, 10+i}，{1+i, 7+i, 12+i}，{i, 3+i, 11+i}；

星期五 {1+i, 10+i, b}，{9+i, 11+i, a}，{5+i, 6+i, 12+i}，{3+i, 4+i, 8+i}，{i, 2+i, 7+i}；

星期六 {3+i, 6+i, b}，{7+i, 8+i, a}，{5+i, 10+i, 11+i}，{2+i, 4+i, 12+i}，{i, 1+i, 9+i}。

其中15名女生分别标记为a，b，0，1，...，12，而数字i=0，1，2，...，12。每取i的一个值，所列的5×7个区组就给出了所求的队形安排。

在这个答案中，每周的安排都是一个RB(3，1，15)，而这13个RB(3，1，15)都在同一个集合上，彼此的区别只在于任何两个之间都没有共同的区组（任意3人同行仅1天）。不难算出，15个人中的3人组共有C15=13×35，每周7天，每天5个3人组，总共13周恰好把全部的3人组都安排了一次。像这样的一种大的安排被称为是RB(3，1，15)的一个大集。不仅对于RBIB，对许多这种区组设计都有这种大集问题。而"西尔维斯特问题"则是区组设计大集问题的最早渊源[6]。

尽管这种设计的大集问题提出得很早，但由于它的可分解性难度，这一课题的研究至今进展很小。中国学者陆家羲等在这方面做出了一些成功突破。

显然，对于给定的正整数n，若存在斯坦纳三元系（或科克曼三元系），用D(n)（或Dk(n)）表示各自大集的三元系数，则因为n元集的3-子集共有Cn个，而一个三元系包括n(n-1)/6个3-子集，于是有D(n)≤n-2（或Dk(n) ≤n-2）。

三元系的大集问题

所谓的三元系的大集问题就是，是否对所有的n ≡1，3（mod6）且n >7，都有D(n)=n-2？是否对所有的n ≡3（mod6），都有Dk(n) =n-2？如上所述，直到1974年才构造性地证明了Dk(15) =13，可见问题的困难及进展之缓慢

实在佩服美国的丹尼斯顿（R.H.Denniston）借助电子计算机得以确证，v=15确有如下的13个方案。