The Minimum Independence Number of a Hasse Diagram
Matousek Jiri, Aleš Přívětivý · Combinatorics Probability Computing · 2006
Let $P=(X,\le)$ be a finite partially ordered set. That is, $X$ is a finite ground set and $\le$ is a partial ordering on $X$ (a reflexive, transitive, and weakly antisymmetric relation). An $x\in X$ is an immediate predecessor of a $y\in X$ if $x<y$ and there is no $z\in X$ with $x<z<y$ (where $x