Description
数列A1,A2,...,AN,修改最少的数字,使得数列严格单调递增。
Input
第1 行,1 个整数N
第2 行,N 个整数A1,A2,...,AN
Output
1 个整数,表示最少修改的数字
Sample Input
3
1 3 2
Sample Output
1
Hint
对于50% 的数据,N<=10^3
对于100% 的数据,1<=N10^5; 1<=Ai<=10^9
【分析】(感谢nodgd同学)
题目说严格上升,也就是对每个 i<j 都必须 a[i]-i <=a[j]-j ………………(1)
下面证明这个式子的正确性:
严格单调递增序列有 a[i+1]-a[i] > 0
由于是整数,所以 a[i+1]-a[i] >= 1
稍微变形也就是 a[i]-i <= a[i+1]-(i+1)
于是由不等式的传递性,a[i]-i <= a[i+1]-(i+1) <= a[i+2]-(i+2) <= ..... <=a[j]-j
于是我们令b[i]=a[i]-i,则a[i]的严格递增等价于b[i]的单调不降
所以只需要求出b[i]的最长不下降子序列,把不在序列中的那些数b[i]都改成符合条件的数(比如说和左边最近一个在最长不下降子序列中的b[j]相等)就能满足题意了
当然,我们并不需要求出具体的修改方案,我们只需要求出最长不下降的长度K,输出N-K即可
【代码】
#include<cstdio>
#include<cstdlib>
#include<cmath>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<queue>
using namespace std;
const int MAXN=100005;
const int INF=999999999;
int N,v[MAXN],f[MAXN],top;
void _in(int &x)
{
char t=getchar();
while(t<'0'||'9'<t) t=getchar();
for(x=0;'0'<=t&&t<='9';x=x*10+t-'0',t=getchar());
}
void _init()
{
_in(N);
for(int i=1;i<=N;i++)
{
_in(v[i]);
v[i]-=i; //处理输入
}
}
int _midfind(int x)
{
int Left=0,Right=top,Mid,ans=0;
while(Left<Right)
{
Mid=(Left+Right+1)>>1;
if(f[Mid]<=x)
{
ans=Mid;
Left=Mid;
}
else
Right=Mid-1;
}
return ans;
}
void _solve()
{
f[0]=-INF;f[1]=v[1];
top=1;
for(int i=2;i<=N;i++) //时间复杂度O(nlogn)的最长不降子序列
{
int k=_midfind(v[i]);
f[k+1]=v[i];
top=max(top,k+1);
}
printf("%d\n",N-top);
}
int main()
{
_init();
_solve();
return 0;
}