DAG的一些性质

1、在二分图中满足 最大独立集=最小路径覆盖=顶点数-匹配数 2. 在DAG中满足 最小路径覆盖=最长反链。