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.

A305001 Number of labeled antichains of finite sets spanning n vertices without singletons.

Original entry on oeis.org

1, 0, 1, 5, 87, 6398, 7745253, 2414573042063, 56130437190053518791691, 286386577668298410118121281898931424413687
Offset: 0

Views

Author

Gus Wiseman, May 23 2018

Keywords

Comments

From Gus Wiseman, Jul 03 2019: (Start)
Also the number of antichains covering n vertices and having empty intersection (meaning there is no vertex in common to all the edges). For example, the a(3) = 5 antichains are:
{{3},{1,2}}
{{2},{1,3}}
{{1},{2,3}}
{{1},{2},{3}}
{{1,2},{1,3},{2,3}}
(End)

Examples

			The a(3) = 5 antichains:
  {{1,2,3}}
  {{1,2},{1,3}}
  {{1,2},{2,3}}
  {{1,3},{2,3}}
  {{1,2},{1,3},{2,3}}
		

Crossrefs

The binomial transform is the non-covering case A307249.
The second binomial transform is A014466.

Programs

  • Mathematica
    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]]]];
    Table[Length[Select[stableSets[Subsets[Range[n],{1,n}],SubsetQ],And[Union@@#==Range[n],#=={}||Intersection@@#=={}]&]],{n,0,5}] (* Gus Wiseman, Jul 03 2019 *)

Extensions

a(9) from A307249 - Dmitry I. Ignatov, Nov 27 2023