A316983 -id:A316983 - cp's OEIS frontend

A368095 Number of non-isomorphic set-systems of weight n satisfying a strict version of the axiom of choice.

1, 1, 2, 4, 8, 17, 39, 86, 208, 508, 1304

Offset: 0

Gus Wiseman, Dec 24 2023

A set-system is a finite set of finite nonempty sets. The weight of a set-system is the sum of cardinalities of its elements.

The axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.

			Non-isomorphic representatives of the a(1) = 1 through a(5) = 17 set-systems:
  {1}  {12}    {123}      {1234}        {12345}
       {1}{2}  {1}{23}    {1}{234}      {1}{2345}
               {2}{12}    {12}{34}      {12}{345}
               {1}{2}{3}  {13}{23}      {14}{234}
                          {3}{123}      {23}{123}
                          {1}{2}{34}    {4}{1234}
                          {1}{3}{23}    {1}{2}{345}
                          {1}{2}{3}{4}  {1}{23}{45}
                                        {1}{24}{34}
                                        {1}{4}{234}
                                        {2}{13}{23}
                                        {2}{3}{123}
                                        {3}{13}{23}
                                        {4}{12}{34}
                                        {1}{2}{3}{45}
                                        {1}{2}{4}{34}
                                        {1}{2}{3}{4}{5}

For labeled graphs we have A133686, complement A367867.
For unlabeled graphs we have A134964, complement A140637.
For set-systems we have A367902, complement A367903.
These set-systems have BII-numbers A367906, complement A367907.
The complement is A368094, connected A368409.
Repeats allowed: A368098, ranks A368100, complement A368097, ranks A355529.
Minimal multiset partitions not of this type are counted by A368187.
The connected case is A368410.
Factorizations of this type are counted by A368414, complement A368413.
Allowing repeated edges gives A368422, complement A368421.
A000110 counts set-partitions, non-isomorphic A000041.
A003465 counts covering set-systems, unlabeled A055621.
A007716 counts non-isomorphic multiset partitions, connected A007718.
A058891 counts set-systems, unlabeled A000612, connected A323818.
A283877 counts non-isomorphic set-systems, connected A300913.
Cf. A001055, A007717, A302545, A306005, A316983, A319560, A321194, A321405, A330223, A367769, A367901.

