第三章数据结构-队列.pptVIP

*队列(Queue)也是一种运算受限的线性表。它只允许在表的一端进行插入，而在另一端进行删除。允许删除的一端称为队头(front)，允许插入的一端称为队尾(rear)。 　　例如：排队购物。操作系统中的作业排队。先进入队列的成员总是先离开队列。因此队列亦称作先进先出(First In First Out)的线性表，简称FIFO表。 　　当队列中没有元素时称为空队列。在空队列中依次加入元素a1,a2,…an之后，a1是队头元素，an是队尾元素。显然退出队列的次序也只能是a1,a2,…an ，也就是说队列的修改是依先进先出的原则进行的。 3.4 队列的类型定义 ADT Queue {数据对象：D＝{ai | ai∈ElemSet, i=1,2,...,n, n≥0}数据关系：R1＝{ a i-1,ai | ai-1, ai ∈D, i=2,...,n}约定其中a1 端为队列头， an 端为队列尾 基本操作： 队列的抽象数据类型定义 } ADT Queue 队列的基本操作： InitQueue(Q) DestroyQueue(Q) QueueEmpty(Q) QueueLength(Q) GetHead(Q, e) ClearQueue(Q) DeQueue(Q, e) EnQueue(Q, e) QueueTraverse(Q, visit()) InitQueue(Q) 操作结果：构造一个空队列Q。DestroyQueue(Q)初始条件：队列Q已存在。 操作结果：队列Q被销毁，不再存在。QueueEmpty(Q)初始条件：队列Q已存在。 操作结果：若Q为空队列，则返回TRUE，否则返回FALSE。QueueLength(Q)初始条件：队列Q已存在。操作结果：返回Q的元素个数，即队列的长度。 GetHead(Q, e) 初始条件：Q为非空队列。操作结果：用e返回Q的队头元素。 a1 a2 an … … ClearQueue(Q)初始条件：队列Q已存在。操作结果：将Q清为空队列。 EnQueue(Q, e) 初始条件：队列Q已存在。操作结果：插入元素e为Q的新的队尾元素。 a1 a2 an e … … DeQueue(Q, e)初始条件：Q为非空队列。操作结果：删除Q的队头元素，并用e返回其值。 a1 a2 an … …3.5 队列类型的实现 链队列——链式映象 循环队列——顺序映象 typedef struct QNode {// 结点类型QElemTypedata;struct QNode *next; } QNode, *QueuePtr; 链队列——链式映象 typedef struct { // 链队列类型QueuePtr front; // 队头指针QueuePtr rear; // 队尾指针 } LinkQueue; a1 ∧ an … Q.front Q.rear Q.front Q.rear ∧ 空队列 非空队列 Status InitQueue (LinkQueue Q) { // 构造一个空队列Q Q.front = Q.rear =(QueuePtr)malloc(sizeof(QNode)); if (!Q.front) exit (OVERFLOW);//存储分配失败 Q.front-next = NULL; return OK; } Status DestroyQueue (LinkQueue Q) { // 销毁队列Q while(Q.front){Q.rear=Q.front-next;free(Q.front);Q.front = Q.rear; } return OK; } Status EnQueue (LinkQueue Q,QElemType e) { // 插入元素e为Q的新的队尾元素(尾插法）p = (QueuePtr) malloc (sizeof (QNode));if (!p) exit (OVERFLOW); //存储分配失败p-data = e; p-next = NULL;Q.rear-next = p; Q.rear = p;return OK; } Status DeQueue (LinkQueue Q,QElemType e) { // 若队列不空，则删除Q的队头元素，（头删法） //用 e 返回其值，并返回OK；否则返回ERROR if (Q.front == Q.rear) return ERROR; p = Q.front-next; e = p-data; Q.fron