ちょっかいスズメ
当HPがいつもお世話になっているHN「GAI」さんからの出題です。
(平成27年5月24日付け)
スズメの雄は隣に他の番の雌のスズメがやってくると、見境もなく、ちょっかいを出すとい
う習慣があった。スズメの世界ではいつもこれが原因で諍いが絶えなかった。そこで、スズ
メの王様がお触れを出して、平和な日々が送れるように次の決まりを立てた。
(1)雌は他の雌の隣には並んでよい。
(2)自分の番の雄の隣なら並んでよい。
従って、二組の番(A,a,B,b)<大文字:雄、小文字:雌>が電線に止まる時は、
A,a,b,B 、A,B,b,a 、B,A,a,b 、B,b,a,A 、a,A,B,b 、a,b,B,A 、b,a,A,B 、b,B,A,a
の8通りは許されるが、他の並びは禁止となった。
さて今、三組、四組、五組のスズメの番が電線に一列に止まるとき、決まり通りに並ぶ方
法はそれぞれ何通りずつあるか?
(答) らすかるさんが考察されました。(平成27年5月24日付け)
全部で、n組のとき、n組中m組(1≦m≦n)の番が隣に並ぶとすると、
先頭が雄か雌かで2通り
n組からm組を選んで並べるのが、nPm通り
残りのn-m匹の雄とn-m匹の雌の入れ方は、
mが偶数ならば、 m/2Hn-m・m/2+1Hn-m・((n-m)!)2通り
mが奇数ならば、 {(m+1)/2Hn-m・(n-m)!}2通り
よって、まとめると、
2・nP1・{1Hn-1・(n-1)!}2 +2・nP2・{1Hn-2・2Hn-2・((n-2)!)2} +2・nP3・{2Hn-3・(n-3)!}2 +
2・nP4・{2Hn-4・3Hn-4・((n-4)!)2} +2・nP5・{3Hn-5・(n-5)!}2 +2・nP6・{3Hn-6・4Hn-6・((n-6)!)2}+・・・
(nPnの項まで)
となるので、n=2ならば、2・2P1・(1H1・1!)2 + 2・2P2・(1H0・2H0・0!2) = 8通り
n=3ならば、2・3P1・(1H2・2!)2 + 2・3P2・(1H1・2H1・1!2) + 2・3P3・(2H0・0!)2 = 60通り
n=4ならば、
2・4P1・(1H3・3!)2 + 2・4P2・(1H2・2H2・2!2)
+ 2・4P3・(2H1・1!)2 + 2・4P4・(2H0・3H0・0!)2 = 816通り
n=5ならば、
2・5P1・(1H4・4!)2 + 2・5P2・(1H3・2H3・3!2) + 2・5P3・(2H2・2!)2
+ 2・5P4・(2H1・3H1・1!2) + 2・5P5・(3H0・0!)2 = 17520通り
n=6ならば、
2・6P1・(1H5・5!)2 + 2・6P2・(1H4・2H4・4!2) + 2・6P3・(2H3・3!)2
+ 2・6P4・(2H2・3H2・2!2) + 2・6P5・(3H1・1!)2 + 2・6P6・(3H0・4H0・0!2) = 550080通り
#この数列は、「A096121」にありました。
GAI さんからのコメントです。(平成27年5月25日付け)
よくこんな一般式を作れますね。私は、2組は手作業で、3組は、6!=720の全パターンをコ
ンピュータで作らせ、これから条件に外れるものを徐々に除いていき(プログラムの力不足
のため)、やっと60に絞り込みました。4組は、この結果を観察して、雄、雌の配列パターン
を考えていったら、11パターンに絞られたので、まず雌を並ばせておき、これに対して、雄が
決まる部分を確定し、残りの雄の自由度を個別のパターンで出して合計すると、
60(=4!(2*3!+2*2!*1*2!+2*2!+2*1+2*1+1*2!+2*1+1*1+1*1))
がとれました。5組目は、4組の方法を踏襲して、雄、雌の配列パターンが21となり、個別の
雄の自由度から、
2*5!(4!+3!+3!+3!+2!+2!+2!+3!+2!+2!+2!+2!+1+1+2!+1+2!+1+1+1+1)=17520
ここでふと整数列大辞典が思い付き、ここまでの数字をタイプしたら、「A096121」がヒット
するではないか!そこには、15組までの数値が載せられている。そして、漸化式
an+1=n(n+1)(an+an-1)
が書いてあり、実際に確認していくとピタリと一致する。また、説明には、”2×nボードをルー
ク(飛車)の動きで動く方法”とある。確かに、上段にはオス、下段には番のメスを配置してお
くと、この問題は、
任意のスズメから出発して、ルーク(飛車)の動きで全ての場所を巡る方法
に一致する。これが数学の醍醐味だ。一見無関係に見える現象も、本質が同じである、異
なる現れに過ぎないことを知らせてくれる。
らすかるさんの解法をみるにつけ、PやHや!の本質を十分に掴んである姿が羨ましいです。
苦労した後にこんな見事な解決策を見るのはとても参考になります。