【LeetCode算法笔记-Python】剑指 Offer 30. 包含 min 函数的栈

题目描述

定义栈的数据结构，请在该类型中实现一个能够得到栈的最小元素的 min 函数在该栈中，调用 min、push 及 pop 的时间复杂度都是 O(1)。

示例：

MinStack minStack = new MinStack();
minStack.push(-2);
minStack.push(0);
minStack.push(-3);
minStack.min();    --> 返回 -3.
minStack.pop();
minStack.top();      --> 返回 0.
minStack.min();    --> 返回 -2.

提示：各函数的调用总次数不超过 20000 次

解题思路：

普通栈的 push() 和pop() 函数的复杂度为 O(1)；而获取栈最小值 min() 函数需要遍历整个栈，复杂度为 O(N) 。
本题难点： 将 min() 函数复杂度降为 O(1)。可借助辅助栈实现：

• 数据栈 A ： 栈 A 用于存储所有元素，保证入栈 push()函数、出栈 pop() 函数、获取栈顶 top() 函数的正常逻辑。
• 辅助栈 B ： 栈 B 中存储栈 A 中所有 非严格降序 元素的子序列，则栈 A 中的最小元素始终对应栈 B 的栈顶元素。此时， min() 函数只需返回栈 B 的栈顶元素即可。
  因此，只需设法维护好栈 B 的元素，使其保持是栈 A 的非严格降序元素的子序列，即可实现 min()函数的 O(1) 复杂度。
  

函数设计

• push(x) 函数： 重点为保持栈 B 的元素是 非严格降序 的；

1. 执行「元素 x 压入栈 A」；
2. 若「栈 B 为空」或「x ≤ 栈 B 的栈顶元素」，则执行「元素 x 压入栈 B」 ；

def push(self, x: int) -> None:
	self.A.append(x)                   # 「元素 x 压入栈 A」；
	if not self.B or self.B[-1] >= x:  # 若「栈 B 为空」或「x ≤ 栈 B 的栈顶元素」，则执行「元素 x 压入栈 B」 ；
		self.B.append(x)

• pop()函数： 重点为保持栈 A , B 的 元素一致性 ；

1. 执行「栈 A 元素出栈」，将出栈元素记为 y ；
2. 若 「y 等于栈 B 的栈顶元素」，则执行「栈 B 元素出栈」；

def pop(self) -> None:
	if self.A.pop() == self.B[-1]:  # 执行「栈 A 元素出栈」，将出栈元素记为 y ；
		self.B.pop()  # 若 「y 等于栈 B 的栈顶元素」，则执行「栈 B 元素出栈」；

• top() 函数： 直接返回栈 A 的栈顶元素，即返回 A.[-1]；

def top(self) -> int:
	return self.A[-1]

• min() 函数： 直接返回栈 B 的栈顶元素，即返回 B.[-1]；

def min(self) -> int:
	return self.B[-1]

图片解析

采用 “非严格” 降序原因：
在栈 A 具有 重复 最小值元素时，非严格降序可防止栈 B 提前弹出最小值元素，示例如下：

复杂度分析

• 时间复杂度 O(1) ： push(), pop(), top(), min() 四个函数的时间复杂度均为常数级别。
• 空间复杂度 O(N) ： 当共有 N 个待入栈元素时，辅助栈 B 最差情况下存储 N 个元素，使用 O(N) 额外空间。

Python3代码

class MinStack:
    def __init__(self):
        self.A, self.B = [], []

    def push(self, x: int) -> None:
        self.A.append(x)
        if not self.B or self.B[-1] >= x:
            self.B.append(x)

    def pop(self) -> None:
        if self.A.pop() == self.B[-1]:
            self.B.pop()

    def top(self) -> int:
        return self.A[-1]

    def min(self) -> int:
        return self.B[-1]

本文整理自：https://leetcode-cn.com/leetbook/read/illustration-of-algorithm/50je8m/