モンモール問題、完全順列、攪乱順列の拡張
モンモール問題、完全順列、攪乱順列で検索するといろいろな言い回しがあります。
1,2,3,・・・,n の数を並び替えたとき、先頭から数えた順番と数が一致するものが1つもない並べ方
n人がプレゼントをもちよって、バラバラに交換したとき、1人も自分自身の用意したプレゼントをもらわない方法
写像f:{1,2,…,n}→{1,2,…,n}ただし、単射かつ∀i∈{1,2,…,n},f(i)≠i
の総数
これらの場合の数は、n!Σ[k=0,n]{(-1)^k}/k!であることはよく知られています。
そこで、拡張として次の総数を考えるとどうなるのでしょうか?
n≦mとする。
写像f:{1,2,…,n}→{1,2,…,m}ただし、単射かつ∀i∈{1,2,…,n},f(i)≠i
の総数
たとえば、n=3,m=4のとき、
(f(1),f(2),f(3))=(2,1,4),(2,3,1),(2,3,4),(3,1,2),(3,1,4),(3,4,1),(3,4,2),(4,1,2),(4,3,1),(4,3,2)