2021CCPC华为云挑战赛-热身赛-Problem C

题目链接：

https://acm.hdu.edu.cn/contests/contest_showproblem.php?pid=1003&cid=1030

题意：

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

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

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

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

思路：

因为数组B是严格上升的，所以我们可以发现 Bi > Bj (i > j),可以推出 Bi - Bj >= i - j   ==>   Bi - i >= Bj - j。所以我们只需要让当前的这一位大于等于他前面的每一位，那么就能变成一个单调上升的序列了。所以我们二分查找每次改变的最大值，就能得出最大值的最小值了。

特别点：

为什么要推出这个公式呢？使用这个推导出来的公式是为了固定当前这个数字所在的位置
如果是求要改变几个数能变成单调上升序列，那么只需要求出现在的最长上升序列，就能得出答案，但是不行
例如： 2 3 4 4 5，如果不用，那么按照最长上升子序列求出来的结果是1，他算出来只需要改变第4个数，但实际上是2，最后两个都需要改变。但如果用推导出来的公式，那么这个 2 3 4 4 5就变成了 2 2 2 1 1.当前最长非减序列长度为3，所以结果为2，答案正确，这个就代表了当前位置固定，2 3 4这个位置固定不变，我们只需要更改而且必须更改后面的两个，才能得到正确的结果。（但好像对于这一题来说没有什么用）

代码：

#include<bits/stdc++.h>
using namespace std;
const int N = 1e5 + 10;
int a[N];
int n;

bool check(int x)
{
	//pre代表a[i - 1]的值
    int pre = a[0] - x;
    for(int i = 1; i < n; i++)
    {
    	//a[i]每次取比a[i - 1]大一点点的最小数，那么对于后面来说，也是方便的
        if(a[i] + x < pre) return false;
        else    pre = max(a[i] - x, pre);
    }
    return true;
}

int main()
{
    int t;
    scanf("%d", &t);
    for(int c = 1; c <= t; c++)
    {
        cin >> n;
        for(int i = 0; i < n; i++)
        {
            scanf("%d", &a[i]);
            a[i] -= i;
        }
        int l = 0, r = 1e6 + 10;
        while(l < r)
        {
            int mid = (l + r) >> 1;
            if(check(mid))  r = mid;
            else    l = mid + 1;
        }
        printf("Case #%d:\n%d\n",c,l);
    }
}