CF1168A Increasing by Modulo

Posted on | Views:

二分答案 + 贪心.

给出一个长度为 $n$ 的自然数序列 $a$ ,满足 $a_i\in [0,m)$ .

每次操作可以选出任意个元素进行修改,元素 $x$ 在修改后会变为 $(x+1)\bmod m$ .

需要求出至少操作几次,可以使得整个序列单调不降.

可以二分一个答案 $k$ ,则只需判断在 $k$ 次操作内能否达到要求.

贪心一下,如果一个数能在 $k​$ 次操作内变成上一个数,就把它变过去.

否则不变,若此时它比上个数小,就不合法了.

一个比较显然的答案上界是 $m$ ,因为操作 $m$ 次一定可以让所有数变成 $0$ .

时间复杂度 $O(n\log m)$ .

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
//%std
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
inline int read()
{
	int out=0,fh=1;
	char jp=getchar();
	while ((jp>'9'||jp<'0')&&jp!='-')
		jp=getchar();
	if (jp=='-')
		fh=-1,jp=getchar();
	while (jp>='0'&&jp<='9')
		out=out*10+jp-'0',jp=getchar();
	return out*fh;
}
const int MAXN=3e5+10;
int n,m,a[MAXN];
bool check(int k)
{
	int lst=0;
	for(int i=1;i<=n;++i)
	{
		int x=a[i];
		if((x<=lst && x+k>=lst) || (x>lst && x+k-m>=lst))
			continue;
		else
		{
			if(x<lst)
				return false;
			lst=x;
		}
	}
	return true;
}
int main()
{
	n=read(),m=read();
	for(int i=1;i<=n;++i)
		a[i]=read();
	int L=0,R=m,ans;
	while(L<=R)
	{
		int mid=(L+R)>>1;
		if(check(mid))
			ans=mid,R=mid-1;
		else
			L=mid+1;
	}		
	cout<<ans<<endl;
	return 0;
}