A317791 -id:A317791 - cp's OEIS frontend

A330472 Triangle read by rows where T(n,k) is the number of non-isomorphic k-element multisets of nonempty multisets of nonempty multisets (all finite).

1, 0, 1, 0, 4, 2, 0, 10, 8, 3, 0, 33, 48, 18, 5, 0, 91, 204, 118, 32, 7, 0, 298, 959, 743, 266, 58, 11, 0, 910, 4193, 4334, 1927, 519, 94, 15, 0, 3017, 18947, 25305, 13992, 4407, 966, 154, 22, 0, 9945, 84798, 145033, 97947, 36410, 9023, 1679, 236, 30

Offset: 0

Gus Wiseman, Dec 19 2019

			Triangle begins:
   1
   0   1
   0   4   2
   0  10   8   3
   0  33  48  18   5
   0  91 204 118  32   7
   0 298 959 743 266  58  11
For example, row n = 3 counts the following multiset partitions:
  {{111}}      {{1}}{{11}}    {{1}}{{1}}{{1}}
  {{112}}      {{1}}{{12}}    {{1}}{{1}}{{2}}
  {{123}}      {{1}}{{23}}    {{1}}{{2}}{{3}}
  {{1}{11}}    {{2}}{{11}}
  {{1}{12}}    {{1}}{{1}{1}}
  {{1}{23}}    {{1}}{{1}{2}}
  {{2}{11}}    {{1}}{{2}{3}}
  {{1}{1}{1}}  {{2}}{{1}{1}}
  {{1}{1}{2}}
  {{1}{2}{3}}

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

Row sums are A318566.
Column k = 1 is A007716 (for n > 0).
Column k = n is A000041.
Partitions of partitions of partitions are A007713.
Twice-factorizations are A050336.
If this is the 3-dimensional version, the 2-dimensional version is A317533.
See A330473 for a variation.
Cf. A001055, A050336, A061260, A269134, A292504, A306186, A317791.

