修改数组

题干：

给出一个整数数组A，你可以将任何一个数修改为任意一个正整数，最终使得整个数组是严格递增的且均为正整数。问最少需要修改几个数？

Input    第1行：一个数N表示序列的长度(1 <= N <= 100000)。 第2 - N + 1行：每行1个数，对应数组元素。(0 <= Aii <= 10^9)

Output    输出最少需要修改几个数使得整个数组是严格递增的。

Sample Input

5
1
2
2
3
4

Sample Output

3

分析：

原始数组序列满足单增的首要条件：a[i]>=i+1, (0<=i<n)
所以对输入的a[i]都减(i+1)
处理完后的数组a各元素集合视为函数f(x)
f(i)<0的元素直接跳过，求f(x)最长不递减子序列(函数lcs中for循环的内容)
最后数组总元素个数n减去f(x)最长不递减子序列元素个数即为答案
至于为何是求最长不递减子序列，可以画一个直角坐标系，f(x)和y=x两个函数图像
然后把直线y=x平移到所求的最长不递减子序列的第一个位置，之后便一目了然

题解：

#include"bits/stdc++.h"
using namespace std;

int lcs(int* a,int n){
    int m=0;
    //m始终保存的是最长不递减子序列的最后元素下标+1
    //把处理后的数组a点看作一个函数f(x)
    for(int i=0;i<n;++i){
        //f(i)在0之下，直接不考虑
        if(a[i]<0){
            continue;
        }
        //f(i)不递减
        if(!m||a[i]>=a[m-1]){
            a[m++]=a[i];
            continue;
        }
        //f(i)出现递减
        int* it=upper_bound(a,a+m,a[i]);
        *it=a[i];
    }
    return m;
}

int main(){
    int a[100007];
    int n;
    cin>>n;
    for(int i=0;i<n;++i){
        cin>>a[i];
        a[i]-=(i+1);
    }
    cout<<n-lcs(a,n);
    return 0;
}