一、基本知识
单调队列:队列中元素具有单调性,始终保持单增或单减的特性,队首和队尾都可以出队,只有队尾可以入队
其实单调队列不只是做到了排序,还可以实现一个功能:在每次加入或者删除元素时都保持序列里的元素有序,即队首元素始终是最小值或者最大值,这个功能非常重要,可以很快得到结果,单调队列我们就是使用的这个功能。
二、实现方法
例题:洛谷P1886滑动窗口 滑动窗口 /【模板】单调队列 - 洛谷
1.数组模拟
首先设置队首hh和队尾tt指向的下标。(注意:队首指向0,队尾指向-1,默认的是队列里面没有元素)
然后就是对队列的操作:
1.检查队首:如果队首指向的下标小于等于i-k,即队首的元素已经跑出了k长度即[ i − k + 1 , i ] [i-k+1,i][i−k+1,i]这个区间,那么就要将队首元素弹出来,对应将hh+1。
2.检查队尾:如果队尾的元素大于要添加的值,如果这个值加上去队列就不会保持单调性,所以要弹出队尾元素,对应tt减一(可能会一直不满足,所以要一直(所以要while)弹出队尾元素)。目的就是保持队首元素一直是最小值,且队列单调。
3.加入队尾元素:q [ + + t t ] = i q[++tt] = iq[++tt]=i,首先tt加一要腾出位置,加入的是元素的下标,一定注意。
#include <iostream>
using namespace std;
const int N = 1e6+5;
int n, k;
int a[N], q[N], hh, tt;
int main() {
cin >> n >> k;
for (int i = 0; i < n; ++i) cin >> a[i];
hh = 0, tt = -1;
for (int i = 0; i < n; ++i) { // 最小值
// 判断队头是否已经划出窗口
if (hh <= tt && i - k + 1 > q[hh]) hh ++; // 用while比较保险,但是针对for来讲只会有一次队头不满足的情况
while (hh <= tt && a[q[tt]] >= a[i]) tt --;
q[++ tt] = i; // 要在if前把i加进去,因为如果a[i]很小,把队列全部清空,应该是返回a[i]的
if (i >= k - 1) cout << a[q[hh]] << ' '; //输出队首
}
puts("");
hh = 0, tt = -1;
for (int i = 0; i < n; ++i) { // 最大值 仅需要改变while的小于等于即可
// 判断队头是否已经划出窗口
while (hh <= tt && i - k + 1 > q[hh]) hh ++; // if while 均可
while (hh <= tt && a[q[tt]] <= a[i]) tt --;
q[++ tt] = i;
if (i >= k - 1) cout << a[q[hh]] << ' ';
}
return 0;
}
2.双端队列实现
时间复杂度O(N)
#include <bits/stdc++.h>
using namespace std;
const int N=1e6+5;
int m[N]; //用于储存最大值序列
struct node{ //队列的节点,包含元素在列表中原来的位置和值
int order;
int value;
}tmp;
deque<node>maxn,minn; //定义节点类型单调队列,分别记录区域内最大值和最小值
int main()
{
int n,k,t; //n,k如题目中含义,t用于暂时储存输入
int m_lo=0; //最大值序列下标
scanf("%d%d",&n,&k);
for(int i=0;i<n;i++)
{
scanf("%d",&t);
if(!maxn.empty() && i-maxn.front().order>=k) maxn.pop_front(); //单调队列的原理部分
if(!minn.empty() && i-minn.front().order>=k) minn.pop_front(); //具体看下方说明
while(!maxn.empty() && maxn.back().value<t) maxn.pop_back();
while(!minn.empty() && minn.back().value>t) minn.pop_back();
tmp.value=t; //节点入列
tmp.order=i;
maxn.push_back(tmp);
minn.push_back(tmp);
if(i>=k-1) //当达到题目要求区间长度时就开始输出最小值序列,并储存最大值序列
{
if(i==n-1) printf("%d\n",minn.front().value);
else printf("%d ",minn.front().value);
m[m_lo++]=maxn.front().value;
}
}
for(int i=0;i<m_lo;i++) //输出最大值序列
{
if(i==m_lo-1) printf("%d\n",m[i]);
else printf("%d ",m[i]);
}
}
要注意的点:
1. 写if和while的时候一定要先写判断队列是否为空,否则if和while中会进行溢出操作。
2. 判断队首是否出队和队列长度没有确定关系,因为队列不一定都包含了整个区间的元素。
3. 对于重复元素去不去除都可以,去除可以保证队列中至少有一个,不去除不影响队首,且在遇到更小的值时都会出队。
4. 这个算法只有一个for循环,且每个元素都只出入一次,所以时间复杂度为o(n)。