洛谷 [P1020] 导弹拦截 (N*logN）

首先此一眼就能看出来是一个非常基础的最长不下降子序列(LIS)，其朴素的 N^2做法很简单，但如何将其优化成为N*logN？
我们不妨换一个思路，维护一个f数组，f[x]表示长度为x的LIS的最大的最后一个数字是f[x]。（为什么是最大的？可以应用贪心的思想，发现对于相同的x，f[x]越大其后可能扩展的情况就越多，即就越优）我们可以发现f数组单调递减（为什么？也可使用反证法证明，在此不赘述）对于决策单调性问题，一般使用二分法优化，这就是logN的来历。二分的边界条件一定要写对。
代码如下：

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstdlib>
#include <cstring>
using namespace std;
int read(){
    int rv=0,fh=1;
    char c=getchar();
    while(c<'0'||c>'9'){
        if(c=='-') fh=-1;
        c=getchar();
    }
    while(c>='0'&&c<=