【2020.12.12提高组模拟】偷懒的西西

题目

Description

高三数学作业总共有n道题目要写(其实是抄)，编号1…n，抄每道题所花时间不一样，抄第i题要花a[i]分钟。由于西西还要准备NOIP，显然不能成天做数学作业。所以西西决定只用不超过t分钟时间抄这个，因此必然有空着的题。每道题要么不写，要么抄完，不能写一半。一段连续的空题称为一个空题段，它的长度就是所包含的题目数。这样应付自然会引起数学老师的愤怒。数学老师发怒的程度(简称发怒度)等于最长的空题段长度。

现在，西西想知道他在这t分钟内写哪些题，才能够尽量降低数学老师的发怒度。由于西西很聪明，你只要告诉他发怒度的数值就可以了，不需输出方案。(Someone:那么西西怎么不自己写程序？西西：我还在抄别的科目的作业……)

Input

第一行为两个整数n,t，代表共有n道题目，t分钟时间。

以下一行，为n个整数，依次为a[1], a[2],… a[n]，意义如上所述。

Output

仅一行，一个整数w，为最低的发怒度。

Sample Input

17 11

6 4 5 2 5 3 4 5 2 3 4 5 2 3 6 3 5

Sample Output

3

Data Constraint

60%数据 n<=2000

100%数据 0<n<=50000，0<a[i]<=3000，0<t<=100000000

Hint

分别写第4,6,10,14题，共用时2+3+3+3=11分钟。空题段：1-3(长度为3), 5-5(1), 7-9(3)，11-13(3), 15-17(3)。所以发怒度为3。可以证明，此数据中不存在使得发怒度<=2的作法。

题解

题目大意

有$n$个作业，每个作业需要花一定的时间，要求完成部分作业，使得完成时间小于等于$t$，同时使得连续未完成作业的最长长度最小，求长度

题目分析

这种只求答案的可以考虑二分答案

判断一个答案$mid$合法，就是使得$mid+1$的区间里至少要有一个作业写了，那么就跟一道单调队列板子题烽火传递很像。采用单调队列求出最优选择的代价，判断与$t$的关系即可

Code

#include<cstdio>
#include<cstring>
#include<iostream>
#define inf 2147483600
#define N 50005
using namespace std;
int n,m,l,r,mid,ans,a[N],f[N],q[N];
bool pd(int x)
{
	int h=1,t=0;
	memset(q,0,sizeof(q));
	memset(f,0,sizeof(f));
	for (int i=1;i<=n;++i)
	{
		while (t>=h&&f[q[t]]>=f[i-1]) --t;
		q[++t]=i-1;
		while (q[h]<i-x) ++h;
		f[i]=f[q[h]]+a[i];
	}
	int res=inf;
	for (int i=n;i>n-x;--i)
		res=min(res,f[i]);
	return res<=m;
}
int main()
{
	scanf("%d%d",&n,&m);
	for (int i=1;i<=n;++i)
		scanf("%d",&a[i]);
	l=1;r=n-1;
	while (l<=r)
	{
		mid=(l+r)>>1;
		if (pd(mid+1)) ans=mid,r=mid-1;
		else l=mid+1;
	}
	printf("%d\n",ans);
	return 0;
}