Dilworth定理:偏序集能划分成的最少的全序集的个数与最大反链的元素个数相等. 证明:http://www.cnblogs.com/itlqs/p/6636222.html 题目让求的是最大反链的长度,因此可以转化为最少能划分成的链的个数.这个问题可以用二分图的最大匹配做. 建立一个二分图,两边都是n个点,原图的每个点 i 对应两个,在左边的叫做 i1, 在右边的叫做 i2 . 然后原图中如果存在一条边 (x, y),那么就在二分图中建立 (x1, y2) 的边. 这样建立二分图之后,原图的…