A330677 -id:A330677 - cp's OEIS frontend

A330663 Number of non-isomorphic balanced reduced multisystems of weight n and maximum depth.

1, 1, 2, 4, 20, 140, 1411

Offset: 0

Gus Wiseman, Dec 27 2019

A balanced reduced multisystem is either a finite multiset, or a multiset partition with at least two parts, not all of which are singletons, of a balanced reduced multisystem. The weight of an atom is 1, while the weight of a multiset is the sum of weights of its elements.

			Non-isomorphic representatives of the a(2) = 2 through a(4) = 20 multisystems:
  {1,1}  {{1},{1,1}}  {{{1}},{{1},{1,1}}}
  {1,2}  {{1},{1,2}}  {{{1,1}},{{1},{1}}}
         {{1},{2,3}}  {{{1}},{{1},{1,2}}}
         {{2},{1,1}}  {{{1,1}},{{1},{2}}}
                      {{{1}},{{1},{2,2}}}
                      {{{1,1}},{{2},{2}}}
                      {{{1}},{{1},{2,3}}}
                      {{{1,1}},{{2},{3}}}
                      {{{1}},{{2},{1,1}}}
                      {{{1,2}},{{1},{1}}}
                      {{{1}},{{2},{1,2}}}
                      {{{1,2}},{{1},{2}}}
                      {{{1}},{{2},{1,3}}}
                      {{{1,2}},{{1},{3}}}
                      {{{1}},{{2},{3,4}}}
                      {{{1,2}},{{3},{4}}}
                      {{{2}},{{1},{1,1}}}
                      {{{2}},{{1},{1,3}}}
                      {{{2}},{{3},{1,1}}}
                      {{{2,3}},{{1},{1}}}

The non-maximal version is A330474.
Labeled versions are A330675 (strongly normal) and A330676 (normal).
The case where the leaves are sets (as opposed to multisets) is A330677.
The case with all atoms distinct is A000111.
The case with all atoms equal is (also) A000111.
Cf. A000311, A004114, A005121, A006472, A007716, A048816, A141268, A306186, A330470, A330655, A330664.

A330675 Number of balanced reduced multisystems of maximum depth whose atoms constitute a strongly normal multiset of size n.

Original entry on oeis.org

1, 1, 2, 6, 43, 440, 7158, 151414

Offset: 0

Gus Wiseman, Dec 30 2019

A balanced reduced multisystem is either a finite multiset, or a multiset partition with at least two parts, not all of which are singletons, of a balanced reduced multisystem.

A finite multiset is strongly normal if it covers an initial interval of positive integers with weakly decreasing multiplicities.

			The a(2) = 2 and a(3) = 6 multisystems:
  {1,1}  {{1},{1,1}}
  {1,2}  {{1},{1,2}}
         {{1},{2,3}}
         {{2},{1,1}}
         {{2},{1,3}}
         {{3},{1,2}}
The a(4) = 43 multisystems (commas and outer brackets elided):
  {{1}}{{1}{11}} {{1}}{{1}{12}} {{1}}{{1}{22}} {{1}}{{1}{23}} {{1}}{{2}{34}}
  {{11}}{{1}{1}} {{11}}{{1}{2}} {{11}}{{2}{2}} {{11}}{{2}{3}} {{12}}{{3}{4}}
                 {{1}}{{2}{11}} {{1}}{{2}{12}} {{1}}{{2}{13}} {{1}}{{3}{24}}
                 {{12}}{{1}{1}} {{12}}{{1}{2}} {{12}}{{1}{3}} {{13}}{{2}{4}}
                 {{2}}{{1}{11}} {{2}}{{1}{12}} {{1}}{{3}{12}} {{1}}{{4}{23}}
                                {{2}}{{2}{11}} {{13}}{{1}{2}} {{14}}{{2}{3}}
                                {{22}}{{1}{1}} {{2}}{{1}{13}} {{2}}{{1}{34}}
                                               {{2}}{{3}{11}} {{2}}{{3}{14}}
                                               {{23}}{{1}{1}} {{23}}{{1}{4}}
                                               {{3}}{{1}{12}} {{2}}{{4}{13}}
                                               {{3}}{{2}{11}} {{24}}{{1}{3}}
                                                              {{3}}{{1}{24}}
                                                              {{3}}{{2}{14}}
                                                              {{3}}{{4}{12}}
                                                              {{34}}{{1}{2}}
                                                              {{4}}{{1}{23}}
                                                              {{4}}{{2}{13}}
                                                              {{4}}{{3}{12}}

The case with all atoms equal is A000111.
The case with all atoms different is A006472.
The version allowing all depths is A330475.
The unlabeled version is A330663.
The version where the atoms are the prime indices of n is A330665.
The (weakly) normal version is A330676.
The version where the degrees are the prime indices of n is A330728.
Multiset partitions of strongly normal multisets are A035310.
Series-reduced rooted trees with strongly normal leaves are A316652.
Cf. A000311, A000669, A001055, A001678, A005121, A005804, A316651, A318812, A330467, A330474, A330625, A330628, A330664, A330677, A330679.

strnorm[n_]:=Flatten[MapIndexed[Table[#2,{#1}]&,#]]&/@IntegerPartitions[n];
sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
mps[set_]:=Union[Sort[Sort/@(#/.x_Integer:>set[[x]])]&/@sps[Range[Length[set]]]];
totm[m_]:=Prepend[Join@@Table[totm[p],{p,Select[mps[m],1

A330624 Number of non-isomorphic series-reduced rooted trees whose leaves are sets (not necessarily disjoint) with a total of n elements.

Original entry on oeis.org

1, 1, 3, 10, 61, 410, 3630

Offset: 0

Gus Wiseman, Dec 25 2019

A rooted tree is series-reduced if it has no unary branchings, so every non-leaf node covers at least two other nodes.

			Non-isomorphic representatives of the a(1) = 1 through a(3) = 10 trees:
  {1}  {1,2}      {1,2,3}
       {{1},{1}}  {{1},{1,2}}
       {{1},{2}}  {{1},{2,3}}
                  {{1},{1},{1}}
                  {{1},{1},{2}}
                  {{1},{2},{3}}
                  {{1},{{1},{1}}}
                  {{1},{{1},{2}}}
                  {{1},{{2},{3}}}
                  {{2},{{1},{1}}}

The version with multisets as leaves is A330465.
The singleton-reduced case is A330626.
A labeled version is A330625 (strongly normal).
The case with all atoms distinct is A141268.
The case where all leaves are singletons is A330470.
Cf. A000669, A004111, A005804, A007716, A273873, A300660, A320296, A330628, A330668, A330677.

A330676 Number of balanced reduced multisystems of weight n and maximum depth whose atoms cover an initial interval of positive integers.

Original entry on oeis.org

1, 1, 2, 8, 70, 1012, 21944, 665708, 26917492, 1399033348, 90878863352, 7214384973908, 687197223963640, 77354805301801012, 10158257981179981304, 1539156284259756811748, 266517060496258245459352, 52301515332984084095078308, 11546416513975694879642736152

Offset: 0

Gus Wiseman, Dec 30 2019

nonn

A balanced reduced multisystem is either a finite multiset, or a multiset partition with at least two parts, not all of which are singletons, of a balanced reduced multisystem. The weight of an atom is 1, while the weight of a multiset is the sum of weights of its elements.

A finite multiset is normal if it covers an initial interval of positive integers.

			The a(0) = 1 through a(3) = 8 multisystems:
  {}  {1}  {1,1}  {{1},{1,1}}
           {1,2}  {{1},{1,2}}
                  {{1},{2,2}}
                  {{1},{2,3}}
                  {{2},{1,1}}
                  {{2},{1,2}}
                  {{2},{1,3}}
                  {{3},{1,2}}

Andrew Howroyd, Table of n, a(n) for n = 0..200

Row sums of A330778.
The case with all atoms equal is A000111.
The case with all atoms different is A006472.
The version allowing all depths is A330655.
The unlabeled version is A330663.
The version where the atoms are the prime indices of n is A330665.
The strongly normal version is A330675.
The version where the degrees are the prime indices of n is A330728.
Multiset partitions of normal multisets are A255906.
Series-reduced rooted trees with normal leaves are A316651.
Cf. A000669, A001055, A005121, A005804, A318812, A330469, A330474, A330654, A330664, A330677, A330679.

allnorm[n_]:=If[n<=0,{{}},Function[s,Array[Count[s,y_/;y<=#]+1&,n]]/@Subsets[Range[n-1]+1]];
sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
mps[set_]:=Union[Sort[Sort/@(#/.x_Integer:>set[[x]])]&/@sps[Range[Length[set]]]];
totm[m_]:=Prepend[Join@@Table[totm[p],{p,Select[mps[m],1

EulerT(v)={Vec(exp(x*Ser(dirmul(v, vector(#v, n, 1/n))))-1, -#v)}
R(n, k)={my(v=vector(n), u=vector(n)); v[1]=k; for(n=1, #v, for(i=n, #v, u[i] += v[i]*(-1)^(i-n)*binomial(i-1, n-1)); v=EulerT(v)); u}
seq(n)={concat([1], sum(k=1, n, R(n, k)*sum(r=k, n, binomial(r, k)*(-1)^(r-k))))} \\ Andrew Howroyd, Dec 30 2020

Terms a(8) and beyond from Andrew Howroyd, Dec 30 2019

A330626 Number of non-isomorphic series/singleton-reduced rooted trees whose leaves are sets (not necessarily disjoint) with a total of n atoms.

Original entry on oeis.org

1, 1, 1, 3, 17, 100, 755

Offset: 0

Gus Wiseman, Dec 26 2019

A series/singleton-reduced rooted tree on a multiset m is either the multiset m itself or a sequence of series/singleton-reduced rooted trees, one on each part of a multiset partition of m that is neither minimal (all singletons) nor maximal (only one part).

			Non-isomorphic representatives of the a(1) = 1 through a(4) = 17 trees:
  {1}  {1,2}  {1,2,3}      {1,2,3,4}
              {{1},{1,2}}  {{1},{1,2,3}}
              {{1},{2,3}}  {{1,2},{1,2}}
                           {{1,2},{1,3}}
                           {{1},{2,3,4}}
                           {{1,2},{3,4}}
                           {{1},{1},{1,2}}
                           {{1},{1},{2,3}}
                           {{1},{2},{1,2}}
                           {{1},{2},{1,3}}
                           {{1},{2},{3,4}}
                           {{1},{{1},{1,2}}}
                           {{1},{{1},{2,3}}}
                           {{1},{{2},{1,2}}}
                           {{1},{{2},{1,3}}}
                           {{1},{{2},{3,4}}}
                           {{2},{{1},{1,3}}}

The non-singleton-reduced version is A330624.
The generalization where leaves are multisets is A330470.
A labeled version is A330628 (strongly normal).
The case with all atoms distinct is A004114.
The balanced version is A330668.
Cf. A000669, A004111, A005804, A007716, A141268, A330465, A330625, A330627, A330654, A330663, A330677.

A330668 Number of non-isomorphic balanced reduced multisystems of weight n whose leaves (which are multisets of atoms) are all sets.

Original entry on oeis.org

1, 1, 1, 3, 22, 204, 2953

Offset: 0

Gus Wiseman, Dec 27 2019

A balanced reduced multisystem is either a finite multiset, or a multiset partition with at least two parts, not all of which are singletons, of a balanced reduced multisystem. The weight of an atom is 1, while the weight of a multiset is the sum of weights of its elements.

			Non-isomorphic representatives of the a(1) = 1 through a(4) = 22 multisystems:
  {1}  {1,2}  {1,2,3}      {1,2,3,4}
              {{1},{1,2}}  {{1},{1,2,3}}
              {{1},{2,3}}  {{1,2},{1,2}}
                           {{1,2},{1,3}}
                           {{1},{2,3,4}}
                           {{1,2},{3,4}}
                           {{1},{1},{1,2}}
                           {{1},{1},{2,3}}
                           {{1},{2},{1,2}}
                           {{1},{2},{1,3}}
                           {{1},{2},{3,4}}
                           {{{1}},{{1},{1,2}}}
                           {{{1}},{{1},{2,3}}}
                           {{{1,2}},{{1},{1}}}
                           {{{1}},{{2},{1,2}}}
                           {{{1,2}},{{1},{2}}}
                           {{{1}},{{2},{1,3}}}
                           {{{1,2}},{{1},{3}}}
                           {{{1}},{{2},{3,4}}}
                           {{{1,2}},{{3},{4}}}
                           {{{2}},{{1},{1,3}}}
                           {{{2,3}},{{1},{1}}}

The case with all atoms different is A318813.
The version where the leaves are multisets is A330474.
The tree version is A330626.
The maximum-depth case is A330677.
Unlabeled series-reduced rooted trees whose leaves are sets are A330624.
Cf. A000311, A004114, A005121, A005804, A007716, A048816, A141268, A283877, A306186, A318812, A320154, A330470, A330628, A330663.

cp's OEIS Frontend

A330663 Number of non-isomorphic balanced reduced multisystems of weight n and maximum depth.

Views

Author

Keywords

Comments

Examples

Crossrefs

A330675 Number of balanced reduced multisystems of maximum depth whose atoms constitute a strongly normal multiset of size n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A330624 Number of non-isomorphic series-reduced rooted trees whose leaves are sets (not necessarily disjoint) with a total of n elements.

Views

Author

Keywords

Comments

Examples

Crossrefs

A330676 Number of balanced reduced multisystems of weight n and maximum depth whose atoms cover an initial interval of positive integers.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Extensions

A330626 Number of non-isomorphic series/singleton-reduced rooted trees whose leaves are sets (not necessarily disjoint) with a total of n atoms.

Views

Author

Keywords

Comments

Examples

Crossrefs

A330668 Number of non-isomorphic balanced reduced multisystems of weight n whose leaves (which are multisets of atoms) are all sets.

Views

Author

Keywords

Comments

Examples

Crossrefs