牛客网题解 | 栈的压入、弹出序列

一、题目链接

栈的压入、弹出序列

二、题目

三、算法原理：用一个栈模拟入栈出栈的过程

• 思路：用一个栈模拟入栈出栈的过程，模拟出与第二个序列一样的序列就合法，模拟不出与第二个序列一样的序列就不合法。

给出两个下标pushi、popi分别指向入栈序列和出栈序列。（index：下标）

步骤：

1. pushi指向的数据入栈，入栈后pushi++
2. "持续比较"刚刚入栈的数据和popi指向的数据（因为有刚入栈的数据就出栈的可能，没有确定的出栈顺序，所以就要持续比较）。若相等，"持续"出数据，出一个数据popi就++；若不相等或者栈为空，执行步骤1。

• 匹配案例演示，示例1：

• 不匹配案例演示，示例2：

循环结束条件是两个下标都越界吗？popi在合法的序列下是一定能走到最后的，但是popi在非法的序列下一定到不了最后，所以popi是否能走到最后面是不确定的。但是pushi一定能走到最后面，即循环结束条件。

如何判断入栈序列和出栈序列是否匹配？栈为空或者popi走到尾，两个条件选一个即可，因为两个条件会同时存在：栈为空，所有的数据都入栈了，栈为空一定是因为与出栈序列匹配，所有数据都出栈了，popi也走到了最后；popi走到尾，表示此时栈中数据都出栈了，栈一定为空。

"内存超限或者超时"的问题有两种可能性：代码有问题、死循环。入栈后要pushi++。

四、编写代码

在调用top前先判空，顺序不能颠倒，栈为空时直接取top元素会崩溃：

class Solution {
public:
    /**
     * 代码中的类名、方法名、参数名已经指定，请勿修改，直接返回方法规定的值即可
     *
     * 
     * @param pushV int整型vector 
     * @param popV int整型vector 
     * @return bool布尔型
     */
    bool IsPopOrder(vector<int>& pushV, vector<int>& popV) {
        // 用一个栈模拟入栈出栈的过程
        stack<int> st;
        // 持续比较栈顶元素和popi指向的元素：若相等，持续出栈，popi++;若不相等或栈为空，执行步骤1
        size_t pushi = 0, popi = 0;
        while (pushi < pushV.size())
        {
            st.push(pushV[pushi++]);
            while (!st.empty() && st.top() == popV[popi]) st.pop(), popi++;
        }
        return st.empty();
    }
};