lupengheyyds

摘要： 简记Dilworth定理 图论形式：DAG 的最小链覆盖等于最大独立集。 数学形式：对于一个满足偏序关系 \(\preceq\) 的集合 \(S\)，定义“链”表示：\((p_1,p_2,\cdots p_n)\text{ st. }p_i\preceq p_{i+1}\)，"反链"表示：\((p_ 阅读全文