Dilworth定理

偏序集的两个定理：

定理1) 令（X,≤）是一个有限偏序集，并令r是其最大链的大小。则X可以被划分成r个但不能再少的反链。 其对偶定理称为Dilworth定理：
DIlworth定理
定理2) 令（X,≤）是一个有限偏序集，并令m是反链的最大的大小。则X可以被划分成m个但不能再少的链。

反链：关系相反的链（如<=的相反为>）

例如：

1 5 6 2 3 4
反链：最长递减子序列为6 2，长度为2
按照升序划分（<=）,最少的可以划分为2个链1 2 3 4； 5 6

链的最少划分数=反链的最长长度