LeetCode 946中等栈
验证栈序列 图解题解
这道题到底在问什么
给定 pushed 和 popped 两个序列，每个序列中的 值都不重复 ，只有当它们可能是在最初空栈上进行的推入 push 和弹出 pop 操作序列的结果时，返回 true ；否则，返回 false 。
- pushed,popped
- [1,2,3,4,5],[4,5,3,2,1]
- 输出
- true
先想最直接的笨办法
栈状态跟着代码走：推进语句是：return j == len(popped)。处理过的部分不再重新枚举。（动画第 10 步）
最优解：一步一步想明白
- 3下面 9 步动画会按主解代码推进，而不是泛泛讲题型。
- 4先读清 验证栈序列 的输入输出栈状态跟着代码走：先把示例输入映射到代码参数：def validateStackSequences(self, pushed, popped):。
- 5stack = []；j = 0栈状态跟着代码走：开局只立住必要变量：stack = []；j = 0。
- 6for x in pushed:栈状态跟着代码走：主流程从这里开始：for x in pushed:。
- 7根据题意分情况栈状态跟着代码走：题目条件落到这一行：满足条件就进入对应分支。
- 8stack.append(x)栈状态跟着代码走：对应代码：stack.append(x)。这一行决定当前轮对答案有什么贡献。
- 9while 栈顶匹配就持续弹栈状态跟着代码走：边界跟着代码看：stack.pop()。
- 10return j == len(popped)栈状态跟着代码走：推进语句是：return j == len(popped)。处理过的部分不再重新枚举。
- 11return j == len(popped)栈状态跟着代码走：到这里，stack 已经能表达题目要求。
- 12return：return j == len(popped)栈状态跟着代码走：最后检查返回形态：返回值、原地修改或设计类状态，要和 LeetCode 判题方式一致。
- 15记住这题的代码骨架：题意约束先落到状态变量，再用循环或递归维护它。
⚠️ 容易写错的地方
✗ 错：只弹一次
✓ 对：while 栈顶匹配就持续弹
一次入栈后可能连续满足多个弹出
✗ 错：最后只看 j
✓ 对：j==len(popped)
全部弹出顺序都匹配才合法
完整代码（Python）
Python
class Solution:
def validateStackSequences(self, pushed, popped):
stack = []
j = 0
for x in pushed:
stack.append(x)
while stack and stack[-1] == popped[j]:
stack.pop()
j += 1
return j == len(popped)复杂度
时间复杂度
O(n)
每个元素入栈出栈一次
空间复杂度
O(n)
模拟栈
看不够？换成动画再走一遍
上面的推演每一步都对应一帧动画。点开交互动画版，能一步步看着 验证栈序列 的数据怎么变、指针怎么走，还能切 Python / Java / C++ 跟着练。
面试官可能追问
这道题为什么用「栈」，换最直接的暴力解会差在哪？+
栈抓住了本题的结构特征，把暴力解里重复的工作省掉；暴力解通常要多嵌套一层枚举，数据一大就超时。具体对比见上文「暴力解及其卡点」与「最优解逐步推演」两节。
时间复杂度为什么是 undefined？怎么推出来的？+
按上文复杂度小节的推导，时间复杂度为 undefined。
本平台为独立第三方培训机构，与华为技术有限公司无任何关联；课程的服务内容与权益以购买协议为准，学习效果因个人情况而异。「华为 OD」「华为可信」等仅为对岗位与考试方向的客观描述，相关商标归各自权利人所有。