cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A326570 Number of covering antichains of subsets of {1..n} with different edge-sizes.

This page as a plain text file.
%I A326570 #9 Aug 14 2019 01:48:51
%S A326570 2,1,1,4,17,186,3292,139161,14224121
%N A326570 Number of covering antichains of subsets of {1..n} with different edge-sizes.
%C A326570 An antichain is a finite set of finite sets, none of which is a subset of any other. It is covering if its union is {1..n}. The edge-sizes are the numbers of vertices in each edge, so for example the edge-sizes of {{1,3},{2,5},{3,4,5}} are {2,2,3}.
%e A326570 The a(0) = 2 through a(4) = 17 antichains:
%e A326570   {}    {{1}}  {{1,2}}  {{1,2,3}}    {{1,2,3,4}}
%e A326570   {{}}                  {{1},{2,3}}  {{1},{2,3,4}}
%e A326570                         {{2},{1,3}}  {{2},{1,3,4}}
%e A326570                         {{3},{1,2}}  {{3},{1,2,4}}
%e A326570                                      {{4},{1,2,3}}
%e A326570                                      {{1,2},{1,3,4}}
%e A326570                                      {{1,2},{2,3,4}}
%e A326570                                      {{1,3},{1,2,4}}
%e A326570                                      {{1,3},{2,3,4}}
%e A326570                                      {{1,4},{1,2,3}}
%e A326570                                      {{1,4},{2,3,4}}
%e A326570                                      {{2,3},{1,2,4}}
%e A326570                                      {{2,3},{1,3,4}}
%e A326570                                      {{2,4},{1,2,3}}
%e A326570                                      {{2,4},{1,3,4}}
%e A326570                                      {{3,4},{1,2,3}}
%e A326570                                      {{3,4},{1,2,4}}
%t A326570 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]]]];
%t A326570 cleq[n_]:=Select[stableSets[Subsets[Range[n]],SubsetQ[#1,#2]||Length[#1]==Length[#2]&],Union@@#==Range[n]&];
%t A326570 Table[Length[cleq[n]],{n,0,6}]
%Y A326570 Antichain covers are A006126.
%Y A326570 Set partitions with different block sizes are A007837.
%Y A326570 The case without singletons is A326569.
%Y A326570 (Antichain) covers with equal edge-sizes are A306021.
%Y A326570 Cf. A000372, A003182, A307249, A326026, A326514, A326566, A326572.
%K A326570 nonn,more
%O A326570 0,1
%A A326570 _Gus Wiseman_, Jul 18 2019
%E A326570 a(8) from _Andrew Howroyd_, Aug 13 2019