Dilworth 定理，DAG 中最长反链的大小 = 最小路径覆盖数 构造方案：拆出的 \(x_{in}\) 与 \(x_{out}\) 均在最大独立集中则选中 \(x\) $$\Huge \text{Goodbye OI}$$
