求最长反链 || Dilworth 定理

Dilworth 定理，DAG 中最长反链的大小 = 最小路径覆盖数

构造方案：拆出的 \(x_{in}\) 与 \(x_{out}\) 均在最大独立集中则选中 \(x\)