什么是单调队列

什么是单调队列

单调队列是指队列中元素之间的关系具有单调性，而且，队首和队尾都可以进行出队操作，只有队尾可以进行入队操作。

单调队列的典型题目是滑动窗口，所以以滑动窗口为例简要介绍一下单调队列

例题-滑动窗口

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

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

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

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

以下是一个例子：

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

窗口位置	最小值	最大值
[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

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

输入格式

输入包含两行。

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

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

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

输出格式

输出包含两个。

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

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

输入样例：

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

输出样例：

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

思路

单调队列和单调栈的思路是一样的，我们先想一下暴力怎么做，然后把其中没有用的删掉，我们就可以得到单调性了， 有单调性的话我们再去求极值，然后就可以把枚举一遍的时间复杂度变成O(1)

暴力的做法就是我们用队列去维护这个窗口，每次把新元素插到队尾，滑出去的元素从队头弹出来。每次求极值的时候直接遍历一下队列里面的所有元素，这个时间复杂度是O(k),所以我们整个的时间复杂度就是O(nk),最坏情况就是O(n²)。然后我们考虑一下怎么优化，和单调栈类似，我们考虑队列里面是不是有些元素是没有用的，然后我们把这些没有用元素删掉看会不会得到单调性。

比如以样例为例，当我们的队列是3，-1，-3时，可以发现只要-3在队列里面，那么3，-1就不会作为答案输出出来。因此我们可以发现，只要我们队列里面前面的数比后面的数大，那么我们就可以判断前面的数一定没有用，只要我们有这样的逆序对，我们就可以大的数删掉，把所有这样的逆序对删掉，整个数列就会变成严格单调上升的数列。我们求的是这个队列里面的最小值，一个严格单调上升的队列的最小值就是我们的队头，所以每次找最小值直接找队头就可以了。

还有就是判断队头元素什么时候出队?对这个题来说，i是枚举的右端点，k是区间长度，注意队列里面存的是下标，看队头的下标是不是在(i-k+1,i)范围里面就行。

所以单调栈和单调队列的做法是类似的，都是先考虑用栈和队列暴力做这个问题，然后再考虑删掉没有用的元素看是不是有单调性，如果剩下的元素有单调性的话我们就可以考虑优化了。

我们也是用数组模拟队列，因为这样速度比较快。

代码实现

#include <iostream>
using namespace std;
const int N=1e6+10;
int a[N],q[N];//a表示给定数组，q表示队列
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;
        //前k个数不用输出
        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]]<<" ";
    }
}