A327058 -id:A327058 - cp's OEIS frontend

A327020 Number of antichains covering n vertices where every two vertices appear together in some edge (cointersecting).

1, 1, 1, 2, 17, 1451, 3741198

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}}. An antichain is a set of sets, none of which is a subset of any other. This sequence counts antichains with union {1..n} whose dual is pairwise intersecting.

			The a(0) = 1 through a(4) = 17 antichains:
  {}  {{1}}  {{12}}  {{123}}         {{1234}}
                     {{12}{13}{23}}  {{12}{134}{234}}
                                     {{13}{124}{234}}
                                     {{14}{123}{234}}
                                     {{23}{124}{134}}
                                     {{24}{123}{134}}
                                     {{34}{123}{124}}
                                     {{123}{124}{134}}
                                     {{123}{124}{234}}
                                     {{123}{134}{234}}
                                     {{124}{134}{234}}
                                     {{12}{13}{14}{234}}
                                     {{12}{23}{24}{134}}
                                     {{13}{23}{34}{124}}
                                     {{14}{24}{34}{123}}
                                     {{123}{124}{134}{234}}
                                     {{12}{13}{14}{23}{24}{34}}

Covering, intersecting antichains are A305844.
Covering, T1 antichains are A319639.
Cointersecting set-systems are A327039.
Covering, cointersecting set-systems are A327040.
Covering, cointersecting set-systems are A327051.
The non-covering version is A327057.
Covering, intersecting, T1 set-systems are A327058.
Unlabeled cointersecting antichains of multisets are A327060.
Cf. A003465, A305843, A319765, A326853, A327037, A327038, A327053.

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}],SubsetQ],Union@@#==Range[n]&&stableQ[dual[#],Intersection[#1,#2]=={}&]&]],{n,0,4}]

Inverse binomial transform of A327057.

A327060 Number of non-isomorphic weight-n weak antichains of multisets where every two vertices appear together in some edge (cointersecting).

Original entry on oeis.org

1, 1, 3, 4, 9, 11, 30, 42, 103, 194, 443

Offset: 0

Gus Wiseman, Aug 18 2019

A multiset partition is a finite multiset of finite nonempty multisets. It is a weak antichain if no part is a proper submultiset of any other.

			Non-isomorphic representatives of the a(0) = 1 through a(5) = 11 multiset partitions:
  {}  {{1}}  {{11}}    {{111}}      {{1111}}        {{11111}}
             {{12}}    {{122}}      {{1122}}        {{11222}}
             {{1}{1}}  {{123}}      {{1222}}        {{12222}}
                       {{1}{1}{1}}  {{1233}}        {{12233}}
                                    {{1234}}        {{12333}}
                                    {{11}{11}}      {{12344}}
                                    {{12}{12}}      {{12345}}
                                    {{12}{22}}      {{11}{122}}
                                    {{1}{1}{1}{1}}  {{12}{222}}
                                                    {{33}{123}}
                                                    {{1}{1}{1}{1}{1}}

Antichains are A000372.
The BII-numbers of these set-systems are the intersection of A326853 and A326704.
Cointersecting set-systems are A327039.
The set-system version is A327057, with covering case A327058.
Cf. A006126, A007716, A051185, A305844, A326965, A327020, A327059, A327062.

A327059 Number of pairwise intersecting set-systems covering a subset of {1..n} whose dual is a weak antichain.

Original entry on oeis.org

1, 2, 4, 10, 178

Offset: 0

Gus Wiseman, Aug 18 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}}. A weak antichain is a multiset of sets, none of which is a proper subset of any other.

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

Intersecting set-systems are A051185.
The BII-numbers of these set-systems are the intersection of A326910 and A326966.
Set-systems whose dual is a weak antichain are A326968.
The covering version is A327058.
The unlabeled multiset partition version is A327060.
Cf. A000372, A305844, A326951, A326965, A326970, A327057, A327062.

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[#],SubsetQ]&]],{n,0,3}]

Binomial transform of A327058.

A327425 Number of unlabeled antichains of nonempty sets covering n vertices where every two vertices appear together in some edge (cointersecting).

Original entry on oeis.org

1, 1, 1, 2, 6, 54

Offset: 0

Gus Wiseman, Sep 11 2019

An antichain is a set of sets, none of which is a subset of any other. It is covering if there are no isolated vertices.

			Non-isomorphic representatives of the a(1) = 1 through a(4) = 6 antichains:
    {1}  {12}  {123}         {1234}
               {12}{13}{23}  {12}{134}{234}
                             {124}{134}{234}
                             {12}{13}{14}{234}
                             {123}{124}{134}{234}
                             {12}{13}{14}{23}{24}{34}

The labeled version is A327020.
Unlabeled covering antichains are A261005.
The weighted version is A327060.
Cf. A006126, A014466, A055621, A293606, A293993, A305844, A307249, A319639, A326704, A327057, A327058, A327358, A327359.

cp's OEIS Frontend

A327020 Number of antichains covering n vertices where every two vertices appear together in some edge (cointersecting).

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

A327060 Number of non-isomorphic weight-n weak antichains of multisets where every two vertices appear together in some edge (cointersecting).

Views

Author

Keywords

Comments

Examples

Crossrefs

A327059 Number of pairwise intersecting set-systems covering a subset of {1..n} whose dual is a weak antichain.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

A327425 Number of unlabeled antichains of nonempty sets covering n vertices where every two vertices appear together in some edge (cointersecting).

Views

Author

Keywords

Comments

Examples

Crossrefs