栈与进栈出栈

栈：是限定在栈表尾进行插入或删除的线性表，又称为后进先出（LIFO）的线性表，这个特点可以形象的表示为……（铁路调度站）

只要保证每次在栈顶操作，同一进栈顺序可以有不同的出栈顺序，以下是部分出栈顺序

34521 25431 1453232145 43215

那么究竟怎样验证一个出栈序列与一个入栈序列匹配？

思路：将进栈和出栈序列分别存在数组里，然后再创建一个辅助栈，把输入序列中的元素依次压入栈中，并按照出栈序列依次弹出。

将进栈和出栈序列存在两个数组里，然后再创建一个辅助栈，把输入序列中的元素依次压入栈中，并按照出栈序列依次弹出。


方法：以弹出序列4,5,3,2,1为例，第一个希望被弹出的数字是4，因此需要将4先压入栈中，而压入栈中的序列由进栈序列决定，也就是在4进栈之前保证1,2,3都在栈里面。这个时候栈中包含4个数字，分别是1,2,3,4，其中4位于栈顶，正好对应出栈数组的第一个，弹出栈顶元素4，接下来希望弹出的元素是5，而5不在栈中，因此需要将进栈序列4之后的元素压进去，这个时候5位于栈顶，就可以弹出来了，接下来希望被弹出的是3,2,1，在每次操作之前他们都位于栈顶，故直接弹出即可。

代码：

#include<iostream>#include<stack>usingnamespacestd;boolCheck_Push_Pop(int*pPush,int*pPop,intlength){if(length<=0||pPush==NULL||pPop==NULL){returnfalse;}intin=0;intout=0;stack<int>s;//s.push(pPush[0]);intindex=0;//压入元素的个数for(out=0;out<length;out++)//(1)for循环控制什么{for(in=index;in<=length;in++)//pPush[1,2,3,4,5]pPop[4,5,3,2,1]{if((s.empty())||s.top()!=pPop[out])//(2)为什么要进行判空{if(in==length)//(3)if检测的是什么{returnfalse;}s.push(pPush[in]);++index;}else{s.pop();break;//跳出这层for循环，使它遍历下一个出栈元素}}}if(s.empty()&&in==length&&out==length)returntrue;elsereturnfalse;}voidTest1(){intPush[5]={1,2,3,4,5};intPop[5]={4,5,3,2,1};if(Check_Push_Pop(Push,Pop,5)){cout<<"输入与输出匹配"<<endl;}else{cout<<"输入与输出不匹配"<<endl;}}voidTest2(){intPush[5]={1,2,3,4,5};intPop[5]={4,5,3,1,2};if(Check_Push_Pop(Push,Pop,5)){cout<<"输入与输出匹配"<<endl;}else{cout<<"输入与输出不匹配"<<endl;}}intmain(){Test1();//Test2();system("pause");return0;}

总结：

如果下一个弹出的数字刚好是栈顶数字，那么直接弹出。如果下一个弹出的数字不在栈顶，我们把进栈序列中还没有入栈的数字压入辅助栈，直到把下一个需要弹出的数字压入栈为止。如果所有的数字都压入了栈仍找到下一个弹出的数字，那么该序列不可能是一个弹出的序列。


对于入栈序列:1 2…i…j…k…n，那么它的出栈序列中不能有k…j…i这样的序列子集。即如果入栈序列为ABC，则出栈序列不可以是CAB。


例题：

某个栈的入队序列为A,B,C,D,E，则可能的出栈序列为（）

A . ADBEC(DBC) B. EBCAD (EBC)

C. BCDEA D. EABCD（EAB）

用上述规律可以得出选C