AcWing 1090 绿色通道 题解（动态规划—DP—单调队列优化DP）

思路：单调队列队首内储存从第i题到第i-op-1题中耗时最少的题目，算出做到每一题消耗的最少时间，遍历从n-op到n的最小耗时（这样可以保证最大空题段小于op），如果最小耗时都小于m，那代表这种方案合法，可以降低op的值看更小的空题段能不能满足要求，如果这种方案不合法，那就增大最小空题段的长度（用二分）
AcWing 1090 绿色通道

#include<bits/stdc++.h>

using namespace std;

const int N = 5e4 + 10;

int n, m;
int w[N];
int f[N];  //f[i]表示做到第i题(包含第i题)用的最少时间 
int q[N];

bool check(int op){
	int hh = 0, tt = 0;
	for(int i = 1; i <= n; i ++ ){
		if(tt >= hh && q[hh] < i - op - 1) hh ++ ;  //用i-op-1是因为空题段的最大长度是op，所以io前一个元素就是单调队列允许储存的最靠前的元素 
		f[i] = f[q[hh]] + w[i];
		while(tt >= hh && f[i] <= f[q[tt]]) tt -- ;
		q[ ++ tt] = i;  
	}
	
	for(int i = n - op; i <= n; i ++ ){  
	//从第n-op个时间开始看，因为从这一题开始向后都能保证空题段的最大长度小于op 
		if(f[i] <= m) return true;
	}
	return false;
}

int main()
{
	cin>>n>>m;
	for(int i = 1; i <= n; i ++ ){
		cin>>w[i];  //记录每道题画的时间 
	}
	
	int l = 0, r = n;
	while(l < r){
		int mid = (l + r) >> 1;  //mid表示的是做空题段的长度 
		if(check(mid)) r = mid;  //如果这个时间 
		else l = mid + 1;
	}
	
	cout<<l<<endl;
	return 0;
}