数据结构与算法（7）

1、队列的定义

队列（queue）是只允许在一端精选插入操作，而在另一端进行删除操作的线性表。

队列是一种先进先出(First In First Out)的线性表，简称FIFO。允许插入的一端称为队尾，允许删除的一端称为对头。

2、队列的抽象数据结构

同样是线性表，队列也有类似线性表的各种操作，不同的就是插入数据只能在队尾进行，删除数据只能在队头进行。

ADT 队列(Queue)
Data
    同线性表。元素具有相同的类型，相邻元素具有前驱和后继关系。
Operation
    Initqueue(*Q):初始化操作，建立一个空队列Q。
    DestroyQueue(*Q):若队列Q存在，则销毁它。
    ClearQueue(*Q):将队列Q清空。
    QueueEmpty(Q):若队列Q为空，返回true，否则返回false。
    GetHead(Q,*e):若队列Q存在且非空，用e返回队列Q的队头元素。
    EnQueue(*Q,e):若队列Q存在，插入新元素e到队列Q中并成为队尾元素。
    DeQueue(*Q,*e):删除队列Q，中队头元素，并用e返回其值。
    QueueLength(Q):返回队列Q的元素个数。
endADT

3、循环队列

实现循环队列的代码：

typedef int QElemType;// QElemType的类型视情况而定 
//循环队列的顺序储存结构 
typedef struct
{
	QElemType data[MAXSIZE];
	int front;//头指针 
	int rear;//尾指针，若队列不空，指向队列尾元素的下一个位置 
}SqQueue;

循环队列的初始化代码如下：

//初始化一个空队列Q 
Status InitQueue(SqQueue *Q)
{
	Q->front =0;
	Q->rear =0;
	return OK;
 } 

循环队列求队列长度代码如下：

 //返回Q的元素个数，也就是队列的当前长度 
 int QueueLength(SqQueue Q)
 {
 	return (Q.rear-Q.front+MAXSIZE)%MAXSIZE;
 }

循环队列的入队操作代码如下：

//若队列未满，则插入元素e为Q新的队尾元素 
 Status EnQueue(SqQueue *Q,QElemType e)
 {
  	if((Q->rear+1)%MAXSIZE==Q->front)//队列满的判断 
 		return ERROR;
	Q->data[Q->rear]=e;//将元素e复制给队尾 
	Q->rear=(Q->rear+1)%MAXSIZE;//rear指针向后移一位置 
	//若到最后则转到数组头部 
	return OK; 	 	
 }

循环队列的出队列操作代码如下：

 //若队列不空，则删除Q中队头元素，用e返回其值 
 Status EnQueue(SqQueue *Q,QElemType e)
 {
	if(Q->front==Q->rear)//队列为空的判断 
		return ERROR;
 	*e=Q->data[Q->front];//将队头元素赋值给e 
 	Q->front=(Q->front+1)%MAXSIZE;//front指针向后移一位置 
 	//若到最后则转到数组头部 
 	return OK;
 }

4、队列的链式储存结构及实现

队列的链式储存结构其实就是线性表的单链表，只不过它只能尾进头出而已，我们把它简称为链队列。

链队列的结构为：

 typedef int QEleType;//QElemType的类型视情况而定 
 typedef struct QNode//结点结构 
 {
 	QElemType data;
 	struct QNode *next;
 }QNode,*QueuePtr;
 
 typedef struct//队列的链表结构 
 {
 	QueuePtr front,rear;//队头、队尾指针 
 }LinkQueue;

入队操作：

 //插入元素e为Q的新队尾元素 
  Status EnQueue(SqQueue *Q,QElemType e)
  {
  	QueuePtr s=(QueuePtr)malloc(sizeof(QNode));
	if(!s)//分配内存失败 
		exit(OVERFLOW);
	s->data=e;
	s->next=NULL;
	Q->rear->next=s;//把拥有元素e的新结点s赋值给原队尾结点的后继 
	Q->rear=s;//把当前的s设置为队尾结点，rear指向s 
	return OK;  
  }

出队操作：

//若队列不为空，删除Q的队头元素，用e返回其值，并返回OK，否则返回ERROR 
Status EnQueue(SqQueue *Q,QElemType e)
{
	QueuePtr p;
	if(Q->front==Q->rear)
		return ERROR;
	p=Q->front->next;//将欲删除的队头结点暂存给p 
	*e=p->data ;//将欲删除的队头结点的值赋值给e 
	Q->front->next=p->next;//将原队头结点的后继p->next赋值给头节点后继 
	if(Q->rear==p)
		Q->rear=Q->front;
	free(p);
	return OK;  	
} 

在可以确定队列长度最大值的情况下建议使用循环队列，否则使用链队列。