離散数学・組合せ論の問題
集合 の置換( から自分自身への全単射) を、互いに素な巡回置換の積に分解する。ただし、不動点も長さ の巡回として数える。巡回の個数がちょうど 個であるような置換 の個数を求めよ。
この問題で使うもの
- 第 1 種スターリング数(説明と入口の問題)
この問題を解けるようになるまで(23 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
巡回がちょうど 個の 文字の置換の個数は第 1 種スターリング数 です。 を求めましょう。
ヒント 2
漸化式 と、、 を使います。
ヒント 3
、 です。あとは を計算します。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
求める個数は、第 1 種スターリング数 です。漸化式
を使って、小さい から順に計算します。
この漸化式の意味は次のとおりです。 文字の置換で巡回が 個のものは、文字 について次の 2 通りに分けられます。
- が不動点(長さ の巡回)になっている場合:残りの 文字で巡回が 個の置換を作ればよいので 通り。
- がほかの巡回の中に入っている場合: 文字で巡回が 個の置換を作り、そのどれかの文字の直後に を差し込む。差し込む位置は 通りなので 通り。
初期値は で、 や のときは です。また 、 です。
順に計算すると
(検算) を展開すると となり、 の係数は です。また、巡回型で数えると、長さ と の巡回に分かれるものが 個、長さ と に分かれるものが 個で、合計 個です。
よって、求める個数は です。
別解
巡回の個数がちょうど 個の 次の置換の個数は第一種スターリング数(符号なし) である。 を求める。
漸化式 を使う。
-
-
-
-
-
別の方法による検算として、巡回の長さの分割で数える。
- 長さ : 不動点の選び方が 通り、残り 個の巡回は 通りなので 通り。
- 長さ : 3 個の選び方が 通り、3 巡回が 通り、2 巡回が 通りなので 通り。
合計は となり、漸化式の結果と一致する。