7KByte 的博客

摘要： 给定一个有向无环图，我们称 \(x,y\) 存在关系当且仅当存在 \(x\to y\) 或者 \(y \to x\) 的边。最长链为最大的集合使得其中任意两个元素存在关系，最长反链为最大的集合使得其中任意两个元素不存在关系。 Dilworth 定理：最长反链等于最小链覆盖。 最小链覆盖为用最少的链（ 阅读全文