数据结构——队列

队列的定义

队列 (Queue)：另一种限定性的线性表。
只允许在表的一端插入元素，而在另一端删除（取值）元素，具有先进先出 (FIFO，Fist In Fist Out)特性。

队尾(rear)：允许插入的一端，队头(front)：允许删除的一端。
类似排队：最早进入队列的人最早离开，新来的人加入队尾。
示例：
队列q = (a1，a2，…，an)，
a1：队头元素，an：队尾元素。
元素按照a1，a2，…，an的顺序进入，也必须按照同样的次序出队。

队列的表示与实现

链队列：

链表表示的队列，为了操作方便，带头结点；
设置队头指针和队尾指针：
① 队头指针始终指向头结点；
② 队尾指针指向当前最后一个元素；
③ 空的链队列的队头指针和队尾指针均指向头结点。

链队列定义:

typedef struct Node
{
  	QueueElementType data;     /*数据域*/
  	struct Node *next;     /*指针域*/
}LinkQueueNode;

typedef struct 
{
  	LinkQueueNode *front;
  	LinkQueueNode *rear;
}LinkQueue;

初始化操作：

int InitQueue(LinkQueue * Q) /* 初始化Q为空链队列 */
{
  	Q->front = (LinkQueueNode *)malloc(sizeof(LinkQueueNode));
  	if(Q->front != NULL)//头结点分配成功
	{
		Q->rear = Q->front;
		Q->front->next=NULL;
 		return(TRUE);
	}
	else return(FALSE);    /* 溢出！*/
}

入队操作：

int EnterQueue(LinkQueue *Q, QueueElementType x)/*元素x插入队列*/
{
	LinkQueueNode * NewNode;
	NewNode = (LinkQueueNode * )malloc(sizeof(LinkQueueNode));
	if(NewNode != NULL)
	{
		NewNode->data = x;    
	    NewNode->next = NULL;
   		Q->rear->next = NewNode;
	  	Q->rear = NewNode;	/*尾插法*/
	  	return(TRUE);
	} 
	else  return(FALSE);    /* 溢出！*/
}

出队操作：

int DeleteQueue(LinkQueue * Q, QueueElementType *x) /*队头出队到x中*/
{
  	LinkQueueNode * p;
	if(Q->front == Q->rear)
	    return(FALSE); //空队
	p = Q->front->next; //找队头
	Q->front->next = p->next;  /*绕过摘队头*/
	if(Q->rear == p)  /* 队中只有一个元素p，出队后队空*/
		Q->rear = Q->front;  //重置队尾
	*x = p->data;
	free(p);   /* 释放存储空间 */
	return(TRUE);	
}

循环队列：

顺序表示和实现的队列，与顺序栈类似。
用一组地址连续的存储单元依次存放队列元素，实质是一个数组，如Queue[MAXSIZE]。
两个指针（下标）front和rear，指示队头和队尾元素的位置
① 初始化队列时，令front=rear=0；
② 入队时，直接将新元素送入尾指针rear所指的单元，然后尾指针增1；
③ 出队时，直接取出队头指针front所指的元素，然后头指针增1。

真正队满的条件是：rear-front==MAXSIZE，而不是rear==MAXSIZE因为这样元素出队后前面空间不可再用，称为假溢出。

循环队列解决了假溢出现象，使得队列空间得到充分利用，
将顺序队列的数组看成一个环状的空间，即规定最后一个单元的后继为第一个单元，类似循环移位。
设队列数组为Queue[MAXSIZE]，最后一个单元Queue[MAXSIZE-1]的后继是Queue[0]
① 当rear+1==MAXSIZE时，令rear=0
② 通过取模（求余）运算来实现：rear =(rear+1)mod MAXSIZE
借助于取模（求余）运算，可以自动实现队尾指针、队头指针的循环变化。
① 进队操作：队尾指针rear=(rear+1)mod MAXSIZE ；
② 出队操作：队头指针front=(front+1)mod MAXSIZE。

判断队列“空”或“满”：
（1）front前一个元素空置，队“满”条件：(rear+1)mod MAXSIZE=front。判队空条件：rear==front；
（2）增设一个标志量（如tag），出队为0，入队为一。当rear==front && tag=1时为满，rear==front && tag=0时为空。

循环队列类型定义：

#define MAXSIZE 50  /*队列的最大长度*/
typedef struct
{
	QueueElementType element[MAXSIZE];  //元素空间
	int front;  /*头指针指示器*/
	int rear ;  /*尾指针指示器*/
}SeqQueue;

初始化操作：

void InitQueue（SeqQueue * Q）
{  /* 将*Q初始化为一个空的循环队列 */
	Q->front = Q->rear = 0;
}

入队操作：

int EnterQueue(SeqQueue *Q, QueueElementType x)
{  /*元素x入队*/
	if((Q->rear+1)%MAXSIZE == Q->front)  /*队满*/
		return(FALSE);
	Q->element[Q->rear] = x;
	Q->rear = (Q->rear+1)%MAXSIZE;  /* 重设队尾指针 */
	return(TRUE);  /*操作成功*/
}

出队操作：

int DeleteQueue(SeqQueue *Q, QueueElementType * x)
{ /*删除队头元素，用x返回其值*/
	if（Q->front == Q->rear）  /*队列为空*/
		return(FALSE);
	*x = Q->element[Q->front];
	Q->front = (Q->front+1)%MAXSIZE;/*重设队头指针*/
	return(TRUE);  /*操作成功*/
}

队列应用举例——打印杨辉三角：

杨辉三角特点：
每一行首尾数字为1，其他数字是其上一行中与之相邻两数之和。第i行元素由第i-1行元素来生成。