%I #48 Jan 25 2023 09:54:17
%S 1,5,37,369,4651,70993,1273609,26269505,612579511,15937424601,
%T 457696700077,14381984674225,490839666661891,18080919199832609,
%U 715027614225987601,30214447801957316865,1358671297852359767791,64780942222614703957417,3264460344339686410876021
%N a(n) = (n+1)^n - n^n.
%C Number of functions f:[n]->[n+1] such that some x in [n] maps to n+1.
%C Number of switching generators for a power polyadic n-context ({1..k}, ..., {1..k}, <>) with n=k [Theorems 5 and 6, page 81, in Ignatov]. - _Dmitry I. Ignatov_, Nov 23 2022
%H G. C. Greubel, <a href="/A055869/b055869.txt">Table of n, a(n) for n = 1..385</a>
%H D. I. Ignatov, <a href="https://doi.org/10.1016/j.dam.2017.12.032">On closure operators related to maximal tricliques in tripartite hypergraphs</a>, Discrete Appl. Math., 249 (2018), 74-84.
%H D. I. Ignatov, <a href="https://github.com/dimachine/SwitchingGenerators">Supporting iPython code for enumeration of switching generators of power polyadic n-contexts for n=k<6</a>, GitHub repository.
%F E.g.f.: W(-x)*(x-1)/((1+W(-x))*x), W(x) principal branch of Lambert's function.
%F a(n) = Sum_{m=1..n} A055864(n, m).
%F a(n) = Sum_{i=0..n-1} n^i*C(n, i). - _Olivier GĂ©rard_, Jun 26 2001
%F With interpolated zeros, ceiling(n/2)^floor(n/2) - floor(n/2)^floor(n/2). - _Paul Barry_, Jul 13 2005
%F a(n) = Sum_{k=1..n} (-1)^(n-k)*k!*Stirling2(n,k)*binomial(n+k-1,n). - _Vladimir Kruchinin_, Sep 20 2015
%t Table[(n+1)^n-n^n,{n,40}] (* _Vladimir Joseph Stephan Orlovsky_, Nov 20 2009 *)
%o (PARI) vector(20, n, (n+1)^n - n^n) \\ _Michel Marcus_, Jan 10 2015
%o (Magma) [(n+1)^n - n^n: n in [1..40]]; // _Vincenzo Librandi_, Jan 11 2015
%Y Row sums of triangle A055864.
%Y Cf. A055864, A055858, A045531.
%K nonn,easy
%O 1,2
%A _Wolfdieter Lang_, Jun 20 2000
%E More terms from _Vincenzo Librandi_, Jan 11 2015