%I #12 Mar 19 2017 01:03:22
%S 0,20,592,35088,3252608,437765440,80766186240,19580003614976,
%T 6038002429456384,2308538525796209664,1071858241055770480640,
%U 594103565746026102722560,387504996819754568329494528,293818792387460667662661926912,256273357771747968541309427187712
%N If X_1,...,X_n is a partition of a 2n-set X into 2-blocks (or pairs) then a(n) is equal to the number of permutations f of X such that f(X_i) != X_i for all i=1,...n.
%H G. C. Greubel, <a href="/A116218/b116218.txt">Table of n, a(n) for n = 1..220</a>
%H Milan Janjic, <a href="http://www.pmfbl.org/janjic/">Enumerative Formulas for Some Functions on Finite Sets</a>
%F a(n) = Sum_{i=0,..,n} (-2)^i*binomial(n,i)*(2*n-2*i)!.
%F Recurrence: a(n) = 2*(n-1)*(2*n+1)*a(n-1) + 4*(n-1)*(4*n-3)*a(n-2) + 16*(n-2)*(n-1)*a(n-3). - _Vaclav Kotesovec_, Mar 20 2014
%F a(n) ~ sqrt(Pi) * 2^(2*n+1) * n^(2*n+1/2) / exp(2*n). - _Vaclav Kotesovec_, Mar 20 2014
%e a(5)=3252608
%p a:=n->sum((-2)^i*binomial(n,i)*(2*n-2*i)!,i=0..n);
%t Table[Sum[(-2)^i*Binomial[n,i]*(2*n-2*i)!,{i,0,n}],{n,1,20}] (* _Vaclav Kotesovec_, Mar 20 2014 *)
%o (PARI) for(n=1,25, print1(sum(i=0,n, (-2)^i*binomial(n,i)*(2*n-2*i)!), ", ")) \\ _G. C. Greubel_, Mar 18 2017
%K nonn
%O 1,2
%A _Milan Janjic_, Apr 08 2007, corrected Apr 13 2007
|