A319560 -id:A319560 - cp's OEIS frontend

A319566 Number of non-isomorphic connected T_0 set systems of weight n.

1, 1, 0, 1, 2, 3, 8, 17, 41, 103, 276

Offset: 0

Gus Wiseman, Sep 23 2018

In a set system, two vertices are equivalent if in every block the presence of the first is equivalent to the presence of the second. The T_0 condition means that there are no equivalent vertices.

The weight of a set system 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(6) = 8 set systems:
1:        {{1}}
3:     {{2},{1,2}}
4:    {{1,3},{2,3}}
     {{1},{2},{1,2}}
5:  {{2},{3},{1,2,3}}
    {{2},{1,3},{2,3}}
    {{3},{1,3},{2,3}}
6: {{3},{1,4},{2,3,4}}
   {{3},{2,3},{1,2,3}}
   {{1,2},{1,3},{2,3}}
   {{1,3},{2,4},{3,4}}
   {{1,4},{2,4},{3,4}}
  {{1},{2},{3},{1,2,3}}
  {{1},{2},{1,3},{2,3}}
  {{2},{3},{1,3},{2,3}}

Cf. A007716, A007718, A049311, A056156, A059201, A283877, A316980.

Cf. A319557, A319558, A319559, A319560, A319564, A319565, A319567.

A326026 Number of non-isomorphic multiset partitions of weight n where each part has a different length.

Original entry on oeis.org

1, 1, 2, 7, 12, 35, 111, 247, 624, 1843, 6717, 15020, 46847, 124808, 412577, 1658973, 4217546, 12997734, 40786810, 126971940, 437063393, 2106317043, 5499108365, 19037901867, 59939925812, 210338815573, 683526043801, 2741350650705, 14848209030691, 41533835240731, 151548411269815

Offset: 0

Gus Wiseman, Jul 13 2019

nonn

The number of non-isomorphic multiset partitions of weight n is A007716(n).

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

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

Row sums of A332260.

Cf. A007716, A007837, A303546, A306017, A316980, A316983, A319560, A326514, A326517, A326533.

EulerT(v)={Vec(exp(x*Ser(dirmul(v,vector(#v,n,1/n))))-1, -#v)}
D(p,n)={my(v=vector(n)); for(i=1, #p, v[p[i]]++); my(u=EulerT(v)); polcoef(prod(k=1, #u, 1 + u[k]*x^k + O(x*x^n)), n)/prod(i=1, #v, i^v[i]*v[i]!)}
a(n)={my(s=0); forpart(p=n, s+=D(p,n)); s} \\ Andrew Howroyd, Feb 08 2020

Terms a(11) and beyond from Andrew Howroyd, Feb 08 2020

A321401 Number of non-isomorphic strict self-dual multiset partitions of weight n.

Original entry on oeis.org

1, 1, 2, 4, 7, 14, 29, 57, 117, 240, 498

Offset: 0

Gus Wiseman, Nov 09 2018

Also the number of nonnegative integer 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 (or columns) 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}}.

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

Cf. A000219, A007716, A045778, A059201, A316980, A316983, A319560, A319616.

Cf. A320796, A320797, A321402, A321405, A321406, A321407.

A320799 Number of non-isomorphic (not necessarily strict) antichains of multisets of weight n with no singletons or leaves (vertices that appear only once).

Original entry on oeis.org

1, 0, 1, 1, 5, 4, 22, 27, 107, 212, 689

Offset: 0

Gus Wiseman, Nov 02 2018

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(2) = 1 through a(7) = 27 multiset partitions:
  {{11}}  {{111}}  {{1111}}    {{11111}}    {{111111}}      {{1111111}}
                   {{1122}}    {{11222}}    {{111222}}      {{1112222}}
                   {{11}{11}}  {{11}{122}}  {{112222}}      {{1122222}}
                   {{11}{22}}  {{11}{222}}  {{112233}}      {{1122333}}
                   {{12}{12}}               {{111}{111}}    {{111}{1222}}
                                            {{11}{1222}}    {{11}{12222}}
                                            {{111}{222}}    {{111}{2222}}
                                            {{112}{122}}    {{11}{12233}}
                                            {{11}{2222}}    {{111}{2233}}
                                            {{112}{222}}    {{112}{1222}}
                                            {{11}{2233}}    {{11}{22222}}
                                            {{112}{233}}    {{112}{2222}}
                                            {{122}{122}}    {{11}{22333}}
                                            {{123}{123}}    {{112}{2333}}
                                            {{11}{11}{11}}  {{113}{2233}}
                                            {{11}{12}{22}}  {{122}{1233}}
                                            {{11}{22}{22}}  {{222}{1122}}
                                            {{11}{22}{33}}  {{11}{11}{122}}
                                            {{11}{23}{23}}  {{11}{11}{222}}
                                            {{12}{12}{12}}  {{11}{12}{222}}
                                            {{12}{12}{22}}  {{11}{12}{233}}
                                            {{12}{13}{23}}  {{11}{22}{233}}
                                                            {{11}{22}{333}}
                                                            {{12}{12}{222}}
                                                            {{12}{12}{233}}
                                                            {{12}{12}{333}}
                                                            {{12}{13}{233}}

Cf. A006126, A096827, A285572, A293993, A293994, A302545, A318099, A319560, A319719, A319721.

Cf. A320797, A320798, A320804, A320811, A320812, A320813.

A321402 Number of non-isomorphic strict self-dual multiset partitions of weight n with no singletons.

Original entry on oeis.org

1, 0, 1, 1, 2, 4, 8, 14, 27, 53, 105

Offset: 0

Gus Wiseman, Nov 09 2018

Also the number of nonnegative integer 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 and none sums to 1.
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(2) = 1 through a(7) = 14 multiset partitions:
  {{11}}  {{111}}  {{1111}}    {{11111}}    {{111111}}      {{1111111}}
                   {{11}{22}}  {{11}{122}}  {{111}{222}}    {{111}{1222}}
                               {{11}{222}}  {{112}{122}}    {{111}{2222}}
                               {{12}{122}}  {{11}{2222}}    {{112}{1222}}
                                            {{12}{1222}}    {{11}{22222}}
                                            {{22}{1122}}    {{12}{12222}}
                                            {{11}{22}{33}}  {{122}{1122}}
                                            {{12}{13}{23}}  {{22}{11222}}
                                                            {{11}{12}{233}}
                                                            {{11}{22}{233}}
                                                            {{11}{22}{333}}
                                                            {{11}{23}{233}}
                                                            {{12}{13}{233}}
                                                            {{13}{23}{123}}

Cf. A000219, A007716, A059201, A302545, A316980, A316983, A319560, A319616.

Cf. A320796, A320797, A320798, A320804, A320811, A320812, A321401, A321404, A321405, A321406, A321407.

A368096 Triangle read by rows where T(n,k) is the number of non-isomorphic set-systems of length k and weight n.

Original entry on oeis.org

1, 0, 1, 0, 1, 1, 0, 1, 2, 1, 0, 1, 4, 3, 1, 0, 1, 5, 8, 3, 1, 0, 1, 8, 18, 13, 3, 1, 0, 1, 9, 32, 37, 15, 3, 1, 0, 1, 13, 55, 96, 59, 16, 3, 1, 0, 1, 14, 91, 209, 196, 74, 16, 3, 1, 0, 1, 19, 138, 449, 573, 313, 82, 16, 3, 1, 0, 1, 20, 206, 863, 1529, 1147, 403, 84, 16, 3, 1

Offset: 0

Gus Wiseman, Dec 28 2023

A set-system is a finite set of finite nonempty sets.

Conjecture: Column k = 2 is A101881.

			Triangle begins:
   1
   0   1
   0   1   1
   0   1   2   1
   0   1   4   3   1
   0   1   5   8   3   1
   0   1   8  18  13   3   1
   0   1   9  32  37  15   3   1
   0   1  13  55  96  59  16   3   1
   0   1  14  91 209 196  74  16   3   1
   0   1  19 138 449 573 313  82  16   3   1
   ...
Non-isomorphic representatives of the set-systems counted in row n = 5:
  .  {12345}  {1}{1234}  {1}{2}{123}  {1}{2}{3}{12}  {1}{2}{3}{4}{5}
              {1}{2345}  {1}{2}{134}  {1}{2}{3}{14}
              {12}{123}  {1}{2}{345}  {1}{2}{3}{45}
              {12}{134}  {1}{12}{13}
              {12}{345}  {1}{12}{23}
                         {1}{12}{34}
                         {1}{23}{24}
                         {1}{23}{45}

Andrew Howroyd, Table of n, a(n) for n = 0..1325 (rows 0..50)

Row sums are A283877, connected case A300913.
For multiset partitions we have A317533.
Counting connected components instead of edges gives A321194.
For set multipartitions we have A334550.
For strict multiset partitions we have A368099.
A000110 counts set-partitions, non-isomorphic A000041.
A003465 counts covering set-systems, unlabeled A055621.
A007716 counts non-isomorphic multiset partitions, connected A007718.
A049311 counts non-isomorphic set multipartitions, connected A056156.
A058891 counts set-systems, unlabeled A000612, connected A323818.
A316980 counts non-isomorphic strict multiset partitions, connected A319557.
A319559 counts non-isomorphic T_0 set-systems, connected A319566.
Cf. A101881, A255903, A302545, A306005, A317532, A317794, A317795, A319560, A321405, A368094, A368095.

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],UnsameQ@@#&&And@@UnsameQ@@@#&&Length[#]==k&]]], {n,0,5},{k,0,n}]

WeighT(v)={Vec(exp(x*Ser(dirmul(v, vector(#v, n, (-1)^(n-1)/n))))-1, -#v)}
permcount(v) = {my(m=1, s=0, k=0, t); for(i=1, #v, t=v[i]; k=if(i>1&&t==v[i-1], k+1, 1); m*=t*k; s+=t); s!/m}
K(q, t, k)={WeighT(Vec(sum(j=1, #q, my(g=gcd(t, q[j])); g*x^(q[j]/g)) + O(x*x^k), -k))}
G(n)={my(s=0); forpart(q=n, my(p=sum(t=1, n, y^t*subst(x*Ser(K(q, t, n\t))/t, x, x^t))); s+=permcount(q)*exp(p-subst(subst(p, x, x^2), y, y^2))); s/n!}
T(n)={[Vecrev(p) | p <- Vec(G(n))]}
{ my(A=T(10)); for(n=1, #A, print(A[n])) } \\ Andrew Howroyd, Jan 11 2024

Terms a(66) and beyond from Andrew Howroyd, Jan 11 2024

A368099 Triangle read by rows where T(n,k) is the number of non-isomorphic k-element sets of finite nonempty multisets with cardinalities summing to n, or strict multiset partitions of weight n and length k.

Original entry on oeis.org

1, 0, 1, 0, 2, 1, 0, 3, 4, 1, 0, 5, 12, 5, 1, 0, 7, 28, 22, 5, 1, 0, 11, 66, 83, 31, 5, 1, 0, 15, 134, 252, 147, 34, 5, 1, 0, 22, 280, 726, 620, 203, 35, 5, 1, 0, 30, 536, 1946, 2283, 1069, 235, 35, 5, 1, 0, 42, 1043, 4982, 7890, 5019, 1469, 248, 35, 5, 1

Offset: 0

Gus Wiseman, Dec 31 2023

			Triangle begins:
    1
    0    1
    0    2    1
    0    3    4    1
    0    5   12    5    1
    0    7   28   22    5    1
    0   11   66   83   31    5    1
    0   15  134  252  147   34    5    1
    0   22  280  726  620  203   35    5    1
    0   30  536 1946 2283 1069  235   35    5    1
    0   42 1043 4982 7890 5019 1469  248   35    5    1
    ...
Row n = 4 counts the following representatives:
  .  {{1,1,1,1}}  {{1},{1,1,1}}  {{1},{2},{1,1}}  {{1},{2},{3},{4}}
     {{1,1,1,2}}  {{1},{1,1,2}}  {{1},{2},{1,2}}
     {{1,1,2,2}}  {{1},{1,2,2}}  {{1},{2},{1,3}}
     {{1,1,2,3}}  {{1},{1,2,3}}  {{1},{2},{3,3}}
     {{1,2,3,4}}  {{1},{2,2,2}}  {{1},{2},{3,4}}
                  {{1},{2,2,3}}
                  {{1},{2,3,4}}
                  {{1,1},{1,2}}
                  {{1,1},{2,2}}
                  {{1,1},{2,3}}
                  {{1,2},{1,3}}
                  {{1,2},{3,4}}

Andrew Howroyd, Table of n, a(n) for n = 0..1325 (rows 0..50)

Row sums are A316980, connected case A319557.
For multiset partitions we have A317533, connected A322133.
Counting connected components instead of edges gives A321194.
For normal multiset partitions we have A330787, row sums A317776.
For set multipartitions we have A334550.
For set-systems we have A368096, row-sums A283877 (connected A300913).
A000110 counts set-partitions, non-isomorphic A000041.
A003465 counts covering set-systems, unlabeled A055621.
A007716 counts non-isomorphic multiset partitions, connected A007718.
A049311 counts non-isomorphic set multipartitions, connected A056156.
A058891 counts set-systems, unlabeled A000612, connected A323818.
Cf. A255903, A296122, A302545, A306005, A317532, A317775, A317794, A317795, A319560, A368094, A368095.

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],UnsameQ@@#&&Length[#]==k&]]], {n,0,5},{k,0,n}]

EulerT(v)={Vec(exp(x*Ser(dirmul(v, vector(#v, n, 1/n))))-1, -#v)}
permcount(v) = {my(m=1, s=0, k=0, t); for(i=1, #v, t=v[i]; k=if(i>1&&t==v[i-1], k+1, 1); m*=t*k; s+=t); s!/m}
K(q, t, k)={EulerT(Vec(sum(j=1, #q, my(g=gcd(t, q[j])); g*x^(q[j]/g)) + O(x*x^k), -k))}
G(n)={my(s=0); forpart(q=n, my(p=sum(t=1, n, y^t*subst(x*Ser(K(q, t, n\t))/t, x, x^t))); s+=permcount(q)*exp(p-subst(subst(p, x, x^2), y, y^2))); s/n!}
T(n)={[Vecrev(p) | p <- Vec(G(n))]}
{ my(A=T(10)); for(n=1, #A, print(A[n])) } \\ Andrew Howroyd, Jan 11 2024

cp's OEIS Frontend

A319566 Number of non-isomorphic connected T_0 set systems of weight n.

Views

Author

Keywords

Comments

Examples

Crossrefs

A326026 Number of non-isomorphic multiset partitions of weight n where each part has a different length.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Extensions

A321401 Number of non-isomorphic strict self-dual multiset partitions of weight n.

Views

Author

Keywords

Comments

Examples

Crossrefs

A320799 Number of non-isomorphic (not necessarily strict) antichains of multisets of weight n with no singletons or leaves (vertices that appear only once).

Views

Author

Keywords

Comments

Examples

Crossrefs

A321402 Number of non-isomorphic strict self-dual multiset partitions of weight n with no singletons.

Views

Author

Keywords

Comments

Examples

Crossrefs

A368096 Triangle read by rows where T(n,k) is the number of non-isomorphic set-systems of length k and weight n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Extensions

A368099 Triangle read by rows where T(n,k) is the number of non-isomorphic k-element sets of finite nonempty multisets with cardinalities summing to n, or strict multiset partitions of weight n and length k.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI