[数据结构]-------单调栈

单调栈

单调栈并非一种新的数据结构，只是栈的一种应用。单调栈中的数据满足单调性，根据要解决问题的不同，栈中数据递增或递减排列都有可能。

问题

问题一：给定 $N$ 个数的数组 $A$，对于每个 $i$，找到使 $A[j]>A[i]$，且$j>i$的最小的 $j$。

朴素算法的时间复杂度显然为 $O(n^2)$，利用单调栈会更优一些。

我们需要一个栈底到栈顶，数据依次递减的栈。从后向前扫描，如果当前数字小于栈顶则直接入栈，否则弹出栈顶元素知道当前数字可以入栈为止（保持栈的单调性）。每次入栈之前，栈底元素的下标即是当前数字的答案。

for(int i=N;i>=1;i--)
{
	while((!S.empty())&&a[S.top()]<=a[i])
	    S.pop();
	if(!S.empty())
	    ans[i] = S.top();
	else
	    ans[i] = 0;
	S.push(i);
}

问题二：柱状图中的最大矩形。

给定 n 个非负整数，用来表示柱状图中各个柱子的高度。每个柱子彼此相邻，且宽度为 1 。求在该柱状图中，能够勾勒出来的矩形的最大面积。
一个等价问题就是：给定一个数组 $A$，求一个区间 $[L，R]$，使得区间长度和区间最小值的乘积最大。这个问题也可以用单调栈解决。

实际上本质都是求类似“一个位置的左（右）边，第一个比它大（小）的数在哪（相隔多远，下标多少）”。

单调栈的其他问题见例题。

例题

模板: P5788 【模板】单调栈.

另一个模板: 洛谷P2947 [USACO09MAR]Look Up S.

一点点思维：洛谷P2866 [USACO06NOV]Bad Hair Day S.

柱状图最大矩形：ACwing 131. 直方图中最大的矩形.

思维题：2021年度训练联盟热身训练赛第一场 E - Early Orders .