Codeforces 1168A-Increasing by Modulo【二分】【贪心】

题目链接

题意

给出一个数组和一个模数m，每次操作可以选择若干个数，把他们的值改变成（a[i]+1）%m，问至少需要几次这样的操作，可以使这个数组变成不递减（即变成递增数列）；

思路

容易得知，最多m次操作就可以让数组变成递增数列，我们直接对答案x进行二分，初始l = 0，r = m，如果可以把数组变成递增，就把答案缩小，即则把r = mid - 1，如果不满足则把l = mid + 1，二分到最后就是答案
二分的判断
我们贪心遍历数组，因为a[i]>=0，所以我们初始化pre为0，
如果a[i] == pre，则pre不变;
如果a[i] > pre，则判断a[i] 加上x次操作能不能回到pre（即a[i] + x >=m && a[i] + x >= pre），如果可以回到pre，则pre不变，否则pre = a[i]；
如果a[i] < pre，则判断a[i] 加上x次操作能不能大于pre，可以则pre不变，否则说明x次操作不能使数组变成递增数列

代码

#include <stdio.h>
#include <string.h>
#include <iostream>
#include <algorithm>
using namespace std;

int a[300300], n, m;

bool check(int x){
	int pre = 0;
	for(int i = 1; i <= n; i++){
		if(a[i] > pre){
			if(a[i] + x >= m && (a[i] + x) % m >= pre){
				continue;
			}
			else{
				pre = a[i];
			}
		}
		else if(a[i] < pre){
			if(a[i] + x < pre){
				return false;
			}
		}
	}
	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, x;
	while(l <= r){
		int mid = (l + r)>>1;
		if(check(mid)){
			x = mid;
			r = mid - 1;
		}
		else{
			l = mid + 1;
		}
	}
	cout << x << endl;
}