队列知识知识

队列的基本概念

队列是只允许在队尾进行插入，在队头删除的线性表
特点：先进入队列的元素先出队 First In First Out(FIFO)

队尾：允许插入的一端
队头：允许删除的一端

入队成为新的队尾，出队将队头元素删除。

队列的顺序实现

定义front和rear指针，让两个指针同时指向0
front指针指向队头元素
rear指向队尾元素的后一个位置（下一个要插入的位置）

初始化和判空

#include<stdio.h>
#define MaxSize 10

typedef struct{
	int data[MaxSize];
	int front,rear;
}SqQueue;
//初始化 
void InitQueue(SqQueue &Q){
	Q.rear=Q.front=0;
} 
//判空 
bool QueueEmpty(SqQueue Q){
	return (Q.rear==Q.front); 
}

入队

令Q.rear=(Q.rear+1)%MaxSize 队尾指针加1取模
如maxsize=7，则Q.rear的范围是（0,1,2,3,4,5,6）
这种方式形成的队列叫做循环队列，即用模运算将存储空间在逻辑上变成了环状。

队列已满的条件：
队尾指针的下一个位置是队头，即(Q.rear+1)%MaxSize==Q.front
不能将rear指针继续向下指使得rear=front，那样就会是判空的条件，而显然队列是满的，因此我们要牺牲一个存储单元，让rear指向空单元。

bool EnQueue(SqQueue &Q,int x) {
	if((Q.rear+1)%MaxSize==Q.front){	//判满：队尾指针指向的位置是否等于队头指针指向的位置。  
		return false;
	}
	Q.data[Q.rear]=x;
	Q.rear=(Q.rear+1)%MaxSize;
}

出队

只能让队头元素出队

bool DeQueue(SqQueue &Q,int &x) {
	if(Q.rear==Q.front){	//判断队列是否为空 
		return false;
	}
	x=Q.data[Q.front];
	Q.front=(Q.front+1)%MaxSize;	//队头指针后移
	return true; 

}

将队头指针后移

获取队头元素

bool GetHead(SqQueue &Q,int &x) {
	if(Q.rear==Q.front){	//判断队列是否为空 
		return false;
	}
	x=Q.data[Q.front];
	return true; 
}

队列元素个数：

int num(SqQueue Q){
	return (Q.rear+MaxSize-Q.front)%MaxSize;
}

其他判满判空的方法

出题老师有时会不允许浪费内存空间
方法二：
在struct里加入变量size记录队列当前长度。

#include<stdio.h>
#define MaxSize 10

typedef struct{
	int data[MaxSize];
	int front,rear;
	int size;	//队列当前长度 
}SqQueue;

插入成功size++
删除成功size–
队满条件：
size== MaxSize
推导：
此时size== MaxSize-1

将rear往后移一位，size= =MaxSize,

队空条件：
size= =0
推导：
此时队列中只有一个元素，size= =1

让队头元素出队，front指针往后移一位，size–，即size==0.

方法三：
在struct里加入变量tag记录最近的操作是插入/删除.
每次删除操作成功时，都令tag=0
每次插入操作成功时，都令tag=1

#include<stdio.h>
#define MaxSize 10

typedef struct{
	int data[MaxSize];
	int front,rear;
	int tag;	//最近的操作是插入/删除 
}SqQueue;

队满条件：
front= =rear&&tag= =1
推导：
不管tag的值此时是多少，只要我们往rear指针指向的位置插入一个元素，tag的值就变为1，并且把rear指针往后移一位

此时队头等于队尾指针是由插入（tag== 1）导致的，因此是队满

队空条件：
front== rear&&tag== 0
推导：
此时只有最后一个数据元素，将它删除，tag值设为零，front指针往后移一位

此时队头等于队尾指针是由删除（tag==0）导致的，因此是队空

其他出题方法

以上都是基于rear指向队尾元素的下一个位置

如果rear指向队尾元素
入队操作：
需要先让指针往后移一位，然后再插入元素

初始化操作：
由于入队操作需要先让指针往后移一位，然后再插入元素，因此初始化时可以使front指针指向0,rear指向n-1

判空：

（Q.rear+1）%MaxSize==Q.front 

判满：
方法一：牺牲一个存储单元
令头指针前面的单元不可以存放数据元素
如果头指针在尾指针的后面一个位置，队列为空
如果头指针在尾指针的后面两个位置，队列为满

方法二：增加辅助变量
size,tag

双端队列

栈：                             只允许从一端插入和删除的线性表
队列：                         只允许从一端插入，另一端删除的线性表
双端队列：                  只允许从两端插入，两端删除的线性表
输入受限的双端队列：只允许从一端插入，两端删除的线性表
输出受限的双端队列：只允许从两端插入，一端删除的线性表

考点：判断输出序列合法性
双端队列只从某一端进行输入输出就退化成了栈，只要栈里能出现合法的输出序列，双端队列肯定也可以出现.
然后再根据输入受限或输出受限的双端队列对栈中不合法的输出序列进行判断即可。

卡特兰数：
合法出栈序列数 ，如n=4

注意：如 3124，在3入队前1，2要先入队。