A056156 -id:A056156 - cp's OEIS frontend

A283877 Number of non-isomorphic set-systems of weight n.

1, 1, 2, 4, 9, 18, 44, 98, 244, 605, 1595, 4273, 12048, 34790, 104480, 322954, 1031556, 3389413, 11464454, 39820812, 141962355, 518663683, 1940341269, 7424565391, 29033121685, 115921101414, 472219204088, 1961177127371, 8298334192288, 35751364047676, 156736154469354

Offset: 0

Gus Wiseman, Mar 17 2017

nonn

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.

			Non-isomorphic representatives of the a(4)=9 set-systems are:
((1234)),
((1)(234)), ((3)(123)), ((12)(34)), ((13)(23)),
((1)(2)(12)), ((1)(2)(34)), ((1)(3)(23)),
((1)(2)(3)(4)).

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

Cf. A007716, A034691, A049311, A056156, A089259, A116540, A300913.

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))}
a(n)={if(n==0, 1, my(s=0); forpart(q=n, my(g=sum(t=1, n, subst(x*Ser(K(q, t, n\t)/t),x,x^t) )); s+=permcount(q)*polcoef(exp(g - subst(g,x,x^2)), n)); s/n!)} \\ Andrew Howroyd, Jan 16 2024

Euler transform of A300913.

a(0) = 1 prepended and terms a(11) and beyond from Andrew Howroyd, Sep 01 2019

A049311 Number of (0,1) matrices with n ones and no zero rows or columns, up to row and column permutations.

Original entry on oeis.org

1, 3, 6, 16, 34, 90, 211, 558, 1430, 3908, 10725, 30825, 90156, 273234, 848355, 2714399, 8909057, 30042866, 103859678, 368075596, 1335537312, 4958599228, 18820993913, 72980867400, 288885080660, 1166541823566, 4802259167367, 20141650236664

Offset: 1

Peter J. Cameron

Also the number of bipartite graphs with n edges, no isolated vertices and a distinguished bipartite block, up to isomorphism.
The EULERi transform (A056156) is also interesting.
a(n) is also the number of non-isomorphic set multipartitions (multisets of sets) of weight n. - Gus Wiseman, Mar 17 2017

			E.g. a(2) = 3: two ones in same row, two ones in same column, or neither.
a(3) = 6 is coefficient of x^3 in (1/36)*((1 + x)^9 + 6*(1 + x)^3*(1 + x^2)^3 + 8*(1 + x^3)^3 + 9*(1 + x)*(1 + x^2)^4 + 12*(1 + x^3)*(1 + x^6))=1 + x + 3*x^2 + 6*x^3 + 7*x^4 + 7*x^5 + 6*x^6 + 3*x^7 + x^8 + x^9.
There are a(3) = 6 binary matrices with 3 ones, with no zero rows or columns, up to row and column permutation:
  [1 0 0] [1 1 0] [1 0] [1 1] [1 1 1] [1]
  [0 1 0] [0 0 1] [1 0] [1 0] ....... [1].
  [0 0 1] ....... [0 1] ............. [1]
Non-isomorphic representatives of the a(3)=6 set multipartitions are: ((123)), ((1)(23)), ((2)(12)), ((1)(1)(1)), ((1)(2)(2)), ((1)(2)(3)). - _Gus Wiseman_, Mar 17 2017

Aliaksandr Siarhei, Table of n, a(n) for n = 1..102
Peter J. Cameron, Sequences realized by oligomorphic permutation groups, J. Integ. Seqs. Vol. 3 (2000), #00.1.5.
Peter J. Cameron, D. A. Gewurz and F. Merola, Product action, Discrete Math., 308 (2008), 386-394.
Peter J. Cameron, Problems on Permutation Groups, see Problem 3
Index entries for sequences related to binary matrices.

Main diagonal of A321609.
Cf. A049312, A048194, A028657, A055192, A055599, A052371, A052370, A053304, A053305, A007716, A002724.
Cf. A057149, A057150, A057151, A057152.
Cf. A034691, A056156, A089259, A116540, A283877.

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, gcd(t, q[j])*x^lcm(t, q[j])) + O(x*x^k), -k))}
a(n)={my(s=0); forpart(q=n, s+=permcount(q)*polcoef(exp(x*Ser(sum(t=1, n, K(q, t, n)/t))), n)); s/n!} \\ Andrew Howroyd, Jan 16 2023

Calculate number of connected bipartite graphs + number of connected bipartite graphs with no duality automorphism, then apply EULER transform.

a(n) is the coefficient of x^n in the cycle index Z(S_n X S_n; 1+x, 1+x^2, ...), where S_n X S_n is Cartesian product of symmetric groups S_n of degree n.

More terms and formula from Vladeta Jovovic, Jul 29 2000
a(19)-a(28) from Max Alekseyev, Jul 22 2009
a(29)-a(102) from Aliaksandr Siarhei, Dec 13 2013
Name edited by Gus Wiseman, Dec 18 2018

A007718 Number of independent polynomial invariants of matrix of order n.

Original entry on oeis.org

1, 1, 3, 6, 17, 40, 125, 354, 1159, 3774, 13113, 46426, 171027, 644038, 2493848, 9867688, 39922991, 164747459, 693093407, 2968918400, 12940917244, 57353242370, 258306634422, 1181572250326, 5486982683756, 25856584485254

Offset: 0

Colin Mallows

nonn

Also the number of non-isomorphic connected multiset partitions of weight n. The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices. - Gus Wiseman, Sep 23 2018

			From _Gus Wiseman_, Sep 24 2018: (Start)
Non-isomorphic representatives of the a(1) = 1 through a(4) = 17 connected multiset partitions:
  {{1}}  {{1,1}}    {{1,1,1}}      {{1,1,1,1}}
         {{1,2}}    {{1,2,2}}      {{1,1,2,2}}
        {{1},{1}}   {{1,2,3}}      {{1,2,2,2}}
                   {{1},{1,1}}     {{1,2,3,3}}
                   {{2},{1,2}}     {{1,2,3,4}}
                  {{1},{1},{1}}   {{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,3},{2,3}}
                                 {{1},{1},{1,1}}
                                 {{1},{2},{1,2}}
                                 {{2},{2},{1,2}}
                                {{1},{1},{1},{1}}
(End)

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

Cf. A007716, A007718, A056156, A319557, A319565, A319566.

Inverse Euler transform of A007716.

a(7)-a(25) from Franklin T. Adams-Watters, Jun 21 2011

a(0)=1 prepended by Andrew Howroyd, Jan 15 2023

A089259 Expansion of Product_{m>=1} 1/(1-x^m)^A000009(m).

Original entry on oeis.org

1, 1, 2, 4, 7, 12, 22, 36, 61, 101, 166, 267, 433, 686, 1088, 1709, 2671, 4140, 6403, 9824, 15028, 22864, 34657, 52288, 78646, 117784, 175865, 261657, 388145, 573936, 846377, 1244475, 1825170, 2669776, 3895833, 5671127, 8236945, 11936594, 17261557, 24909756

Offset: 0

N. J. A. Sloane, Dec 23 2003

nonn

Number of complete set partitions of the integer partitions of n. This is the Euler transform of A000009. If we change the combstruct command from unlabeled to labeled, then we get A000258. - Thomas Wieder, Aug 01 2008

Number of set multipartitions (multisets of sets) of integer partitions of n. Also a(n) < A270995(n) for n>5. - Gus Wiseman, Apr 10 2016

			From _Gus Wiseman_, Oct 22 2018: (Start)
The a(6) = 22 set multipartitions of integer partitions of 6:
  (6)  (15)    (123)      (12)(12)      (1)(1)(1)(12)    (1)(1)(1)(1)(1)(1)
       (24)    (1)(14)    (1)(1)(13)    (1)(1)(1)(1)(2)
       (1)(5)  (1)(23)    (1)(2)(12)
       (2)(4)  (2)(13)    (1)(1)(1)(3)
       (3)(3)  (3)(12)    (1)(1)(2)(2)
               (1)(1)(4)
               (1)(2)(3)
               (2)(2)(2)
(End)

Alois P. Heinz, Table of n, a(n) for n = 0..10000

Row sums of A285229 and of A360763.

Cf. A000009, A001970, A049311, A050342, A056156, A068006, A089254, A116540, A218153, A270995, A296119, A318360.

with(combstruct): A089259:= [H, {H=Set(T, card>=1), T=PowerSet (Sequence (Z, card>=1), card>=1)}, unlabeled]; 1, seq (count (A089259, size=j), j=1..16); # Thomas Wieder, Aug 01 2008
# second Maple program:
with(numtheory):
b:= proc(n, i)
      if n<0 or n>i*(i+1)/2 then 0
    elif n=0 then 1
    elif i<1 then 0
    else b(n,i):= b(n-i, i-1) +b(n, i-1)
      fi
    end:
a:= proc(n) option remember; `if` (n=0, 1,
       add(add(d* b(d, d), d=divisors(j)) *a(n-j), j=1..n)/n)
    end:
seq(a(n), n=0..100);  # Alois P. Heinz, Nov 11 2011

max = 40; CoefficientList[Series[Product[1/(1-x^m)^PartitionsQ[m], {m, 1, max}], {x, 0, max}], x] (* Jean-François Alcover, Mar 24 2014 *)
b[n_, i_] := b[n, i] = Which[n<0 || n>i*(i+1)/2, 0, n == 0, 1, i<1, 0, True, b[n-i, i-1] + b[n, i-1]]; a[n_] := a[n] = If[n == 0, 1, Sum[Sum[d* b[d, d], {d, Divisors[j]}]*a[n-j], {j, 1, n}]/n]; Table[a[n], {n, 0, 100} ] (* Jean-François Alcover, Feb 13 2016, after Alois P. Heinz *)

EulerT(v)={Vec(exp(x*Ser(dirmul(v,vector(#v,n,1/n))))-1, -#v)}
seq(n)={concat([1], EulerT(Vec(eta(x^2 + O(x*x^n))/eta(x + O(x*x^n)) - 1)))} \\ Andrew Howroyd, Oct 26 2018

A319616 Number of non-isomorphic square multiset partitions of weight n.

Original entry on oeis.org

1, 1, 2, 4, 11, 27, 80, 230, 719, 2271, 7519, 25425, 88868, 317972, 1168360, 4392724, 16903393, 66463148, 266897917, 1093550522, 4568688612, 19448642187, 84308851083, 371950915996, 1669146381915, 7615141902820, 35304535554923, 166248356878549, 794832704948402, 3856672543264073, 18984761300310500

Offset: 0

Gus Wiseman, Sep 25 2018

nonn

A multiset partition or hypergraph is square if its length (number of blocks or edges) is equal to its number of vertices.

Also the number of square integer matrices with entries summing to n and no empty rows or columns, up to permutation of rows and columns.

			Non-isomorphic representatives of the a(1) = 1 through a(4) = 11 multiset partitions:
1: {{1}}
2: {{1,1}}
   {{1}, {2}}
3: {{1,1,1}}
   {{1}, {2,2}}
   {{2}, {1,2}}
   {{1}, {2},{3}}
4: {{1,1,1,1}}
   {{1}, {1,2,2}}
   {{1}, {2,2,2}}
   {{2}, {1,2,2}}
   {{1,1}, {2,2}}
   {{1,2}, {1,2}}
   {{1,2}, {2,2}}
   {{1}, {1}, {2,3}}
   {{1}, {2}, {3,3}}
   {{1}, {3}, {2,3}}
   {{1}, {2}, {3}, {4}}
Non-isomorphic representatives of the a(4) = 11 square matrices:
. [4]
.
. [1 0]   [1 0]   [0 1]   [2 0]   [1 1]   [1 1]
. [1 2]   [0 3]   [1 2]   [0 2]   [1 1]   [0 2]
.
. [1 0 0]   [1 0 0]   [1 0 0]
. [1 0 0]   [0 1 0]   [0 0 1]
. [0 1 1]   [0 0 2]   [0 1 1]
.
. [1 0 0 0]
. [0 1 0 0]
. [0 0 1 0]
. [0 0 0 1]

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

Row sums of A321615.

Cf. A000219, A007716, A007718, A056156, A059201, A316980, A316983, A318795, A319560, A319616-A319646, A300913.

(* See A318795 for M[m, n, k]. *)
T[n_, k_] := M[k, k, n] - 2 M[k, k-1, n] + M[k-1, k-1, n];
a[0] = 1; a[n_] := Sum[T[n, k], {k, 1, n}];
Table[an = a[n]; Print["a(", n, ") = ", an]; an, {n, 0, 16}] (* Jean-François Alcover, Nov 24 2018, after Andrew Howroyd *)

\\ See A318795 for M.
a(n) = {if(n==0, 1, sum(i=1, n, M(i,i,n) - 2*M(i,i-1,n) + M(i-1,i-1,n)))} \\ Andrew Howroyd, Nov 15 2018

\\ See A340652 for G.
seq(n)={Vec(1 + sum(k=1,n,polcoef(G(k,n,n,y),k,y) - polcoef(G(k-1,n,n,y),k,y)))} \\ Andrew Howroyd, Jan 15 2024

a(11)-a(20) from Andrew Howroyd, Nov 15 2018

a(21) onwards from Andrew Howroyd, Jan 15 2024

A319559 Number of non-isomorphic T_0 set systems of weight n.

Original entry on oeis.org

1, 1, 1, 2, 4, 7, 16, 35, 82, 200, 517, 1373, 3867, 11216, 33910, 105950

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(5) = 7 set systems:
1:        {{1}}
2:      {{1},{2}}
3:     {{2},{1,2}}
      {{1},{2},{3}}
4:    {{1,3},{2,3}}
     {{1},{2},{1,2}}
     {{1},{3},{2,3}}
    {{1},{2},{3},{4}}
5:  {{1},{2,4},{3,4}}
    {{2},{3},{1,2,3}}
    {{2},{1,3},{2,3}}
    {{3},{1,3},{2,3}}
   {{1},{2},{3},{2,3}}
   {{1},{2},{4},{3,4}}
  {{1},{2},{3},{4},{5}}

Cf. A007716, A007718, A049311, A053419, A056156, A059201, A283877, A305854, A306006, A316980, A317757.

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

a(11)-a(15) from Bert Dobbelaere, May 04 2025

A319558 The squarefree dual of a multiset partition has, for each vertex, one block consisting of the indices (or positions) of the blocks containing that vertex, counted without multiplicity. Then a(n) is the number of non-isomorphic multiset partitions of weight n whose squarefree dual is strict (no repeated blocks).

Original entry on oeis.org

1, 1, 3, 7, 21, 55, 169, 496, 1582, 5080, 17073

Offset: 0

Gus Wiseman, Sep 23 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(1) = 1, a(2) = 3, and a(3) = 7 multiset partitions:
1:    {{1}}
2:   {{1,1}}
    {{1},{1}}
    {{1},{2}}
3:  {{1,1,1}}
   {{1},{1,1}}
   {{1},{2,2}}
   {{2},{1,2}}
  {{1},{1},{1}}
  {{1},{2},{2}}
  {{1},{2},{3}}

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

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

A319557 Number of non-isomorphic strict connected multiset partitions of weight n.

Original entry on oeis.org

1, 1, 2, 5, 12, 30, 91, 256, 823, 2656, 9103, 31876, 116113, 432824, 1659692, 6508521, 26112327, 106927561, 446654187, 1900858001, 8236367607, 36306790636, 162724173883, 741105774720, 3428164417401, 16099059101049, 76722208278328, 370903316203353, 1818316254655097

Offset: 0

Gus Wiseman, Sep 23 2018

nonn

The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

Also the number of non-isomorphic connected T_0 multiset partitions of weight n. In a multiset partition, two vertices are equivalent if in every block the multiplicity of the first is equal to the multiplicity of the second. The T_0 condition means that there are no equivalent vertices.

			Non-isomorphic representatives of the a(4) = 12 strict connected multiset partitions:
    {{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,2},{2,2}}
   {{1,3},{2,3}}
  {{1},{2},{1,2}}
Non-isomorphic representatives of the a(4) = 12 connected T_0 multiset partitions:
     {{1,1,1,1}}
     {{1,2,2,2}}
    {{1},{1,1,1}}
    {{1},{1,2,2}}
    {{2},{1,2,2}}
    {{1,1},{1,1}}
    {{1,2},{2,2}}
    {{1,3},{2,3}}
   {{1},{1},{1,1}}
   {{1},{2},{1,2}}
   {{2},{2},{1,2}}
  {{1},{1},{1},{1}}

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

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

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

Inverse Euler transform of A316980.

Terms a(11) and beyond from Andrew Howroyd, Jan 19 2023

A319719 Number of non-isomorphic connected antichains of multisets of weight n.

Original entry on oeis.org

1, 1, 3, 4, 10, 14, 48, 95, 305, 822, 2615

Offset: 0

Gus Wiseman, Sep 26 2018

In an antichain, no part is a proper submultiset of any other. The weight of an antichain is the sum of sizes of its parts. Weight is generally not the same as number of vertices. Connected antichains are also called clutters.

			Non-isomorphic representatives of the a(1) = 1 through a(4) = 10 connected antichains:
1: {{1}}
2: {{1,1}}
   {{1,2}}
   {{1},{1}}
3: {{1,1,1}}
   {{1,2,2}}
   {{1,2,3}}
   {{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,2},{1,2}}
   {{1,2},{2,2}}
   {{1,3},{2,3}}
   {{1},{1},{1},{1}}

Goran Kilibarda and Vladeta Jovovic, Antichains of Multisets, Journal of Integer Sequences, Vol. 7 (2004).

Cf. A001055, A001970, A007716, A007718, A056156, A096827, A253249, A285573, A293994, A318099, A319557, A319616-A319646, A319721.

A319565 Number of non-isomorphic connected strict T_0 multiset partitions of weight n.

Original entry on oeis.org

1, 1, 1, 4, 8, 21, 62, 175, 553, 1775, 6007

Offset: 0

Gus Wiseman, Sep 23 2018

In a multiset partition, two vertices are equivalent if in every block the multiplicity of the first is equal to the multiplicity of the second. The T_0 condition means that there are no equivalent vertices.

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) = 8 multiset partitions:
1:      {{1}}
2:     {{1,1}}
3:    {{1,1,1}}
      {{1,2,2}}
     {{1},{1,1}}
     {{2},{1,2}}
4:   {{1,1,1,1}}
     {{1,2,2,2}}
    {{1},{1,1,1}}
    {{1},{1,2,2}}
    {{2},{1,2,2}}
    {{1,2},{2,2}}
    {{1,3},{2,3}}
   {{1},{2},{1,2}}

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

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

cp's OEIS Frontend

A283877 Number of non-isomorphic set-systems of weight n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

Extensions

A049311 Number of (0,1) matrices with n ones and no zero rows or columns, up to row and column permutations.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

Extensions

A007718 Number of independent polynomial invariants of matrix of order n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

Extensions

A089259 Expansion of Product_{m>=1} 1/(1-x^m)^A000009(m).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

A319616 Number of non-isomorphic square multiset partitions of weight n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Extensions

A319559 Number of non-isomorphic T_0 set systems of weight n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Extensions

Views

Author

Keywords

Comments

Examples

Crossrefs

A319557 Number of non-isomorphic strict connected multiset partitions of weight n.

Views

Author

Keywords

Comments

Examples