A330654 -id:A330654 - cp's OEIS frontend

A330655 Number of balanced reduced multisystems of weight n whose atoms cover an initial interval of positive integers.

1, 1, 2, 12, 138, 2652, 78106, 3256404, 182463296, 13219108288, 1202200963522, 134070195402644, 17989233145940910, 2858771262108762492, 530972857546678902490, 113965195745030648131036, 27991663753030583516229824, 7800669355870672032684666900, 2448021231611414334414904013956

Offset: 0

Gus Wiseman, Dec 27 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.

			The a(0) = 1 through a(3) = 12 multisystems:
  {}  {1}  {1,1}  {1,1,1}
           {1,2}  {1,1,2}
                  {1,2,2}
                  {1,2,3}
                  {{1},{1,1}}
                  {{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 A330776.
The unlabeled version is A330474.
The strongly normal case is A330475.
The tree version is A330654.
The maximum-depth case is A330676.
The case where the atoms are all different is A005121.
The case where the atoms are all equal is A318813.
Multiset partitions of normal multisets are A255906.
Series-reduced rooted trees with normal leaves are A316651.
Cf. A000311, A000669, A001678, A213427, A318812, A330675, 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, u += v*sum(j=n, #v, (-1)^(j-n)*binomial(j-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 2019

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

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 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

A330471 Number of series/singleton-reduced rooted trees on strongly normal multisets of size n.

Original entry on oeis.org

1, 1, 2, 9, 69, 623, 7803, 110476, 1907428

Offset: 0

Gus Wiseman, Dec 23 2019

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

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). This is a multiset generalization of singleton-reduced phylogenetic trees (A000311).

			The a(0) = 1 through a(3) = 9 trees:
  ()  (1)  (11)  (111)
           (12)  (112)
                 (123)
                 ((1)(11))
                 ((1)(12))
                 ((1)(23))
                 ((2)(11))
                 ((2)(13))
                 ((3)(12))
The a(4) = 69 trees, with singleton leaves (x) replaced by just x:
  (1111)      (1112)      (1122)      (1123)      (1234)
  (1(111))    (1(112))    (1(122))    (1(123))    (1(234))
  (11(11))    (11(12))    (11(22))    (11(23))    (12(34))
  ((11)(11))  (12(11))    (12(12))    (12(13))    (13(24))
  (1(1(11)))  (2(111))    (2(112))    (13(12))    (14(23))
              ((11)(12))  (22(11))    (2(113))    (2(134))
              (1(1(12)))  ((11)(22))  (23(11))    (23(14))
              (1(2(11)))  (1(1(22)))  (3(112))    (24(13))
              (2(1(11)))  ((12)(12))  ((11)(23))  (3(124))
                          (1(2(12)))  (1(1(23)))  (34(12))
                          (2(1(12)))  ((12)(13))  (4(123))
                          (2(2(11)))  (1(2(13)))  ((12)(34))
                                      (1(3(12)))  (1(2(34)))
                                      (2(1(13)))  ((13)(24))
                                      (2(3(11)))  (1(3(24)))
                                      (3(1(12)))  ((14)(23))
                                      (3(2(11)))  (1(4(23)))
                                                  (2(1(34)))
                                                  (2(3(14)))
                                                  (2(4(13)))
                                                  (3(1(24)))
                                                  (3(2(14)))
                                                  (3(4(12)))
                                                  (4(1(23)))
                                                  (4(2(13)))
                                                  (4(3(12)))

The case with all atoms different is A000311.
The case with all atoms equal is A196545.
The orderless version is A316652.
The unlabeled version is A330470.
The case where the leaves are sets is A330628.
The version for just normal (not strongly normal) is A330654.
Cf. A000669, A004114, A005121, A005804, A281118, A318812, A318848, A319312, A330465, A330467, A330475.

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]]]];
strnorm[n_]:=Flatten[MapIndexed[Table[#2,{#1}]&,#]]&/@IntegerPartitions[n];
mtot[m_]:=Prepend[Join@@Table[Tuples[mtot/@p],{p,Select[mps[m],Length[#]>1&&Length[#]

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

			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.

A330628 Number of series/singleton-reduced rooted trees on strongly normal multisets of size n whose leaves are sets (not necessarily disjoint).

Original entry on oeis.org

1, 1, 1, 5, 42, 423, 5458, 80926

Offset: 0

Gus Wiseman, Dec 26 2019

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

			The a(4) = 42 trees:
  {{1}{1}{12}}    {{12}{12}}      {{1}{123}}      {1234}
  {{1}{{1}{12}}}  {{1}{2}{12}}    {{12}{13}}      {{1}{234}}
                  {{1}{{2}{12}}}  {{1}{1}{23}}    {{12}{34}}
                  {{2}{{1}{12}}}  {{1}{2}{13}}    {{13}{24}}
                                  {{1}{3}{12}}    {{14}{23}}
                                  {{1}{{1}{23}}}  {{2}{134}}
                                  {{1}{{2}{13}}}  {{3}{124}}
                                  {{1}{{3}{12}}}  {{4}{123}}
                                  {{2}{{1}{13}}}  {{1}{2}{34}}
                                  {{3}{{1}{12}}}  {{1}{3}{24}}
                                                  {{1}{4}{23}}
                                                  {{2}{3}{14}}
                                                  {{2}{4}{13}}
                                                  {{3}{4}{12}}
                                                  {{1}{{2}{34}}}
                                                  {{1}{{3}{24}}}
                                                  {{1}{{4}{23}}}
                                                  {{2}{{1}{34}}}
                                                  {{2}{{3}{14}}}
                                                  {{2}{{4}{13}}}
                                                  {{3}{{1}{24}}}
                                                  {{3}{{2}{14}}}
                                                  {{3}{{4}{12}}}
                                                  {{4}{{1}{23}}}
                                                  {{4}{{2}{13}}}
                                                  {{4}{{3}{12}}}

The generalization where leaves are multisets is A330471.
The non-singleton-reduced version is A330625.
The unlabeled version is A330626.
The case with all atoms distinct is A000311.
Strongly normal multiset partitions are A035310.
Cf. A000669, A004111, A004114, A005804, A196545, A281118, A330465, A330467, A330624, A330654, A330668.

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]]]];
strnorm[n_]:=Flatten[MapIndexed[Table[#2,{#1}]&,#]]&/@IntegerPartitions[n];
ssrtrees[m_]:=Prepend[Join@@Table[Tuples[ssrtrees/@p],{p,Select[mps[m],Length[m]>Length[#1]>1&]}],m];
Table[Sum[Length[Select[ssrtrees[s],FreeQ[#,{_,x_Integer,x_Integer,_}]&]],{s,strnorm[n]}],{n,0,5}]

cp's OEIS Frontend

A330655 Number of balanced reduced multisystems of weight n whose atoms cover an initial interval of positive integers.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Extensions

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

A330471 Number of series/singleton-reduced rooted trees on strongly normal multisets of size n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

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

A330628 Number of series/singleton-reduced rooted trees on strongly normal multisets of size n whose leaves are sets (not necessarily disjoint).

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica