基础算法-单调栈

单调栈

单调栈可分为单调递增栈和单调递减栈

• 单调递增栈：栈中元素从栈底到栈顶递增。栈顶为最大元素。
• 单调递减栈：栈中元素从栈底到栈顶递减。栈顶为最小元素。

单调递增栈

记当前元素为$x$，栈顶元素为$y$。

对于一个数组中的元素，进行如下操作：

• $x\ge y$时，将$x$入栈
• $x<y$时，将$y$出栈，直到栈顶元素$\le x$然后将$x$入栈。当栈顶元素$>$当前元素时，进行弹栈操作。

这样就维护了一个单调递增栈。

维护这样一个栈有什么意义呢，我们看一个例子：$3,1,4,5,2,7$。

当$x=2$时，栈中元素为$1,4,5,y=5$。我们要将2入栈，则需要将4 5依次出栈，最终得到$1,2$。

那么这里出栈的$4,5$分别代表着什么？仔细观察可以发现，2是5右边第一个小于5的元素，同样的，2也是4右边第一个比它小的数。按照操作中的第二条，当栈顶元素被弹出时，意味着当前元素是栈顶元素右边第一个比它小的数。

类似地，我们思考一下这一步形成的最终序列$1,2$。1对2来说意味着什么？显然，1是2左边第一个小于等于2的元素(请注意这里用的小于等于，原因是在 操作①中，入栈的条件是$x\ge y$)。

所以，由一个单调递增栈，我们可以得到的结论是：

• 数组中栈顶元素右边小于该元素的的第一个数；即，当栈顶元素出栈时，当前元素为栈顶元素右边第一个小于栈顶元素的数。
• 数组中当前元素左边小于等于该元素的第一个数。当当前元素入栈时，栈顶元素为当前元素左边第一个小于等于该元素的数。

这里到底是小于还是小于等于，关键是看入栈/出栈的条件。如果出栈条件为$x\le y$，也就是$x=y$时也要出栈，那么$x$为$y$右边第一个小于等于$y$的元素；如果出栈条件为$x<y$，那么$x$为$y$右边第一个小于该元素的数。

如果我们调整一下入栈的条件，修改为：

记当前元素为$x$，栈顶元素为$y$。

对于一个数组中的元素，进行如下操作：

• $x>y$时，将$x$入栈
• $x\le y$时，将$y$出栈，直到栈顶元素$y<x$然后将$x$入栈。当栈顶元素$y\ge x$当前元素时，进行弹栈操作。

那么可以得到结论：

• 数组中栈顶元素右边小于等于该元素的的第一个数；
• 数组中当前元素左边小于该元素的第一个数。

单调递减栈

对于单调递减栈，只需要将上述结论中的小于改成大于即可。

单调递减栈结论：

• 数组中栈顶元素右边**大于(等于)**该元素的的第一个数；
• 数组中当前元素左边**大于等于(大于)**该元素的第一个数。