栈——概念、基本操作及其应用

前言

问：栈与队列也属于线性表的范畴，为什么要单独拿出来说呢？
因为一般的线性表插入和删除位置是没有限制的，而栈与队列对插入和删除的位置有限制，从而在相关操作上有一定的特殊性

受限数据结构——插入和删除受限制的线性表
（1）栈
（2）队列
（3）双队列

栈作为一种线性结构，在数据结构中有非常重要的地位，以后会常用。熟知栈的基本操作及适用情况是非常重要的。

一、栈的相关概念及特性

1.定义和术语

栈：限定在表尾作插入、删除操作的线性表
（1）进栈：插入一个元素到栈中，或称：入栈、推入、压入、push
（2）出栈：从栈删除一个元素，或称：退栈、上托、弹出、pop
（3）栈底：表头，即表中不允许插入、删除元素的一端
（4）栈顶：表尾，即允许插入、删除元素的一端
（5）空栈：不含元素的栈
（6）栈的别名：“后进先出”表、“LIFO”表、反转存储器、地窖、堆栈
注：栈的元素的进出原则：后进先出

2.栈的基本操作

（1）Initstack(s):置s为空栈
（2）Push(s,e):元素e进栈s
若s已满，则发生溢出；若不能解决溢出，重新分配空间失败，则插入失败。
（3）Pop(s,e):删除栈s的顶元素，并送入e
若s为空栈，发生“下溢”；为空栈时，表示某项任务已完成
（4）Gettop(s,e):栈s的顶元素拷贝到e
若为空栈，则结束拷贝
（5）Empty(s):判断s是否为空栈
若s为空栈，则Empty(s)为true；否则返回false

3.理解栈操作（模拟铁路调度站）

讨论：假设依次输入3个元素ABC到栈中，可得哪几种不同输出
（1）输出ABC
每输入一个元素后就立马出栈

（2）输出CBA
ABC全部进栈后，依次出栈

（3）输出BCA
AB进栈，C不进栈。B出栈，C进栈后CA出栈

ps：排列组合可知，有六种输出可能,除以上三种外，还有ACB，BAC，CAB。其中CAB不可能为输出结果，A不能成为C的直接后继
通过分析可知，一般的，输入序列(…,ai,…,aj,…,ak,…)到栈中，不能得到(…,ak,…,ai,…,aj,…)

延伸讨论：输入ABCD到栈中，能得到哪几种输出？不能得到哪几种输出？
从上面对三个元素的讨论可知，有5种输出组合。我们把A元素输入后马上输出，剩下的BCD就有5种输出。同理，把B输入后马上输出，剩下的ACD就有5种输出组合。
若AB进栈后，C进来马上输出，剩下D，有3种输出组合。若ABC进栈后，D进栈立刻出栈，只有DCBA一种组合。
共5+5+3+1=14种组合

思考一下：当输入元素不断扩大，有几种输出呢？

二、顺序栈的基本操作

之前我们说到，每个线性表有两种存储方式，一种是顺序存储，一种是链式存储。
栈是一种特殊的线性表，也有两种存储方式

1.顺序栈

1.定义：用顺序空间表示的栈
设计实习方案时需考虑的因素：
（1）如何分配存储空间
动态分配或静态分配
栈空间范围，如：s[0…maxleng-1]
（2）如何设置进栈和出栈的标志top
如top指向栈顶元素或指向栈顶元素下一空单元等，作为进栈出栈的依据
（3）分析满栈的条件，用于进栈操作
（4）分析空栈的条件，用于出栈操作

下面针对top指向栈顶元素或指向栈顶元素下一空单元，分别进行基本操作的讲解，分为方案1和方案2

2.方案1

方案内容：栈空间范围：s[0…maxleng-1]
顶指针指向顶元素所在位置

序号
maxleng-1
/// 自由 区
top->n-1 ——an 栈顶
… …
1 —— a2
0 —— a1 栈底

（1）非空栈
top>=0
顶元素=s[top]
(2)进出栈说明：进栈操作：先对top加一，指向下一空位置，将新数据送入top指向的位置，完成进栈操作。结束时top指向新栈顶元素所在位置
出栈操作：先根据top指向，取出栈顶数据元素，再对top减一。完成出栈操作。结束时top指向新栈顶元素所在位置
（3）满栈条件
top == maxleng-1 若插入元素，将发生溢出
（4）空栈条件
top == -1 若删除元素，将发生下溢

3.方案2
方案内容：栈空间范围：s[0…maxleng-1]
顶指针指向顶元素下一空位置

序号
maxleng-1
/// 自由 区
top->n
n-1 —— an 栈顶
… …
1 —— a2
0 —— a1 栈底

（1）非空栈
top>=0
顶元素=s[top-1]
(2)进出栈说明：进栈操作：先将新数据送入top指向的位置，再对top加一，指向下一空位置，完成进栈操作。结束时top指向新栈顶元素所在位置的下一空位置
出栈操作：先对top减一，再根据top指向，取出栈顶数据元素，完成出栈操作。结束时top指向新栈顶元素所在位置的下一空位置
（3）满栈条件
top == maxleng 若插入元素，将发生溢出
（4）空栈条件
top == 0 若删除元素，将发生下溢

4.顺序栈的描述
栈元素与顶指针合并定义为一个记录
约定：栈元素空间[0…maxleng-1]
top指向栈元素下一空位置
ps：top是栈顶标志，根据约定由top找栈顶元素

存储空间分配方案：静态分配与动态分配
（1）静态分配

typedef struct
{
   
	ElemType elem[maxleng]