P1020导弹拦截

题解：

首先找最长不上升子序列，即最多可拦截导弹数。那么这里我们可以用dp来求，但显然n²的复杂度只能拿到100分，所以我们采用贪心：每次都只用与导弹高度最接近的系统进行拦截。至于查找最接近的系统，这里既可以采用枚举的方式也可以采用二分的方式~~(都能过的原因可能是数据太水)~~
再者要求最长上升子序列，即最少系统数，至于证明……

有趣的是这里的查找也可以用二分,此处我用了STL中的函数

代码：

#include<bits/stdc++.h>
using namespace std;
int a[140000],n=1,dp[140000],x[140000];
bool cmp(int a,int b){
	return a>b;	
}
int main() {
	while(scanf("%d",&a[n])!=EOF) n++;
	n--;
	int num1=0;
	for(int i=1; i<=n; i++) {
		//printf("%d ",i);
		if(a[i]<=x[num1]||num1==0) {
			x[++num1]=a[i];
			//printf("\n");
			continue;
		}
		int ans=0;
		int *ans1=upper_bound(x+1,x+num1+1,a[i],cmp);
		int *h=&x[1];
		/*cout<<ans1-h+1<<' ';
		for(ans=1;ans<=num1;ans++)
			if(x[ans]<a[i]) break;
		printf("%d %d\n",num1,ans);*/
		x[ans1-h+1]=a[i];
	}
	int num=0;
	for(int i=1; i<=n; i++) {
		//printf("%d ",i);
		if(a[i]>x[num]) {
			x[++num]=a[i];
			//printf("\n");
			continue;
		}
		int ans;
		int *ans1=lower_bound(x+1,x+num+1,a[i]);
		int *h=&x[1];
		/*cout<<ans1-h+1<<' ';
		for(ans=1;ans<=num;ans++)
			if(x[ans]>=a[i]) break;
		printf("%d %d\n",num,ans);*/
		x[ans1-h+1]=a[i];
	}
	printf("%d\n%d",num1,num);
	return 0;
}

一点有趣的小知识：
1.EOF在窗口式输入输出调试的时候可通过Ctrl+Z结束输入
2.二分可直接利用STL的库函数：
lower_bound()和upper_bound()实现二分查找，介绍一下二者的用法：
一、当数组为升序时：
lower_bound( begin,end,num)：从数组的begin位置到end-1位置二分查找第一个大于或等于num的数字，找到返回该数字的地址，不存在则返回end。通过返回的地址减去起始地址begin,得到找到数字在数组中的下标。

upper_bound( begin,end,num)：从数组的begin位置到end-1位置二分查找第一个大于num的数字，找到返回该数字的地址，不存在则返回end。通过返回的地址减去起始地址begin,得到找到数字在数组中的下标。

一、当数组为降序时，需要重载函数：
lower_bound( begin,end,num,greater() )：从数组的begin位置到end-1位置二分查找第一个小于或等于num的数字，找到返回该数字的地址，不存在则返回end。通过返回的地址减去起始地址begin,得到找到数字在数组中的下标。

upper_bound( begin,end,num,greater() ):从数组的begin位置到end-1位置二分查找第一个小于num的数字，找到返回该数字的地址，不存在则返回end。通过返回的地址减去起始地址begin,得到找到数字在数组中的下标。
lower_bound的重载与sort一致
3.这里的证明涉及到了Dilworth定理虽然我也不知道是啥