Codeforces1168 A.Increasing by Modulo（二分）

题意：

数据范围：1<=n,m<=3e5，0<=a(i)<m

解法：

x次操作能做到，那么x+1次一定也能做到，满足单调性。

那么二分操作次数，贪心地进行check即可。
check：每个数最多进行mid次操作，贪心地让左边的数尽量小，判断能否令序列满足不下降即可。

code：

#include<bits/stdc++.h>
using namespace std;
#define int long long
const int maxm=3e5+5;
int a[maxm];
int n,m;
bool check(int mid){
    int last=-1;
    if(a[1]+mid>=m)last=0;
    else last=a[1];
    for(int i=2;i<=n;i++){
        if(a[i]==last)continue;
        else if(a[i]>last){
            if(a[i]+mid>=m&&(a[i]+mid)%m>=last){
                continue;
            }else{
                last=a[i];
            }
        }else if(a[i]<last){
            if(a[i]+mid>=last){
                continue;
            }else{
                return 0;
            }
        }
    }
    return 1;
}
signed main(){
    cin>>n>>m;
    for(int i=1;i<=n;i++){
        cin>>a[i];
    }
    int ans=-1;
    int l=0,r=m;
    while(l<=r){
        int mid=(l+r)/2;
        if(check(mid))ans=mid,r=mid-1;
        else l=mid+1;
    }
    cout<<ans<<endl;
    return 0;
}

---