離散数学・組合せ論の問題
横一列に並んだ つの席に、 人が 人ずつ座っている。左から 番目の席の人を とする。この 人全員を、空でない つのグループに分ける(グループどうしは区別しない)。ただし、隣り合う席の 人 は同じグループに入れないものとする。このような分け方は何通りあるか。
この問題で使うもの
- 第 2 種スターリング数の漸化式と条件つき分割(説明と入口の問題)
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
席の番号を整数とみなし、「連続する 2 整数を同じブロックに含まない分割」の個数を第 2 種スターリング数に帰着させましょう。
ヒント 2
の ブロック分割で連続する 2 整数を同じブロックに含まないものの個数は です。ここでは です。
ヒント 3
求める個数は です。漸化式 で表を作ると、、 となります。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
人 を整数 と同一視すると、求める個数は「 を空でない つのブロックに分割する方法のうち、どのブロックも連続する 整数 を同時に含まないもの」の個数である。
帰着 の ブロック分割で連続する 2 整数を同じブロックに含まないものの個数を とすると、 が成り立つ。
理由: に注目する。 が 元だけのブロックなら、残りは の条件をみたす ブロック分割になる。そうでなければ、 の条件をみたす ブロック分割の、 を含まない 個のブロックのどれかに を入れることになる。よって
である。これは と同じ形の漸化式であり、初期値も一致するので、 となる。
したがって、求める個数は である。
表を作る 漸化式 を使う。
まず の列を求める。 なので
-
-
-
-
次に の列を求める。
-
-
-
-
よって、求める分け方は 通りである。
別解
7人を頂点とし、隣り合う席を辺とするパス を考える。求める分け方は、 の頂点を空でない独立集合4つに分ける分割の数である。
色での正則彩色の数は である。
ちょうど4色をすべて使う彩色の数を、包除原理で求める。
ここで 、、、 である。
グループは区別しないので、色の入れ替え で割って 通り。
検算として、、 の場合を同じ方法で調べる。 を で割って となる。これは の1通りだけであり、実際と一致する。