第三1栈和队列剖析.pptVIP

队列的特点 队列示意图 3.4.1 抽象数据类型队列的定义 a1 a2 a3 … … an 队头 队尾 出队 出队 先进先出(First In First Out ，简称FIFO)。 又称队列为先进先出表。 * ADT Queue { 数据对象： 数据关系： 抽象数据类型栈 基本操作： } ADT Queue 见下页 3.1.1 抽象数据类型栈的定义 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) //初始化队列 DestroyQueue(Q) //销毁队列 QueueEmpty(Q) //判队列是否空 QueueLength(Q) //求队列长度 GetHead(Q, e) //取队头元素 ClearQueue(Q) //清空队列 EnQueue(Q, e) //入队列 DeQueue(Q, e) //出队列 QueueTravers(Q, visit()) //遍历队列 队列的基本操作 3.1.1 抽象数据类型栈的定义 * 3.4.2 链队列 typedef struct QNode { // 结点类型 QElemType data; struct QNode *next; } QNode, *QueuePtr; 链队列结点实现 typedef struct { // 链队列类型 QueuePtr front; // 队头指针 QueuePtr rear; // 队尾指针 } LinkQueue; 链队列数据类型实现 * Q.front Q.rear 带头结点的链队列示意图 3.4.2 链队列 ^ 头结点 空队列 a1 a2 …… an 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; } 3.4.2 链队列 带头结点的链队列初始化 * 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; } 3.4.2 链队列 带头结点的链队列入队算法 * 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.front-next = p-next; if (Q.rear == p) Q.rear = Q.front; free (p); return OK; } 3.4.2 链队列 带头结点的链队列出队算法 * DestroyQueue(Q) //销毁队列 QueueEmpty(Q) //判队列是否空 QueueLength(Q)