離散数学・組合せ論の問題
集合 を、空でない つのブロックに分割する(ブロックの順序は区別しない)。そのうち、どのブロックも連続する つの整数 を同時に含まないような分割は何通りあるか。
この問題で使うもの
- 第 2 種スターリング数の漸化式と条件つき分割(説明と入口の問題)
- 一般の包除原理(説明と入口の問題)
- 彩色多項式(説明と入口の問題)
この問題を解けるようになるまで(15 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
ブロックに色をつけると、分割は「隣り合う整数に異なる色をつける塗り分け」とみなせる。ブロックは区別しないので、最後に で割ることを考えよう。
ヒント 2
色で隣り合う整数が異なる色になる塗り方は 通り。 色すべてを使うものだけを包除原理で取り出す。
ヒント 3
色すべてを使う塗り方は 通り。これを で割る。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
彩色への言い換え. つのブロックに色 を割り当てると、条件を満たす分割 つにつき、 から への写像 で
- 隣り合う整数は異なる色:
- 色すべてを使う(全射)
を満たすものがちょうど 個対応する(ブロックが空でなく互いに異なるので、色の割り当て方は 通りで、どれも異なる写像になる)。
隣り合う色が異なる写像の個数. 使える色を 色とすると、 は 通り、 はそれぞれ直前と異なる 通りなので 個(道グラフ の彩色多項式)。
包除原理で全射に限る. 色のうち使わない色の集合で包除すると
( 色で 、特定の 色を使わない 色で 、 色だけでは 。)
分割の個数.
(別の見方: 一般に、このような の ブロック分割の個数は第 種スターリング数 に等しく、 と一致する。)
答えは 通り。
別解
各ブロックに別の色を対応させると、条件は「隣り合う整数 が異なる色」である 3 色による塗り方(全 3 色使用)に対応し、各分割はブロックの順序の分 通りの塗り方に対応する。8 個の路の 3 色の適切な塗り方は 。このうち 2 色以下しか使わないものは、2 色を選んで交互に塗る 通り(1 色のみは不可)。全 3 色を使うものは 。よって 。検算: 一般に に一致し、。