[教育]第3章栈和队列包含递归.ppt

第3章 栈和队列 栈和队列是两种重要的线性结构。从数据结构角度看，栈和队列也是线性表，其特殊性在于栈和队列的基本操作是线性表操作的子集，它们是操作受限的线性表，因此，可称为限定性的数据结构。但从数据类型角度看，它们是和线性表大不相同的两类重要的抽象数据类型。 3.1 栈 3.2 栈的应用举例 3.3 队列 3.1 栈 3.1.1 抽象数据类型栈的定义 栈(Stack) 是限定仅在表尾进行插入或删除操作的线性表。因此， 对栈来说，表尾端有其特殊含义，称为栈顶(top)，相应地，表头端称为栈底(bottom)。不含元素的空表称为空栈。 假设栈S=(a1，a2，…，an)，则称a1为栈底元素，an为栈顶元素。栈中元素按a1，a2，…，an的次序进栈，退栈的第一个元素应为栈顶元素。换句话说，栈的修改是按后进先出的原则进行的(如图3.1(a)所示)。 因此，栈又称为后进先出(Last lnFirstOut)的线性表(简称LIFO结构)，它的这个特点可用图3.1(b)所示的铁路调度站形象地表示。 图3.1 栈 (a)栈的示意图 (b) 用铁路调度站表示栈 线性表与栈的对比 Insert(S, n+1, e)------push(S, e) Delete(S, n, e)------pop(S, e) 栈的抽象数据类型的定义： ADT Stack{ 数据对象：D={ ai | ai∈Elemset , i =1,2,…,n, n=0} 数据关系：R1={ ai-1， ai | ai-1，ai ∈ D, i = 1,2,…,n} 约定an端为栈顶， a1端为栈底。 基本操作： InitStack(S) 操作结果：构造一个空栈s。 DestroyStack(S) 初始条件：栈s已存在。 操作结果：栈s被销毁。 ClearStack(S) 初始条件：栈s已存在。 操作结果：将s清为空栈。 StackEmpty(S) 初始条件：栈s已存在。 操作结果：若栈S为空栈，则返回TRUE， 否则FALSE。 StackLength(S) 初始条件：栈s已存在。 操作结果：返回s的元素个数，即栈的长度。 GetTop(S，e) 初始条件：栈s已存在且非空。 操作结果：用e返回s的栈顶元素。 Push(S，e) 初始条件：栈s已存在。 操作结果：插入元素e为新的栈顶元素。 Pop(S，e) 初始条件：栈s已存在且非空。 操作结果：删除s的栈顶元素，并用e返回其值。 StackTraverse(S，visit()