序列变换 二分搜索

描述
给定序列A={A1,A2,…,An}A={A1,A2,…,An}, 要求改变序列A中的某些元素，形成一个严格单调的序列B（严格单调的定义为：Bi < Bi+1,1 ≤ i< NBi< Bi+1,1 ≤ i< N）。

我们定义从序列A到序列B变换的代价为cost(A,B)=max(|Ai−Bi|)(1≤i≤N)cost(A,B)=max(|Ai−Bi|)(1≤i≤N)。

请求出满足条件的最小代价。

注意，每个元素在变换前后都是整数。

输入
第一行为测试的组数T(1≤T≤10)T(1≤T≤10).

对于每一组：
第一行为序列A的长度N(1≤N≤105)N(1≤N≤105)，第二行包含N个数，A1,A2,…,AnA1,A2,…,An.
序列A中的每个元素的值是正整数且不超过106106。

输出
对于每一个测试样例，输出两行：

第一行输出：”Case #i:”。i代表第 i 组测试数据。

第二行输出一个正整数，代表满足条件的最小代价。

Sample Input
2
2
1 10
3
2 5 4

Sample Output
Case #1:
0
Case #2:
1

当本身就是递增时 由于本人的二分存在缺陷 top-low>1 就停止了，为了输出特殊答案就再加一句：

• if(check(top-1)) top–;//排除本身就是递增的特殊情况

• 或者就让初始 low=-1（反正答案时top，也可以让top=0的情况直接输出了）

#include<stdio.h> 
#include<algorithm>
using namespace std;
int n,a[100005];
bool check(int ans)
{
    int last=a[0]-ans,now=1;
    while(now<n)
    {
        if(a[now]+ans<=last)
            return false;//一定不满足 取low=ans； 
        last=max(a[now]-ans,last+1);
        now++;
    }
    return true;//一定满足 取top=ans 
}
int main()
{
    int T,max;
    scanf("%d",&T);
    for(int t=1;t<=T;t++)
    {
        scanf("%d",&n);
        for(int i=0;i<n;i++)
            scanf("%d",&a[i]);
        int low=0,top=1000000;
        while(top-low>1)//目的 找出满足答案的最小值 
        {
            int m=(top+low)>>1;
            if(check(m))
                top=m;
            else
                low=m;
        }
        if(check(top-1)) top--;//排除本身就是递增的特殊情况 
        printf("Case #%d:\n%d\n",t,top);
    }
    return 0;
}