■スタイナー・トリプル(その3)

n個の元からなる集合から、以下の条件を満たすp個の組をいくつ作れるか?

どのq個の組もそれらのp個の組に1回しか現れない。

もし、配列は常に可能とは限らないが、可能ならば、答えはC(n,q)/C(p,q)である。

p=3,q=2の特別な場合は

n個の元からなる集合から、以下の条件を満たす3つ組をいくつ作れるか?

どのペアもそれらのp個の組に1回しか現れない。

この場合、n=6k+1,またはn=6k+3の形で表されなければならない。

n=7のとき、C(7,2)/C(3,2)=7 (本質的にひとつ)

n=9のとき、C(9,2)/C(3,2)=12 (本質的にひとつ)

n=13のとき、C(13,2)/C(3,2)=26 (本質的にふたつ)

n=15のとき、C(15,2)/C(3,2)=35 (本質的に80)

n=19,21,25,27,・・・のとき、C(n,2)/C(3,2) (本質的に何百万)

nが3で割れるとき、すなわち、n=6k+3のとき、分解可能である

===================================

S(9)は3つの3つ組からなる4つの集合に再配置され、各集合はすべての9つの数からなる

S(15)は5つの3つ組からなる7つの集合に再配置され、各集合はすべての9つの数からなる

カークマンはこのことに気づき、カークマンの女子学生問題として知られる問題を提起した。

[Q]15人の若い女子学生は7日間続けて3列に配列して歩く。彼女らを毎日、どのふたりも2回同じ横並びにならないように配置せよ。

===================================