数据结构学习笔记——队列

1.定义
队列（queue）是只允许在一端进行插入操作，而在另一端进行删除操作的线性表。
队列是一种先进先出（First In First Out）的线性表，简称FIFO。允许插入的一端称为队尾，允许删除的一端称为队头。
2.队列的抽象数据类型
1.InitQueue(*Q)：初始化操作，建立一个空队列Q。
2.DestroyQueue(*Q)：若队列Q存在，则销毁它。
3.ClearQueue(*Q)：将队列Q清空。
4.QueueEmpty(Q)：若队列Q为空，返回true，否则返回 false。
5.GetHead(Q, *e)：若队列Q存在且非空，用e返回队列Q的队头元素。
6.EnQueue(*Q, e)：若队列Q存在，插入新元素e到队列Q中并成为队尾元素。
7.Dequeue(*Q, *e)：删除队列Q中队头元素，并用e返回其值。
8.QueueLength(Q)：返回队列Q的元素个数
3.队列的存储结构
（1）队列的顺序存储结构
因为队列是一种先进先出的线性表，假设定义一个长度为5的数组，队列的队头应该是数组下标为0处，此时如果我们执行出队操作，对于普通的线性表，我们需要将下标为1-4的元素向前移动一位，这样的时间复杂度是O[n]，但由于队列有队头指针，如果我们将队头指针向下移动，移动到数组下标为1的位置，那我们就用O[1]的时间复杂度实现了出队操作。
问题还不止于此，假设这个队列的总个数不超过5个，但目前如果接着入队的话，因数组末尾元素已经占用，再向后加，就会产生数组越界的错误，可实际上，我们的队列在下标为0的地方还是空闲的。我们把这种现象叫做“假溢出”。
循环队列
所以解决假溢出的办法就是后面满了，就再从头开始，也就是头尾相接的循环。我们把队列的这种头尾相接的顺序存储结构称为循环队列。
队列满的条件是：(rear + 1) % QueueSize == front （取模“%”的目的就是为了整合rear与front大小为一个问题）
通用的计算队列长度公式为：(rear - front + QueueSize) % QueueSize
下面是循环队列的实现代码

typedef int 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中队头元素
Status DeQueue(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;
}

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

typedef int QElemType;
typedef struct QNode{           //结点结构
    QElemType data;
    struct QNode *next;
}QNode, *QueuePtr;
typedef struct{                 //队列的链表结构
    QueuePtr front, rear;       //队头、队尾指针
    int count;
}LinkQueue;

初始化操作

LinkQueue* initQueue(){
    LinkQueue *q = (Queue *)malloc(MAXSIZE*(sizeof(Queue)));
    q->front = q->rear = NULL;
    return q;
}

入队操作

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

出队操作

Status DeQueue(LinkQueue *Q){
    QNode *p;
    if(Q->front == Q->rear)        //判断队列是否为空
        return ERROR;
    p = Q->front->next;            //将欲删除的队头结点暂存给p
    Q->front->next = p->next;      //将原队头结点后继p->next赋值给头结点后继
    if(Q->rear == p)               //若队头是队尾,则删除后将rear指向头结点
        Q->rear = Q->front;
    free(p);
    Q->count--;
    return OK;
}