5.6单调队列

5.6单调队列

基本知识

• 单调队列是一个满足内部单调递增/递减的数据结构，常用于维护区间最值或降低dp维度
• 单调队列的实现依赖于双端队列，通过后端弹出腾出空间，通过前端弹出保持在区间范围内
• 单调队列有以下两个性质：
  1. 队列中的元素在原数组中的下标单调
  2. 队列中的元素的大小单调

例题：

例题1：【模板】滑动窗口

1. 思路：

• 由单调队列的性质可知，当元素$a_i$需要对于最大值，我们可以这样维护最大值：
  • 队首：判断队首对应元素在原数组中的位置，若其在i之前第k个位置之前，则弹出队列，保证单调队列维护的数是窗口中的数
  • 队尾：比较队尾元素与$a_i$的大小关系，若队尾元素小于$a_i$，则弹出，保证队列保持单调
• 最小值的维护同理
• 对于本题窗口滑动的操作，只需模拟窗口一位一位移动的过程，每次将下一个数加入队列即可

2. 代码：

#include <bits/stdc++.h>
using namespace std;
const int N = 1e6 + 10;

int a[N], w[N], v[N], n, k;  // w储存队列中元素，v储存队列下标对应的数组下标

void maxx() {
    int st = 1, ed = 0;
    for (int i = 1; i <= n; i++) {
        while (st <= ed && w[ed] < a[i]) --ed;  //从尾端弹出队列以添加元素
        w[++ed] = a[i];
        v[ed] = i;
        while (v[st] < (i - k + 1)) st++;  //从前端弹出队列中元素都在窗口内
        if (i > (k - 1))
            printf("%d ", w[st]);  //已经将窗口内元素都统计完了，于是输出
    }
}

void minn() {
    int st = 1, ed = 0;
    for (int i = 1; i <= n; i++) {
        while (st <= ed && w[ed] > a[i]) --ed;
        w[++ed] = a[i];
        v[ed] = i;
        while (v[st] < i - k + 1) ++st;
        if (i > (k - 1))
            printf("%d ", w[st]);
    }
}

int main() {
    scanf("%d%d", &n, &k);
    for (int i = 1; i <= n; i++) {
        scanf("%d", &a[i]);
    }
    minn();
    puts(" ");
    memset(w, 0, sizeof(w));
    maxx();
    return 0;
}