\\ See links in A339645 for combinatorial species functions.
ColGf(k,n)={my(A=symGroupSeries(n)); OgfSeries(sCartProd(sExp(A), sSubstOp(polcoef(A,k,x)*x^k + O(x*x^n), sExp(A)) ))}
M(n,m=n)={Mat(vector(m+1, k, Col(ColGf(k-1,n), -(n+1))))}
{ my(A=M(10)); for(n=1, #A, print(A[n, 1..n])) } \\ Andrew Howroyd, Jan 17 2023

Terms a(21) and beyond from Andrew Howroyd, Jan 17 2023

A318816 Regular tetrangle where T(n,k,i) is the number of non-isomorphic multiset partitions of length i of multiset partitions of length k of multisets of size n.

Original entry on oeis.org

1, 2, 2, 2, 3, 4, 4, 3, 4, 3, 5, 14, 14, 9, 20, 9, 5, 14, 9, 5, 7, 28, 28, 33, 80, 33, 16, 68, 52, 16, 7, 28, 33, 16, 7, 11, 69, 69, 104, 266, 104, 74, 356, 282, 74, 29, 199, 253, 118, 29, 11, 69, 104, 74, 29, 11, 15, 134, 134, 294, 800, 294, 263, 1427, 1164

Offset: 1

Gus Wiseman, Sep 04 2018

			Tetrangle begins:
  1   2     3        5             7
      2 2   4 4     14 14         28 28
            3 4 3    9 20  9      33 80 33
                     5 14  9  5   16 68 52 16
                                   7 28 33 16  7
Non-isomorphic representatives of the T(4,3,2) = 20 multiset partitions:
  {{{1}},{{1},{1,1}}}  {{{1,1}},{{1},{1}}}
  {{{1}},{{1},{1,2}}}  {{{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,3}},{{1},{1}}}
  {{{2}},{{1},{1,3}}}
  {{{2}},{{3},{1,1}}}

Cf. A007716, A050336, A050338, A255906, A269134, A317533, A317791, A318393, A318399, A318564, A318565, A318566.

A325510 Number of non-isomorphic multiset partitions of the multiset of prime indices of n!.

Original entry on oeis.org

1, 1, 1, 2, 7, 16, 98, 269, 1397, 7582, 70520, 259906, 1677259, 5229112, 44726100, 666355170, 4917007185, 18459879921

Offset: 0

Gus Wiseman, May 08 2019

			Non-isomorphic representatives of the a(2) = 1 through a(5) = 16 multiset partitions:
  {{1}}  {{12}}    {{1222}}        {{12333}}
         {{1}{2}}  {{1}{222}}      {{1}{2333}}
                   {{12}{22}}      {{12}{333}}
                   {{2}{122}}      {{13}{233}}
                   {{1}{2}{22}}    {{3}{1233}}
                   {{2}{2}{12}}    {{33}{123}}
                   {{1}{2}{2}{2}}  {{1}{2}{333}}
                                   {{1}{23}{33}}
                                   {{1}{3}{233}}
                                   {{3}{12}{33}}
                                   {{3}{13}{23}}
                                   {{3}{3}{123}}
                                   {{1}{1}{1}{23}}
                                   {{1}{2}{3}{33}}
                                   {{1}{3}{3}{23}}
                                   {{1}{2}{3}{3}{3}}

Cf. A000142, A001055, A007716, A011371, A022559, A076716, A115627, A317791, A318285, A322583, A325272, A325276, A325508, A325509, A325511.

\\ Requires C(sig) from A318285.
a(n)={if(n<2, 1, my(f=factor(n!)[,2], sig=vector(vecmax(f))); for(i=1, #f, sig[f[i]]++); C(sig))} \\ Andrew Howroyd, Jan 17 2023

a(n) = A317791(n!).

a(n) = A318285(A181819(n!)) = A318285(A325508(n)). - Andrew Howroyd, Jan 17 2023

a(9)-a(17) from Andrew Howroyd, Jan 17 2023

A330473 Regular triangle where T(n,k) is the number of non-isomorphic multiset partitions of k-element multiset partitions of multisets of size n.

Original entry on oeis.org

1, 0, 1, 0, 2, 4, 0, 3, 8, 10, 0, 5, 28, 38, 33, 0, 7, 56, 146, 152, 91, 0, 11, 138, 474, 786, 628, 298, 0, 15, 268, 1388, 3117, 3808, 2486, 910, 0, 22, 570, 3843, 11830, 19147, 18395, 9986, 3017, 0, 30, 1072, 10094, 40438, 87081, 110164, 86388, 39889, 9945

Offset: 0

Gus Wiseman, Dec 20 2019

As an alternative description, T(n,k) is the number of non-isomorphic multisets of nonempty multisets of nonempty multisets with n leaves whose multiset union consists of k multisets.

			Triangle begins:
   1
   0   1
   0   2   4
   0   3   8  10
   0   5  28  38  33
   0   7  56 146 152  91
   0  11 138 474 786 628 298
For example, row n = 3 counts the following multiset partitions:
  {{111}}  {{1}{11}}    {{1}{1}{1}}
  {{112}}  {{1}{12}}    {{1}{1}{2}}
  {{123}}  {{1}{23}}    {{1}{2}{3}}
           {{2}{11}}    {{1}}{{1}{1}}
           {{1}}{{11}}  {{1}}{{1}{2}}
           {{1}}{{12}}  {{1}}{{2}{3}}
           {{1}}{{23}}  {{2}}{{1}{1}}
           {{2}}{{11}}  {{1}}{{1}}{{1}}
                        {{1}}{{1}}{{2}}
                        {{1}}{{2}}{{3}}

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

Row sums are A318566.
Column k = 1 is A000041 (for n > 0).
Column k = n is A007716.
Partitions of partitions of partitions are A007713.
Twice-factorizations are A050336.
The 2-dimensional version is A317533.
See A330472 for a variation.
Cf. A001055, A050336, A061260, A269134, A292504, A306186, A317791.

\\ See links in A339645 for combinatorial species functions.
ColGf(k, n)={my(A=symGroupSeries(n)); OgfSeries(sCartProd(sExp(A), sSubstOp(polcoef(sExp(A), k, x)*x^k + O(x*x^n), A) ))}
M(n, m=n)={Mat(vector(m+1, k, Col(ColGf(k-1, n), -(n+1))))}
{ my(A=M(10)); for(n=1, #A, print(A[n, 1..n])) } \\ Andrew Howroyd, Jan 18 2023

Terms a(36) and beyond from Andrew Howroyd, Jan 18 2023

A318357 Number of non-isomorphic strict multiset partitions of the multiset of prime indices of n.

Original entry on oeis.org

1, 1, 1, 1, 1, 2, 1, 2, 1, 2, 1, 3, 1, 2, 2, 2, 1, 3, 1, 3, 2, 2, 1, 5, 1, 2, 2, 3, 1, 3, 1, 3, 2, 2, 2, 4, 1, 2, 2, 5, 1, 3, 1, 3, 3, 2, 1, 7, 1, 3, 2, 3, 1, 5, 2, 5, 2, 2, 1, 7, 1, 2, 3, 4, 2, 3, 1, 3, 2, 3, 1, 9, 1, 2, 3, 3, 2, 3, 1, 7, 2, 2, 1, 7, 2, 2, 2

Offset: 1

Gus Wiseman, Aug 24 2018

nonn

			Non-isomorphic representatives of the a(48) = 7 strict multiset partitions of {1,1,1,1,2}:
  {{1,1,1,1,2}}
  {{1},{1,1,1,2}}
  {{2},{1,1,1,1}}
  {{1,1},{1,1,2}}
  {{1,2},{1,1,1}}
  {{1},{2},{1,1,1}}
  {{1},{1,1},{1,2}}

Cf. A001055, A007716, A045778, A056239, A112798, A316980, A317533, A317776, A317791, A318287.

A357873 Numbers whose multiset of prime factors has all non-isomorphic multiset partitions.

Original entry on oeis.org

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, 29, 31, 32, 33, 34, 35, 37, 38, 39, 40, 41, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 61, 62, 63, 64, 65, 67, 68, 69, 71, 72, 73

Offset: 1

Gus Wiseman, Oct 18 2022

nonn

These are the positions where A317791 matches A001055.

			The multiset partitions of the prime indices of 12 are: {{1,1,2}}, {{1},{1,2}}, {{1,1},{2}}, {{1},{1},{2}}, all of which are non-isomorphic, so 12 is in the sequence.
The multiset partitions of the prime indices of 30 are: {{1,2,3}}, {{1},{2,3}}, {{2},{1,3}}, {{3},{1,2}}, {{1},{2},{3}}, of which the middle 3 are isomorphic, so 30 is not in the sequence.

The complement is A357874.
A001055 counts multiset partitions of prime indices, non-isomorphic A317791.
A001222 counts prime factors, distinct A001221.
A056239 adds up prime indices, row sums of A112798.
Cf. A000612, A007716, A055621, A283877, A302545, A317533, A321194.

brute[m_]:=If[Union@@m!={}&&Union@@m!=Range[Max@@Flatten[m]],brute[m/.Rule@@@Table[{(Union@@m)[[i]],i},{i,Length[Union@@m]}]],First[Sort[brute[m,1]]]];brute[m_,1]:=Table[Sort[Sort/@(m/.Rule@@@Table[{i,p[[i]]},{i,Length[p]}])],{p,Permutations[Union@@m]}];
mps[set_]:=Union[Sort[Sort/@(#/.x_Integer:>set[[x]])]&/@sps[Range[Length[set]]]];
primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
Select[Range[100],UnsameQ@@brute/@mps[primeMS[#]]&]

A357874 Numbers whose multiset of prime factors has at least two multiset partitions that are isomorphic.

Original entry on oeis.org

30, 36, 42, 60, 66, 70, 78, 84, 90, 100, 102, 105, 110, 114, 120, 126, 130, 132, 138, 140, 150, 154, 156, 165, 168, 170, 174, 180, 182, 186, 190, 195, 196, 198, 204, 210, 216, 220, 222, 225, 228, 230, 231, 234, 238, 240, 246, 252, 255, 258, 260, 264, 266, 270

Offset: 1

Gus Wiseman, Oct 18 2022

nonn

These are the positions where A317791 differs from A001055.

			The terms together with their prime indices begin:
   30: {1,2,3}
   36: {1,1,2,2}
   42: {1,2,4}
   60: {1,1,2,3}
   66: {1,2,5}
   70: {1,3,4}
   78: {1,2,6}
   84: {1,1,2,4}
   90: {1,2,2,3}
  100: {1,1,3,3}
For example, the multiset partitions of the prime indices of 36 include {{1},{1,2,2}} and {{2},{1,1,2}}, which are isomorphic, so 36 is in the sequence.

The complement is A357873.
A001055 counts multiset partitions of prime indices, non-isomorphic A317791.
A001222 counts prime factors, distinct A001221.
A056239 adds up prime indices, row sums of A112798.
Cf. A000612, A007716, A055621, A283877, A300913, A302545, A317533, A321194.

brute[m_]:=If[Union@@m!={}&&Union@@m!=Range[Max@@Flatten[m]],brute[m/.Rule@@@Table[{(Union@@m)[[i]],i},{i,Length[Union@@m]}]],First[Sort[brute[m,1]]]];brute[m_,1]:=Table[Sort[Sort/@(m/.Rule@@@Table[{i,p[[i]]},{i,Length[p]}])],{p,Permutations[Union@@m]}];
mps[set_]:=Union[Sort[Sort/@(#/.x_Integer:>set[[x]])]&/@sps[Range[Length[set]]]];
primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
Select[Range[100],!UnsameQ@@brute/@mps[primeMS[#]]&]

A317792 Number of non-isomorphic multiset partitions, using normal multisets, of normal multisets of size n.

Original entry on oeis.org

1, 1, 3, 6, 15, 31, 73, 154, 345, 742, 1627, 3499

Offset: 0

Gus Wiseman, Aug 07 2018

A multiset is normal if it spans an initial interval of positive integers, and strongly normal if it has weakly decreasing multiplicities. Neither condition is necessarily preserved under isomorphism. For example, {{2},{1,1,1,2}} is isomorphic to {{1},{1,2,2,2}}, but only the latter has normal blocks, while only the former has strongly normal multiset union.

			Non-isomorphic representatives of the a(4) = 15 normal multiset partitions:
  {1111}, {1112}, {1122}, {1123}, {1234},
  {1}{111}, {1}{112}, {1}{122}, {1}{123}, {11}{11}, {11}{12}, {12}{12},
  {1}{1}{11}, {1}{1}{12},
  {1}{1}{1}{1}.

Cf. A001055, A007716, A045778, A281116, A317533, A317757, A317791, A317794, A317795.

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]]]];
sysnorm[{}]:={};sysnorm[m_]:=If[Union@@m!=Range[Max@@Flatten[m]],sysnorm[m/.Rule@@@Table[{(Union@@m)[[i]],i},{i,Length[Union@@m]}]],First[Sort[sysnorm[m,1]]]];sysnorm[m_,aft_]:=If[Length[Union@@m]<=aft,{m},With[{mx=Table[Count[m,i,{2}],{i,Select[Union@@m,#>=aft&]}]},Union@@(sysnorm[#,aft+1]&/@Union[Table[Map[Sort,m/.{par+aft-1->aft,aft->par+aft-1},{0,1}],{par,First/@Position[mx,Max[mx]]}]])]];
allnorm[n_]:=Function[s,Array[Count[s,y_/;y<=#]+1&,n]]/@Subsets[Range[n-1]+1];
Table[Length[Union[sysnorm/@Select[Join@@mps/@allnorm[n],And@@(Union[#]==Range[Max@@#]&)/@#&]]],{n,6}]

a(10)-a(11) from Robert Price, Sep 15 2018

A323786 Number of non-isomorphic weight-n multisets of multisets of non-singleton multisets.

Original entry on oeis.org

1, 0, 2, 3, 19, 39, 200, 615, 2849, 11174, 52377, 239269, 1191090, 6041975, 32275288, 177797719, 1017833092, 6014562272, 36717301665, 230947360981, 1495562098099, 9956230757240, 68070158777759, 477439197541792, 3432259679880648, 25267209686664449

Offset: 0

Gus Wiseman, Jan 28 2019

nonn

All sets and multisets must be finite, and only the outermost may be empty.

The weight of an atom is 1, and the weight of a multiset is the sum of weights of its elements, counting multiplicity.

			Non-isomorphic representatives of the a(4) = 19 multiset partitions:
  {{1111}}      {{1112}}      {{1123}}      {{1234}}
  {{11}{11}}    {{1122}}      {{11}{23}}    {{12}{34}}
  {{11}}{{11}}  {{11}{12}}    {{12}{13}}    {{12}}{{34}}
                {{11}{22}}    {{11}}{{23}}
                {{12}{12}}    {{12}}{{13}}
                {{11}}{{12}}
                {{11}}{{22}}
                {{12}}{{12}}
Non-isomorphic representatives of the a(5) = 39 multiset partitions:
  {{11111}}      {{11112}}      {{11123}}      {{11234}}      {{12345}}
  {{11}{111}}    {{11122}}      {{11223}}      {{11}{234}}    {{12}{345}}
  {{11}}{{111}}  {{11}{112}}    {{11}{123}}    {{12}{134}}    {{12}}{{345}}
                 {{11}{122}}    {{11}{223}}    {{23}{114}}
                 {{12}{111}}    {{12}{113}}    {{11}}{{234}}
                 {{12}{112}}    {{12}{123}}    {{12}}{{134}}
                 {{22}{111}}    {{13}{122}}    {{23}}{{114}}
                 {{11}}{{112}}  {{23}{111}}
                 {{11}}{{122}}  {{11}}{{123}}
                 {{12}}{{111}}  {{11}}{{223}}
                 {{12}}{{112}}  {{12}}{{113}}
                 {{22}}{{111}}  {{12}}{{123}}
                                {{13}}{{122}}
                                {{23}}{{111}}

Cf. A007716, A302545, A306186, A317791, A318564, A318566.

Cf. A323787, A323788, A323789, A323790, A323791, A323792, A323793, A323794.

\\ See links in A339645 for combinatorial species functions.
seq(n)={my(A=symGroupSeries(n)); NumUnlabeledObjsSeq(sCartProd(sExp(A), sExp(sExp(A-x*sv(1)))))} \\ Andrew Howroyd, Jan 17 2023

Terms a(8) and beyond from Andrew Howroyd, Jan 17 2023

cp's OEIS Frontend

A330472 Triangle read by rows where T(n,k) is the number of non-isomorphic k-element multisets of nonempty multisets of nonempty multisets (all finite).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

PARI

Extensions

A318816 Regular tetrangle where T(n,k,i) is the number of non-isomorphic multiset partitions of length i of multiset partitions of length k of multisets of size n.

Views

Author

Keywords

Examples

Crossrefs

A325510 Number of non-isomorphic multiset partitions of the multiset of prime indices of n!.

Views

Author

Keywords

Examples

Crossrefs

Programs

PARI

Formula

Extensions

A330473 Regular triangle where T(n,k) is the number of non-isomorphic multiset partitions of k-element multiset partitions of multisets of size n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Extensions

A318357 Number of non-isomorphic strict multiset partitions of the multiset of prime indices of n.

Views

Author

Keywords

Examples

Crossrefs

A357873 Numbers whose multiset of prime factors has all non-isomorphic multiset partitions.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A357874 Numbers whose multiset of prime factors has at least two multiset partitions that are isomorphic.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A317792 Number of non-isomorphic multiset partitions, using normal multisets, of normal multisets of size n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Extensions

A323786 Number of non-isomorphic weight-n multisets of multisets of non-singleton multisets.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs