导弹拦截 NOIP1999 dilworth定理裸题

题意

n个导弹，一架大炮只能打击不上升一段序列中的导弹，求一架炮最多打几个炮弹，以及击落全部导弹需要几架炮

思路

第一问裸的最长不上升子序列

第二问用狄尔沃斯定理
对于任意有序偏序集，其最大反链中元素的数目必等于最小链划分中链的数目
说人话：第二问答案是最常下降子序列

当然贪心也能做…只要开n个数组维护n个子序列尾巴最小值即可（初始为0）
维护有序，挨个插入，没法插入开新序列即可。

教训/收获

代码

#include<cstdio>
#include<iostream>
#include<iomanip>
#include<map>
#include<unordered_map>
#include<string>
#include<queue>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<cstdlib> 
#define IOS ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
#define endl "\n"
//#define int long long
//#define double long double
using namespace std;
	typedef long long ll;
	const int maxn=1005;
	const int inf=0x3f3f3f3f;
	int n,m;
	int dp[maxn],a[maxn];
	int main(){
		IOS
		n=1;
		while(cin>>a[n])
			n++;
		n--; 
		int ans=0;
		for(int i=1;i<=n;i++){
			dp[i]=1;
			for(int j=1;j<i;j++)
				if(a[j]>=a[i])
					dp[i]=max(dp[i],dp[j]+1);
			ans=max(ans,dp[i]);
		}
		cout<<ans<<endl;
		ans=0;
		for(int i=1;i<=n;i++){
			dp[i]=1;
			for(int j=1;j<i;j++)
				if(a[j]<a[i])
					dp[i]=max(dp[i],dp[j]+1);
			ans=max(ans,dp[i]);
		}
		cout<<ans<<endl;
	}