OFFSET
1,4
COMMENTS
Let T(n) be the set of all unlabeled trees with n vertices. For each tree T in T(n), let Aut(T) be its automorphism group and |Aut(T)| its order.
For each integer m, define f(n, m) = number of trees T in T(n) such that |Aut(T)| = m. Then a(n) is the number of integers m such that f(n, m) = 1. Equivalently, a(n) counts those automorphism group orders that occur exactly once among all unlabeled trees with n vertices.
Compare with A391694, which counts all distinct orders without regard to multiplicity.
LINKS
Igor Blokhin, Graph theory (Python repository)
EXAMPLE
n = 5: There are three unlabeled trees with automorphism group orders 24, 2, 2. Only 24 occurs exactly once. Hence a(5) = 1.
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Igor Blokhin, Mar 27 2026
EXTENSIONS
a(22)-a(25) from Sean A. Irvine, Mar 31 2026
STATUS
approved
