A319765 -id:A319765 - cp's OEIS frontend

A319764 Number of non-isomorphic intersecting set systems of weight n with empty intersection.

1, 0, 0, 0, 0, 0, 1, 1, 3, 8, 18

Offset: 0

Gus Wiseman, Sep 27 2018

A set system is a finite set of finite nonempty sets. It is intersecting if no two parts are disjoint. 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(6) = 1 through a(9) = 8 set systems:
6: {{1,2},{1,3},{2,3}}
7: {{1,3},{1,4},{2,3,4}}
8: {{1,2},{1,3,4},{2,3,4}}
   {{1,4},{1,5},{2,3,4,5}}
   {{2,4},{1,2,5},{3,4,5}}
9: {{1,3},{1,4,5},{2,3,4,5}}
   {{1,5},{1,6},{2,3,4,5,6}}
   {{2,5},{1,2,6},{3,4,5,6}}
   {{1,2,3},{2,4,5},{3,4,5}}
   {{1,3,5},{2,3,6},{4,5,6}}
   {{1,2},{1,3},{1,4},{2,3,4}}
   {{1,2},{1,3},{2,3},{1,2,3}}
   {{1,3},{1,4},{3,4},{2,3,4}}

Cf. A007716, A281116, A283877, A305854, A306006, A316980, A317752, A317755, A317757, A318715, A318717.

Cf. A319752, A319759, A319762, A319763, A319765, A319779, A319781.

A319782 Number of non-isomorphic intersecting strict T_0 multiset partitions of weight n.

Original entry on oeis.org

1, 1, 1, 4, 7, 17, 42, 98, 248, 631, 1657

Offset: 0

Gus Wiseman, Sep 27 2018

A multiset partition is intersecting iff no two parts are disjoint. The weight of a multiset partition is the sum of sizes of its parts. 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 T_0 condition means the dual is strict.

			Non-isomorphic representatives of the a(1) = 1 through a(4) = 7 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}}

Cf. A007716, A049311, A059201, A281116, A283877, A305843, A305854, A306006, A316980.

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

A319784 Number of non-isomorphic intersecting T_0 set systems of weight n.

Original entry on oeis.org

1, 1, 0, 1, 1, 1, 3, 5, 7, 14, 25

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. 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 T_0 condition means the dual is strict.

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

Cf. A007716, A049311, A283877, A305843, A305854, A306006, A316980, A317752.

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

A327061 BII-numbers of pairwise intersecting set-systems where every two covered vertices appear together in some edge (cointersecting).

Original entry on oeis.org

0, 1, 2, 4, 5, 6, 8, 16, 17, 24, 32, 34, 40, 52, 64, 65, 66, 68, 69, 70, 72, 80, 81, 84, 85, 88, 96, 98, 100, 102, 104, 112, 116, 120, 128, 256, 257, 384, 512, 514, 640, 772, 1024, 1025, 1026, 1028, 1029, 1030, 1152, 1280, 1281, 1284, 1285, 1408, 1536, 1538

Offset: 1

Gus Wiseman, Aug 18 2019

nonn

A set-system is a finite set of finite nonempty sets. Its elements are sometimes called edges. The dual of a set-system has, for each vertex, one edge consisting of the indices (or positions) of the edges containing that vertex. For example, the dual of {{1,2},{2,3}} is {{1},{1,2},{2}}. This sequence gives all BII-numbers (defined below) of pairwise intersecting set-systems whose dual is also pairwise intersecting.

A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every set-system has a different BII-number. For example, 18 has reversed binary expansion (0,1,0,0,1), and since the binary indices of 2 and 5 are {2} and {1,3} respectively, the BII-number of {{2},{1,3}} is 18.

			The sequence of all pairwise intersecting, cointersecting set-systems together with their BII-numbers begins:
   0: {}
   1: {{1}}
   2: {{2}}
   4: {{1,2}}
   5: {{1},{1,2}}
   6: {{2},{1,2}}
   8: {{3}}
  16: {{1,3}}
  17: {{1},{1,3}}
  24: {{3},{1,3}}
  32: {{2,3}}
  34: {{2},{2,3}}
  40: {{3},{2,3}}
  52: {{1,2},{1,3},{2,3}}
  64: {{1,2,3}}
  65: {{1},{1,2,3}}
  66: {{2},{1,2,3}}
  68: {{1,2},{1,2,3}}
  69: {{1},{1,2},{1,2,3}}
  70: {{2},{1,2},{1,2,3}}

The unlabeled multiset partition version is A319765.
Equals the intersection of A326853 and A326910.
The T_0 version is A326854.
These set-systems are counted by A327037 (covering) and A327038 (not covering).
Cf. A029931, A048793, A051185, A305843, A319774, A326031, A327039, A327040, A327041, A327057.

dual[eds_]:=Table[First/@Position[eds,x],{x,Union@@eds}];
bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
stableQ[u_,Q_]:=!Apply[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
Select[Range[0,100],stableQ[bpe/@bpe[#],Intersection[#1,#2]=={}&]&&stableQ[dual[bpe/@bpe[#]],Intersection[#1,#2]=={}&]&]

cp's OEIS Frontend

A319764 Number of non-isomorphic intersecting set systems of weight n with empty intersection.

Views

Author

Keywords

Comments

Examples

Crossrefs

A319782 Number of non-isomorphic intersecting strict T_0 multiset partitions of weight n.

Views

Author

Keywords

Comments

Examples

Crossrefs

A319784 Number of non-isomorphic intersecting T_0 set systems of weight n.

Views

Author

Keywords

Comments

Examples

Crossrefs

A327061 BII-numbers of pairwise intersecting set-systems where every two covered vertices appear together in some edge (cointersecting).

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica