OFFSET
1,3
COMMENTS
We define an unlabeled ordered rooted tree to be recursively anti-transitive if no branch of a branch of a subtree is a branch of the same subtree farther to the left.
EXAMPLE
The a(1) = 1 through a(5) = 10 trees:
o (o) (oo) (ooo) (oooo)
((o)) ((o)o) ((o)oo)
((oo)) ((oo)o)
(((o))) ((ooo))
(((o))o)
(((o)o))
(((oo)))
((o)(o))
(o((o)))
((((o))))
MATHEMATICA
aot[n_]:=If[n==1, {{}}, Join@@Table[Tuples[aot/@c], {c, Join@@Permutations/@IntegerPartitions[n-1]}]];
Table[Length[Select[aot[n], FreeQ[#, {___, x_, ___, {___, x_, ___}, ___}]&]], {n, 10}]
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Gus Wiseman, Nov 18 2022
STATUS
approved