CF1168A Increasing by Modulo 二分

http://codeforces.com/problemset/problem/1168/A

大意： 一个数组 一个模数m ，一次操作可以让数组里的多个元素(ai+1)%m，要让整个数组不下降，求最小操作数

思路： 易知答案x最多不会大于模数m，我们可以二分搜索x。如果当前解可行，那么将搜索区间缩小到[l,mid]， 不可行(x>mid)则缩小到[mid,r] 直到 l = r-1为止，此时的r便是最小操作数x.   

注意(lf<=prev+m && prev+m<=rf)的含义，它在表示区间[lf,rf]的某一段已经超过m，将区间的每个点mod m后，得到的新区间是否包含prev

 

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn=3e5+5;
int a[maxn];

int main()
{
    //freopen("datain.txt", "r", stdin);
    ios::sync_with_stdio(0); cin.tie(0); int n,m; cin>>n>>m; for(int i=0;i<n;i++) cin>>a[i]; int l=0,r=m; while(l<r){ int mid=(l+r)/2; int prev=0; bool good=true; for(int i=0;i<n;i++){ int lf=a[i],rf=a[i]+mid; if((lf<=prev&&prev<=rf)||(lf<=prev+m&&prev+m<=rf)) continue; if(a[i]<prev) { good=false; break; } else prev=a[i]; } if(!good) l=mid+1; else r=mid; } cout<<r<<endl; }

 

 

 注意

此处把prev=a[0],for从1开始循环会引发W

因为此作法把a[0]当作了固定值，没包含在二分搜索里

但显然有些最优解需要改动a[0]的值

比如有些情况 i=0时 就二分到了初始区间的右半段

转载于:https://www.cnblogs.com/hanker99/p/10965456.html