OFFSET
0,5
COMMENTS
For n=0, there are no rooted trees at all, per A000081.
For n>=1, by omitting the root vertex, a(n) is the number of nonempty rooted forests of n-1 vertices with all leaves at even depths down from the forest roots.
A337089 counts trees with all leaves at even depths. The forests interpretation here is those even trees assembled to make even forests so that this sequence is shift-up of the Euler transform of A337089. But the usual Euler transform includes an empty forest which is not wanted here, and so -1 in the generating function forms. The sum formula is the usual Euler transform, except its cross-products re-using term a(1) expect the empty forest there, so +1 because it's not. A337089 is, in its turn, shift-up of the Euler transform of the present sequence so that it's convenient to calculate them together term by term.
LINKS
Kevin Ryde, Table of n, a(n) for n = 0..600
FORMULA
EXAMPLE
For n=5 vertices, there are a(5) = 3 rooted trees in which all leaves are at odd depths
* * * depth=0, root
// \\ |\ |
* * * * * * * depth=1, odd
| |
* *
| |\
* * * depth=3, odd
PROG
(PARI) \\ See A337089 where the vector "odds" is the present sequence.
CROSSREFS
KEYWORD
nonn,changed
AUTHOR
Kevin Ryde, Aug 15 2020
STATUS
approved