cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A331872 Number of semi-lone-child-avoiding locally disjoint rooted trees with n vertices.

Original entry on oeis.org

1, 1, 1, 2, 4, 6, 12, 19, 35, 59, 104, 179, 318, 556, 993, 1772, 3202, 5807, 10643, 19594, 36380, 67915
Offset: 1

Views

Author

Gus Wiseman, Feb 02 2020

Keywords

Comments

A rooted tree is semi-lone-child-avoiding if there are no vertices with exactly one child unless the child is an endpoint/leaf.
Locally disjoint means no child of any vertex has branches overlapping the branches of any other (inequivalent) child of the same vertex.

Examples

			The a(1) = 1 through a(8) = 19 trees:
  o  (o)  (oo)  (ooo)   (oooo)    (ooooo)    (oooooo)     (ooooooo)
                (o(o))  (o(oo))   (o(ooo))   (o(oooo))    (o(ooooo))
                        (oo(o))   (oo(oo))   (oo(ooo))    (oo(oooo))
                        ((o)(o))  (ooo(o))   (ooo(oo))    (ooo(ooo))
                                  (o(o)(o))  (oooo(o))    (oooo(oo))
                                  (o(o(o)))  ((oo)(oo))   (ooooo(o))
                                             (o(o(oo)))   (o(o(ooo)))
                                             (o(oo(o)))   (o(oo)(oo))
                                             (oo(o)(o))   (o(oo(oo)))
                                             (oo(o(o)))   (o(ooo(o)))
                                             ((o)(o)(o))  (oo(o(oo)))
                                             (o((o)(o)))  (oo(oo(o)))
                                                          (ooo(o)(o))
                                                          (ooo(o(o)))
                                                          (o(o)(o)(o))
                                                          (o(o(o)(o)))
                                                          (o(o(o(o))))
                                                          (oo((o)(o)))
                                                          ((o)((o)(o)))
		

Crossrefs

Not requiring lone-child-avoidance gives A316473.
The non-semi version is A331680.
The Matula-Goebel numbers of these trees are A331873.
The same trees counted by number of leaves are A331874.
Not requiring local disjointness gives A331934.
Lone-child-avoiding rooted trees are A001678.

Programs

  • Mathematica
    disjointQ[u_]:=Apply[And,Outer[#1==#2||Intersection[#1,#2]=={}&,u,u,1],{0,1}];
    strutsemi[n_]:=If[n==1,{{}},If[n==2,{{{}}},Select[Join@@Function[c,Union[Sort/@Tuples[strutsemi/@c]]]/@Rest[IntegerPartitions[n-1]],disjointQ]]];
    Table[Length[strutsemi[n]],{n,8}]