Table[Length[Select[bmp[n], UnsameQ@@#&&And@@UnsameQ@@@#&&Select[Tuples[#], UnsameQ@@#&]!={}&]], {n,0,10}]

A368098 Number of non-isomorphic multiset partitions of weight n satisfying a strict version of the axiom of choice.

Original entry on oeis.org

1, 1, 3, 7, 21, 54, 165, 477, 1501, 4736, 15652

Offset: 0

Gus Wiseman, Dec 25 2023

A multiset partition is a finite multiset of finite nonempty multisets. The weight of a multiset partition is the sum of cardinalities of its elements. Weight is generally not the same as number of vertices.

The axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.

			Non-isomorphic representatives of the a(1) = 1 through a(4) = 21 multiset partitions:
  {{1}}  {{1,1}}    {{1,1,1}}      {{1,1,1,1}}
         {{1,2}}    {{1,2,2}}      {{1,1,2,2}}
         {{1},{2}}  {{1,2,3}}      {{1,2,2,2}}
                    {{1},{2,2}}    {{1,2,3,3}}
                    {{1},{2,3}}    {{1,2,3,4}}
                    {{2},{1,2}}    {{1},{1,2,2}}
                    {{1},{2},{3}}  {{1,1},{2,2}}
                                   {{1,2},{1,2}}
                                   {{1},{2,2,2}}
                                   {{1,2},{2,2}}
                                   {{1},{2,3,3}}
                                   {{1,2},{3,3}}
                                   {{1},{2,3,4}}
                                   {{1,2},{3,4}}
                                   {{1,3},{2,3}}
                                   {{2},{1,2,2}}
                                   {{3},{1,2,3}}
                                   {{1},{2},{3,3}}
                                   {{1},{2},{3,4}}
                                   {{1},{3},{2,3}}
                                   {{1},{2},{3},{4}}

Wikipedia, Axiom of choice.

The case of labeled graphs is A133686, complement A367867.
The case of unlabeled graphs is A134964, complement A140637 (apparently).
Set-systems of this type are A367902, ranks A367906, connected A368410.
The complimentary set-systems are A367903, ranks A367907, connected A368409.
For set-systems we have A368095, complement A368094.
The complement is A368097, ranks A355529.
These multiset partitions have ranks A368100.
The connected case is A368412, complement A368411.
Factorizations of this type are counted by A368414, complement A368413.
For set multipartitions we have A368422, complement A368421.
A000110 counts set partitions, non-isomorphic A000041.
A003465 counts covering set-systems, unlabeled A055621.
A007716 counts non-isomorphic multiset partitions, connected A007718.
A058891 counts set-systems, unlabeled A000612, connected A323818.
A283877 counts non-isomorphic set-systems, connected A300913.
Cf. A302545, A306005, A316983, A317533, A319616, A330223, A330227, A368187.

sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]& /@ sps[Complement[set,s]]] /@ Cases[Subsets[set],{i,_}];
mpm[n_]:=Join@@Table[Union[Sort[Sort/@(#/.x_Integer:>s[[x]])]& /@ sps[Range[n]]], {s,Flatten[MapIndexed[Table[#2,{#1}]&,#]]& /@ IntegerPartitions[n]}];
brute[m_]:=First[Sort[Table[Sort[Sort /@ (m/.Rule@@@Table[{i,p[[i]]},{i,Length[p]}])], {p,Permutations[Union@@m]}]]];
Table[Length[Union[brute/@Select[mpm[n], Select[Tuples[#],UnsameQ@@#&]!={}&]]], {n,0,6}]

A319564 Number of T_0 integer partitions of n.

Original entry on oeis.org

1, 1, 2, 3, 5, 7, 10, 14, 21, 29, 40, 53, 73, 95, 128, 168, 221, 282, 368, 466, 599, 759, 962, 1201, 1513, 1881, 2345, 2901, 3590, 4407, 5416, 6614, 8083, 9827, 11937, 14442, 17458, 21021, 25299, 30347, 36363, 43438, 51843, 61705, 73384, 87054, 103149, 121949

Offset: 0

Gus Wiseman, Sep 23 2018

nonn

The dual of a multiset partition has, for each vertex, one block consisting of the indices (or positions) of the blocks containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}. For an integer partition the T_0 condition means the dual of the multiset partition obtained by factoring each part into prime numbers is strict (no repeated blocks).

Also the number of integer partitions of n with no equivalent primes. In an integer partition, two primes are equivalent if each part has in its prime factorization the same multiplicity of both primes. For example, in (6,5) the primes {2,3} are equivalent. See A316978 for more examples.

Cf. A000009, A000041, A001970, A007716, A059201, A305148, A316978, A316979, A316983, A319558, A319616, A319728.

primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]]
dual[eds_]:=Table[First/@Position[eds,x],{x,Union@@eds}]
Table[Length[Select[IntegerPartitions[n],UnsameQ@@dual[primeMS/@#]&]],{n,20}]

A319637 Number of non-isomorphic T_0-covers of n vertices by distinct sets.

Original entry on oeis.org

1, 1, 3, 29, 1885, 18658259

Offset: 0

Gus Wiseman, Sep 25 2018

The dual of a multiset partition has, for each vertex, one block consisting of the indices (or positions) of the blocks containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}. The T_0 condition means the dual is strict (no repeated elements).

			Non-isomorphic representatives of the a(3) = 29 covers:
   {{1,3},{2,3}}
   {{1},{2},{3}}
   {{1},{3},{2,3}}
   {{2},{3},{1,2,3}}
   {{2},{1,3},{2,3}}
   {{3},{1,3},{2,3}}
   {{3},{2,3},{1,2,3}}
   {{1,2},{1,3},{2,3}}
   {{1},{2},{3},{2,3}}
   {{1,3},{2,3},{1,2,3}}
   {{1},{2},{3},{1,2,3}}
   {{1},{2},{1,3},{2,3}}
   {{2},{3},{1,3},{2,3}}
   {{1},{3},{2,3},{1,2,3}}
   {{2},{3},{2,3},{1,2,3}}
   {{3},{1,2},{1,3},{2,3}}
   {{2},{1,3},{2,3},{1,2,3}}
   {{3},{1,3},{2,3},{1,2,3}}
   {{1},{2},{3},{1,3},{2,3}}
   {{1,2},{1,3},{2,3},{1,2,3}}
   {{1},{2},{3},{2,3},{1,2,3}}
   {{2},{3},{1,2},{1,3},{2,3}}
   {{1},{2},{1,3},{2,3},{1,2,3}}
   {{2},{3},{1,3},{2,3},{1,2,3}}
   {{3},{1,2},{1,3},{2,3},{1,2,3}}
   {{1},{2},{3},{1,2},{1,3},{2,3}}
   {{1},{2},{3},{1,3},{2,3},{1,2,3}}
   {{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
   {{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}

Cf. A006126, A007716, A049311, A059201, A283877, A316980, A316983, A318099, A319558, A319559, A319616-A319646, A300913.

a(5) from Max Alekseyev, Jul 13 2022

A120732 Number of square matrices with nonnegative integer entries and without zero rows or columns such that sum of all entries is equal to n.

Original entry on oeis.org

1, 1, 3, 15, 107, 991, 11267, 151721, 2360375, 41650861, 821881709, 17932031225, 428630422697, 11138928977049, 312680873171465, 9428701154866535, 303957777464447449, 10431949496859168189, 379755239311735494421

Offset: 0

Vladeta Jovovic, Aug 18 2006

nonn

			From _Gus Wiseman_, Nov 14 2018: (Start)
The a(3) = 15 matrices:
  [3]
.
  [2 0] [1 1] [1 1] [1 0] [1 0] [0 2] [0 1] [0 1]
  [0 1] [1 0] [0 1] [1 1] [0 2] [1 0] [2 0] [1 1]
.
  [1 0 0] [1 0 0] [0 1 0] [0 1 0] [0 0 1] [0 0 1]
  [0 1 0] [0 0 1] [1 0 0] [0 0 1] [1 0 0] [0 1 0]
  [0 0 1] [0 1 0] [0 0 1] [1 0 0] [0 1 0] [1 0 0]
(End)

G. C. Greubel, Table of n, a(n) for n = 0..250

Cf. A007716, A048291, A054976, A057149, A057150, A057151, A104601, A104602, A120733, A138178, A316983, A319616.

Table[1/n!*Sum[(-1)^(n-k)*StirlingS1[n,k]*Sum[(m!)^2*StirlingS2[k,m]^2,{m,0,k}],{k,0,n}],{n,0,20}] (* Vaclav Kotesovec, May 07 2014 *)
multsubs[set_,k_]:=If[k==0,{{}},Join@@Table[Prepend[#,set[[i]]]&/@multsubs[Drop[set,i-1],k-1],{i,Length[set]}]]; Table[Length[Select[multsubs[Tuples[Range[n],2],n],Union[First/@#]==Union[Last/@#]==Range[Max@@First/@#]&]],{n,5}] (* Gus Wiseman, Nov 14 2018 *)

a(n) = (1/n!)*Sum_{k=0..n} (-1)^(n-k)*Stirling1(n,k)*A048144(k).
G.f.: Sum_{n>=0} Sum_{j=0..n} (-1)^(n-j)*binomial(n,j)*((1-x)^(-j)-1)^n.
a(n) ~ c * n! / (sqrt(n) * (log(2))^(2*n)), where c = 0.4670932578797312973586879293426... . - Vaclav Kotesovec, May 07 2014
In closed form, c = 2^(log(2)/2-2) / (log(2) * sqrt(Pi*(1-log(2)))). - Vaclav Kotesovec, May 03 2015
G.f.: Sum_{n>=0} (1-x)^n * (1 - (1-x)^n)^n. - Paul D. Hanna, Mar 26 2018

A321405 Number of non-isomorphic self-dual set systems of weight n.

Original entry on oeis.org

1, 1, 1, 2, 2, 3, 6, 9, 16, 28, 47

Offset: 0

Gus Wiseman, Nov 15 2018

Also the number of (0,1) symmetric matrices up to row and column permutations with sum of elements equal to n and no zero rows or columns, in which the rows are all different.
The dual of a multiset partition has, for each vertex, one part consisting of the indices (or positions) of the parts containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}.
The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(1) = 1 through a(8) = 16 set systems:
  {{1}}  {{1}{2}}  {{2}{12}}    {{1}{3}{23}}    {{2}{13}{23}}
                   {{1}{2}{3}}  {{1}{2}{3}{4}}  {{1}{2}{4}{34}}
                                                {{1}{2}{3}{4}{5}}
.
  {{12}{13}{23}}        {{13}{23}{123}}          {{1}{13}{14}{234}}
  {{3}{23}{123}}        {{1}{23}{24}{34}}        {{12}{13}{24}{34}}
  {{1}{3}{24}{34}}      {{1}{4}{34}{234}}        {{1}{24}{34}{234}}
  {{2}{4}{12}{34}}      {{2}{13}{24}{34}}        {{2}{14}{34}{234}}
  {{1}{2}{3}{5}{45}}    {{3}{4}{14}{234}}        {{3}{4}{134}{234}}
  {{1}{2}{3}{4}{5}{6}}  {{1}{2}{4}{35}{45}}      {{4}{13}{14}{234}}
                        {{1}{3}{5}{23}{45}}      {{1}{2}{34}{35}{45}}
                        {{1}{2}{3}{4}{6}{56}}    {{1}{2}{5}{45}{345}}
                        {{1}{2}{3}{4}{5}{6}{7}}  {{1}{3}{24}{35}{45}}
                                                 {{1}{4}{5}{25}{345}}
                                                 {{2}{4}{12}{35}{45}}
                                                 {{4}{5}{13}{23}{45}}
                                                 {{1}{2}{3}{5}{46}{56}}
                                                 {{1}{2}{4}{6}{34}{56}}
                                                 {{1}{2}{3}{4}{5}{7}{67}}
                                                 {{1}{2}{3}{4}{5}{6}{7}{8}}

Cf. A000219, A007716, A045778, A049311, A135588, A138178, A283877, A316980, A316983, A319616.

Cf. A320796, A320797, A321401, A321403, A321406.

A319765 Number of non-isomorphic intersecting multiset partitions of weight n whose dual is also an intersecting multiset partition.

Original entry on oeis.org

1, 1, 3, 6, 15, 31, 74, 156, 358, 792, 1821

Offset: 0

Gus Wiseman, Sep 27 2018

The dual of a multiset partition has, for each vertex, one part consisting of the indices (or positions) of the parts containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}.
A multiset partition is intersecting iff no two parts are disjoint. The dual of a multiset partition is intersecting iff every pair of distinct vertices appear together in some part.
The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(1) = 1 through a(4) = 15 multiset partitions:
1: {{1}}
2: {{1,1}}
   {{1,2}}
   {{1},{1}}
3: {{1,1,1}}
   {{1,2,2}}
   {{1,2,3}}
   {{1},{1,1}}
   {{2},{1,2}}
   {{1},{1},{1}}
4: {{1,1,1,1}}
   {{1,1,2,2}}
   {{1,2,2,2}}
   {{1,2,3,3}}
   {{1,2,3,4}}
   {{1},{1,1,1}}
   {{1},{1,2,2}}
   {{2},{1,2,2}}
   {{3},{1,2,3}}
   {{1,1},{1,1}}
   {{1,2},{1,2}}
   {{1,2},{2,2}}
   {{1},{1},{1,1}}
   {{2},{2},{1,2}}
   {{1},{1},{1},{1}}

Cf. A007716, A281116, A283877, A305854, A306006, A316980, A316983, A317757, A319616.

Cf. A319752, A319766, A319767, A319768, A319769, A319773, A319774.

A104602 Number of square (0,1)-matrices with exactly n entries equal to 1 and no zero row or columns.

Original entry on oeis.org

1, 1, 2, 10, 70, 642, 7246, 97052, 1503700, 26448872, 520556146, 11333475922, 270422904986, 7016943483450, 196717253145470, 5925211960335162, 190825629733950454, 6543503207678564364, 238019066600097607402, 9153956822981328930170, 371126108428565106918404

Offset: 0

Ralf Stephan, Mar 27 2005

nonn

Number of square (0,1)-matrices with exactly n entries equal to 1 and no zero row or columns, up to row and column permutation, is A057151(n). - Vladeta Jovovic, Mar 25 2006

			From _Gus Wiseman_, Nov 14 2018: (Start)
The a(3) = 10 matrices:
  [1 1] [1 1] [1 0] [0 1]
  [1 0] [0 1] [1 1] [1 1]
.
  [1 0 0] [1 0 0] [0 1 0] [0 1 0] [0 0 1] [0 0 1]
  [0 1 0] [0 0 1] [1 0 0] [0 0 1] [1 0 0] [0 1 0]
  [0 0 1] [0 1 0] [0 0 1] [1 0 0] [0 1 0] [1 0 0]
(End)

Alois P. Heinz, Table of n, a(n) for n = 0..400
H. Cheballah, S. Giraudo, R. Maurice, Combinatorial Hopf algebra structure on packed square matrices, arXiv preprint arXiv:1306.6605 [math.CO], 2013-2015.
M. Maia and M. Mendez, On the arithmetic product of combinatorial species, arXiv:math/0503436 [math.CO], 2005.

Row sums of triangle A104601.

Cf. A048291, A049311, A054976, A057150, A057151, A101370, A120732, A120733, A138178, A316983, A319616.

Table[1/n!*Sum[StirlingS1[n,k]*Sum[(m!)^2*StirlingS2[k, m]^2, {m, 0, k}],{k,0,n}],{n,1,20}] (* Vaclav Kotesovec, May 07 2014 *)
Table[Length[Select[Subsets[Tuples[Range[n],2],{n}],Union[First/@#]==Union[Last/@#]==Range[Max@@First/@#]&]],{n,5}] (* Gus Wiseman, Nov 14 2018 *)

a(n) = (1/n!)*Sum_{k=0..n} Stirling1(n,k)*A048144(k). - Vladeta Jovovic, Mar 25 2006
G.f.: Sum_{n>=0} Sum_{j=0..n} (-1)^(n-j)*binomial(n,j)*((1+x)^j-1)^n. - Vladeta Jovovic, Mar 25 2006
a(n) ~ c * n! / (sqrt(n) * (log(2))^(2*n)), where c = 0.28889864564457451375789435201798... . - Vaclav Kotesovec, May 07 2014
In closed form, c = 1 / (log(2) * 2^(log(2)/2+2) * sqrt(Pi*(1-log(2)))). - Vaclav Kotesovec, May 03 2015
G.f.: Sum_{n>=0} ((1+x)^n - 1)^n / (1+x)^(n*(n+1)). - Paul D. Hanna, Mar 26 2018

More terms from Vladeta Jovovic, Mar 25 2006

a(0)=1 prepended by Alois P. Heinz, Jan 14 2015

A320796 Regular triangle where T(n,k) is the number of non-isomorphic self-dual multiset partitions of weight n with k parts.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 1, 4, 3, 1, 1, 5, 7, 3, 1, 1, 7, 14, 10, 3, 1, 1, 9, 23, 24, 11, 3, 1, 1, 12, 39, 53, 34, 12, 3, 1, 1, 14, 61, 102, 86, 39, 12, 3, 1, 1, 17, 90, 193, 201, 117, 42, 12, 3, 1, 1, 20, 129, 340, 434, 310, 136, 43, 12, 3, 1, 1, 24, 184, 584, 902, 778, 412, 149, 44, 12, 3, 1

Offset: 1

Gus Wiseman, Nov 02 2018

Also the number of nonnegative integer k X k symmetric matrices with sum of elements equal to n and no zero rows or columns, up to row and column permutations.
The dual of a multiset partition has, for each vertex, one part consisting of the indices (or positions) of the parts containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}.
The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

			Triangle begins:
   1
   1   1
   1   2   1
   1   4   3   1
   1   5   7   3   1
   1   7  14  10   3   1
   1   9  23  24  11   3   1
   1  12  39  53  34  12   3   1
   1  14  61 102  86  39  12   3   1
   1  17  90 193 201 117  42  12   3   1
Non-isomorphic representatives of the multiset partitions for n = 1 through 5 (commas elided):
1: {{1}}
.
2: {{11}}  {{1}{2}}
.
3: {{111}}  {{1}{22}}  {{1}{2}{3}}
.           {{2}{12}}
.
4: {{1111}}  {{11}{22}}  {{1}{1}{23}}  {{1}{2}{3}{4}}
.            {{12}{12}}  {{1}{2}{33}}
.            {{1}{222}}  {{1}{3}{23}}
.            {{2}{122}}
.
5: {{11111}}  {{11}{122}}  {{1}{22}{33}}  {{1}{2}{2}{34}}  {{1}{2}{3}{4}{5}}
.             {{11}{222}}  {{1}{23}{23}}  {{1}{2}{3}{44}}
.             {{12}{122}}  {{1}{2}{333}}  {{1}{2}{4}{34}}
.             {{1}{2222}}  {{1}{3}{233}}
.             {{2}{1222}}  {{2}{12}{33}}
.                          {{2}{13}{23}}
.                          {{3}{3}{123}}

Andrew Howroyd, Table of n, a(n) for n = 1..1275 (rows 1..50)

Row sums are A316983.

Cf. A000219, A007716, A316980, A317533, A318805, A319560, A319616, A319721, A320797-A320813.

row(n)={vector(n, k, T(k,n) - T(k-1,n))} \\ T(n,k) defined in A318805. - Andrew Howroyd, Jan 16 2024

T(n,k) = A318805(k,n) - A318805(k-1,n). - Andrew Howroyd, Jan 16 2024

a(56) onwards from Andrew Howroyd, Jan 16 2024

A330060 MM-numbers of VDD-normalized multisets of multisets.

Original entry on oeis.org

1, 2, 3, 4, 6, 7, 8, 9, 12, 13, 14, 15, 16, 18, 19, 21, 24, 26, 27, 28, 30, 32, 35, 36, 37, 38, 39, 42, 45, 48, 49, 52, 53, 54, 56, 57, 60, 63, 64, 70, 72, 74, 76, 78, 81, 84, 89, 90, 91, 95, 96, 98, 104, 105, 106, 108, 111, 112, 113, 114, 117, 120, 126, 128

Offset: 1

Gus Wiseman, Dec 03 2019

First differs from A330104 and A330120 in having 35 and lacking 69, with corresponding multisets of multisets 35: {{2},{1,1}} and 69: {{1},{2,2}}.
First differs from A330108 in having 207 and lacking 175, with corresponding multisets of multisets 207: {{1},{1},{2,2}} and 175: {{2},{2},{1,1}}.
We define the VDD (vertex-degrees decreasing) normalization of a multiset of multisets to be obtained by first normalizing so that the vertices cover an initial interval of positive integers, then applying all permutations to the vertex set, then selecting only the representatives whose vertex-degrees are weakly decreasing, and finally taking the least of these representatives, where the ordering is first by length and then lexicographically.
For example, 15301 is the MM-number of {{3},{1,2},{1,1,4}}, which has the following normalizations together with their MM-numbers:
  Brute-force:    43287: {{1},{2,3},{2,2,4}}
  Lexicographic:  43143: {{1},{2,4},{2,2,3}}
  VDD:            15515: {{2},{1,3},{1,1,4}}
  MM:             15265: {{2},{1,4},{1,1,3}}
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. The multiset of multisets with MM-number n is formed by taking the multiset of prime indices of each part of the multiset of prime indices of 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 sequence of all VDD-normalized multisets of multisets together with their MM-numbers begins:
   1: 0           21: {1}{11}        49: {11}{11}         84: {}{}{1}{11}
   2: {}          24: {}{}{}{1}      52: {}{}{12}         89: {1112}
   3: {1}         26: {}{12}         53: {1111}           90: {}{1}{1}{2}
   4: {}{}        27: {1}{1}{1}      54: {}{1}{1}{1}      91: {11}{12}
   6: {}{1}       28: {}{}{11}       56: {}{}{}{11}       95: {2}{111}
   7: {11}        30: {}{1}{2}       57: {1}{111}         96: {}{}{}{}{}{1}
   8: {}{}{}      32: {}{}{}{}{}     60: {}{}{1}{2}       98: {}{11}{11}
   9: {1}{1}      35: {2}{11}        63: {1}{1}{11}      104: {}{}{}{12}
  12: {}{}{1}     36: {}{}{1}{1}     64: {}{}{}{}{}{}    105: {1}{2}{11}
  13: {12}        37: {112}          70: {}{2}{11}       106: {}{1111}
  14: {}{11}      38: {}{111}        72: {}{}{}{1}{1}    108: {}{}{1}{1}{1}
  15: {1}{2}      39: {1}{12}        74: {}{112}         111: {1}{112}
  16: {}{}{}{}    42: {}{1}{11}      76: {}{}{111}       112: {}{}{}{}{11}
  18: {}{1}{1}    45: {1}{1}{2}      78: {}{1}{12}       113: {123}
  19: {111}       48: {}{}{}{}{1}    81: {1}{1}{1}{1}    114: {}{1}{111}

Equals the image/fixed points of the idempotent sequence A330061.
A subset of A320456.
Non-isomorphic multiset partitions are A007716.
MM-weight is A302242.
Cf. A000612, A055621, A056239, A112798, A283877, A316983, A317533, A330098, A330102, A330103, A330105.
Other fixed points:
- Brute-force: A330104 (multisets of multisets), A330107 (multiset partitions), A330099 (set-systems).
- Lexicographic: A330120 (multisets of multisets), A330121 (multiset partitions), A330110 (set-systems).
- VDD: A330060 (multisets of multisets), A330097 (multiset partitions), A330100 (set-systems).
- MM: A330108 (multisets of multisets), A330122 (multiset partitions), A330123 (set-systems).
- BII: A330109 (set-systems).

primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
sysnorm[m_]:=If[Union@@m!={}&&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]]}]])]];
Select[Range[100],Sort[primeMS/@primeMS[#]]==sysnorm[primeMS/@primeMS[#]]&]

cp's OEIS Frontend

A368095 Number of non-isomorphic set-systems of weight n satisfying a strict version of the axiom of choice.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A368098 Number of non-isomorphic multiset partitions of weight n satisfying a strict version of the axiom of choice.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A319564 Number of T_0 integer partitions of n.

Views

Author

Keywords

Comments

Crossrefs

Programs

Mathematica

A319637 Number of non-isomorphic T_0-covers of n vertices by distinct sets.

Views

Author

Keywords

Comments

Examples

Crossrefs

Extensions

A120732 Number of square matrices with nonnegative integer entries and without zero rows or columns such that sum of all entries is equal to n.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A321405 Number of non-isomorphic self-dual set systems of weight n.

Views

Author

Keywords

Comments

Examples

Crossrefs

A319765 Number of non-isomorphic intersecting multiset partitions of weight n whose dual is also an intersecting multiset partition.

Views

Author

Keywords

Comments

Examples

Crossrefs

A104602 Number of square (0,1)-matrices with exactly n entries equal to 1 and no zero row or columns.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A320796 Regular triangle where T(n,k) is the number of non-isomorphic self-dual multiset partitions of weight n with k parts.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs