■完全順列・撹乱順列(その13)
モンモール数は規準となる並び順に対して,どの要素も本来のポジションにないような順列のことで,完全順列(撹乱順列)と呼ばれます.たとえば,{5,1,2,3,4}はどの数も元の場所に位置していないので完全順列,{5,2,1,3,4}は2の位置が固定されたままなので完全順列ではありません.
===================================
【1】モンモール数
n個の宛名を書いた封筒にn個の手紙を無作為に入れるとき,すべての手紙がその宛名と違う封筒に入る確率は,
1−1/1!+1/2!−・・・+(−1)^n1/n!
n→∞のとき,
(1−1/n)^n → 1/e=0.3678・・・
に近づきます.
n個の要素に対する完全順列の数をモンモール数と呼びます.一般項は
f(n)=n!Σ(−1)^k/k!=n!(1-1/1!+1/2!-1/3!+・・・+(-1)^n/n!)
また,漸化式
f(n)=(n−1)(f(n−1)+f(n−2))
が成り立ちます.
===================================
1708年、モンモールは証明なしで、
f(n)=(n−1)(f(n−1)+f(n−2))
と記し、
f(n)=n!Σ(−1)^k/k!=n!(1-1/1!+1/2!-1/3!+・・・+(-1)^n/n!)
と結論した。
f(n)=n!Σ(−1)^k/k!=n!(1-1/1!+1/2!-1/3!+・・・+(-1)^n/n!)
(n-1)f(n-1)=(n-1)(n-1)!(1-1/1!+1/2!-1/3!+・・・+(-1)^n-1/(n-1)!)
(n-1)f(n-2)=(n-1)(n-2)!(1-1/1!+1/2!-1/3!+・・・+(-1)^n-2/(n-2)!)
(n-1)f(n-1)=n!(n-1)/n(1-1/1!+1/2!-1/3!+・・・+(-1)^n-1/(n-1)!)
=n!(1-1/1!+1/2!-1/3!+・・・+(-1)^n-1/(n-1)!)-n!/n(1-1/1!+1/2!-1/3!+・・・+(-1)^n-1/(n-1)!)
(n-1)f(n-2)=n!/n(1-1/1!+1/2!-1/3!+・・・+(-1)^n-2/(n-2)!)
(n−1)(f(n−1)+f(n−2))
=n!(1-1/1!+1/2!-1/3!+・・・+(-1)^n-1/(n-1)!)+(-1)^n/n!
=f(n)
===================================