【LeetCode】946. 验证栈序列（同剑指 Offer 31）

本文链接：https://blog.csdn.net/HeavenDan/article/details/109998446

这篇博客探讨了如何验证给定的pushed和popped序列是否可能由一个空栈通过push和pop操作得到。提供了两种Java实现，一种使用栈模拟，另一种优化空间复杂度到常数级别。两种方法的时间复杂度均为O(n)。博客提供了详细的代码解释和示例，并给出了相关题目链接作为参考。

摘要由CSDN通过智能技术生成

一、题目

给定 pushed 和 popped 两个序列，每个序列中的 值都不重复，只有当它们可能是在最初空栈上进行的推入 push 和弹出 pop 操作序列的结果时，返回 true；否则，返回 false 。

示例 1：

输入：pushed = [1,2,3,4,5], popped = [4,5,3,2,1]
输出：true
解释：我们可以按以下顺序执行：
push(1), push(2), push(3), push(4), pop() -> 4,
push(5), pop() -> 5, pop() -> 3, pop() -> 2, pop() -> 1

示例 2：

输入：pushed = [1,2,3,4,5], popped = [4,3,5,1,2]
输出：false
解释：1 不能在 2 之前弹出。

提示：

0 <= pushed.length == popped.length <= 1000
0 <= pushed[i], popped[i] < 1000
pushed 是 popped 的排列。

二、解决

1、情景模拟–贪心

版本1：栈

思路：

Step1：pushed数组元素出栈。 把pushed数组中元素逐个压栈，当栈顶元素等于popped数组第一个元素时，就让栈顶元素出栈。
Step2：popped数组元素比较。 再用popped数组的第2个元素与栈顶元素比较，如果相同继续出栈；不同就回到Step1，直至pushed数组元素遍历完毕。
Step3：判断栈是否为空，返回结果。

不算复杂，看代码就能理解，更具体细节可看参考1。

代码：

class Solution {
    public boolean validateStackSequences(int[] pushed, int[] popped) {
        Stack<Integer> stack = new Stack<>();
        int i = 0;
        for(int num : pushed) {
            stack.push(num); // num 入栈
            while(!stack.isEmpty() && stack.peek() == popped[i]) { // 循环判断与出栈
                stack.pop();
                i++;
            }
        }
        return stack.isEmpty();
    }
}

时间复杂度： $O (n)$
空间复杂度： $O (n)$

版本2：优化空间

思路：

思路不变，代码优化，将空间复杂度降到了O(1)。

i ：pushed 数组指针；
j ：popped 数组指针；
k：pushed元素入栈后的栈顶指针。.

代码：

class Solution {
    public boolean validateStackSequences(int[] pushed, int[] popped) {
        int i = 0, j = 0, k = 0, n = popped.length;
        for ( ; i < pushed.length; i++) {
            pushed[k++] = pushed[i];
            while (j < n && k > 0 && pushed[k-1] == popped[j]) {
                k--;
                j++;
            }
        }
        return j == n;
    }
}