【JZ31 栈的压入、弹出序列】

描述

输入两个整数序列，第一个序列表示栈的压入顺序，请判断第二个序列是否可能为该栈的弹出顺序。假设压入栈的所有数字均不相等。例如序列1,2,3,4,5是某栈的压入顺序，序列4,5,3,2,1是该压栈序列对应的一个弹出序列，但4,3,5,1,2就不可能是该压栈序列的弹出序列。

1. 0<=pushV.length == popV.length <=1000
2. -1000<=pushV[i]<=1000
3. pushV 的所有数字均不相同

示例1

输入：[1,2,3,4,5],[4,5,3,2,1]

返回值：true

说明：可以通过push(1)=>push(2)=>push(3)=>push(4)=>pop()=>push(5)=>pop()=>pop()=>pop()=>pop()
这样的顺序得到[4,5,3,2,1]这个序列，返回true      

示例2

输入：[1,2,3,4,5],[4,3,5,1,2]

返回值：false

说明：由于是[1,2,3,4,5]的压入顺序，[4,3,5,1,2]的弹出顺序，要求4，3，5必须在1，2前压入，且1，2不能弹出，
但是这样压入的顺序，1又不能在2之前弹出，所以无法形成的，返回false 

算法（栈模拟、双指针）

解题思路

1. 首先栈的弹出序列是指在插入元素的途中我们可以弹出若干元素, 直到栈空为止, 因此一个压入序列可以对应多个弹出序列

2. 根据题意, 我们可以用栈来模拟整个过程, 同时用两个指针i, j分别指向两个序列的头部, 每次我们先将i所指向的元素压入栈中, 然后i向后移动一步, 之后再检查当前栈顶, 若对应上了弹出序列中j所指向的元素, 则弹出元素, j向后移动, 再继续检查, 直到栈空或栈顶元素和j所指元素不等为止

3. 若压入完所有的元素后指针j不等于序列长度或栈不为空, 说明不能成功对应弹出序列, 返回false, 否则返回true

class Solution {
public:
    bool IsPopOrder(vector<int> pushV,vector<int> popV) {
        int n = pushV.size();
        stack<int> stk;    // 使用STL中的栈容器
        int i = 0, j = 0;
        while(i < n){
            stk.push(pushV[i]);    // 首先将pushV[i]入栈
            while(!stk.empty() && stk.top() == popV[j]){    // 不断检查栈顶
                ++j;
                stk.pop();
            }
            ++i;
        }
        return j == n;    // 判断能否成功对应    
    }
};

运行时间：4ms
超过9.75% 用C++提交的代码
占用内存：556KB
超过56.42%用C++提交的代码
时间复杂度：O(n), n为序列的长度
空间复杂度：O(n), 栈空间的消耗最坏是O(n)