✨ ベストアンサー ✨
問題設定を私が取り違えていないか(あと間違った解き方をしていないか)知りたいので、先に答えだけ確認してもいいですかね
(1)は
a₅=12, a₆=70
になりましたがどうでしょうか?
ちなみに
a₉=30016
になりました
のんびりしている間に正答が出てしまいましたが、一応私の解法も載せておきます
できあがった組分けにおいて、ある数字から始めて、組になっているもう一つの数字を順に辿っていくといつかは元の数字に戻ってきます。このとき、辿った数字を順に並べたものを"ループ"と呼び、数字の個数を"ループの長さ"と呼ぶことにします
例えば、
14 37 23 45 67 26 15
という組分けであれば、ループは
(1,4,5), (3,7,6,2)
の2つがありますね
ただし、(1,4,5)と(4,5,1)のように数字をずらしただけのものや、(1,4,5)と(1,5,4)のように並びをひっくり返したものは同一視します
上に書いた同一視の仕方から分かるように、n個の数字からできる長さnのループの総数はn個の相異なるものを並べる数珠順列の総数に等しいので
(n-1)!/2 個
です
あとはループの長さが3以上でないといけないことに留意しつつ、求める組分けの総数を出来上がるループの長さの組合せに分けて数えます
n=9のとき、ループの組合せは 9, 3-6, 4-5, 3-3-3 の4タイプあります
(i)長さ9
(9-1)!/2=20160
(ii)長さ3と長さ6
₉C₃•(3-1)!/2•(6-1)!/2=5040
(iii)長さ4と長さ5
₉C₄•(4-1)!/2•(5-1)!/2=4536
(iv)長さ3が3つ
{₉C₃•₆C₃•{(3-1)!/2}³}/3!=280
したがって、
a₉=20160+5040+4536+280
=30016
となります
ちなみに、ループを利用することで漸化式も立てられます
1~n+1までの2(n+1)枚のカードの組分けのうち、1を含むループが長さkになるものは
nCk•k!/2•a[n-k]
(ただし、a₀=1, a₁=0 とします)
通りあるので、
n k!
a[n+1]=Σ nCk • — • a[n-k]
k=2 2
これを n-k=ℓ とおいて少しいじると
a[n+1]=na[n]+nC₂a[n-2]
が得られます
しかし、直接四項間漸化式が立てられるんですね。それにはおどろきました
解答ありがとうございました。
ちなみに、添字はどのように打ち込んでいるのですか??
ユニコードというスマホのアプリを使っています。打ち込むの面倒ですが見た目がきれいなので重宝しています
なるほど、教えていただきありがとうございます。
正解です。ぜひ詳解をお願いします。