login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A292553
Number of rooted unlabeled trees on n nodes where each node has at most 8 children.
11
1, 1, 1, 2, 4, 9, 20, 48, 115, 286, 718, 1839, 4757, 12460, 32897, 87592, 234746, 633013, 1715851, 4673320, 12781759, 35093010, 96681705, 267199518, 740580555, 2058042803, 5733101603, 16006590851, 44782679547, 125533577578, 352525803976, 991634575368
OFFSET
0,4
FORMULA
Functional equation of G.f. is T(z) = z + z*Sum_{q=1..8} Z(S_q)(T(z)) with Z(S_q) the cycle index of the symmetric group. Alternate FEQ is T(z) = 1 + z*Z(S_8)(T(z)).
a(n) = Sum_{j=1..8} A244372(n,j) for n>0, a(0) = 1. - Alois P. Heinz, Sep 20 2017
a(n) / a(n+1) ~ 0.338386042364849957035744926227166370702775721795018600630554... - Robert A. Russell, Feb 11 2023
MAPLE
b:= proc(n, i, t, k) option remember; `if`(n=0, 1,
`if`(i<1, 0, add(binomial(b((i-1)$2, k$2)+j-1, j)*
b(n-i*j, i-1, t-j, k), j=0..min(t, n/i))))
end:
a:= n-> `if`(n=0, 1, b(n-1$2, 8$2)):
seq(a(n), n=0..35); # Alois P. Heinz, Sep 20 2017
MATHEMATICA
b[n_, i_, t_, k_] := b[n, i, t, k] = If[n == 0, 1, If[i < 1, 0, Sum[ Binomial[b[i - 1, i - 1, k, k] + j - 1, j]*b[n - i*j, i - 1, t - j, k], {j, 0, Min[t, n/i]}]]];
a[n_] := If[n == 0, 1, b[n - 1, n - 1, 8, 8]];
Table[a[n], {n, 0, 35}] (* Jean-François Alcover, Jun 04 2018, after Alois P. Heinz *)
KEYWORD
nonn
AUTHOR
Marko Riedel, Sep 18 2017
STATUS
approved