|
| |
|
|
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
| | |
|
|
|
OFFSET
| 0,2
|
|
|
COMMENTS
| The numbers of vertices are the Dedekind numbers (A000372) and A046873 is the total number of linear extensions.
|
|
|
EXAMPLE
| a(1) = 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
| Cf. A046873, A000372.
Sequence in context: A001199 A034997 A067735 * A013976 A083666 A083126
Adjacent sequences: A118074 A118075 A118076 * A118078 A118079 A118080
|
|
|
KEYWORD
| hard,nonn
|
|
|
AUTHOR
| Oliver W. Wienand (wienand(AT)mathematik.uni-kl.de), Apr 11 2006
|
| |
|
|
