Day60代码随想录单调栈part03:84.柱状图中最大的矩形

单调栈part03

84.柱状图中最大的矩形

leetcode题目链接：84. 柱状图中最大的矩形 - 力扣（LeetCode）

题意：给定 n 个非负整数，用来表示柱状图中各个柱子的高度。每个柱子彼此相邻，且宽度为 1 。求在该柱状图中，能够勾勒出来的矩形的最大面积。

思路：42. 接雨水 (opens new window)是找每个柱子左右两边第一个大于该柱子高度的柱子，而本题是找每个柱子左右两边第一个小于该柱子的柱子。

这里就涉及到了单调栈很重要的性质，就是单调栈里的顺序，是从小到大还是从大到小。元素从栈顶到栈底是单调递增的求的是比他大的元素，反之求的是比他小的元素。所以，本题是单调递减的单调栈

主要就是分析清楚如下三种情况：

• 情况一：当前遍历的元素heights[i]大于栈顶元素heights[st.top()]的情况：
• 情况二：当前遍历的元素heights[i]等于栈顶元素heights[st.top()]的情况：
• 情况三：当前遍历的元素heights[i]小于栈顶元素heights[st.top()]的情况：收获结果，左边left比他小的是遍历过的，在栈里第二个top；右边right比他小的就是当前遍历的元素。h = height[st.top], w=right-left-1

需要注意的是在 height数组头尾都加了一个元素0。

（1）末尾为什么要加元素0？如果数组本身就是升序的，例如[2,4,6,8]，那么入栈之后 都是单调递减，一直都没有走 情况三 计算结果的哪一步，所以最后输出的就是0了

（2）开头为什么要加元素0？如果数组本身是降序的，例如 [8,6,4,2]，在 8 入栈后，6 开始与8 进行比较，此时我们得到 mid（8），rigt（6），但是得不到 left。也是无法计算出结果。

class Solution:
    def largestRectangleArea(self, heights: List[int]) -> int:
        heights.insert(0, 0) # 头部补0
        heights.append(0)
        st = [0]
        res = 0
        for i in range(1, len(heights)):
            if heights[i] >= heights[st[-1]]:
                st.append(i)
            else:
                while st and heights[i] < heights[st[-1]]:
                    mid_index = st[-1]
                    st.pop()
                    if st:
                        left_index = st[-1]
                        right_index = i
                        h = heights[mid_index]
                        w = right_index - left_index -1
                        res = max(res, w*h)
                st.append(i)
        return res