codeforces 562 div2 Increasing by Modulo（贪心，二分）

题目大意：

有一串数字An,这些数字的范围是0-m-1，然后我们有一种操作：每次可以选择任意个数字，每个数字Aith可以Aith=(Aith+1)%m

问我们最少对每个数字 进行多少次的操作，可以使得这些数字单调不减。每个数字的操作次数相同。

解题思路：

这种贪心题一般都有个特点，就是往往有一个最优的边界，然后我们证明可以达到这个最优边界。在这里我们得出最多m-1次操作可以使得这些数字单调不减，因为大不了我们每个数字重新排序得到 0,1,2,...m-1嘛，所以我们可以尝试这里的所有数，但是直接尝试复杂度会O(N^2)，所以我们这里用一个二分查找，mid=l+(r-l)/2 ，若mid次操作可行的话，我们令r=mid否则l=mid+1，退出条件就是(l>=r)，其中l，r分别代表上下边界。

#include <bits/stdc++.h>
using namespace std;
int main(){
	int n,m;
	cin>>n>>m;
	vector<int> mv(n+1,0);
	for(int i=0;i<n;i++){
		cin>>mv[i];
	} 
	int x,y;
	y=m;
	x=0;
	while(x<y){
		int mid=(y-x)/2+x;
		int sucFlag=1;
		int prev=-1;
		for(int i=0;i<n;i++){ 
			if(!i){
				if(mv[i]+mid>=m){
					prev=0;
				}else prev=mv[i];
				continue;
			}
			if(mv[i]+mid>=m){
				if(mv[i]>prev && (mv[i]+mid)%m<prev){
					prev=mv[i];
				}
			}else{
				if(mv[i]+mid<prev){
					sucFlag=0;
					break;
				}else if(mv[i]<=prev && mv[i]+mid>=prev){
					continue;
				}else if(mv[i]>prev){
					prev=mv[i];
				}else {
					assert(0);
				}
			}
		}
		if(sucFlag){
			y=mid;
		}else x=mid+1;
	}
	cout<<x<<endl;
	return 0;
}