单调队列学习

一、基本知识

单调队列：队列中元素具有单调性，始终保持单增或单减的特性，队首和队尾都可以出队，只有队尾可以入队

其实单调队列不只是做到了排序，还可以实现一个功能：在每次加入或者删除元素时都保持序列里的元素有序，即队首元素始终是最小值或者最大值，这个功能非常重要，可以很快得到结果，单调队列我们就是使用的这个功能。

二、实现方法

 例题：洛谷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)。

三、例题