数据结构（第2版）课件—第3章 栈和队列.ppt

DestroyStack 前置条件：栈已存在 输入：无 功能：销毁栈 输出：无 后置条件：释放栈所占用的存储空间 Push 前置条件：栈已存在 输入：元素值x 功能：在栈顶插入一个元素x 输出：如果插入不成功，抛出异常 后置条件：如果插入成功，栈顶增加了一个元素 Pop 前置条件：栈已存在 输入：无 功能：删除栈顶元素 输出：如果删除成功，返回被删元素值，否则，抛出异常 后置条件：如果删除成功，栈减少了一个元素 GetTop 前置条件：栈已存在 输入：无 功能：读取当前的栈顶元素 输出：若栈不空，返回当前的栈顶元素值 后置条件：栈不变 template class DataType void seqStackDataType ::Push ( DataType x) { if (top == MAX_SIZE-1) throw “溢出”; top++; data[top] = x; } template class DataType DataType seqStackDataType :: Pop ( ) { if (top == -1) throw “溢出”; x = data[top--]; return x; } DestroyQueue 前置条件：队列已存在 输入：无 功能：销毁队列 输出：无 后置条件：释放队列所占用的存储空间 EnQueue 前置条件：队列已存在 输入：元素值x 功能：在队尾插入一个元素 输出：如果插入不成功，抛出异常 后置条件：如果插入成功，队尾增加了一个元素 DeQueue 前置条件：队列已存在 输入：无 功能：删除队头元素 输出：如果删除成功，返回被删元素值 后置条件：如果删除成功，队头减少了一个元素 GetQueue 前置条件：队列已存在 输入：无 功能：读取队头元素 输出：若队列不空，返回队头元素 后置条件：队列不变 操作接口： LinkQueue( ); 算法描述： template class DataType LinkQueueDataType ::LinkQueue( ) { front = new NodeDataType; front-next = NULL; rear = front; } 链队列的实现——构造函数 front ∧ rear 3.2 队列 x s 链队列的实现——入队 操作接口： void EnQueue(DataType x); front a1 an ∧ rear ∧ rear front x s ∧ ∧ rear rear 算法描述： s-next=NULL; rear-next=s; rear=s; 如何没有头结点会怎样？ 3.2 队列 顺序栈和链栈的比较 时间性能：相同，都是常数时间O(1)。 空间性能： 顺序栈：有元素个数的限制和空间浪费的问题。 链栈：没有栈满的问题，只有当内存没有可用空间时才会出现栈满，但是每个元素都需要一个指针域，从而产生了结构性开销。 总之，当栈的使用过程中元素个数变化较大时，用链栈是适宜的，反之，应该采用顺序栈。 3.1 栈 3.2 队列 队列的逻辑结构 队列：只允许在一端进行插入操作，而另一端进行删除操作的线性表。 允许插入（也称入队、进队）的一端称为队尾，允许删除（也称出队）的一端称为队头。 空队列：不含任何数据元素的队列。 （a1, a2, ……, an） 队尾 队头 队列的操作特性：先进先出 a1 a2 a3 入队 队尾 队头 出队 队头 队列的逻辑结构 3.2 队列 队列的抽象数据类型定义 ADT Queue Data 队列中元素具有相同类型及先进先出特性， 相邻元素具有前驱和后继关系 Operation InitQueue 前置条件：队列不存在 输入：无 功能：初始化队列 输出：无 后置条件：创建一个空队列 3.2 队列 队列的抽象数据类型定义 3.2 队列 队列的抽象数据类型定义 3.2 队列 Empty 前置条件：队列已