OFFSET
0,3
COMMENTS
Cooperative games are frequently formulated in terms of partition functions. In particular, the set of players may be divided into various coalitions forming partitions with different coalition structures. This recursive sequence identifies the number of partitions in an n-player game where the position of the individual player counts.
Lists of sublists of total size n with up to n different 1s, up to n-1 different 2s, ... generated by successive insertion. Sublists stay ordered as inserted. See example field for illustration. - Olivier Gérard, Aug 12 2016
REFERENCES
W. Lucas and R. Thrall, N-person games in partition function form, Naval Research Logistics Quarterly X, pp. 281-298, 1963.
LINKS
Vincenzo Librandi, Table of n, a(n) for n = 0..200
E. T. Bell, Exponential numbers, Amer. Math. Monthly, 41 (1934), 411-419.
Abel Lacabanne, Framization of Schur-Weyl duality and Yokonuma-Hecke type algebras, arXiv:2312.14796 [math.RT], 2023. See p. 34.
David W. K. Yeung, Eric L. H. Ku and Patricia M. Yeung, A Recursive Sequence for the Number of Positioned Partition, International Journal of Algebra, Vol. 2 (2008), No. 4, pp. 181-185.
FORMULA
a(0) = 1; for n>0, a(n) = Sum_{j=0..n-1} binomial(n-1,j) * a(j) * n!/j!.
From the recurrence it follows that A'(x) = exp(x) * A(x) where A(x) = Sum_{k>=0} a(k) * x^k / k!^2. The solution to this differential equation is A(x) = exp(exp(x)). The expression in Joerg Arndt's PARI program follows from this. - Max Alekseyev, Mar 11 2009
a(n) ~ n^(2*n+1/2) * exp(n/LambertW(n)-1-2*n) * sqrt(2*Pi/(1+LambertW(n))) / LambertW(n)^n. - Vaclav Kotesovec, Mar 13 2014
a(n) = n! * Sum_{j, 0, n} Stirling2(n, j). - Detlef Meya, Apr 11 2024
EXAMPLE
a(0) = 1;
a(1) = C(0,0)*a(0)*1!/0! = 1;
a(2) = C(1,1)*a(1)*2!/1! + C(1,0)*a(0)*2!/0! = 4;
a(3) = C(2,2)*a(2)*3!/2! + C(2,1)*a(1)*3!/1! + C(2,0)*a(0)*3!/0! = 30;
a(4) = C(3,3)*a(3)*4!/3! + C(3,2)*a(2)*4!/2! + C(3,1)*a(1)*4!/1! + C(3,0)*a(0)*4!/0! = 360.
From Olivier Gérard, Aug 12 2016: (Start)
Illustration as family of lists of sublists extending set partitions.
In this interpretation the lowercase letters allow us to distinguish between integers introduced at each iteration (or generation).
Construction from the family of size n to family of size n+1 is done by insertion.
Insertion is only possible at the end of a sublist or to create a new singleton sublist at the end of the list.
:
1: {{1a}}*
4: {{1a},{1b}} {{1a,1b}} {{1a,2b}}* {{1a},{2b}}*
30: {{1a,1c},{1b}} {{1a},{1b,1c}} {{1a},{1b},{1c}}
....{{1a,2c},{1b}} {{1a},{1b,2c}} {{1a},{1b},{2c}}
....{{1a,3c},{1b}} {{1a},{1b,3c}} {{1a},{1b},{3c}}
....{{1a,1b,1c}} {{1a,1b},{1c}}
....{{1a,1b,2c}} {{1a,1b},{2c}}
....{{1a,1b,3c}} {{1a,1b},{3c}}
....{{1a,2b,1c}} {{1a,2b,2c}} {{1a,2b,3c}}*
....{{1a,2b},{1c}} {{1a,2b},{2c}} {{1a,2b},{3c}}*
....{{1a,1c},{2b}} {{1a},{2b,1c}} {{1a},{2b},{1c}}
....{{1a,2c},{2b}} {{1a},{2b,2c}} {{1a},{2b},{2c}}
....{{1a,3c},{2b}}* {{1a},{2b,3c}}* {{1a},{2b},{3c}}*
:
The lists of sublists marked with * correspond to classical set partitions counted by Bell numbers A000110. (End)
MAPLE
b:= proc(n) option remember; `if`(n=0, 1,
add(b(n-j)*binomial(n-1, j-1), j=1..n))
end:
a:= n-> b(n)*n!:
seq(a(n), n=0..23); # Alois P. Heinz, Aug 30 2019
MATHEMATICA
Table[n!*BellB[n], {n, 0, 20}] (* Vaclav Kotesovec, Mar 13 2014 *)
PROG
(Sage) [factorial(m) * bell_number(m) for m in range(17)] # Zerinvary Lajos, Jul 06 2008
(PARI) Vec(serlaplace(serlaplace(exp(exp(O(x^20)+x)-1)))) \\ Joerg Arndt, Mar 13 2009
(Python)
from sympy import bell, factorial
[factorial(n) * bell(n) for n in range(101)] # Indranil Ghosh, Mar 20 2017
CROSSREFS
KEYWORD
nonn
AUTHOR
David W. K. Yeung, Eric L. H. Ku and Patricia M. Yeung (wkyeung(AT)hkbu.edu.hk), Apr 08 2008
EXTENSIONS
Edited by N. J. A. Sloane, Sep 19 2009
More terms from Vincenzo Librandi, Mar 15 2014
STATUS
approved