前の記事からの流れでメナージュの問題関連について考察する.
この記事では, 重複組合せについて重要な基本を復習しておくことにする.
,
を正の整数としたときに, 未知数
に関する方程式,
の負でない整数解の個数は, 重複組合せにより,
となる.
これから, 正の整数解をもつ個数を求めたければ,
とおいて,
とすれば, と
は一対一対応しているので, 正の整数解の個数は,
となる. 以上のことを基本にして, 次の問題を考える.
【問】
集合 の
個の要素をもつ部分集合のうち, 隣あう
数を自身に含まないものはいくつあるか?
【解】
問の部分集合を とし, その
個の要素を小さいものから順に,
,
,
,
,
とし, さらに
とすると,
,
,
,
,
となる. ここでさらに,
,
,
,
,
とすると,
の正の整数解が, となる. すでに求めた正の整数解に当てはめると, 求める部分集合の数は,
となる.//
結果はわかったが, 重複組合せでは仕切り棒を使うのでそれを使って別のやり方で証明してみる.
具体的な方がわかりやすいので, 数字は, から
までにし,
つの数字を隣あわないように選択することにしよう.
上の図はちょっとわかりにくいが, 左から数字の から
が順に並んでいると考えて欲しい.
は選択しない数字を表わし,
は選択する数字を表わす. この例では, 選択する数字は,
,
,
,
の
つである.
問題の条件で数字は隣あわないのだから, 最初から つの
のすぐ右にある
は必ずないとそもそも問題の条件をみたさない. だから、数学的には過剰な要素なので省略することにする.
少しわかりにくくなったかもしれないが, 最初の つの
のすぐ右隣の
は省略されていることがわかっていれば, 論理的には前の図と同じことである.
それで, この図は が
つ減っているが, この図で組合せ,
を求めれば, 上と同じ結果が得られていることがわかると思う.
以上から, 選択する数字が, 個だったら,
個の数字から,
個の数字を選ぶ組合せ
を計算すればよいということである. //
※
意外と簡単なことがわかったので, 調子に乗って, 今度は円周上に数字 (整数) を から
まで並べて, やはり隣りあわない
個の数字を選択するやり方が何通りあるか, 考えてみる.
まず, 最初の数字を つ選択する. これには,
通りある. 残り
個の数字を選択するのであるが, 選択する数字が隣接しない条件を考えると, 直線に並べるときとは様子が違って, 今回は選択する数字の隣にある両側の数字が
個の選択数字すべてについて一つ必要なことがわかる. 隣接しない条件のために必ず必要な数字の個数は全部で
個になる. そうすると, 残った
個の数字について, 組合せを前のように計算してやると,
となる. 次に最初に選択する数字を変更することで, 選択する場合の数 をかけるが, 同じ数字の組合せが
回出現するので, さらに
で割ると求める場合の数が得られる (たとえば,
,
として,
,
,
は同じ選択の組である). 以上から,
//
※ この場合はむしろ, 最初の整数解の個数で考えた方がわかりやすいかもしれない. 結局, この種の問題は, 補集合との全単射を考えるとうまくいくことがよくあるのである. 選択する最初の要素をどれかに決め, 番目に選択する要素との間に存在する要素の個数 (選択する要素と要素の間隔を個数で測ったもの) を
とし, 以下同様に
番目の選択要素と最初の要素の間にある要素の個数 (間隔) を
とする. そうすると,
で, は, 選択要素がどれも隣りあわないことから, すべて正の整数でないといけない. したがって
の解の組は,
通りできる. 最初の要素の選択の仕方は, 通りあるが, 最初の要素を
から
までひとつずつ変更していくと, その最初に選んだ数字が, 任意の選択の組の数字のひとつであれば, その組はその回に必ずひとつ存在し, 最初に選んだ数字が選択の組に含まれるどの数字とも異なっていれば, その選択の組はその回には含まれないから, (あるいは円周上に配置されたものから
個選択して組=順序対を作る場合, その組の要素に長さ
の巡回置換をしたものはみな同一視されると考えてもよい) 上の結果に
をかければ, 円周に並べた
個のものから隣りあわないように
個を選択した組の総数
が得られる.
//
これで, メナージュ問題の 「ご婦人方からお先に解」へ大分近づいた.