OFFSET
0,9
COMMENTS
A graded partially ordered set is Eulerian if every nontrivial interval has the same number of elements of even rank as of odd rank. It is bounded if it has a unique maximal and a unique minimal element.
LINKS
Wikipedia, Eulerian poset
PROG
(Sage) sum(1 for P in posets(n-2) if (Q := P.with_bounds()).is_graded() and Q.is_eulerian())
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Martin Rubey, Mar 30 2023
STATUS
approved