【洛谷P1020】导弹拦截

其实这道题真的已经跟模板题差不多了，初学DP的时候接触了很多遍这道题了，但是今天着重研究了一下关于第二问的数学证明，离散数学中的偏序集的Dilworth定理，最长链划分=最长反链的长度，于是第一问求最长不上升子序列，第二问就变为了求最长下降子序列，两遍DP就出来了，我是直接没保存各个导弹的高度，直接同时DP就当是练练LIS算法了。

#include<cstdio>
#include<iostream>
#include<cstring>
#include<string>

using namespace std;
int n,tot,dp[10000],a[10000],b[10000],c[10000],totb,totc;
void up_bs(int x)
{