Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
A008295
Triangle read by rows: T(n,k) is the number of partially labeled rooted trees with n vertices, k of which are labeled, 0 <= k <= n.
9
1, 1, 1, 1, 2, 2, 2, 5, 9, 9, 4, 13, 34, 64, 64, 9, 35, 119, 326, 625, 625, 20, 95, 401, 1433, 4016, 7776, 7776, 48, 262, 1316, 5799, 21256, 60387, 117649, 117649, 115, 727, 4247, 22224, 100407, 373895, 1071904, 2097152, 2097152
OFFSET
0,5
COMMENTS
T(n, k) where n counts the vertices and 0 <= k <= n counts the labels. - Sean A. Irvine, Mar 22 2018
REFERENCES
J. Riordan, An Introduction to Combinatorial Analysis, Wiley, 1958, p. 134.
FORMULA
E.g.f.: r(x,y) = T(n,k) * y^k * x^n / k! satisfies r(x,y) * exp(r(x)) = (1+y) * r(x) * exp(r(x,y)) where r(x) is the o.g.f. for A000081. - Sean A. Irvine, Mar 22 2018
EXAMPLE
Triangle begins with T(0,0):
n\k 0 1 2 3 4 5 6
0 1
1 1 1
2 1 2 2
3 2 5 9 9
4 4 13 34 64 64
5 9 35 119 326 625 625
6 20 95 401 1433 4016 7776 7776
MATHEMATICA
m = 9; r[_] = 0;
Do[r[x_] = x Exp[Sum[r[x^k]/k, {k, 1, j}]] + O[x]^j // Normal, {j, 1, m}];
r[x_, y_] = -ProductLog[(-E^(-r[x])) r[x] - (r[x] y)/E^r[x]];
(CoefficientList[#, y] Range[0, Exponent[#, y]]!)& /@ CoefficientList[r[x, y] + O[x]^m, x] /. {} -> {1} // Flatten // Quiet (* Jean-François Alcover, Oct 23 2019 *)
CROSSREFS
Main diagonal is A000169.
Cf. A034799.
Sequence in context: A367087 A109523 A339613 * A216694 A116697 A014244
KEYWORD
nonn,tabl,nice
EXTENSIONS
More terms from Sean A. Irvine, Mar 22 2018
Name edited by Andrew Howroyd, Mar 23 2023
STATUS
approved