中等

问题描述

给定 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 之前弹出。

提示：

• 1 <= pushed.length <= 1000
• 0 <= pushed[i] <= 1000
• pushed 的所有元素 互不相同
• popped.length == pushed.length
• popped 是 pushed 的一个排列

栈模拟

使用一个栈来模拟压栈弹栈过程，遍历 $pushed$ 数组，每次将 $pushed[i]$ 放入栈中，然后比较当前栈顶元素与待弹出元素 popped[j]$ 是否相同，若相等则弹栈，然后 $j$ 自增，进行下一轮比较。当所有的元素处理完后，如果栈为空说明弹栈序列合法。

/**
 * @param {number[]} pushed
 * @param {number[]} popped
 * @return {boolean}
 */
var validateStackSequences = function (pushed, popped) {
  const n = pushed.length
  const stack = []
  for (let i = 0, j = 0; i < n; i++) {
    stack.push(pushed[i])
    while (stack.length > 0 && stack[stack.length - 1] === popped[j]) {
      stack.pop()
      j++
    }
  }
  return stack.length === 0
}

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