A319765 -id:A319765 - cp's OEIS frontend

A319789 Number of intersecting multiset partitions of strongly normal multisets of size n.

1, 1, 3, 6, 17, 40, 122, 330, 1032

Offset: 0

Gus Wiseman, Sep 27 2018

A multiset is normal if it spans an initial interval of positive integers, and strongly normal if in addition its multiplicities are weakly decreasing. A multiset partition is intersecting iff no two parts are disjoint.

			The a(1) = 1 through a(3) = 6 multiset partitions:
1: {{1}}
2: {{1,1}}
   {{1,2}}
   {{1},{1}}
3: {{1,1,1}}
   {{1,1,2}}
   {{1,2,3}}
   {{1},{1,1}}
   {{1},{1,2}}
   {{1},{1},{1}}

Cf. A007716, A283877, A305854, A306006, A316980, A317755.

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

A327037 Number of pairwise intersecting set-systems covering n vertices where every two vertices appear together in some edge (cointersecting).

Original entry on oeis.org

1, 1, 3, 21, 913, 1183295, 909142733955, 291200434282476769116160

Offset: 0

Gus Wiseman, Aug 17 2019

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 counts pairwise intersecting, covering set-systems that are cointersecting, meaning their dual is pairwise intersecting.

			The a(0) = 1 through a(3) = 21 set-systems:
  {}  {{1}}  {{1,2}}      {{1,2,3}}
             {{1},{1,2}}  {{1},{1,2,3}}
             {{2},{1,2}}  {{2},{1,2,3}}
                          {{3},{1,2,3}}
                          {{1,2},{1,2,3}}
                          {{1,3},{1,2,3}}
                          {{2,3},{1,2,3}}
                          {{1},{1,2},{1,2,3}}
                          {{1},{1,3},{1,2,3}}
                          {{1,2},{1,3},{2,3}}
                          {{2},{1,2},{1,2,3}}
                          {{2},{2,3},{1,2,3}}
                          {{3},{1,3},{1,2,3}}
                          {{3},{2,3},{1,2,3}}
                          {{1,2},{1,3},{1,2,3}}
                          {{1,2},{2,3},{1,2,3}}
                          {{1,3},{2,3},{1,2,3}}
                          {{1},{1,2},{1,3},{1,2,3}}
                          {{2},{1,2},{2,3},{1,2,3}}
                          {{3},{1,3},{2,3},{1,2,3}}
                          {{1,2},{1,3},{2,3},{1,2,3}}

Intersecting covering set-systems are A305843.
The unlabeled multiset partition version is A319765.
The case where the dual is strict is A319774.
The BII-numbers of these set-systems are A326912.
The non-covering version is A327038.
Cointersectng covering set-systems are A327040.
Cf. A003465, A319767, A326853, A326854, A326910.

dual[eds_]:=Table[First/@Position[eds,x],{x,Union@@eds}];
stableSets[u_,Q_]:=If[Length[u]==0,{{}},With[{w=First[u]},Join[stableSets[DeleteCases[u,w],Q],Prepend[#,w]&/@stableSets[DeleteCases[u,r_/;r==w||Q[r,w]||Q[w,r]],Q]]]];
stableQ[u_,Q_]:=!Apply[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
Table[Length[Select[stableSets[Subsets[Range[n],{1,n}],Intersection[#1,#2]=={}&],Union@@#==Range[n]&&stableQ[dual[#],Intersection[#1,#2]=={}&]&]],{n,0,4}]

Inverse binomial transform of A327038.

a(6)-a(7) from Christian Sievers, Aug 18 2024

A327038 Number of pairwise intersecting set-systems covering a subset of {1..n} where every two covered vertices appear together in some edge (cointersecting).

Original entry on oeis.org

1, 2, 6, 34, 1020, 1188106, 909149847892, 291200434288840793135801

Offset: 0

Gus Wiseman, Aug 17 2019

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 counts pairwise intersecting set-systems that are cointersecting, meaning their dual is pairwise intersecting.

			The a(0) = 1 through a(2) = 6 set-systems:
  {}  {}     {}
      {{1}}  {{1}}
             {{2}}
             {{1,2}}
             {{1},{1,2}}
             {{2},{1,2}}
The a(3) = 34 set-systems:
  {}  {{1}}    {{1}{12}}    {{1}{12}{123}}   {{1}{12}{13}{123}}
      {{2}}    {{1}{13}}    {{1}{13}{123}}   {{2}{12}{23}{123}}
      {{3}}    {{2}{12}}    {{12}{13}{23}}   {{3}{13}{23}{123}}
      {{12}}   {{2}{23}}    {{2}{12}{123}}   {{12}{13}{23}{123}}
      {{13}}   {{3}{13}}    {{2}{23}{123}}
      {{23}}   {{3}{23}}    {{3}{13}{123}}
      {{123}}  {{1}{123}}   {{3}{23}{123}}
               {{2}{123}}   {{12}{13}{123}}
               {{3}{123}}   {{12}{23}{123}}
               {{12}{123}}  {{13}{23}{123}}
               {{13}{123}}
               {{23}{123}}

Intersecting set-systems are A051185.
The unlabeled multiset partition version is A319765.
The BII-numbers of these set-systems are A326912.
The covering case is A327037.
Cointersecting set-systems are A327039.
The case where the dual is strict is A327040.
Cf. A058891, A319767, A319774, A326854, A327052.

dual[eds_]:=Table[First/@Position[eds,x],{x,Union@@eds}];
stableSets[u_,Q_]:=If[Length[u]==0,{{}},With[{w=First[u]},Join[stableSets[DeleteCases[u,w],Q],Prepend[#,w]&/@stableSets[DeleteCases[u,r_/;r==w||Q[r,w]||Q[w,r]],Q]]]];
stableQ[u_,Q_]:=!Apply[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
Table[Length[Select[stableSets[Subsets[Range[n],{1,n}],Intersection[#1,#2]=={}&],stableQ[dual[#],Intersection[#1,#2]=={}&]&]],{n,0,4}]

Binomial transform of A327037.

a(6)-a(7) from Christian Sievers, Aug 18 2024

A319766 Number of non-isomorphic strict intersecting multiset partitions (sets of multisets) of weight n whose dual is also a strict intersecting multiset partition.

Original entry on oeis.org

1, 1, 1, 4, 6, 14, 31, 64, 145, 324, 753

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

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

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

A319768 Number of non-isomorphic strict multiset partitions (sets of multisets) of weight n whose dual is a (not necessarily strict) intersecting multiset partition.

Original entry on oeis.org

1, 1, 2, 5, 11, 25, 63, 144, 364, 905, 2356

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}}.
The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.
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.

			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}}
   {{1,2,3}}
   {{1},{1,1}}
   {{2},{1,2}}
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,2},{2,2}}
   {{1},{2},{1,2}}

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

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

A319769 Number of non-isomorphic intersecting set multipartitions (multisets of sets) of weight n whose dual is also an intersecting set multipartition.

Original entry on oeis.org

1, 1, 2, 3, 5, 7, 12, 16, 26, 38, 61

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}}.
The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.
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.

			Non-isomorphic representatives of the a(1) = 1 through a(5) = 7 set multipartitions:
1: {{1}}
2: {{1,2}}
   {{1},{1}}
3: {{1,2,3}}
   {{2},{1,2}}
   {{1},{1},{1}}
4: {{1,2,3,4}}
   {{3},{1,2,3}}
   {{1,2},{1,2}}
   {{2},{2},{1,2}}
   {{1},{1},{1},{1}}
5: {{1,2,3,4,5}}
   {{4},{1,2,3,4}}
   {{2,3},{1,2,3}}
   {{2},{1,2},{1,2}}
   {{3},{3},{1,2,3}}
   {{2},{2},{2},{1,2}}
   {{1},{1},{1},{1},{1}}

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

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

A319773 Number of non-isomorphic intersecting set systems of weight n whose dual is also an intersecting set system.

Original entry on oeis.org

1, 1, 0, 1, 0, 0, 2, 1, 2, 4, 5

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}}.
The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.
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.

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

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

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

A326854 BII-numbers of T_0 (costrict), pairwise intersecting set-systems where every two vertices appear together in some edge (cointersecting).

Original entry on oeis.org

0, 1, 2, 5, 6, 8, 17, 24, 34, 40, 52, 69, 70, 81, 84, 85, 88, 98, 100, 102, 104, 112, 116, 120, 128, 257, 384, 514, 640, 772, 1029, 1030, 1281, 1284, 1285, 1408, 1538, 1540, 1542, 1664, 1792, 1796, 1920, 2056, 2176, 2320, 2592, 2880, 3120, 3152, 3168, 3184

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 strict and 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 set-systems that are pairwise intersecting, cointersecting, and costrict, together with their BII-numbers, begins:
    0: {}
    1: {{1}}
    2: {{2}}
    5: {{1},{1,2}}
    6: {{2},{1,2}}
    8: {{3}}
   17: {{1},{1,3}}
   24: {{3},{1,3}}
   34: {{2},{2,3}}
   40: {{3},{2,3}}
   52: {{1,2},{1,3},{2,3}}
   69: {{1},{1,2},{1,2,3}}
   70: {{2},{1,2},{1,2,3}}
   81: {{1},{1,3},{1,2,3}}
   84: {{1,2},{1,3},{1,2,3}}
   85: {{1},{1,2},{1,3},{1,2,3}}
   88: {{3},{1,3},{1,2,3}}
   98: {{2},{2,3},{1,2,3}}
  100: {{1,2},{2,3},{1,2,3}}
  102: {{2},{1,2},{2,3},{1,2,3}}

Equals the intersection of A326947, A326910, and A326853.
These set-systems are counted by A319774 (covering).
The non-T_0 version is A327061.
Cf. A029931, A048793, A051185, A305843, A319765, A326031, A327037, A327038, A327041, A327052, A327053.

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,10000],UnsameQ@@dual[bpe/@bpe[#]]&&stableQ[bpe/@bpe[#],Intersection[#1,#2]=={}&]&&stableQ[dual[bpe/@bpe[#]],Intersection[#1,#2]=={}&]&]

A319762 Number of non-isomorphic intersecting set multipartitions (multisets of sets) of weight n with empty intersection.

Original entry on oeis.org

1, 0, 0, 0, 0, 0, 1, 1, 4, 9, 24

Offset: 0

Gus Wiseman, Sep 27 2018

A set multipartition is intersecting if no two parts are disjoint. The weight of a set multipartition 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) = 9 set multipartitions:
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}}
   {{1,2},{1,3},{2,3},{2,3}}
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},{1,4},{2,3,4}}
   {{1,3},{1,4},{3,4},{2,3,4}}

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

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

A319763 Number of non-isomorphic strict intersecting multiset partitions (sets of multisets) of weight n with empty intersection.

Original entry on oeis.org

1, 0, 0, 0, 0, 0, 1, 2, 12, 46, 181

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(6) = 1 through a(8) = 12 multiset partitions:
6: {{1,2},{1,3},{2,3}}
7: {{1,2},{1,3},{2,3,3}}
   {{1,3},{1,4},{2,3,4}}
8: {{1,2},{1,3},{2,2,3,3}}
   {{1,2},{1,3},{2,3,3,3}}
   {{1,2},{1,3},{2,3,4,4}}
   {{1,2},{1,3,3},{2,3,3}}
   {{1,2},{1,3,4},{2,3,4}}
   {{1,3},{1,4},{2,3,4,4}}
   {{1,3},{1,1,2},{2,3,3}}
   {{1,3},{1,2,2},{2,3,3}}
   {{1,4},{1,5},{2,3,4,5}}
   {{2,3},{1,2,4},{3,4,4}}
   {{2,4},{1,2,3},{3,4,4}}
   {{2,4},{1,2,5},{3,4,5}}

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

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

cp's OEIS Frontend

A319789 Number of intersecting multiset partitions of strongly normal multisets of size n.

Views

Author

Keywords

Comments

Examples

Crossrefs

A327037 Number of pairwise intersecting set-systems covering n vertices where every two vertices appear together in some edge (cointersecting).

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

Extensions

A327038 Number of pairwise intersecting set-systems covering a subset of {1..n} where every two covered vertices appear together in some edge (cointersecting).

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

Extensions

A319766 Number of non-isomorphic strict intersecting multiset partitions (sets of multisets) of weight n whose dual is also a strict intersecting multiset partition.

Views

Author

Keywords

Comments

Examples

Crossrefs

A319768 Number of non-isomorphic strict multiset partitions (sets of multisets) of weight n whose dual is a (not necessarily strict) intersecting multiset partition.

Views

Author

Keywords

Comments

Examples

Crossrefs

A319769 Number of non-isomorphic intersecting set multipartitions (multisets of sets) of weight n whose dual is also an intersecting set multipartition.

Views

Author

Keywords

Comments

Examples

Crossrefs

A319773 Number of non-isomorphic intersecting set systems of weight n whose dual is also an intersecting set system.

Views

Author

Keywords

Comments

Examples

Crossrefs

A326854 BII-numbers of T_0 (costrict), pairwise intersecting set-systems where every two vertices appear together in some edge (cointersecting).

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A319762 Number of non-isomorphic intersecting set multipartitions (multisets of sets) of weight n with empty intersection.

Views

Author

Keywords

Comments

Examples

Crossrefs

A319763 Number of non-isomorphic strict intersecting multiset partitions (sets of multisets) of weight n with empty intersection.

Views

Author

Keywords

Comments

Examples