单调队列详解

南昌理工学院acm集训队

概念

顾名思义，单调队列就是在队列的基础上，维护一个单调的序列。可以用来维护（给定大小的）区间的最值，其时间复杂度为o(n)，其中n为序列的元素个数。

性质

众所周知，单调性有单调递增和单调递减两种，相应的单调队列也分为单调递增队列和单调递减队列两种。

• 单调递增队列：保证队列头元素一定是当前队列的最小值，用于维护区间的最小值。

• 单调递减队列：保证队列头元素一定是当前队列的最大值，用于维护区间的最大值。

一个简单例子

在说具体怎么实现一个单调队列之前，先来一个简单的例子，感受一下。

给定数列：3，1，5，7，4，2，1，现在要维护 区间长度为3 的最大值。

操作序号	操作	队列中元素	指定区间最大值
1	3入队	3	区间大小不符合
2	1入队	3，1	区间大小不符合
3	3,1出队，5入队	5	区间[1,3]的最大值为5
4	5出队，7入队	7	区间[2,4]的最大值为7
5	4入队	7，4	区间[3,5]的最大值为7
6	2入队	7，4，2	区间[4,6]的最大值为7
7	1入队，7出队	4，2，1	区间[5,7]的最大值为4

可以发现队列中的元素都是单调递减的（不然也就不叫单调递减队列啦），同时既有入队列的操作、也有出队列的操作。

3. 实现流程：

实现单调队列，主要分为三个部分：

• 去尾操作 ：队尾元素出队列。当队列有新元素待入队，需要从队尾开始，删除影响队列单调性的元素，维护队列的单调性。(删除一个队尾元素后，就重新判断新的队尾元素)

去尾操作结束后，将该新元素入队列。

• 删头操作 ：队头元素出队列。判断队头元素是否在待求解的区间之内，如果不在，就将其删除。（这个很好理解呀，因为单调队列的队头元素就是待求解区间的极值）

• 取解操作 ：经过上面两个操作，取出 队列的头元素 ，就是 当前区间的极值 。

看例题：https://www.acwing.com/problem/content/156/

acwing 154  滑动窗口

154. 滑动窗口

给定一个大小为 n≤106n≤106 的数组。

有一个大小为 kk 的滑动窗口，它从数组的最左边移动到最右边。

你只能在窗口中看到 kk 个数字。

每次滑动窗口向右移动一个位置。

以下是一个例子：

该数组为 [1 3 -1 -3 5 3 6 7]，kk 为 33。

窗口位置	最小值	最大值
[1 3 -1] -3 5 3 6 7	-1	3
1 [3 -1 -3] 5 3 6 7	-3	3
1 3 [-1 -3 5] 3 6 7	-3	5
1 3 -1 [-3 5 3] 6 7	-3	5
1 3 -1 -3 [5 3 6] 7	3	6
1 3 -1 -3 5 [3 6 7]	3	7

你的任务是确定滑动窗口位于每个位置时，窗口中的最大值和最小值。

输入格式

输入包含两行。

第一行包含两个整数 nn 和 kk，分别代表数组长度和滑动窗口的长度。

第二行有 nn 个整数，代表数组的具体数值。

同行数据之间用空格隔开。

输出格式

输出包含两个。

第一行输出，从左至右，每个位置滑动窗口中的最小值。

第二行输出，从左至右，每个位置滑动窗口中的最大值。

输入样例：

8 3
1 3 -1 -3 5 3 6 7

输出样例：

-1 -3 -3 -3 3 3
3 3 5 5 6 7

题解：

#include<iostream>

using namespace std;
const int N=1e6+10;
int a[N],q[N];

int main()
{
    int n,k;
    cin>>n>>k;
    for(int i=0;i<n;i++)
        cin>>a[i];
    int hh=0,tt=-1;
    for(int i=0;i<n;i++)
    {
        if(hh<=tt && i-k+1>q[hh])
            hh++;
        while(hh<=tt && a[q[tt]]>=a[i])
            tt--;
        q[++tt]=i;
        if(i>=k-1)
          cout<<a[q[hh]]<<" ";
    }
    cout<<endl;
    hh=0,tt=-1;
    for(int i=0;i<n;i++)
    {
        if(hh<=tt && i-k+1>q[hh])
            hh++;
        while(hh<=tt && a[q[tt]]<=a[i])
            tt--;
        q[++tt]=i;
        if(i>=k-1)
          cout<<a[q[hh]]<<" ";
    }
    cout<<endl;
    return 0;
}