每天学一丢之 单调栈

每天学一丢意为每天学一点丢一点。

单调栈

单调栈即我们在维护栈时，同时让栈里的元素维持着单调性。即当我们维护一个单调上升的栈时，如果需要入栈一个新元素后，如果这个元素之前有比他大的值，破坏了栈内元素的单调性，我们就要把比它大的值全部出栈，此时再将新元素入栈，来保证栈内元素的单调性。单调是说栈内元素具有单调性，

功能

利用单调栈，我们可以在 $O(n)$ 的时间复杂度内，维护序列中任意一个数，向左遍历时，第一个比它大的数，同理可以改变方向和大小关系。

思路

如果我们想要找一个数，它左侧比它大的第一个数，我们需要维护一个单调递减的栈。假设栈内元素从栈底到栈顶分别为 $x_1{x}_2{x}_3$，因为是一个单调递减的栈，我们知道如果 $x_3$ 比新入栈元素 $k$ 要小的话会直接出栈，那么直到遇到第一个比 $k$ 大的栈内元素，假设为 $x_2$ 时才会停下，此时栈顶元素 $x_2$ 就是 $k$左侧第一个比$k$大的数。对于栈内已有的 $x_1{x}_2{x}_3$ 三个数字这样一定是正确的，但是我们在维护栈时有许多删去的数字，如何证明这种删去是不会影响最后结果的。我们假设 $x_2,x_3$ 中间省略了三个值，那么省略的原因是，这些值同时小于$x_2,x_3$，那么当 $x_3$ 需要出栈时，这些值也都是需要出栈的，所以不会影响结果

代码

给出一段用数组模拟栈的代码，因为数组可以更好的访问栈内元素，也可以进行二分操作等。

top = 0;
rep(i, 1, n+1){
	while(top && num[s[top-1]]>=num[i]) 
		top--;
	l[i] = top?s[top-1]:0;
	s[top++] = i;
}