Dilworth
偏序集的两个定理：定理1) 令（X,≤）是一个有限偏序集，并令r是其最大链的大小。则X可以被划分成r个但不能再少的反链。其对偶定理称为Dilworth定理：定理2) 令（X,≤）是一个有限偏序集，并令m是反链的最大的大小。则X可以被划分成m个但不能再少的链。
即：链的最少划分数 = 反链的最长长度
定理eee
原文：https://www.cnblogs.com/shikeyu/p/12963070.html
