OFFSET
1,7
COMMENTS
An unlabeled rooted tree is leaf-balanced if all branches from the same root have the same number of leaves. It is series-reduced if all positive out-degrees are greater than one.
LINKS
Robert G. Wilson v, Table of n, a(n) for n = 1..84
EXAMPLE
The a(13) = 5 trees: (((oo)(oo))(oooo)), ((ooooo)(ooooo)), ((ooo)(ooo)(ooo)), ((oo)(oo)(oo)(oo)), (oooooooooooo).
MATHEMATICA
alltim[n_]:=alltim[n]=If[n===1, {{}}, Join@@Function[c, Select[Union[Sort/@Tuples[alltim/@c]], And[SameQ@@(Count[#, {}, {0, Infinity}]&/@#), FreeQ[#, {_}]]&]]/@IntegerPartitions[n-1]];
Table[Length[alltim[n]], {n, 20}]
PROG
(PARI) lista(nn) = my(k, r, t, u, w=vector(nn, i, vector(i))); w[1][1]=1; for(s=2, nn, fordiv(s, d, if(d<s, u=select(i->w[i][d], [d..nn]); forvec(v=vector(s/d, i, [1, #u]), if(nn>=r=1+sum(i=1, #v, u[v[i]]), k=1; t=1; for(i=2, #v, if(v[i]==v[i-1], k++, t*=binomial(w[u[v[i-1]]][d]+k-1, k); k=1)); w[r][s]+=t*binomial(w[u[v[#v]]][d]+k-1, k)), 1)))); vector(nn, i, vecsum(w[i])); \\ Jinyuan Wang, Feb 25 2025
CROSSREFS
KEYWORD
nonn
AUTHOR
Gus Wiseman, Jan 06 2018
EXTENSIONS
a(51) onward from Robert G. Wilson v, Jan 07 2018
STATUS
approved