login
A118077
Number of edges in the representation of all linear extensions of the inclusion ordering on P({1,...,n}) as distributive lattice contained in P(P({1,...,n})).
1
1, 2, 6, 32, 454, 35512, 66584412, 2414682040997
OFFSET
0,2
COMMENTS
The numbers of vertices are the Dedekind numbers (A000372) and A046873 is the total number of linear extensions.
FORMULA
a(n) = Sum_{m=1..C(n,floor(n/2))} A059119(n,m)*m. - Geoffrey Critzer, Aug 11 2020
EXAMPLE
a(2) = 6 as the lattice is { {}, { {} }, { {}, {1} }, { {}, {2} }, { {}, {1}, {2}}, { {}, {1}, {2}, {1, 2} } }.
PROG
(Python) # using an inference method for computing the set of linear extensions of arbitrary posets.
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Oliver Wienand, Apr 11 2006
EXTENSIONS
a(7) added by Geoffrey Critzer, Aug 11 2020 from A059119
STATUS
approved