【NOIP2010】导弹拦截，偏序集和Dilworth

Rt，看见QW大神在写，忽然想起原来我还写了一篇，没转过来，因此...

================================以下正文============================

看了好久好久，终于看懂了。
于是果断发一篇。 尽量讲得易懂点吧。

首先，二元关系的定义：
设S是一个非空集合，若R是关于S的有序元素对的一个关系，即对S中任意一个有序元素对（a，b），我们总能确定a与b是否满足条件R，就称R是S的一个关系（relation），又由于他是建立在二元（即S中任意两个元素）之上的，因此也称为二元关系。

然后，偏序关系的定义：
偏序关系是在集合X上的二元关系 “≤”（这只是个抽象符号，其内涵是由你定义的，并不是“小于或等于”），它满足
自反性、反对称性和传递性。即，对于X中的任意元素a,b和c，有:
自反性：a≤a; 【自我反对称，大概就是这个意思吧】
反对称性：如果a≤b且b≤a，则有a=b;
传递性：如果a≤b且b≤c，则a≤c 。
偏序关系与一般二元关系的区别，也就在于其三个性质
例如集合S={a1，a2...an},设其每一个表示一个人
如果二元关系为【a为男，b为女】，那么这个二元关系显然不符合第一条性质自反性，因此这是二元关系而不是偏序关系。
又如二元关系为【a是b的亲戚】，那么这个二元关系显然不符合第二条性质反对称性，因此这是二元关系而不是偏序关系。
又如二元关系为【a认为b是好人】，那么这个二元关系显然不符合第三条性质传递性，因此这是二元关系而不是偏序关系。
其实，要说偏序怎么理解，还是从“偏“字上理解吧，从反对称性就可以看出他的（偏）
于是偏序关系介绍到这里。

偏序集：也就是带有偏序关系的集合。偏序集可以表示为集合与偏序关系的整体，记为（X,≤）【其中X为集合，≤为偏序
关系】。对于集合中的两个元素a、b，如果有a≤b或者b≤a，则称a和b是可比的，否则a和b不可比，这就是可比性的定义。
一个链C是X的一个子集，它的任意两个元素都可比。

极小元：在X中，对于元素a，如果任意元素b，由b≤a得出b=a，则称a为极小元。很容易看出，在链中，极小元可以看做链的初始元，
有点类似于拓扑图中没有前驱的点。

相对应的，一个反链A是X的一个子集，它的任意两个元素都不能进行比较。

至于最大链，最大反链，就是集合中最长【即包含元素最多】的链、反链的意思了。
而最大反链数，就是一个集合最多可以划分成多少个反链。最长反链长度就是最长反链中元素个数。

下面，两个重要定理，有关dilworth：
定理1 令（X,≤）是一个有限偏序集，并令r是其最大链的大小。则r为X的最大反链数。
对偶定理:定理2：对于一个偏序集，其最少反链划分数等于其最长链的长度。这就是Dilworth定理。

定理2证明：首先设p为最少反链划分个数。
因为划分成反链以后，反链中间任何两个元素都不可比，因此最大链中的元素必须全部分开，因此必然有p大于等于r。【为
了避免与偏序关系的符号重复，在此使用中文“大于等于”等等进行说明】
下面证明r大于等于p：
设X1=X，考虑这样一种操作，第i次操作从Xi中拿出其所有最小元的集合，设为Ai。那么总存在k，使得第k次操作前的Xk为非
空集合而X（k+1）为空集。此时每次拿出的最小元集合顺序为A1,A2...Ak ，易知这就是X种反的一链划分。由于每次取出的
都是最小元，由最小元的定义我们可以得知，对于X2中任意元素a2，必存在X1中的元素a1，使得a1<=a2。由此A1...Ak中一定
存在一条链【有人说有反例，哼哼，你们试试吧】。又因为r是最长链长度，因此r大于等于k，又易知k要大于等于p，因此r
大于等于p。

综上所述，r=p，得证。

有了这个，定理1也就很好证明了【过程类似嘛】，请读者自行证明。【其实是因为我很懒，嘿嘿】

现在我们再来看拦截导弹
【Description 描述】

某国为了防御敌国的导弹袭击，发展出一种导弹拦截系统。但是这种导弹拦截系统有一个缺陷：虽然它的第一发炮弹能够到
达任意的高度，但是以后每一发炮弹都不能高于前一发的高度。某天，雷达捕捉到敌国的导弹来袭。由于该系统还在试用阶
段，所以只有一套系统，因此有可能不能拦截所有的导弹。
输入导弹依次飞来的高度（雷达给出的高度数据是不大于30000的正整数），计算这套系统最多能拦截多少导弹，如果要拦截
所有导弹最少要配备多少套这种导弹拦截系统。
【Input 输入文件】missile.in
单独一行列出导弹依次飞来的高度。
【Output 输出文件】missile.out
两行，分别是最多能拦截的导弹数，要拦截所有导弹最少要配备的系统数
【Sample Input输入样例】
389 207 155 300 299 170 158 65
【Sample Output输出样例】
6
2

第一问很好做，最长不上升子序列。
第二问，哈哈，往上翻~上翻~，这不是求最少链划分数嘛？这不是反的Dilworth吗？
那也就是说，既然最少反链划分数等于其最长链的长度，那最少链划分数不就是最大反链长度吗？
恭喜你答对了。于是问题一下子转化成了求最大反链长度。反过来dp一次，马上ac

注意一点，由于在此题中链的定义是“a≤b→a出现在b之前且a大于等于b”
因此反链是“a出现在b前且a小于b（不能等于啊！）”

欢迎大神鄙视...