codeforces C. Increasing by Modulo（思维、二分）

题目：给定一个序列，你有这样一种操作：选出若干个数，转换a[i]->(a[i]+1)%m，要求尽可能少的操作次数下将此序列转变为一个非递减序列。

题解：我们这样想，如果让你操作x次，在这个规定次数把它转换为一个非递减序列，我们遍历这个序列，在满足非递减的前提下，序列的每个值当然是越小越好，这样才有进一步减少操作次数的空间。由于数据量n^2是不行的，我们可以考虑二分取枚举这个x。我们假设序列前面有个0，便于后面比较。

详见代码：

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<stack>
#include<vector>
#include<map>
#include<queue>
#include<set>
#include<cstring>
#include<cmath>
#define LL long long
#define INF 0x3f3f3f3f
using namespace std;
const int maxn=300005;
int n,m;
int a[maxn];
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)//如果走x步可以回到pre, 
				;
			else //如果不能，更新pre 
				pre=a[i];
		}
		else //如果此时不满足非递减，即此时的值比pre小 
		{
			if(a[i]+x>=pre)//如果走x步可以到达pre值，不改变pre 
				;
			else//如果不能，则此时的步数已经不满足了 
				return false;
		}
	}
	return true;
}
int main()
{
	cin>>n>>m;
	for(int i=1;i<=n;i++)
		cin>>a[i];
	int l=0;
	int r=m;
	while(l<=r)
	{
		int mid=(l+r)>>1;
		if(check(mid))
		{
			r=mid-1;
		}
		else
		{
			l=mid+1;
		}
	}
	cout << l << endl;
	return 0;
}