Dilworth 定理相关结论

基本定理：对于任意有限偏序集，其最大反链中元素的数目必等于最小链划分中链的数目。

推论 \(1\) ：把一个数列划分成最少的最长不升子序列的数目就等于这个数列的最长上升子序列的长度。

推论 \(2\) ：对于长度为 \(n\) 的序列，最长不升子序列的长度和最长不降子序列的长度，一定有一个 \(\ge\sqrt{n}\) 。