Increasing NOIp2013-Training Series #1

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;
}