剑指Offer：[第25天 模拟(中等)]---＞栈的压入、弹出序列

---

一、题目描述

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

示例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 的排列

二、思路分析

注：思路分析中的一些内容和图片参考自力扣各位前辈的题解，感谢他们的无私奉献

思路

给定一个压入序列 $pushed$ 和弹出序列 $popped$，压入/弹出操作的顺序(即排列)是唯一确定的。
对于能够正确对应的序列，如题目中的示例1，操作如下：

由于栈的数据操作具有先入后出的特性，因此某些弹出序列是无法实现的，如题目中的示例2，操作如下：

考虑借用一个辅助栈 $stack$ 来模拟压入/弹出操作的排列，根据是否模拟成功即可得到结果。
入栈操作：按照压栈序列的顺序执行
出栈操作：每次入栈后，循环判断栈顶元素=弹出序列的当前元素是否成立，将符合弹出序列顺序的栈顶元素全部弹出。由于题目规定栈的所有数字均不相等，因此在循环入栈中，每个元素出栈的位置的可能性是唯一的(若有重复数字，则具有多个可出栈的位置)。因而，在遇到栈顶元素=弹出序列的当前元素就应立即执行出栈。
算法流程：
①初始化：辅助栈stack，弹出序列的索引i
②遍历压栈序列：各元素记为num
----元素num入栈
----循环出栈：若stack的栈顶元素=弹出序列元素popped[i]，则执行出栈与i++
③返回值：若stack为空，则此弹出序列合法
案例分析：












复杂度分析：
时间复杂度$\mathrm{O}(\mathrm{N})$：其中N为列表pushed的长度，每个元素最多入栈与出栈一次，即最多共2N次出入栈操作
空间复杂度$\mathrm{O}(\mathrm{N})$：辅助栈stack最多同时存储N个元素

三、整体代码

整体代码如下

bool validateStackSequences(int* pushed, int pushedSize, int* popped, int poppedSize){
    int* stack = (int*)malloc(sizeof(int)*pushedSize);  //用于模拟的栈
    int top = -1; //栈顶元素的下表，初始状态为空栈，下标为-1
    int i = 0;    //标记循环过程中处理到popped中哪一个元素了
    for(int num = 0; num < pushedSize; num++){  //遍历pushed数组
        stack[++top] = pushed[num];             //当前元素入栈
        //如果栈不空，且栈顶元素=当前pushed数组的元素
        while(top != -1 && popped[i] == stack[top]){
            top--;  //出栈
            i++;    //i++，开始处理下一个元素
        }
    }

    return top == -1; //返回栈是否为空
}

运行，测试通过