Dilworth定理

Dilworth定理对偶定理：（x,<=）是一个有限偏序集，r为最大链的长度，则x可被分为r个但不能再少的反链

证明请看组合数学P95

poj3636,：一看就是求最少上升划分数，将上升作为关系，由dilworth定理可知其反链就是不上升，即求最长不上升子序列长度，利用最长下降子序列的二分求法加速（即在二分查找时==情况不返回下标）

（不上升）
t=(a+b)>>1;
if(v[t]<key) b=t;
else a=t+1;
（下降）
if(v[t]==key) return t;
else if(v[t]<key) b=t;
else a=t+1;

观察上述代码。也可以采用寻找极小元集的方法，即贪心每次查找一组链序列，看有多少组（根据dilworth定理证明方法）。

注意一般题目有二维变量，这是要考虑变量相同的处理，首先是根据某一变量排序，而排序中会出现变量相同情况，根据你求解的关系和使用的方法修改（不懂可以好好研究poj3636的两种代码）

转载于:https://www.cnblogs.com/mengxm-lincf/archive/2012/02/08/2342961.html