单调栈与单调队列

简介

单调栈：栈中的元素从栈底到栈顶满足单调性。以递增栈为例，如果新来元素大于等于栈顶元素则直接入栈，否则从栈顶开始依次将比新来元素大的元素出栈，以此来保证单调性。
单调队列：队列中的元素从头到尾满足单调性。以递增队列为例，如果新来元素大于等于队尾元素则直接入队，否则从队尾开始依次将比新来元素大的元素出队，以此来保证单调性。
单调栈和单调队列的概念很好理解，实现也很方便，关键在于应用，能够将一些算法问题映射到单调栈或调单队列进行处理。
参考链接

单调栈应用

给定一个非负整数构成的数据，以数组中元素值为高，边长为1可以构建一个柱状图，求柱状图中矩形面积的最大值。
示例：
input： 7 2 1 4 5 1 3 3
output： 8

分析

先思考一个问题，如果题目中的矩形的高度都是单调递增的，如何得到最优解？显然有一个贪心的策略，就是以每一个矩形的高度作为最终大矩形的高度，看最宽能是多少，然后统计最优解。
但如果进来的下一矩形比上一个低，它其实相当于限制了之前矩形的高度，那么之前矩形比这个矩形高出的高度在以后的统计中就没有丝毫用处了，如果我们在这个时候把以之前矩形的高度作为最终高度的答案统计掉，那么反正以后的统计和上一个矩形没有关系，还不如把他删除。
这样，我们实际上就得到了单调栈的模型，只需要维护一个单调栈，在维护单调性的弹出操作时统计宽度，更新答案即可在O(n) 实际内得到最优解。
为了方便把最后剩下的，以及单调递增的矩形也统计进去，我们假设a[n+1]的位置有一个高度为0的矩形，最后将它加入单调栈时他会将所有矩形都弹出，那么答案也就完成最后的更新了。

#include<bits/stdc++.h>
using namespace std;
int n,height[100080]={},width[100080]={},Stack[100080]={},top=0;
inline bool input()
{
	scanf("%d",&n);
	if(!n)return false;
	for(int i=1;i<=n;i++)scanf("%d",&height[i]);
	height[n+1]=0;
	return true;
}
inline long long work()
{
	long long ans=0;
	for(int i=1;i<=n+1;i++)
	{
		if(height[i]>Stack[top])
		{
			Stack[++top]=height[i];width[top]=1;
		}
		else
		{
			int Widthsum=0;
			while(Stack[top]>height[i])
			{
				Widthsum+=width[top];
				ans=max(ans,(long long)Widthsum*Stack[top]);
				top--;
			}
			Stack[++top]=height[i];width[top]=Widthsum+1;
		}
	}	
	return ans;
}
int main()
{
	freopen("test.in","r",stdin);
	freopen("test.out","w",stdout);
	while(input())
	{
		printf("%lld\n",work());
		top=0;
		memset(Stack,0,sizeof(Stack));
		memset(height,0,sizeof(height));
		memset(width,0,sizeof(width));
	}
	return 0;
}

单调队列应用

输入一个长度为n的整数序列，从中找出一段不超过M的连续子序列，使得 整个序列的和最大。
input:
6 4
1 -3 5 1 -2 3
output:
7

分析

（1）该题可以暴力求解，但是会超时。暴力的方法是依次求得长度为1…M的所有序列中和最大的，求长度为i的最大序列和可以采用滑动窗口方式解决复杂度为O(N)，总复杂度为O(mn);
(2)首先，直接找区间最大和会比较困难，我们可以尝试转换问题模型。其实，求区间和问题就相当于找前缀和的最大差值，在这道问题中，原问题就可以转换为找到两个位置x，y，使得sum[y]-sum[x]最大并且y-x≤m。
我们一重循环枚举右端点i，那么问题就转化为：找到左端点j，j∈[i-m,i-1]且sum[i] - sum[j]最大。
这就是我们单调队列维护的对象。试考虑两个位置j，k，如果j，k都满足要求，且k>j,s[k]<s[j]（s数组中保存前k项和），k就一定比j更优。因为它更接近i，即使j被剔除，k仍不一定被剔除，况且，s[k]<s[j]，它的数值也比j优，所以，无论从哪方面考虑，k都优于j，那么等到k进入[i-m,i-1]的区间后，j就毫无用处了，我们可以删除j。这些操作就维护了一个单调队列，而单调队列就保证了对头的元素最优。我们就可以O(n)的求解这个问题了。

#include<bits/stdc++.h>
using namespace std;
int n,m,num[300080]={},s[300080]={};
deque< int >Q;
inline void input()
{
	scanf("%d%d",&n,&m);
	for(int i=1;i<=n;i++)
	{
		scanf("%d",&num[i]);
		s[i]=s[i-1]+num[i];
	}
}
inline int FindMax()
{
	int ans=-0x3f3f3f3f;
	Q.push_back(0);
	for(int i=1;i<=n;i++)
	{
	//队头下标不在范围内可以直接扔掉
		while(!Q.empty()&&Q.front()<i-m)Q.pop_front();
		//更新最大值
		ans=max(ans,s[i]-s[Q.front()]);
		//如果队尾元素值比s[i]大可以直接扔掉，因为队列前面有更优解
		while(!Q.empty()&&s[Q.back()]>=s[i])Q.pop_back();
		Q.push_back(i);
	}
	return ans;
}
int main()
{
	freopen("test.in","r",stdin);
	freopen("test.out","w",stdout);
	input();
	printf("%d\n",FindMax());
	return 0;
}