CSP难度的经典题目/有趣的思维题选讲（一）

Dilworth 定理

一个奇技淫巧

P1020 [NOIP1999 普及组] 导弹拦截

题目分析：
第一问显然是求最长不上升子序列，二分优化即可（这个地方也算个不大不小的难点吧，自行查阅即可，不难）。
第二问需要用到 Dilworth 定理：一个序列最少的最长不上升子序列数量等于其最长上升子序列的长度。

证明就是：
假设我们已经将序列划分为数量最少的$k$个最长不上升子序列，那么我们必然可以在每个序列里面选出一个元素，使得这些元素组成单调递增的一个序列。

否则假设序列$x$没有选出来任何一个元素。那么考虑$x$的末尾元素，首先如果把所有最长不上升子序列按照末尾编号的话，$x$不可能是第一个最长不上升子序列。否则$x$只需要选择末尾元素就可以了。

因此$x$前面一定存在一个最长不上升子序列已经结尾了，可以直接把$x$拼接过去，这样就构造了一种情况使得划分的最长不上升子序列的数量减少，矛盾。

因此此时设整个数组的最长上升子序列的长度为$t$，则$k\le t$。

并且一个序列只能选出一个数，如果在任意一个不上升子序列内选出两个数，那么这个序列就不可能不上升了。因此$k\ge t$。

则$k=t$

如果不能理解 Dilworth 定理，也可以试试这种说法：

引用自 离散小波变换°

示例代码：

#include<iostream>
#include<algorithm>
using namespace std;
int&merge(int f[],int l,int r,int x) {
   
   //在一个不升序列中找到第一个<=x的数字
	if(l==r) return f[l];
	int mid=l+r>>1;
	if(f[mid]<x) return merge(f,l,mid,x);
	else return merge(f,mid+1,r,x);
}
int main() {
   
   
	const int N=1.1e5;
	int a[N],f[N],n=1;
	int x;
	while(cin>>x) a[n++]=x;
	n--;
	for(auto&i:f) i=0;
	int cnt=1;
	f[cnt]=a[1];
	for(int i=2;i<=n;i++) {
   
   
		if(a[i]<=f[cnt]) f[++cnt]=a