数据结构3_队列.ppt

3．4 队列 1）队列的定义 队列(Queue)简称队，是限定所有的插入只能在表的一端进行， 而所有的删除都在表的另一端进行的线性表。 表中允许插入的一端称为队尾(Rear)， 允许删除的一端称为队头(Front) 向队列中插入新元素称为进队或入队，新元素进队后就成为 新的队尾元素； 从队列中删除元素称为离队或出队，元素离队后，其后继元 素就成为新的队首元素。 由于队列的插入和删除操作分别是在各自的一端进行的，每 个元素必然按照进入的次序离队，所以又把队列称为先进先 出表（First Input Last Output，简称FIFO）。 2）队列的抽象数据类型 （1）类型定义： 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 端为队列尾。 2）队列的抽象数据类型 （2）基本操作： （共七条） 1、InitQueue(Q) 操作结果：构造一个空队列Q。 2、DestroyQueue(Q) 初始条件：队列Q已存在。 操作结果：队列Q被销毁，不再存在。 3、ClearQueue(Q) 初始条件：队列Q已存在。 操作结果：将Q清为空队列。 2）队列的抽象数据类型 （2）基本操作： （共七条） 4、 QueueLength(Q) 初始条件：队列Q已存在。 操作结果：返回Q的元素个数，即队列的长度。 5、 GetHead(Q, e) 初始条件：Q为非空队列。 操作结果：用e返回Q的队头元素。 6、 EnQueue(Q, e) 初始条件：队列Q已存在。 操作结果：插入元素e为Q的新的队尾元素。 2）队列的抽象数据类型 （2）基本操作： （共七条） 7、DeQueue(Q, e) 初始条件：Q为非空队列。 操作结果：删除Q的队头元素，并用e返回其值。 （3）队列的表示和实现 1）链队列——队列的链式表示和实现 （1）链队列——队列的链式表示和实现 Status InitQueue(linkqueue Q){ //构造一个空队列Q q.front = q.rear = (queueptr)malloc(sizeof(QNode)); If (!q.front) exit (OVERFLOW);//存储分配失败 q.front -next = NULL; Return OK; } //initQueue; （1）链队列——队列的链式表示和实现 Status DestoryQueue(linkqueue Q){ //销毁队列Q while (q.front) { q.rear = q.front - next; free(q.front); q.front = q.rear; } Return OK; } // DestoryQueue; （1）链队列——队列的链式表示和实现 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; } // EnQueue; （1）链队列——队列的链式表示和实现 Status DeQueue(linkqueue Q,Qelemtype e){ //若队列非空，删除Q的队头元素，用e返回其值，并返回OK //否则返回ERR If (q.front = = q.rear) return err; p = q.front - next; p -next = NULL; e = p -data; q.front - next = p -next; if (q.rear = = p) q.rear = q.front; free(p); Return OK; } // De