|
%I #25 Dec 31 2021 14:01:47
%S 1,1,2,12,120,1520,23160,413952,8505280,197631072,5125527360,
%T 146787894440,4601174623584,156693888150384,5761055539858528,
%U 227438694372072120,9596077520725211520,430920897407809702208,20520683482765477749120,1032920864149903149579336,54797532208320308334631840
%N The number of functions f:{1,2,...,n}->{1,2,...,n} (endofunctions) such that all of the fixed points in f are isolated.
%C Note this sequence counts the functions enumerated by A065440 for which the statement is vacuously true.
%C a(n) is also the number of partial endofunctions on {1,2,...,n} without fixed points.
%H Alois P. Heinz, <a href="/A204042/b204042.txt">Table of n, a(n) for n = 0..386</a>
%F E.g.f.: exp(x)*A(x) where A(x) is the e.g.f. for A065440.
%F a(n) ~ exp(exp(-1)-1)*n^n. - _Vaclav Kotesovec_, Sep 24 2013
%F a(n) = Sum_{j=0..n} (j-1)^j * binomial(n,j). - _Alois P. Heinz_, Dec 16 2021
%e a(2)=2 because there are two functions f:{1,2}->{1,2} in which all the fixed points are isolated: 1->1,2->2 and 1->2,2->1 (which has no fixed points).
%p a:= n-> add((j-1)^j*binomial(n, j), j=0..n):
%p seq(a(n), n=0..20); # _Alois P. Heinz_, Dec 16 2021
%t t = Sum[n^(n-1) x^n/n!, {n,1,20}]; Range[0,20]! CoefficientList[Series[Exp[x] Exp[Log[1/(1-t)]-t], {x,0,20}], x]
%Y Cf. A065440, A086331, A350134.
%Y Row sums of A349454.
%K nonn
%O 0,3
%A _Geoffrey Critzer_, Jan 09 2012
|
