Codeforces Round #562 (Div. 2) : C. Increasing by Modulo (二分答案 + 贪心check)

题目大意：初始时有一个长度为n的序列，现在你每次可以选其中任意个数字使他们的值x 变成 (x + 1) % m，现在要你执行多次这个操作，使得这个序列变成非降序的，问最少几次可以实现？

分析：执行任意多次是肯定实现的，因为你可以把所有元素变成0。如果执行的次数越多，越可能实现，答案具有单调性，可以二分答案。如何check呢，这里要思考一下，对于当前二分答案x，一般来说要采用最优最贪心的策略使得能在x次操作以内使得整个序列非降序，考虑如何贪心：首先如果能使某一个位置的数值需要操作使得它非降序，那么贪心的决策是只增加到和前面一样大，而不继续增大，因为这样可以使得后面 的数字上限较小，可能需要的操作次数较小。那么考虑对非降序序列的上限贪心。初始上限为0，对于a[i] + x < m的情况，若a[i]小于这个上限，且a[i] + x仍小于这个上限，那肯定做不了非降序了，直接return false，如果a[i] + x >= 当前上限，那么上限可以不用改变，我们可以只增长a[i]到这个上限。对于a[i] + x > m 的情况，这个时候a[i] 其实变小了，注意a[i] + x 是一定大于等于这个上限的，a[i] + x < 这个上限，上限需要改变，上限 = max(上限，a[i])，若a[i] + x > 这个上限，上限可以不用改变。

可以发现这样是最优的，因为上限尽量低，后面的序列更可能得到非降序序列，对于每一个数字都判断能否等于上限，如果不行才改变上限。

#include<bits/stdc++.h>
using namespace std;
const int maxn = 3e5 + 10;
int n,m,a[maxn];
bool check(int x) {
	int last = 0;
	for(int i = 1; i <= n; i++) {
		int t = (a[i] + x) % m;
		if(a[i] + x >= m && t < last) last = max(a[i],last); 
		if(a[i] + x < m) {
			if(a[i] + x < last)  return false;
			last = max(a[i],last);
		}
	}
	return true;
}
int main() {
	scanf("%d%d",&n,&m);
	for(int i = 1; i <= n; i++)
		scanf("%d",&a[i]);
	int l = 0,r = m;
	while(l < r) {
		int mid = l + r >> 1;
		if(check(mid) == true) r = mid;
		else l = mid + 1;
	}
	printf("%d\n",l);
	return 0;
}