OFFSET
1,3
COMMENTS
An unlabeled rooted tree is fully recursively anti-transitive if no proper terminal subtree of any terminal subtree is a branch of the larger subtree.
LINKS
EXAMPLE
The a(1) = 1 through a(7) = 14 fully recursively anti-transitive rooted trees:
o (o) (oo) (ooo) (oooo) (ooooo) (oooooo)
((o)) ((oo)) ((ooo)) ((oooo)) ((ooooo))
(((o))) (((oo))) (((ooo))) (((oooo)))
((o)(o)) ((o)(oo)) ((o)(ooo))
((((o)))) ((((oo)))) ((oo)(oo))
(((o)(o))) ((((ooo))))
(((((o))))) (((o))(oo))
(((o)(oo)))
((o)((oo)))
((o)(o)(o))
(((((oo)))))
((((o)(o))))
(((o))((o)))
((((((o))))))
MATHEMATICA
dallt[n_]:=Select[Union[Sort/@Join@@(Tuples[dallt/@#]&/@IntegerPartitions[n-1])], Intersection[Union@@Rest[FixedPointList[Union@@#&, #]], #]=={}&];
Table[Length[dallt[n]], {n, 10}]
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Gus Wiseman, Mar 17 2019
STATUS
approved