第3章栈队列3.pptVIP

3.4 队列 ( Queue ) 定义 队列是只允许在一端删除，在另一端插入的顺序表 允许删除的一端叫做队头(front)，允许插入的一端叫做队尾(rear)。 特性 先进先出(FIFO, First In First Out) 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 端为队列尾。 基本操作： InitQueue(Q) 操作结果：构造一个空队列Q。 DestroyQueue(Q) 初始条件：队列Q已存在。 操作结果：队列Q被销毁，不再存在。 ClearQueue(Q) 初始条件：队列Q已存在。 操作结果：将Q清为空队列。 QueueEmpty(Q) 初始条件：队列Q已存在。 操作结果：若Q为空队列，则返回TRUE，否则返回FALSE。 QueueLength(Q) 初始条件：队列Q已存在。 操作结果：返回Q的元素个数，即队列的长度。 GetHead(Q, e) 初始条件：Q为非空队列。 操作结果：用e返回Q的队头元素。 EnQueue(Q, e) 初始条件：队列Q已存在。 操作结果：插入元素e为Q的新的队尾元素。 DeQueue(Q, e) 初始条件：Q为非空队列。 操作结果：删除Q的队头元素，并用e返回其值。 QueueTraverse(Q,visit()) 初始条件：Q为非空队列 操作结果：从队头始，对Q的每个元素调用函数visit()。若visit失败则操作失败。 } ADT Queue 2. 队列的顺序存储结构 队列的顺序存储结构表示——循环队列 #define MAXQSIZE 100; Typedef struct{ QElemType *base; //初始化时分配的存储块地址 int front; //头指针，若队列不空，指向队头元素； int rear; //尾指针，若队列不空，指向队尾元素的下一个位置 }SqQueue; 在顺序队列尾插入新元素算法 Status EnQueue ( SqQueue Q; QElemType e ) { // 若队列满，则返回 ERROR；若队列不满，则插入元素 e 为队列 Q 新的队尾元素。 if ( Q.rear == MAXQSIZE ) return ERROR // 如果队列满，则出错 Q.base[ Q.rear ] = e; // 将 e 插入到循环队列尾 Q.rear ++; // 修改队尾指针 return OK; } // EnQueue 在顺序队列头删除旧元素算法 Status DeQueue ( SqQueue Q, QElemType e ) { // 若队列空，则返回 ERROR；若队列不空，则删除 Q 的队列头元素，用 e 返回其值，并返回 OK 。 if ( Q.front = = Q.rear ) return ERROR; // 如果队列空，则出错 e = Q.base [ Q.front ]; // 将队头元素取出 Q.front = ++ ; // 修改队头指针 return OK; } // DeQueue 顺序存储队列的几种状态 顺序队列假溢出的解决方案 固定队首位置，每次出队后剩余元素向左移动——浪费时间 使用循环队列 基本思想：把队列围成环形，让sq[0]接在sq[M-1]之后，若出现rear==M,则令rear=0; 循环队列中必须区分队满状态与队空状态： 在循环队列尾插入新元素算法 Status EnQueue ( SqQueue Q; QElemType e ) { // 若队列满，则返回 ERROR；若队列不满，则插入元素 e 为队列 Q 新的队尾元素。 if ( ( Q.rear + 1 ) % MAXQSIZE = = Q.front ) return ERROR // 如果循环队列满，则出错 Q.base[ Q.rear ] = e; // 将 e 插入到循环队列尾 Q.rear = ( Q.rear + 1 ) % MAXQSIZE; // 修改队尾指针 return OK; } // EnQueue 在循环队列头删除旧元素算法 Status DeQueue ( SqQueue Q, QElemType e ) { // 若队列空，则返回 ERROR；若队列不空，则