数据结构——队列

本文主要内容：

• 模拟队列
• 单调队列

---

1 模拟队列

• 主要功能：

1. 实现一个具有队列基本功能并能随机访问的模拟队列

• 时间复杂度：
  队尾插入，队首弹出，判空操作均为o(1)
• 基本思路：

1. 利用一个数组q[]存放队列元素，两个变量tt和hh分别指向队尾和队首元素
2. 初始化时tt=-1，hh=0（也可以有其他初始化方式）
3. 入队x：q[++tt]=x，出队：++hh，队首：q[hh]，若tt>=hh则队列非空，否则为空

• 注意事项：

1. 不要忘了tt和hh的初始化

• 例题：

1. 模板题：Acwing829.模拟队列

#include<iostream>

using namespace std;

const int N = 1e5 + 5;

int q[N], hh = 0, tt = -1;

int main()
{
    int m;
    cin >> m;
    while(m--)
    {
        string op;
        int x;
        cin >> op;
        if(op == "push")
        {
            cin >> x;
            q[++tt] = x;
        }
        else if(op == "pop")
            ++hh;
        else if(op == "empty")
        {
            if(tt >= hh)puts("NO");
            else puts("YES");
        }
        else cout << q[hh] << endl;
    }
    return 0;
}

---

2 单调队列（滑动窗口）

• 主要功能：

1. 单调递增（减）队列求滑动窗口的最小（大）值

• 时间复杂度：
  单次查询窗口最值o(1)
• 基本思路：（以求窗口最小值为例）

1. 与单调栈不同，滑动窗口用的是双端队列结构（可以通过模拟队列来实现），存储的是元素下标而不是元素的值（方便判断窗口长度来弹出队首元素）。
2. 滑动窗口往后移动一位，就要判断一下窗口长度是否超过要求，超了则弹出队首，保证当前队列里所有元素都在滑动窗口内。
3. 然后将大于等于当前访问元素x的所有队列元素从队尾弹出，直到队列为空，因为这些被弹出的元素没用处了，再把当前元素从队尾入队，当前元素一定是队列最大值，所以队列一直是单调递增的。
4. 此时队列至少有一个元素，且当前队列里所有元素都在窗口内并且队列元素单调递增，所以此时窗口最小值为队首元素。

• 注意事项：

1. 注意hh和tt的初始化
2. 队列存数组元素下标
3. 队列里有元素才能进行出队操作

• 例题：

1. 模板题：Acwing154.滑动窗口、Acwing652.切蛋糕
2. 单调队列优化DP：

2.1 Acwing154.滑动窗口

模板题不多说

#include<iostream>

using namespace std;

const int N = 1e6 + 5;

int q[N], tt = -1, hh = 0;
int n, k, a[N];

int main()
{
    cin >> n >> k;
    for(int i = 0; i < n; i++)
        cin >> a[i];
    for(int i = 0; i < n; i++)
    {
        if(i - k + 1 > q[hh])++hh;
        while(tt >= hh && a[i] <= a[q[tt]])--tt;
        q[++tt] = i;
        if(i - k + 1 >= 0)cout << a[q[hh]] << " ";	//凑齐一个完整窗口才输出窗口最小值
    }
    tt = hh = 0;
    puts("");
    for(int i = 0; i < n; i++)
    {
        if(i - k + 1 > q[hh])++hh;
        while(tt >= hh && a[i] >= a[q[tt]])--tt;
        q[++tt] = i;
        if(i - k + 1 >= 0)cout << a[q[hh]] << " ";//凑齐一个完整窗口才输出窗口最大值
    }
    return 0;