Dilworth定理学习小记

偏序集：

这个定理首先得知道偏序集。

链是一个元素集，它的元素两两可比。

反链也是一个元素集，它的元素两两不可比。

Dilworth定理：

1.用链去覆盖所有的点，最少的条数=最大反链。
2.用反链去覆盖所有的点，最少的条数=最大链。

这两个好像是什么对偶定理。

证明不会，只能感性，看不懂百度的证明，太菜了~

一个偏序集可以抽象成一个DAG，不同于一般的DAG是，这个DAG的边有传递性，即若x到y有边，y到z有边，则x到z也一定有边。

根据dilworth定理，可以得出该DAG最小路径覆盖=最大独立集。

推广到普通的DAG，就是最小路径覆盖=最大S，其中S满足两两元素互不可达。

求DAG最小路径覆盖可以拆点、建个二分图求个最大匹配，最小路径覆盖=总点数-最大匹配。