大话数据结构--栈与队列(三)

简介: 大话数据结构--栈与队列(三)

4.9 队列的定义


生活中的实例


电脑有的时候会处于疑似死机的状态,鼠标点什么都没用,刚准备重启的时候它又突然好起来了,然后将我们点击的所有操作都按顺序执行了一遍。这其实是因为操作系统中的多个程序因需要通过一个通道输入,而按先后次序排队等待造成的


还有平时我们打客服电话的时候,需要排队等待


操作系统和客服系统中,都是应用了一种数据结构来实现刚才提到的先进先出的

排队功能,这就是队列。


队列(queue)是允许在一端进行插入操作,而在另一端进行删除操作的线性表


队列是一种先进先出(First In First Out)的线性表,简称FIFO


回顾我们上面学的栈是后进先出哦


image.png


队列在程序设计中用得非常频繁。前面我们已经举了两个例子,再比如用键盘进行各种字母或数字的输入,到显示器上如记事本软件上的输出,其实就是队列的典型


4.10队列的抽象数据类型


同样是线性表,队列也有类似线性表的各种操作,不同的就是插入数据只能在队

尾进行,删除数据只能在队头进行。


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


4.11 循环队列


线性表有顺序存储和链式存储,栈是线性表,所以有这两种存储方式。同样,队列作为一种特殊的线性表,也同样存在这两种存储方式。我们先来看队列的顺序存储结构。


4.11.1队列顺序存储的不足


我们假设一个队列有n个元素,则顺序存储的队列需建立一个大于n的数组,并把队列的所有元素存储在数组的前n个单元,数组下标为0的一端即是队头。所谓的入队列操作,其实就是在队尾追加一个元素,不需要移动任何元素,因此时间复杂度为O(1)


image.png


与栈不同的是,队列元素的出列是在队头,即下标为0的位置,那也就意味着,

队列中的所有元素都得向前移动,以保证队列的队头,也就是下标为0的位置不为

空,此时时间复杂度为0(n)


image.png


在现实中也是如此,一群人在排队买票,前面的人买好了离开,后面的人就要全部向前一步,补上空位,似乎这也没什么不好。


那能不能出队列的时候,后面的元素不存储再数值的前n个单元这一条件,出队列的性能就会大大增加。也就是说,对头不需要一定在下标为0的位置


image.png


为了避免当只有一个元素时,队头和队尾重合使处理变得麻烦,所以引入两个指针,front 指针指向队头元素,rear 指针指向队尾元素的下一-个位置,这样当front等于rear时,此队列不是还剩-一个元素,而是空队列。


假设是长度为5的数组,初始状态,front 与rear指针均指向下标为0的位置。然后入队a1、a2、a3、 a4, front 指针依然指向下标为0位置,而rear指针指向下标为4的位置


image.png


出队a1、a2, 则front指针指向下标为2的位置,rear 不变,再入队as,此时front指针不变,rear 指针移动到数组之外。嗯?数组之外,那将是哪里?


image.png


问题还不止于此。假设这个队列的总个数不超过5个,但目前如果接着入队的话,因数组末尾元素已经占用,再向后加,就会产生数组越界的错误,可实际上,我们的队列在下标为0和1的地方还是空闲的。我们把这种现象叫做**“ 假溢出”。**


现实当中,你上了公交车,发现前排有两个空座位,而后排所有座位都已经坐满,你会怎么做?立马下车,并对自己说,后面没座了,我等下一辆?没有这么笨的人,前面有座位,当然也是可以坐的,除非坐满了,才会考虑下一辆。


4.11.2 循环队列的定义


所以解决假溢出的办法就是后面满了,就再从头开始,也就是头尾相接的循环。我们把队列的这种头尾相接的顺序存储结构称为循环队列。


image.png


上面的例子继续,rear可以改为指向下标为0的位置,这样就不会造成指针指向不明的问题了


接着入队a6,将它放置于下标为0处,rear指针指向下标为1处,若再入队a7,则rear指针就与front指针重合,同时指向下标为2的位


image.png


此时问题又出来了,我们刚才说,空队列时,front 等于rear, 现在当队列满时,也是front等于rear,那么如何判断此时的队列究竟是空还是满呢?


办法一个标志变量flag,当front == rear,且flag = 0时为队列空,当front== rear,且fag= 1时为队列满。


办法二是当队列空时,条件就是front = rear,当队列满时,我们修改其条件,保留一个元素空间。也就是说,队列满时,数组中还有一个空闲单元。我们就认为此队列已经满了,也就是说,我们不允许如下右图的情况出现


image.png


队列满的条件是(rear + 1) % QueueSize == front(取模的目的就是为了整合rear与front大小为一个问题)


我们可以根据图,求出队列中的元素


