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

第三章 栈和队列 栈和队列是两个重要的数据结构。从数据结构的角度看，栈和队列也是线性表，不过是特殊的线性表：栈按“后进先出”的规则进行操作，队按“先进先出”的规则进行操作，因此称之为运算受限制的线性表，在软件设计中常用到这两种数据结构。本章讨论栈和队列的定义、表示方法和实现。通过本章学习，要求掌握的内容有：栈和队列的逻辑结构和存储结构、基本运算以及实现算法。 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[s- top]; s- top--; return 1; /*栈顶元素存入*x */ ⑸ 取栈顶元素 datatype GetTopSeq Stack SeqStack *s if Empty_SeqStack s return 0; /*栈空*/ else return s- data[s-