A356942 -id:A356942 - cp's OEIS frontend

A356944 MM-numbers of multisets of gapless multisets of positive integers. Products of primes indexed by elements of A073491.

1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70

Offset: 1

Gus Wiseman, Sep 12 2022

nonn

A multiset is gapless if it covers an interval of positive integers. For example, {2,3,3,4} is gapless but {1,1,3,3} is not.
A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798.
We define the multiset of multisets with MM-number n to be formed by taking the multiset of prime indices of each part of the multiset of prime indices of n. The size of this multiset of multisets is A302242(n). For example, the prime indices of 78 are {1,2,6}, so the multiset of multisets with MM-number 78 is {{},{1},{1,2}}.

			The initial terms and corresponding multiset partitions:
   1: {}
   2: {{}}
   3: {{1}}
   4: {{},{}}
   5: {{2}}
   6: {{},{1}}
   7: {{1,1}}
   8: {{},{},{}}
   9: {{1},{1}}
  10: {{},{2}}
  11: {{3}}
  12: {{},{},{1}}
  13: {{1,2}}
  14: {{},{1,1}}
  15: {{1},{2}}
  16: {{},{},{},{}}

Gus Wiseman, Counting and ranking classes of multiset partitions related to gapless multisets

Gapless multisets are counted by A034296, ranked by A073491.
The initial version is A356955.
Other types: A356233, A356941, A356942, A356943.
Other conditions: A302478, A302492, A356930, A356935, A356939, A356940.
A000041 counts integer partitions, strict A000009.
A000688 counts factorizations into prime powers.
A001055 counts factorizations.
A001221 counts prime divisors, sum A001414.
A001222 counts prime factors with multiplicity.
A011782 counts multisets covering an initial interval.
A056239 adds up prime indices, row sums of A112798.
Cf. A000720, A003963, A076610, A270995, A302242, A349050, A349055.

primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
nogapQ[m_]:=Or[m=={},Union[m]==Range[Min[m],Max[m]]];
Select[Range[100],And@@nogapQ/@primeMS/@primeMS[#]&]

A356937 Number of multisets of intervals whose multiset union is of size n and covers an initial interval of positive integers.

Original entry on oeis.org

1, 1, 3, 9, 29, 94, 310, 1026, 3411, 11360, 37886, 126442, 422203, 1410189, 4711039, 15740098, 52593430, 175742438, 587266782, 1962469721, 6558071499, 21915580437, 73237274083, 244744474601, 817889464220, 2733235019732, 9133973730633, 30524096110942, 102006076541264

Offset: 0

Gus Wiseman, Sep 08 2022

nonn

An interval such as {3,4,5} is a set with all differences of adjacent elements equal to 1.

			The a(1) = 1 through a(3) = 9 set multipartitions (multisets of sets):
  {{1}}  {{1,2}}    {{1,2,3}}
         {{1},{1}}  {{1},{1,2}}
         {{1},{2}}  {{1},{2,3}}
                    {{2},{1,2}}
                    {{3},{1,2}}
                    {{1},{1},{1}}
                    {{1},{1},{2}}
                    {{1},{2},{2}}
                    {{1},{2},{3}}

Andrew Howroyd, Table of n, a(n) for n = 0..200
Gus Wiseman, Counting and ranking classes of multiset partitions related to gapless multisets

A000041 counts integer partitions, strict A000009.
A000670 counts patterns, ranked by A333217, necklace A019536.
A011782 counts multisets covering an initial interval.
Cf. A055887, A063834, A270995, A304969, A349050, A349055.
Intervals are counted by A000012, A001227, ranked by A073485.
Other conditions: A034691, A116540, A255906, A356933, A356942.
Other types: A107742, A356936, A356938, A356939.

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]]]];
chQ[y_]:=Or[Length[y]<=1,Union[Differences[y]]=={1}];
Table[Length[Select[Join@@mps/@allnorm[n],And@@chQ/@#&]],{n,0,5}]

EulerT(v)={Vec(exp(x*Ser(dirmul(v,vector(#v,n,1/n))))-1, -#v)}
R(n,k) = {EulerT(vector(n, j, max(0, 1+k-j)))}
seq(n) = {my(A=1+O(y*y^n)); for(k = 1, n, A += x^k*(1 + y*Ser(R(n,k), y) - polcoef(1/(1 - x*A) + O(x^(k+2)), k+1))); Vec(subst(A,x,1))} \\ Andrew Howroyd, Jan 01 2023

Terms a(10) and beyond from Andrew Howroyd, Jan 01 2023

A356941 Number of multiset partitions of integer partitions of n such that all blocks are gapless.

Original entry on oeis.org

1, 1, 3, 6, 13, 24, 49, 88, 166, 297, 534, 932, 1635, 2796, 4782, 8060, 13521, 22438, 37080, 60717, 98979, 160216, 258115, 413382, 659177, 1045636, 1651891, 2597849, 4069708, 6349677, 9871554, 15290322, 23604794, 36318256, 55705321, 85177643, 129865495

Offset: 0

Gus Wiseman, Sep 11 2022

nonn

A multiset is gapless if it covers an interval of positive integers. For example, {2,3,3,4} is gapless but {1,1,3,3} is not.

			The a(1) = 1 through a(4) = 13 multiset partitions:
  {{1}}  {{2}}      {{3}}          {{4}}
         {{1,1}}    {{1,2}}        {{2,2}}
         {{1},{1}}  {{1,1,1}}      {{1,1,2}}
                    {{1},{2}}      {{1},{3}}
                    {{1},{1,1}}    {{2},{2}}
                    {{1},{1},{1}}  {{1,1,1,1}}
                                   {{1},{1,2}}
                                   {{2},{1,1}}
                                   {{1},{1,1,1}}
                                   {{1,1},{1,1}}
                                   {{1},{1},{2}}
                                   {{1},{1},{1,1}}
                                   {{1},{1},{1},{1}}

Andrew Howroyd, Table of n, a(n) for n = 0..1000
Gus Wiseman, Counting and ranking classes of multiset partitions related to gapless multisets

A000041 counts integer partitions, strict A000009.
A000670 counts patterns, ranked by A333217, necklace A019536.
A001055 counts factorizations.
A011782 counts multisets covering an initial interval.
A356069 counts gapless divisors, initial A356224 (complement A356225).
Gapless multisets are counted by A034296, ranked by A073491.
Other types: A356233, A356942, A356943, A356944.
Other conditions: A001970, A006171, A007294, A089259, A107742, A356932.
Cf. A055887, A072233, A270995.

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]]]];
nogapQ[m_]:=Or[m=={},Union[m]==Range[Min[m],Max[m]]];
Table[Length[Select[Join@@mps/@IntegerPartitions[n],And@@nogapQ/@#&]],{n,0,5}]

\\ Here G(n) gives A034296 as vector
G(N) = Vec(sum(n=1, N, x^n/(1-x^n) * prod(k=1, n-1, 1+x^k+O(x*x^(N-n))) ));
seq(n) = {my(u=G(n)); Vec(1/prod(k=1, n-1, (1 - x^k + O(x*x^n))^u[k])) } \\ Andrew Howroyd, Dec 30 2022

G.f.: 1/Product_{k>=1} (1 - x^k)^A034296(k). - Andrew Howroyd, Dec 30 2022

Terms a(11) and beyond from Andrew Howroyd, Dec 30 2022

A356933 Number of multisets of multisets, each of odd size, whose multiset union is a size-n multiset covering an initial interval.

Original entry on oeis.org

1, 1, 2, 8, 28, 108, 524, 2608, 14176, 86576, 550672, 3782496, 27843880, 214071392, 1751823600, 15041687664, 134843207240, 1269731540864, 12427331494304, 126619822952928, 1341762163389920, 14712726577081248, 167209881188545344, 1963715680476759040, 23794190474350155856

Offset: 0

Gus Wiseman, Sep 08 2022

nonn

			The a(4) = 28 multiset partitions:
  {1}{111}      {1}{112}      {1}{123}      {1}{234}
  {1}{1}{1}{1}  {1}{122}      {1}{223}      {2}{134}
                {1}{222}      {1}{233}      {3}{124}
                {2}{111}      {2}{113}      {4}{123}
                {2}{112}      {2}{123}      {1}{2}{3}{4}
                {2}{122}      {2}{133}
                {1}{1}{1}{2}  {3}{112}
                {1}{1}{2}{2}  {3}{122}
                {1}{2}{2}{2}  {3}{123}
                              {1}{1}{2}{3}
                              {1}{2}{2}{3}
                              {1}{2}{3}{3}

Andrew Howroyd, Table of n, a(n) for n = 0..500
Gus Wiseman, Counting and ranking classes of multiset partitions related to gapless multisets

A000041 counts integer partitions, strict A000009.
A000670 counts patterns, ranked by A333217, necklace A019536.
A011782 counts multisets covering an initial interval.
Cf. A055887, A063834, A072233, A270995, A304969, A349050, A349055.
Odd-size multisets are counted by A000302, A027193, A058695, ranked by A026424.
Other conditions: A034691, A116540, A255906, A356937, A356942.
Other types: A050330, A356932, A356934, A356935.

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]]]];
allnorm[n_]:=If[n<=0,{{}},Function[s,Array[Count[s,y_/;y<=#]+1&,n]]/@Subsets[Range[n-1]+1]];
Table[Length[Select[Join@@mps/@allnorm[n],OddQ[Times@@Length/@#]&]],{n,0,5}]

EulerT(v)={Vec(exp(x*Ser(dirmul(v,vector(#v,n,1/n))))-1, -#v)}
R(n,k) = {EulerT(vector(n, j, if(j%2 == 1, binomial(j+k-1, j))))}
seq(n) = {concat([1], sum(k=1, n, R(n, k)*sum(r=k, n, binomial(r, k)*(-1)^(r-k)) ))} \\ Andrew Howroyd, Jan 01 2023

Terms a(9) and beyond from Andrew Howroyd, Jan 01 2023

A356943 Number of multiset partitions into gapless blocks of a size-n multiset covering an initial interval with weakly decreasing multiplicities.

Original entry on oeis.org

1, 1, 4, 11, 37, 101, 328, 909, 2801

Offset: 0

Gus Wiseman, Sep 09 2022

A multiset is gapless if it covers an interval of positive integers. For example, {2,3,3,4} is gapless but {1,1,3,3} is not.

			The a(1) = 1 through a(3) = 11 multiset partitions:
  {{1}}  {{1,1}}    {{1,1,1}}
         {{1,2}}    {{1,1,2}}
         {{1},{1}}  {{1,2,3}}
         {{1},{2}}  {{1},{1,1}}
                    {{1},{1,2}}
                    {{1},{2,3}}
                    {{2},{1,1}}
                    {{3},{1,2}}
                    {{1},{1},{1}}
                    {{1},{1},{2}}
                    {{1},{2},{3}}

Gus Wiseman, Counting and ranking classes of multiset partitions related to gapless multisets

A000041 counts integer partitions, strict A000009.
A000670 counts patterns, ranked by A333217, necklace A019536.
A011782 counts multisets covering an initial interval.
Gapless multisets are counted by A034296, ranked by A073491.
Other conditions: A035310, A063834, A330783, A356934, A356938, A356954.
Other types: A356233, A356941, A356942, A356944.
Cf. A055887, A072233, A270995, A304969, A349050, A349055.

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];
nogapQ[m_]:=Or[m=={},Union[m]==Range[Min[m],Max[m]]];
Table[Length[Select[Join@@mps/@strnorm[n],And@@nogapQ/@#&]],{n,0,5}]

A356954 Number of multisets of multisets, each covering an initial interval, whose multiset union is of size n and has weakly decreasing multiplicities.

Original entry on oeis.org

1, 1, 3, 6, 15, 30, 71, 145, 325, 680

Offset: 0

Gus Wiseman, Sep 09 2022

			The a(1) = 1 through a(4) = 15 multiset partitions:
  {{1}}  {{1,1}}    {{1,1,1}}      {{1,1,1,1}}
         {{1,2}}    {{1,1,2}}      {{1,1,1,2}}
         {{1},{1}}  {{1,2,3}}      {{1,1,2,2}}
                    {{1},{1,1}}    {{1,1,2,3}}
                    {{1},{1,2}}    {{1,2,3,4}}
                    {{1},{1},{1}}  {{1},{1,1,1}}
                                   {{1,1},{1,1}}
                                   {{1},{1,1,2}}
                                   {{1,1},{1,2}}
                                   {{1},{1,2,2}}
                                   {{1},{1,2,3}}
                                   {{1,2},{1,2}}
                                   {{1},{1},{1,1}}
                                   {{1},{1},{1,2}}
                                   {{1},{1},{1},{1}}

Gus Wiseman, Counting and ranking classes of multiset partitions related to gapless multisets

For unrestricted multiplicities we have A034691.
A000041 counts integer partitions, strict A000009.
A000670 counts patterns, ranked by A333217, necklace A019536.
A011782 counts multisets covering an initial interval.
Other conditions: A035310, A063834, A330783, A356934, A356938, A356943.
Other types: A055932, A089259, A356945, A356955.
Cf. A055887, A072233, A270995, A304969, A349050, A349055, A356942.

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]]]];
normQ[m_]:=Or[m=={},Union[m]==Range[Max[m]]];
strnorm[n_]:=Flatten[MapIndexed[Table[#2,{#1}]&,#]]&/@IntegerPartitions[n];
Table[Length[Select[Join@@mps/@strnorm[n],And@@normQ/@#&]],{n,0,5}]

cp's OEIS Frontend

A356944 MM-numbers of multisets of gapless multisets of positive integers. Products of primes indexed by elements of A073491.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A356937 Number of multisets of intervals whose multiset union is of size n and covers an initial interval of positive integers.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Extensions

A356941 Number of multiset partitions of integer partitions of n such that all blocks are gapless.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A356933 Number of multisets of multisets, each of odd size, whose multiset union is a size-n multiset covering an initial interval.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Extensions

A356943 Number of multiset partitions into gapless blocks of a size-n multiset covering an initial interval with weakly decreasing multiplicities.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A356954 Number of multisets of multisets, each covering an initial interval, whose multiset union is of size n and has weakly decreasing multiplicities.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica