A305854 -id:A305854 - cp's OEIS frontend

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

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

A306005 Number of non-isomorphic set-systems of weight n with no singletons.

Original entry on oeis.org

1, 0, 1, 1, 3, 4, 12, 19, 51, 106, 274, 647, 1773, 4664, 13418, 38861, 118690, 370588, 1202924, 4006557, 13764760, 48517672, 175603676, 651026060, 2471150365, 9590103580, 38023295735, 153871104726, 635078474978, 2671365285303, 11444367926725, 49903627379427

Offset: 0

Gus Wiseman, Jun 16 2018

nonn

A set-system is a finite set of finite nonempty sets (edges). The weight is the sum of cardinalities of the edges. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(6) = 12 set-systems:
  {{1,2,3,4,5,6}}
  {{1,2},{3,4,5,6}}
  {{1,5},{2,3,4,5}}
  {{3,4},{1,2,3,4}}
  {{1,2,3},{4,5,6}}
  {{1,2,5},{3,4,5}}
  {{1,3,4},{2,3,4}}
  {{1,2},{1,3},{2,3}}
  {{1,2},{3,4},{5,6}}
  {{1,2},{3,5},{4,5}}
  {{1,3},{2,4},{3,4}}
  {{1,4},{2,4},{3,4}}

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

The complement is counted by A330053.

Cf. A007716, A034691, A048143, A049311, A054921, A116540, A283877, A293606, A293607, A304867, A305999, A305854-A305857, A306005-A306008.

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)) - Vec(sum(j=1, #q, if(t%q[j]==0, q[j])) + 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

a(n) = A283877(n) - A330053(n). - Gus Wiseman, Dec 09 2019

Terms a(11) and beyond from Andrew Howroyd, Sep 01 2019

A328673 Number of integer partitions of n in which no two distinct parts are relatively prime.

Original entry on oeis.org

1, 1, 2, 2, 3, 2, 5, 2, 6, 4, 9, 2, 15, 2, 17, 10, 23, 2, 39, 2, 46, 18, 58, 2, 95, 8, 103, 31, 139, 2, 219, 3, 232, 59, 299, 22, 452, 4, 492, 104, 645, 5, 920, 5, 1006, 204, 1258, 8, 1785, 21, 1994, 302, 2442, 11, 3366, 71, 3738, 497, 4570, 18, 6253, 24, 6849

Offset: 0

Gus Wiseman, Oct 29 2019

nonn

A partition with no two distinct parts relatively prime is said to be intersecting.

			The a(1) = 1 through a(10) = 9 partitions (A = 10):
  1  2   3    4     5      6       7        8         9          A
     11  111  22    11111  33      1111111  44        63         55
              1111         42               62        333        64
                           222              422       111111111  82
                           111111           2222                 442
                                            11111111             622
                                                                 4222
                                                                 22222
                                                                 1111111111

Fausto A. C. Cariboni, Table of n, a(n) for n = 0..350

The Heinz numbers of these partitions are A328867 (strict case is A318719).
The relatively prime case is A328672.
The strict case is A318717.
The version for non-isomorphic multiset partitions is A319752.
The version for set-systems is A305843.
The version involving all parts (not just distinct ones) is A200976.
Cf. A000837, A202425, A305148, A305854, A306006, A316476, A326910.

Table[Length[Select[IntegerPartitions[n],And@@(GCD[##]>1&)@@@Subsets[Union[#],{2}]&]],{n,0,20}]

a(n > 0) = A200976(n) + 1.

A319752 Number of non-isomorphic intersecting multiset partitions of weight n.

Original entry on oeis.org

1, 1, 3, 6, 16, 35, 94, 222, 584, 1488, 3977

Offset: 0

Gus Wiseman, Sep 27 2018

A multiset partition is intersecting if no two parts are disjoint. 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(4) = 16 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,1},{1,1}}
  {{1,2},{1,2}}
  {{1,2},{2,2}}
  {{1,3},{2,3}}
  {{1},{1},{1,1}}
  {{2},{2},{1,2}}
  {{1},{1},{1},{1}}

Cf. A007716, A049311, A283877, A305854, A306006, A316980, A319616.

Cf. A319755, A319759, A319760, A319765, A319779, A319787, A319789.

A200976 Number of partitions of n such that each pair of parts (if any) has a common factor.

Original entry on oeis.org

1, 0, 1, 1, 2, 1, 4, 1, 5, 3, 8, 1, 14, 1, 16, 9, 22, 1, 38, 1, 45, 17, 57, 1, 94, 7, 102, 30, 138, 1, 218, 2, 231, 58, 298, 21, 451, 3, 491, 103, 644, 4, 919, 4, 1005, 203, 1257, 7, 1784, 20, 1993, 301, 2441, 10, 3365, 70, 3737, 496, 4569, 17, 6252, 23, 6848

Offset: 0

Alois P. Heinz, Nov 29 2011

nonn

a(n) is different from A018783(n) for n = 0, 31, 37, 41, 43, 46, 47, 49, 51, 52, 53, 55, 56, 57, 58, 59, 61, 62, ... .

Every pair of (possibly equal) parts has a common factor > 1. These partitions are said to be (pairwise) intersecting. - Gus Wiseman, Nov 04 2019

			a(0) = 1: [];
a(4) = 2: [2,2], [4];
a(9) = 3: [3,3,3], [3,6], [9];
a(31) = 2: [6,10,15], [31];
a(41) = 4: [6,10,10,15], [6,15,20], [6,14,21], [41].

Fausto A. C. Cariboni, Table of n, a(n) for n = 0..350 (terms 0..250 from Alois P. Heinz)
L. Naughton, G. Pfeiffer, Integer Sequences Realized by the Subgroup Pattern of the Symmetric Group, J. Int. Seq. 16 (2013) #13.5.8

Cf. A018783.
The version with only distinct parts compared is A328673.
The relatively prime case is A202425.
The strict case is A318717.
The version for non-isomorphic multiset partitions is A319752.
The version for set-systems is A305843.
Cf. A000837, A305148, A305854, A306006, A316476, A328672, A328867, A328868.

b:= proc(n, j, s) local ok, i;
      if n=0 then 1
    elif j<2 then 0
    else ok:= true;
         for i in s while ok do ok:= evalb(igcd(i, j)<>1) od;
         `if`(ok, add(b(n-j*k, j-1, [s[], j]), k=1..n/j), 0) +b(n, j-1, s)
      fi
    end:
a:= n-> b(n, n, []):
seq(a(n), n=0..62);

b[n_, j_, s_] := Module[{ok, i, is}, Which[n == 0, 1, j < 2, 0, True, ok = True; For[is = 1, is <= Length[s] && ok, is++, i = s[[is]]; ok = GCD[i, j] != 1]; If[ok, Sum[b[n-j*k, j-1, Append[s, j]], {k, 1, n/j}], 0] + b[n, j-1, s]]]; a[n_] := b[n, n, {}]; Table[a[n], {n, 0, 62}] (* Jean-François Alcover, Dec 26 2013, translated from Maple *)
Table[Length[Select[IntegerPartitions[n],And[And@@(GCD[##]>1&)@@@Select[Tuples[Union[#],2],LessEqual@@#&]]&]],{n,0,20}] (* Gus Wiseman, Nov 04 2019 *)

a(n > 0) = A328673(n) - 1. - Gus Wiseman, Nov 04 2019

A306006 Number of non-isomorphic intersecting set-systems of weight n.

Original entry on oeis.org

1, 1, 1, 2, 3, 5, 10, 16, 30, 57, 109, 209, 431, 873, 1850, 3979, 8819, 19863

Offset: 0

Gus Wiseman, Jun 16 2018

An intersecting set-system S is a finite set of finite nonempty sets (edges), any two of which have a nonempty intersection. The weight of S is the sum of cardinalities of its elements. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(6) = 10 set-systems:
{{1,2,3,4,5,6}}
{{5},{1,2,3,4,5}}
{{1,5},{2,3,4,5}}
{{3,4},{1,2,3,4}}
{{1,2,5},{3,4,5}}
{{1,3,4},{2,3,4}}
{{3},{2,3},{1,2,3}}
{{4},{1,4},{2,3,4}}
{{1,2},{1,3},{2,3}}
{{1,4},{2,4},{3,4}}

Cf. A007716, A034691, A048143, A049311, A116540, A283877, A293606, A293607, A304867, A305999, A305854-A305857, A306005-A306008.

a(10)-a(17) from Bert Dobbelaere, May 04 2025

A318717 Number of strict integer partitions of n in which no two parts are relatively prime.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 1, 5, 1, 5, 4, 6, 1, 10, 1, 11, 6, 12, 1, 19, 3, 18, 8, 23, 1, 36, 2, 32, 13, 38, 7, 57, 2, 54, 19, 68, 3, 95, 3, 90, 33, 104, 3, 148, 7, 149, 40, 166, 5, 230, 17, 226, 56, 256, 6, 360, 9, 340, 84, 390, 25, 527, 11, 513, 109

Offset: 0

Gus Wiseman, Sep 02 2018

nonn

			The a(20) = 11 partitions:
  (20),
  (12,8), (14,6), (15,5), (16,4), (18,2),
  (10,6,4), (10,8,2), (12,6,2), (14,4,2),
  (8,6,4,2).

Fausto A. C. Cariboni, Table of n, a(n) for n = 0..600

Cf. A000009, A007359, A007360, A051185, A302569, A302797, A303140, A303280, A303283, A305713, A305843, A305854, A305713, A318715, A318719.

Table[Length[Select[IntegerPartitions[n],And[UnsameQ@@#,And@@(GCD[##]>1&)@@@Select[Tuples[#,2],Less@@#&]]&]],{n,30}]

a(51)-a(69) from Alois P. Heinz, Sep 02 2018

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.

A318715 Number of strict integer partitions of n with relatively prime parts in which no two parts are relatively prime.

Original entry on oeis.org

1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 2, 0, 2, 0, 0, 0, 2, 0, 2, 0, 1, 0, 4, 0, 3, 0, 1, 0, 5, 0, 8, 0, 2, 0, 5, 0, 10, 0, 4, 0, 13, 0, 15, 0, 3, 1, 13, 0, 19, 0, 9, 1, 24, 0, 20

Offset: 1

Gus Wiseman, Sep 02 2018

nonn

			The a(67) = 10 strict integer partitions are
  (45,12,10) (42,15,10) (40,15,12) (33,22,12) (28,21,18)
  (36,15,10,6) (30,15,12,10) (28,21,12,6) (24,18,15,10)
  (24,15,12,10,6).

Fausto A. C. Cariboni, Table of n, a(n) for n = 1..500

Cf. A007359, A051185, A078374, A303140, A303282, A303283, A305713, A305843, A305854, A318716, A318717, A318720.

Table[Length[Select[IntegerPartitions[n],And[UnsameQ@@#,GCD@@#==1,And@@(GCD[##]>1&)@@@Select[Tuples[#,2],Less@@#&]]&]],{n,50}]

a(71)-a(85) from Robert Price, Sep 08 2018

A305857 Number of unlabeled intersecting antichains on up to n vertices.

Original entry on oeis.org

1, 2, 3, 6, 15, 87, 3528, 47174113

Offset: 0

Gus Wiseman, Jun 11 2018

An intersecting antichain S is a finite set of finite nonempty sets (edges), any two of which have a nonempty intersection, and none of which is a subset of any other.

			Non-isomorphic representatives of the a(4) = 15 intersecting antichains:
  {}
  {{1}}
  {{1,2}}
  {{1,2,3}}
  {{1,2,3,4}}
  {{1,3},{2,3}}
  {{1,4},{2,3,4}}
  {{1,3,4},{2,3,4}}
  {{1,2},{1,3},{2,3}}
  {{1,4},{2,4},{3,4}}
  {{1,3},{1,4},{2,3,4}}
  {{1,2},{1,3,4},{2,3,4}}
  {{1,2,4},{1,3,4},{2,3,4}}
  {{1,2},{1,3},{1,4},{2,3,4}}
  {{1,2,3},{1,2,4},{1,3,4},{2,3,4}}

Cf. A001206, A006126, A051185, A261006, A283877, A304998, A305843, A305844, A305854, A305855, A305856.

a(n) = A305855(0) + A305855(1) + ... + A305855(n). - Brendan McKay, May 11 2020

a(6) from Andrew Howroyd, Aug 13 2019

a(7) from Brendan McKay, May 11 2020

cp's OEIS Frontend

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

Views

Author

Keywords

Comments

Examples

Crossrefs

Extensions

A306005 Number of non-isomorphic set-systems of weight n with no singletons.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

Extensions

A328673 Number of integer partitions of n in which no two distinct parts are relatively prime.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A319752 Number of non-isomorphic intersecting multiset partitions of weight n.

Views

Author

Keywords

Comments

Examples

Crossrefs

A200976 Number of partitions of n such that each pair of parts (if any) has a common factor.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A306006 Number of non-isomorphic intersecting set-systems of weight n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Extensions

A318717 Number of strict integer partitions of n in which no two parts are relatively prime.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

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

A318715 Number of strict integer partitions of n with relatively prime parts in which no two parts are relatively prime.

Views

Author

Keywords