OFFSET
0,4
COMMENTS
The asymptotic growth of a(n) follows (0.0779...)*(4.8230...^n)*n^(-3/2).
LINKS
Lily Agranat-Tamir, Shaili Mathur, and Noah A. Rosenberg, Enumeration of rooted binary unlabeled galled trees, Bull. Math. Biol. 86 (2024), 45.
FORMULA
G.f. satisfies A(x) = 1 + x + (1/2)*A(x)^2 + (1/2)*A(x^2) - 1/(1-A(x)) + A(x)/(2*(1-A(x))^2) + A(x)/(2*(1-A(x^2))).
EXAMPLE
For n=3 leaves, there is the unique rooted binary unlabeled tree with 3 leaves and no galls, and there is a rooted binary unlabeled tree with a root gall from which 3 leaves are descended; hence a(3)=2.
MATHEMATICA
terms = 28; A[_] = 0; Do[A[x_] = x + (1/2)*(A[x]^2 + A[x^2]) +A[x]((A[x]/(1-A[x]))^2+A[x^2]/(1-A[x^2]))/2+ O[x]^terms // Normal, terms]; CoefficientList[A[x], x] (* Stefano Spezia, Mar 22 2025 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Noah A Rosenberg, Jan 16 2025
STATUS
approved
