多比特杯武汉工程大学程序设计竞赛——再临嘴硬山

二分

1. 首先明确题目的意思，可以确定一个最大的差的绝对值，设更改后的序列为 $b$ ，在满足 $MA{X}_{i=1}^n|a_i-b_i|\le k$ 的条件下使得序列 $b$ 单调递减。

2. 这里可以直接二分答案，假设答案为 $d$ ，我们可以直接利用上面的条件进行 $check$ 。针对于 $|a_i-b_i|\le k$ ，这个展开来就是 $a_i-k\le b_i\le a_i+k$ ，我们可以利用这个范围。设第 $i-1$ 个矩形的高为 $las$ 且前 $i-1$ 个矩形都满足要求了。那么有以下讨论：

• 如果第 $i$ 个矩形的最小高度大于等于 $las$ 的话，那么当前 $d$ 肯定是不符合答案的。

• 如果第 $i$ 个矩形的最小高度小于 $las$ 的话。那么第 $i$ 个矩形是可以符合我们的要求的。

3. 怎么更新 $las$ 呢？因为第 $i$ 个矩形的高度无论如何不可以超过 $a_i+k$ ，而且也不能大于等于上一个矩形的高度，在满足上述的两个要求下需要要求 $las$ 尽可能的大，这样的话可以给后面的选择就更多，因此有以下讨论：

• 若 $las<=a_i+k$ ，$las=las-1$ 。保证小于第 $i-1$ 个矩形高度的最大值。

• 若 $las>a_i+k$ ，$las=a_i+k$ 。在保证小于第 $i-1$ 个矩形高度之后，是可以取到当前矩形的最大高度的。

#include <bits/stdc++.h>

#define endl '\n'

using namespace std;

const int N = 500010;

int n;
int a[N];

bool check(int x) {
    long long las = 1e9 + 10;
    for (int i = 1; i <= n; i ++ ) {
        long long miv = a[i] - x;
        long long mav = a[i] + x;
        if (miv >= las) return false;
        if (mav >= las) las -- ;
        else las = mav;
    }
    return true;
}

void solve() {
    cin >> n;
    for (int i = 1; i <= n; i ++ ) {
        cin >> a[i];
    }
    int l = 0, r = 1e9;
    while (l < r) {
        int mid = (l + r) >> 1;
        if (check(mid)) r = mid;
        else l = mid + 1;
    }
    cout << r << endl;
}

signed main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cout.tie(nullptr);
    int T = 1;
//    cin >> T;
    while (T--) {
        solve();
    }
    return 0;
}