当rear>front时,队列中的元素个数为rear - front


当rear<front时,队列中的元素个数为两段,一段为QueueSize - front,另一段为0 + rear


这两段加起来为rear - front + QueueSize


.通用的计算队列长度的公式为:


(rear - front + QueueSize) % QueueSize


循环队列的顺序结构代码如下:


typedef int QE1 emType; /* QElemType类型根据实际情况而定,这里假设为int *//*循环队列的顺序存储结构*/typedef struct{    QE1 emType 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 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;}


循环队列面临着数组可能会溢出的问题,下面来讨论不需要担心链式存储结构


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


队列的链式存储结构,其实就是线性表的单链表,只不过它只能尾进头出而已,简称为链队列。为了操作上的方便,将队头指针指向链队列的头结点,而队尾指针指向终端结点


image.png


空队列时,front 和rear都指向头结点


image.png


链队列的结构为:


typedef int QElemType;  /* QElemType 类型根据实际情况而定,这里假设为int */typedef struct QNode /*结点结构*/{    QElemType data;  struct QNode *next;}QNode, *QueuePtr;typedef struct /*队列的链表结构*/{    QueuePtr front,rear;  /* 队头、队尾指针*/}LinkQueue;


4.13.1队列的链式存储结构一入队操作


入队操作时,其实就是在链表尾部插入结点


image.png


/*插入元素e为Q的新的队尾元素*/Status EnQueue ( LinkQueue *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;}


4.13.2队列的链式存储结构一出队操作


出队操作时,就是头结点的后继结点出队,将头结点的后继改为它后面的结点,若链表除头结点外只剩-一个元素时,则需将rear指向头结点


image.png


对于循环队列与链队列的比较,可以从两方面来考虑,从时间上,其实它们的基本操作都是常数时间,即都为0(1)的, 不过循环队列是事先申请好空间,使用期间不释放,而对于链队列,每次申请和释放结点也会存在一-些时间开销,如果入队出队频繁,则两者还是有细微差异。对于空间上来说,循环队列必须有一个固定的长度,所以就有了存储元素个数和空间浪费的问题。而链队列不存在这个问题,尽管它需要一个指针域,会产生一些空间 上的开销,但也可以接受。所以在空间上,链队列更加灵活


总的来说,在可以确定队列长度最大值的情况下,建议用循环队列,如果你无法预估队列的长度时,则用链队列。


4.13总结回顾


栈(stack) 是限定仅在表尾进行插入和删除操作的线性表。


队列(queue) 是只允许在一端进行插入操作, 而在另一端进行删除操作的线性表


它们均可以用线性表的顺序存储结构来实现,但都存在着顺序存储的一些弊端。因此它们各自有各自的技巧来解决这个问题。


对于栈来说,如果是两个相同数据类型的栈,则可以用数组的两端作栈底的方法来让两个栈共享数据,这就可以最大化地利用数组的空间。


对于队列来说,为了避免数组插入和删除时需要移动数据,于是就引入了循环队列,使得队头和队尾可以在数组中循环变化。解决了移动数据的时间损耗,使得本来插入和删除是0(n)的时间复杂度变成了0(1)。


它们也都可以通过链式存储结构来实现,实现原则上与线性表基本相同


image.png

相关文章
|
2天前
栈的基本应用
栈的基本应用
10 3
|
2天前
栈与队列理解
栈与队列理解
8 1
|
2天前
|
存储 算法
数据结构与算法 栈与队列
数据结构与算法 栈与队列
7 0
数据结构与算法 栈与队列
|
2天前
|
C++
数据结构(顺序队列 循环队列
数据结构(顺序队列 循环队列
7 0
|
2天前
|
C++
数据结构(共享栈
数据结构(共享栈
6 0
|
2天前
|
C++
数据结构(顺序栈
数据结构(顺序栈
8 2
|
2天前
|
容器
【栈与队列】栈与队列的相互转换OJ题
栈:一种特殊的线性表,其只允许在固定的一端进行插入和删除元素操作。进行数据插入和删除操作的一端称为栈顶,另一端称为栈底。栈中的数据元素遵守后进先出LIFO(Last In First Out)的原则。
10 0
|
2天前
|
存储
【栈】基于顺序表的栈功能实现
栈:一种特殊的线性表,其只允许在固定的一端进行插入和删除元素操作。进行数据插入和删除操作的一端 称为栈顶,另一端称为栈底。栈中的数据元素遵守后进先出LIFO(Last In First Out)的原则。
11 0
|
3天前
|
存储 程序员
什么是堆,什么是栈
什么是堆,什么是栈
5 0
|
4天前
|
机器学习/深度学习 算法 测试技术
【单调栈】3113. 边界元素是最大值的子数组数目
【单调栈】3113. 边界元素是最大值的子数组数目