摘要：Dilworth定理：对于一个偏序集，最少链划分等于最长反链长度。 Dilworth定理的对偶定理：对于一个偏序集，其最少反链划分数等于其最长链的长度。 偏序集的定义：偏序是在集合X上的二元关系≤（这只是个抽象符号，不是“小于或等于”，它满足自反性、反对称性和传递 性）。即，对于X中的任意元素a,b 阅读全文