单调栈板子

合集 - 算法模板(30)

1.01穷举模板（dfs）01-05

2.单调栈板子01-10

3.拓补排序板子（邻接表实现）01-114.堆结构与堆排序01-145.LCS(递归/记忆化/dp）01-186.树状数组板子（单点增加+范围查询）01-207.位运算内容01-248.线段树板子01-259.前缀树板子01-2610.树状数组板子02-1611.数论分块02-1912.ST表模板（RMQ查询）02-2213.扩展欧几里得算法模板02-2314.快速幂模板02-2315.同余式/乘法逆元/费马小引理02-2316.矩阵乘法/矩阵快速幂模板02-2417.分解质因数02-2418.埃氏筛/欧拉筛模板02-2419.欧拉函数/欧拉定理/扩展欧拉定理02-2520.拓补排序板子（卡恩算法/02-2521.最短路Djikstra算法板子02-2522.LIS板子（二分优化）02-2523.LCS板子02-2524.SPFA板子02-2625.prim板子02-2726.并查集板子01-0427.Kruskal板子02-2728.线段树板子03-0429.字符串哈希板子03-0930.KMP板子03-09

收起

单调栈

用于求解数组每个位置上左边/右边离自己最近的且严格小于/大于自己位置上的数的位置
时间复杂度O(N)(每个元素下标进栈一次出栈一次）
元素下标能表示的含义比元素本身要多
(ps:注意数组长度，过大就要开到全局变量中，否则异常退出orz）

方法（求每个位置上离自己最近且严格小于自己的元素位置（严格大压小）），允许有重复值

int ans[maxn][2];//用来存放每个位置上左答案和右答案
int st[maxn];//用数组模拟栈
void compute(int arr[])
{
    int r=0;
    int cur;
    //遍历阶段
    for(int i=0;i<n;i++)
    {
        while(r>0&&arr[st[r-1]]>=arr[i])//栈顶元素大于或等于要进栈的元素
        {
            cur=st[--r];//栈顶元素的index
            ans[cur][0]= r>0 ? st[r-1]:-1;（如果下面没压下标，就返回-1当作不存在）
            ans[cur][1]=i;（如果栈顶元素大于要进栈的元素，此答案为真。否则，先记录下来，再修正）
        }
        st[r++]=i;//元素下标进栈
    }
    //清算阶段
    while(r>0)//当栈里还有元素下标时
    {
        cur=st[--r];
        ans[cur][0]= r>0?st[r-1]:-1;
        ans[cur][1]=-1;//右边没有
    }
    //修正阶段
    for(int i=n-2;i>=0;i--)//从右往左修正（n-1位置元素右侧一定是-1，无需验证）
    {
        if(ans[i][1]!=-1&&arr[ans[i][1]]==arr[i])//只需验证右答案正确性（如果i位置元素==右答案记录的元素，就把i位置右答案“右移动”）
        {
            ans[i][1]=ans[ans[i][1]][1];
        }
    }
}