数据结构第三章章节重点概要.docVIP

第三章 栈和队列 栈和队列是两个重要的数据结构。从数据结构的角度看，栈和队列也是线性表，不过是特殊的线性表：栈按“后进先出”的规则进行操作，队按“先进先出”的规则进行操作，因此称之为运算受限制的线性表，在软件设计中常用到这两种数据结构。本章讨论栈和队列的定义、表示方法和实现。通过本章学习，要求掌握的内容有：栈和队列的逻辑结构和存储结构、基本运算以及实现算法。 3.1 栈 3.1.1 栈的定义及基本运算 栈是限制在表的一端进行插入和删除的线性表。允许插入、删除的这一端称为栈顶，另一个固定端称为栈底。当表中没有元素时称为空栈。如图3.1所示栈中有三个元素，进栈的顺序是a1、a2、a3，当需要出栈时其顺序为a3、a2、a1，所以栈又称为后进先出的线性表（Last In First Out），简称 LIFO表。 A3 A2 A1 图3.1 栈示意图 在日常生活中也可以见到很多“先进后出”的例子，如：手枪子弹夹中的子弹、铁路高度站等。在程序设计中，常常需要这样的数据结构，使得与保存数据时相反顺序来使用这些数据，这时就需要用一个栈来实现。对于栈，常做的基本运算有： ⑴ 栈初始化：Init_Stack(s) 初始条件：栈s不存在 操作结果：构造了一个空栈。 ⑵ 判栈空：Empty_Stack(s) 初始条件：栈s已存在 操作结果：若s为空栈返回为1，否则返回为0。 ⑶ 入栈： Push_Stack(s，x) 初始条件：栈s已存在 操作结果：在栈s的顶部插入一个新元素x， x成为新的栈顶元素，栈发生变化。 ⑷ 出栈：Pop_Stack(s) 初始条件：栈s存在且非空 操作结果：栈s的顶部元素从栈中删除，栈中少了一个元素，栈发生变化。 ⑸ 取栈顶元素：Top_Stack(s) 初始条件：栈s存在且非空 操作结果：栈顶元素作为结果返回，栈不变化。 栈的存储结构 基本运算 栈作为一种特殊的线性表，在计算机中也主要有两种基本的存储结构：顺序存储结构和链式存储结构。前者称之为顺序栈，后者为链栈。 顺序栈 利用顺序存储方式实现的栈称为顺序栈。类似于顺序表的定义，用一组地址连续的存储单元依次存放栈中自底到顶各元素，可以用一维数组来表示。附设一个 top 指针来动态地指示栈顶元素在顺序栈中的位置。顺序栈的存储结构定义如下： #define MAXSIZE 1024 typedef struct {datatype data[MAXSIZE]; int top; }SeqStack 习惯上0下标端设为栈底，这样空栈时栈顶指针top= -1; 入栈时，栈顶指针加１; 出栈时，栈顶指针减１。栈操作的示意图如图3.2所示。 图(a)是空栈，图(c)是A、B、C、D、E 5个元素依次入栈之后的状态，图(d)是在图(c)之后E、D相继出栈的状态，此时栈中还有3个元素，或许最近出栈的元素D、E仍然在原先的单元存储着，但top指针已经指向了新的栈顶，则元素D、E已不在栈中了。 在上述存储结构上基本操作的实现如下： ⑴ 置空栈：首先建立栈空间，然后初始化栈顶指针。 SeqStack *InitSeqStack() { SeqStack *s; s=(SeqStack *)malloc(sizeof(SeqStack));//申请存储空间 if(s) { s-top= -1; //初始化栈顶指针 return s; } else return NULL; } ⑵ 判空栈 int EmptySeqStack(SeqStack *s) { if (s-top= = -1) return 1; else return 0; } ⑶ 入栈 int PushSeqStack (SeqStack *s, datatype x) {if (s-top= =MAXSIZE-1) return 0; /*栈满*/ else { s-top++; s-data[s-top]=x; return 1; } } 入栈时，首先判栈是否满了，栈满的条件为：s-top= =MAXSIZE-1，栈满时，不能入栈; 否则出现空间溢出，引起错误，这种现象称为上溢。 ⑷ 出栈 int PopSeq Stack(SeqStack *s, datatype *x) { if (Empty_SeqStack ( s ) ) return 0; /*栈空 */ else { *x=s-data[