题目描述

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

样例

输入：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

输入：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 的一个排列。
• pushed 和 popped 有不同的值。

算法

(模拟) $O(n)$

1. 开一个栈模拟，每次都 push 进一个新元素，然后和 pop 序列不断比对，如果发现一致，则出队。
2. 最后如果 pop 序列都遍历完，则证明合法。

时间复杂度

• 每个元素仅遍历一次，故时间复杂度为 $O(n)$。

C++ 代码

class Solution {
public:
    bool validateStackSequences(vector<int>& pushed, vector<int>& popped) {
        stack<int> st;
        int n = pushed.size(), i = 0, j = 0;

        while(i < n && j < n) {
            st.push(pushed[i]);
            while (!st.empty() && st.top() == popped[j]) {
                j++;
                st.pop();
            }
            i++;
        }

        return j == n;
    }
};