给出一个整数数组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,... ,n,
所以我们可以求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()
{
N=read();
for(int i=1;i<=N;++i){
m=read();
t[i]=m-i;
}
lcs();
return 0;
}