J - 序列变换

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

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

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

注意，每个元素在变换前后都是整数。
Input
第一行为测试的组数T(1≤T≤10).

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

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

第二行输出一个正整数，代表满足条件的最小代价。
Sample Input
2
2
1 10
3
2 5 4
Sample Output
Case #1:
0
Case #2:
1

#include<cstdio>
#include<cmath>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
int n;
int a[100001];

bool check(int mid)  
{  
    int x=a[0]-mid,y;  
    for(int i=1;i<n;++i)  
    {  
        y=a[i]-mid;  
        if(y<=x)  
        {  
            y=x+1;  
            if(abs(y-a[i])>mid)  
                return false;  
        }  
        x = y;  
    }  
    return true;  
}  

int main()
{
    int t;
    int tt;
    scanf("%d",&t);
    tt=t;
    int ans;
    while(t--)
    {
        scanf("%d",&n);
        for(int i=0;i<n;i++)
        {
            scanf("%d",&a[i]);
        }
        if(n==1)
        {
            ans=0;
        }
        else
        {
            int left=0;
            int right=999999;
            int mid;
            while(left<right)
            {
                mid=(left+right)/2;
                if(check(mid))
                {
                    right=mid;
                }
                else
                {
                    left=mid+1;
                }
            }
            ans=left;
        }



        printf("Case #%d:\n",tt-t);
        printf("%d\n",ans);
    }

    return 0;
}