第6讲 队列解析.ppt

第六讲 队列 主讲： 朱郑州 主要内容 DestroyQueue 前置条件：队列已存在 输入：无 功能：销毁队列 输出：无 后置条件：释放队列所占用的存储空间 EnQueue 前置条件：队列已存在 输入：元素值x 功能：在队尾插入一个元素 输出：如果插入不成功，抛出异常 后置条件：如果插入成功，队尾增加了一个元素 DeQueue 前置条件：队列已存在 输入：无 功能：删除队头元素 输出：如果删除成功，返回被删元素值 后置条件：如果删除成功，队头减少了一个元素 GetQueue 前置条件：队列已存在 输入：无 功能：读取队头元素 输出：若队列不空，返回队头元素 后置条件：队列不变 QueueEmpty 前置条件：队列已存在 输入：无 功能：判断队列是否为空 输出：如果队列为空，返回1，否则，返回0 后置条件：队列不变 }ADT Queue 主要内容 主要内容 #define MAXQSIZE 100; typedef struct{ QElemType *base; int front; int rear; } SqQueue; 循环队列的声明 Status InitQueue(SqQueue Q) { Q.base = (QElemType *) malloc(MAXQSIZE*  sizeof(QElemType)); if(!Q.base) exit(OVERFLOW); Q.front = Q.rear = 0; return OK; } 循环队列的实现——初始化 Status EnQueue(SqQueue Q, QElemType e) { if ((Q.rear+1) % MAXQSIZE ==Q.front) return ERROR; Q. base[Q.rear]=e; Q. rear=(Q.rear+1) % MAXQSIZE; return OK; } 循环队列的实现——入队 0 1 2 3 4 入队 出队 a3 a4 rear a5 rear a2 front Status DeQueue(SqQueue Q, QElemType e) { if (Q.rear==Q.front) return ERROR; e=Q.base[Q.front]; Q.front=(Q.front+1) % MAXQSIZE; return OK; } 循环队列的实现——出队 0 1 2 3 4 入队 出队 a3 a4 a5 rear a2 front front GetQueue(SqQueue Q, QElemType e ) { if (Q.rear==Q.front) return ERROR; e=Q.base[Q.front]; return OK; } 循环队列的实现——读队头元素 0 1 2 3 4 入队 出队 a3 a4 a5 front rear 2. 顺序队列及实现 1. 队列的逻辑结构与ADT 3. 链队列及实现 链队列：队列的链接存储结构 队头指针即为链表的头指针 队列的链接存储结构及实现 first a1 a2 an ∧ 如何改造单链表实现队列的链接存储？ rear front 非空链队列 front a1 a2 an ∧ rear 空链队列 front ∧ rear 队列的链接存储结构及实现 typedef struct { QElemType data; struct QNode *next; }QNode, *QueuePtr; 链队列的声明 typedef struct { QueuePtr front; QueuePtr rear; }LinkQueue; InitQueue(LinkQueue Q) { Q.front =