单调队列

单调队列，即单调递减或单调递增的队列。

单调队列的作用：用来解决“滑动窗口”问题。

推荐一篇介绍单调队列的文章：

https://sweetlemon.blog.luogu.org/dan-diao-dui-lie

直接拿一个图说明什么是”滑动窗口“问题：

如下图，给出一个长度为n的序列A，求A中所有长度为m的连续子序列的最大值。下图中假设n=7，m=3。

使用单调队列维护最值就行了。(最大值、最小值一定放在队头)

基本每次迭代都会有元素入队列，假如我们建立一个递增的单调队列，那么当队列为空时，元素直接入队列；当队列不为空，且当前元素大于队尾元素时，元素直接入队列；当队列不为空，且当前元素小于等于队尾元素时，从队尾开始向前扫描，找到一个大于等于当前元素的元素并用当前元素替换。(后面部分的全部舍去)

看一下洛谷的一道模板题。

https://www.luogu.org/problemnew/show/P1440

题目描述

一个含有n项的数列(n<=2000000)，求出每一项前的m个数到它这个区间内的最小值。若前面的数不足m项则从第1个数开始，若前面没有数则输出0。

输入输出格式

输入格式：

 

第一行两个数n，m。

第二行，n个正整数，为所给定的数列。

 

输出格式：

 

n行，第i行的一个数ai，为所求序列中第i个数前m个数的最小值。

 

输入输出样例

输入样例#1： 复制

6 2
7 8 1 4 3 2

输出样例#1： 复制

0
7
7
1
1
3 

说明

【数据规模】

m≤n≤2000000

ai≤3×10^7

思路跟上面上的差不多，但是因为队头元素是否弹出，要看队头元素的下标与当前位置下标之间的距离，因此用结构体数组来做。

#include<iostream>
#include<cstdio>
#include<stack>
#include<cmath>
#include<cstring>
#include<queue>
#include<map>
#include<set>
#include<algorithm>
#include<iterator>
#define INF 0x3f3f3f3f
#define EPS 1e-10
typedef long long ll;
typedef unsigned long long ull;
using namespace std;

struct node
{
	int index;	//下标
	int v;	//值
};

int a[2000005];
node q[2000005];	//单调队列

int main()
{
	int n,m;
	scanf("%d%d",&n,&m);
	for(int i=1;i<=n;i++)
		scanf("%d",&a[i]);
	int fon=1,bak=1;	//初始化头 尾指针 fon>=bak 空队列
	for(int i=1;i<=n;i++)
	{
		if(fon>=bak)
			printf("0\n");	//空队列 刚开始没有数
		else	//非空队列 看队头是否该出队了
		{
			if(q[fon].index+m<i)
				++fon;
			printf("%d\n",q[fon].v);
		}
		while(fon<bak&&q[bak-1].v>=a[i])//队列非空且队列尾元素大于等于当前元素
			--bak;
		q[bak].v=a[i];
		q[bak++].index=i;
	}
	return 0;
}

单调队列的元素都是有序的，按理说在查找元素时利用二分搜索效果会更好，但是我用了二分的方法跑的反而比上面的要慢，应该跟数据有关系。代码也贴上吧：

#include<iostream>
#include<cstdio>
#include<stack>
#include<cmath>
#include<cstring>
#include<queue>
#include<map>
#include<set>
#include<algorithm>
#include<iterator>
#define INF 0x3f3f3f3f
#define EPS 1e-10
typedef long long ll;
typedef unsigned long long ull;
using namespace std;

struct node
{
	int index;	//下标
	int v;	//值
	bool operator <(const node &a) const	// b<a 以a为参数
	{
		return v<a.v;
	}
};

int a[2000005];
node q[2000005];	//单调队列

int main()
{
	int n,m;
	scanf("%d%d",&n,&m);
	for(int i=1;i<=n;i++)
		scanf("%d",&a[i]);
	int fon=1,bak=1;	//初始化头 尾指针 fon<=bak 空队列
	for(int i=1;i<=n;i++)
	{
		if(fon>=bak)
			printf("0\n");	//空队列 刚开始没有数
		else	//非空队列 看队头是否该出队了
		{
			if(q[fon].index+m<i)
				++fon;
			printf("%d\n",q[fon].v);
		}
		if(fon<bak&&q[bak-1].v>a[i])//队列非空且队列尾元素大于等于当前元素
		{
			node temp;
			temp.v=a[i];
			temp.index=i;
			bak=lower_bound(q+fon,q+bak,temp)-q;
		}
		else if(fon<bak&&q[bak-1].v==a[i])
			--bak;
		q[bak].v=a[i];
		q[bak++].index=i;
	}
	return 0;
}

单调队列还可用于动态规划的优化： 

来自百度百科。