单调栈，单调队列，暴力算法的优化（附带例题详解以及模板）

单调栈：

模板:
常见模型：找出每个数左边离它最近的比它大/小的数
int tt = 0;
for (int i = 1; i <= n; i ++ )
{
    while (tt && check(stk[tt], i)) tt -- ;
    stk[ ++ tt] = i;
}

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

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

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

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

    数据范围
    1≤N≤105
    1≤数列中元素≤109
    输入样例：
    5
    3 4 2 7 5
    输出样例：
    -1 3 -1 2 2
     代码:
    #include <iostream>
    using namespace std;
    const int N=100010;
    int n;
    int stack[N],tt;//此行代码模拟栈实现在遍历过程中对遍历过的元素进行储存
    int main(){
        ios::sync_with_stdio(false);
        cin>>n;
        for(int i=0;i<n;i++){
            int x;
            cin>>x;
            while(tt&&(stack[tt]>=x)) tt--;//把栈顶大于等于x的元素进行删除（等于的元素也删除是因为题目找目标元素左边第一个）
            if(tt) cout<<stack[tt]<<' ';//如果栈未空，则存在
            else cout<<-1<<' ';//栈空了，说明没有
            stack[++tt]=x;//插入当前元素
        }
        return 0;
    }

单调队列：

常见模型：找出滑动窗口中的最大值/最小值
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;
}
例题:
给定一个大小为 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
   代码:
#include <iostream>
using namespace std;
const int N=1000010;
int n,k;
int a[N],q[N];//q[]数组表示的是窗口，储存的是下标（目的是确保窗口的长度不超过k）
int main(){
    cin>>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<=tt)确保队列最小长度为0。i-k+1>q[hh]等价于i-q[hh]+1>k，表示当窗口长度一                                        但超过k,就进行队列弹出操作
        while(hh<=tt&&a[q[tt]]>a[i]){//
            tt--;//尾部pop
        }
        q[++tt]=i;
        if(i>=k-1) cout<<a[q[hh]]<<' ';// 当队列读入完前k个元素时才能被看作满足题目条件的窗口
    }
    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;
}

单调队列优化条件：对于任意时刻的窗口，设新进入窗口的数为new，窗口内的数为old，只要old大于new,old就永远不会作为一个答案输出，所以old可以弹出，不用重复比较.

这就是为什么叫单调队列，因为窗口的数据具有单调性，根据单调性输出最值！！从而实现时间复杂度降低为O(n)

队列例题优化前后时间复杂度对比：

算法	时间复杂度
暴力	O（n*k）
单调队列	O（n)

总结：

单调栈和单调队列的思想是对暴力算法的优化，与双指针的思想一样。

做题的思路都是先用暴力做法写出，再分析出可以对其进行优化的条件。