队列整理笔记

队列基本概念

定义：操作受限的线性表，允许一端（队头）删除（出队），另一端（队尾）插入（入队）

特点：FIFO（先进先出）

基本操作

初始化:initQueue(&q)  初始化头尾指针

队列判断空：QueueEmpty（q）:判断空条件

入队：EnQueue(&q,key):若不满，入队成为队尾

出队：DeQueue（&q,&key）非空，队头出队

读取对头元素：GetQueue(1,&key)非空，读取

队列的顺序存储

定义：利用连续的一块存储单元存储元素，front指向队头元素，rear指向队尾元素

typedef struct｛
    ElemType data[Maxsize];
    int front,rear;  //队头队尾指针
｝SeQueue；

判断空条件：front=rear=0；  入队rear++  出队front++  

循环队列

由于不能用rear=Maxsize判断队满，会出现假溢出现象：仍然可以存储，但是rear大于Maxsize

由于假溢出引入了循环队列：当队头元素=Maxsize-1时，下一个位置自动设置为0；利用取余运算

初始化：Q.rear=Q.front=0;

队列首指针进1：Q.front=(Q.front+1)%Maxsize;

队尾指针进1：Q.rear=(Q.rear+1)%Maxsize

队列长度（Q.rear+Maxsize-Q.front)%MaxSize.

判断队满的条件：

1.牺牲一个单元

        队空：Q.front=Q.rear 

        队满：（Q.rear+1）%Maxsize =Q.front

2.设置元素个数成员：

        队空条件：Q.size==0 

        队满条件：Q.size==Maxsize    两种情况都有Q.rear=Q.front

3.设置tag数据成员标志队满队空

        若tag=0时，因为删除导致，Q.front=Q.rear 队空

        tag=1时，因为插入导致Q.front==Q.rear 队满

实现

初始化:initQueue(&q)  初始化头尾指针为0

void initQueue（SeQueue &Q）｛
    Q.rear==0;
    Q.front==0;
｝

判断队空:Q.front=Q.rear

bool emptyqueue(SeQueue Q){
    if(Q.rear=Q.front)
        return true;
    return false;
}

入队：判断是否队满，再入队，此时指针指向下一个存储，先赋值然后队尾指针+1

bool Enqueue（SeQueue &Q,int key）｛
    if（（Q.rear+1）%Maxsize!=Q.front）{
        Q.data[rear]=key;
        Q.rear=(Q.rear+1)%Maxsize;  //尾指针进1
        return true;
}
    return false;
｝

出队：判断是否为空，然后对头指针进1

bool DeQueue（SeQueue &Q，int &key）｛
    if（Q.rear!=Q.front）{
        key=Q.data[front];
        Q.front=(Q.front+1)%Maxsize;
        return true;}
    return false;     
｝