【ACWing 算法基础】单调栈

一. 模板

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

二. 总结

1. Q: 为什么要保持栈内元素大小的单调递增特性？

由于栈内元素是递增的，所以比较次数一定是最少的，这就实现了优化。

2. Q: 如何保持栈内元素大小的递增性？

在依次出栈比较栈顶元素和当前数组元素大小的时候，如果栈顶元素小，那么找到目标值，将当前数组元素入栈，这样保持了栈内元素大小的递增性；如果栈顶元素大，那么栈顶指针左移，直到找到目标值，再将当前数组元素入栈，这样就保持了栈内元素大小的递增性。我们不必在意这个过程破坏了栈的结构，因为之前的数已经找到之前数组元素对应的目标值了。

三. 例题

• 830. 单调栈
  

AC代码:

#include <iostream>

using namespace std;

const int N = 1e5 + 10;

int stk[N], tt;

int main()
{
    ios::sync_with_stdio(false);
    
    int n;
    cin >> n;
    
    int x;
    while (n--) {
        cin >> x;
        while (tt && stk[tt] >= x) --tt;  // 栈中的数不满足性质
        if (tt) cout << stk[tt] << ' ';  // 栈中的数满足性质
        else cout << -1 << ' ';
        
        stk[++tt] = x;  // 新的数入栈
    }
    
    return 0;
}