单调栈和单调队列（c++）

1.单调栈

单调栈是指一个栈内部的元素是具有严格单调性的一种数据结构，分为单调递增栈和单调递减栈。

单调栈有两个性质

1.满足从栈顶到栈底的元素具有严格的单调性

2.满足栈的后进先出特性越靠近栈底的元素越早进栈

元素进栈过程

对于一个单调递增栈来说 若当前进栈的元素为 a 如果a < 栈顶元素则直接将a 进栈 如果 a >= 当前栈顶元素则不断将栈顶元素出栈知道满足 a < 栈顶元素
————————————————
来自CSDN博主「Glory_g」

基本模板

常见模型：找出每个数左边离它最近的比它大/小的数
int tt = 0;
for (int i = 1; i <= n; i ++ )
{
    while (tt && check(stk[tt], i)) tt -- ;
    stk[ ++ tt] = i;
}
作者：yxc
链接：https://www.acwing.com/activity/content/code/content/43105/
来源：AcWing

经典例题
AcWing 830. 单调栈

给定一个长度为N的整数数列，输出每个数左边第一个比它小的数，如果不存在则输出-1。

输入格式
第一行包含整数N，表示数列长度。

第二行包含N个整数，表示整数数列。

输出格式
共一行，包含N个整数，其中第i个数表示第i个数的左边第一个比它小的数，如果不存在则输出-1。

数据范围
1≤N≤105
1≤数列中元素≤109
输入样例：

5
3 4 2 7 5

输出样例：

-1 3 -1 2 2

解答
先依次输入数组元素，刚开始时栈中为空，用栈顶值与x相比，
若栈非空，并且栈顶元素大于x，删除该栈顶元素；
若栈为空，输出-1；
若栈中只有比x小的数，输出栈顶元素即可（即离x最近的元素）；
最后还要将x存入栈中，进行下一轮的比较；

#include <iostream>

using namespace std;

const int N = 100010;

int stk[N], tt; //! 顶层 默认初始化为 0

int main()
{
    int n;
    cin >> n;
    while (n -- )
    {
        int x;
        scanf("%d", &x);
        while (tt && stk[tt] >= x) tt -- ;//当栈非空，并且栈顶元素大于x，删除该元素；如果stack不为空且栈顶元素>=x,那么此时栈顶元素一定不可能是x左边第一个比它小的数；这样一直pop这样的栈顶元素,直到栈顶元素<x位置；此时stack中的元素严格单调递增且stack中的数均<X恒成立,当栈不为空时,x左边第一个比它小的数就是栈顶元素
        if (!tt) printf("-1 ");//当栈为空说明x左边无比它更小的值
        else printf("%d ", stk[tt]);//否则输出栈顶值
        stk[ ++ tt] = x;//并将x存入栈中
    }

    return 0;
}

```cpp

2.单调队列

单调队列是指一个队列内部的元素具有严格单调性的一种数据结构，分为单调递增队列和单调递减队列。

单调队列满足两个性质

1.单调队列必须满足从队头到队尾的严格单调性。

2.排在队列前面的比排在队列后面的要先进队。

元素进队列的过程对于单调递增队列，对于一个元素a 如果 a > 队尾元素 那么直接将a扔进队列 如果 a <= 队尾元素 则将队尾元素出队列 知道满足 a 大于队尾元素即可；
————————————————
来自CSDN博主「Glory_g」

基本模板

常见模型：找出滑动窗口中的最大值/最小值
int hh = 0, tt = -1;
for (int i = 0; i < n; i ++ )
{
    while (hh <= tt && check_out(q[hh])) hh ++ ;  // 判断队头是否滑出窗口
    while (hh <= tt && check(q[tt], i)) tt -- ;
    q[ ++ tt] = i;
}
作者：yxc
链接：https://www.acwing.com/activity/content/code/content/43107/
来源：AcWing

经典例题
AcWing 154. 滑动窗口

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

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

您只能在窗口中看到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

解题思路：
而在这个窗口中(以最小值为例)，我们每次入队一个数，如果有ai>aj && i<j,那么我们永远都不可能用到ai,就将ai出队(即弹出aj前面所有比aj大的数)，那么我们所得的q就是一个严格单调递增的队列,每次输出队首即可

个人认为这段代码最难理解的是:当窗口划过时,如何去更新q,可以这样理解,q中的首项永远是我们窗口里面最小值的位置,如果我们遍历i的时候找到了比q首项位置上更小的数，就将这个数的位置,更新成q的首项,否则就一直在q的队尾加数，而当我当前遍历到的位置i,i-k+1>q[hh],也就是说在极限情况时,q[hh]是窗口左边框,i是窗口的右边框,就需要将hh++来维护队列.

具体操作:

1 3 -1 -3 5 3 6 7

第一步:将 1 入队,hh=0,q[0]=0;

第二步:1<3,将 3 入队, hh=0 ,q[0]=0,q[1]=1;

第三步:3>-1, 前面的数都出队，将 -1 入队, hh=0, q[0]=2， 输出a[2]=-1;

第四步:-1>-3, 前面的数都出队, 将-3入队，hh=0, q[0]=3, 输出a[3]=-3;

第五步:-3<5, 将 5 入队, hh=0, q[0]=3,q[1]=4, 输出a[3]=-3;

第六步:5>3, 将5出队, 3入队，hh=0, q[0]=3, q[1]=5, 输出a[3]=-3;

第七步:3<6,将6入队,此时i-k+1=4,hh++,hh=1,q[1]=5,q[2]=6, 输出a[5]=3;

第八步:6<7,将7入队, hh=1,hh=1,q[1]=5,q[2]=6,输出3;
上述具体操作来自Accelerator

最小值和最大值分开来做，两个for循环完全类似，都做以下四步：

1、解决队首已经出窗口的问题;
2、解决队尾与当前元素a[i]不满足单调性的问题;
3、将当前元素下标加入队尾;
4、如果满足条件则输出结果;

需要注意的细节：

1、上面四个步骤中一定要先3后4，因为有可能输出的正是新加入的那个元素;
2、队列中存的是原数组的下标，取值时要再套一层，a[q[]];
3、算最大值前注意将hh和tt重置;
4、此题用cout会超时，只能用printf;
5、hh从0开始，数组下标也要从0开始。

#include <iostream>

using namespace std;

const int N = 1000010;

int a[N], q[N];//q[N]存储队列下标，a[N]存储下标对应元素

int main()
{
    int n, k;
    scanf("%d%d", &n, &k);
    for (int i = 0; i < n; i ++ ) scanf("%d", &a[i]);

    int hh = 0, tt = -1;
    for (int i = 0; i < n; i ++ )
    {
        if (hh <= tt && i - k + 1 > q[hh]) hh ++ ;// 若队首出窗口，hh加1

        while (hh <= tt && a[q[tt]] >= a[i]) tt -- ;// 若队尾不单调，tt减1
        q[ ++ tt] = i;// 下标加到队尾

        if (i >= k - 1) printf("%d ", a[q[hh]]);// 输出结果
    }

    puts("");

    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) printf("%d ", a[q[hh]]);
    }

    puts("");

    return 0;
}