目录
【特定条件下的出栈序列分析(2010、2011、2013、2018、2020)】
栈(Stack)是只允许在一端进行插入或删除操作的线性表。首先栈是一种线性表,但限定这种线性表只能在某一端进行插入和删除操作。
栈顶(Top)。线性表允许进行插入删除的那一端
栈底(Bottom)。固定的,不允许进行插入和删除的另一端。
空栈。不含任何元素的空表。
每接触一种新的数据结构,都应从其逻辑结构、存储结构和运算三个方面着手。
假设某个栈S=(a1, a2, a3, a4,a5),如图 3.1 所示,则 a1 为栈底元素,a5为栈顶元素。
栈只能在栈顶进行插入和删除操作,进栈次序依次为a1,a2,a3,a4,a5,而出栈次序为 a5,a4,a3,a2,a1。
由此可见,栈的操作特性可以明显地概括为后进先出(Last In First Out,LIFO)。
栈操作的示意图如图 3.2 所示,图 3.2(a)是空栈,图 3.2(c)是A、B、C、D、E共5个元素依次入栈后的结果,图 3.2(d)是在图 3.2(c)之后E、D、C的相继出栈,此时栈中还有2个元素,或许最近出栈的元素 C、D、E仍在原先的单元存储着,但 top 指针已经指向了新的栈顶,元素 C、D、E已不在栈中,读者应通过该示意图深刻理解栈顶指针的作用。
下面是顺序栈上常用的基本操作实现:
(1)初始化
- void InitStack(SqStack &S){
- S.top=-1; //初始化栈顶指针
- }
(2)判栈空
- bool StackEmpty(SqStack S){
- if(S.top==-1) //栈空
- return true;
- else //不空
- return false;
- }
(3)进栈
- bool Push(SqStack &S,ElemType x){
- if(S.top==MaxSize-1) //栈满,报错
- return false;
- S.data[++S.top]=x; //指针先加1,再入栈
- return true;
- }
(4)出栈
- bool Pop(SqStack &S,ElemType &x){
- if(S.top==-1) //栈空,报错
- return false;
- x=S.data[S.top--]; //先出栈,指针再减1
- return true;
- }
(5)读取栈顶元素
- bool GetTop(SqStack S,ElemType &x){
- if(S.top==-1) //栈空,报错
- return false;
- x=S.data[S.top];//x记录栈顶元素
- return true;
- }
仅为读取栈顶元素,并没有出栈操作,因此原栈顶元素依然保留在栈中。
注意:
这里的 top 指的是栈顶元素。于是,进栈操作为 S.data[++S.top]=x,出栈操作为x=S.data[S.top--]。若栈顶指针初始化为S.top=0,即 top 指向栈顶元素的下一位置,则入栈操作变为S.data[S.top++]=x;出栈操作变为x=S.data[--S.top]。相应的栈空栈满条件也会发生变化。