51nod1294 修改数组(二分法)

给出一个整数数组A，你可以将任何一个数修改为任意一个正整数，最终使得整个数组是严格递增的且均为正整数。问最少需要修改几个数？
Input
第1行：一个数N表示序列的长度(1 <= N <= 100000)。
第2 - N + 1行：每行1个数，对应数组元素。(0 <= A[i] <= 10^9)
Output
输出最少需要修改几个数使得整个数组是严格递增的。
Input示例
5
1
2
2
3
4
Output示例
3

涨姿势的一道题。
判断严格单调递增序列，其中最小的严格递增序列为1,2,3,4,5，... ,ｎ,
所以我们可以求pos[i]-i，如果pos[i]-i<0,那么这一位连最小的严格单调递增子序列都不符合，
那么肯定要修改拉，我们求出[1,N]所以的pos[i]-i,所有pos[i]-i<0的肯定不符合，我们不需要管，
我们只需要求出[1,N]所有pos[i]-i>=0的最长非严格单调递增子序列就可以了，可以用dp做，
不过可以直接二分(非严格即可以0,0,1,2,3,3,4这样的，这里我们用到的是upper_bound)
找该子序列就可以了。([1,N]所有pos[i]-i>=0排除掉数可能情况是比前一个数小或者相等，就需要替换啦。）

#include<iostream>
#include<cstring>
#include<cstdlib>
#include<algorithm>
#include<cctype>
#include<cmath>
#include<ctime>
#include<string>
#include<stack>
#include<deque>
#include<queue>
#include<list>
#include<set>
#include<map>
#include<cstdio>
#include<limits.h>
#define MOD 1000000007
#define fir first
#define sec second
#define fin freopen("/home/ostreambaba/文档/input.txt", "r", stdin)
#define fout freopen("/home/ostreambaba/文档/output.txt", "w", stdout)
#define mes(x, m) memset(x, m, sizeof(x))
#define Pii pair<int, int>
#define Pll pair<ll, ll>
#define INF 1e9+7
#define Pi 4.0*atan(1.0)

#define lowbit(x) (x&(-x))
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1

typedef long long ll;
typedef unsigned long long ull;
const double eps = 1e-12;
const int maxn = 100010;
using namespace std;

inline int read(){
    int x(0),f(1);
    char ch=getchar();
    while (ch<'0'||ch>'9') {if (ch=='-') f=-1;ch=getchar();}
    while (ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
    return x*f;
}
int t[maxn];
int N,m;
void lcs()
{
    int re[N+1];
    mes(re,0x3f);
    for(int i=1;i<=N;++i){
        if(t[i]>=0){
            *upper_bound(re,re+N+1,t[i])=t[i];
        }
    }
    cout<<N-(upper_bound(re,re+N+1,INF)-re)<<endl;
}

int main()
{
   // fin;
    N=read();
    for(int i=1;i<=N;++i){
        m=read();
        t[i]=m-i;
    }
    lcs();
    return 0;
}