详解数据结构:队列(含栈与队列扩展)

一、顺序队列

有一种线性序列,特点是先进先出,这种存储结构称为队列。队列也是一种线性表,只不过它是操作受限的线性表,只能再两端操作:一端进、一端出。进的一端称为队尾,出的一端称为队头。队列可以用顺序存储,也可以使用链式存储。

1、顺序队列的定义

队列的顺序存储采用一段连续的空间存储数据元素,并用两个整型变量记录队头和队尾元素的下标。顺序存储方式的队列如下图:

顺序队列的结构体定义如下:

typedef  struct SqQueue{
    ElemType *base; //空间基地址
    int front,rear; //头指针,尾指针
}SqQueue;

说明:

  • ElemType是指元素类型,需要什么类型就写什么类型。
  • typedef将结构体等价于类型名SqQueue。

顺序队列定义好了之后,还要先定义一个最大分配空间,顺序结构都是如此,需要预先分配空间,因此可以采用宏定义。

#define Maxsize 100

上面的结构体定义采用了动态分配的形式,也可以采用静态分配的形式,使用一个定长数组存储数据元素,用两个整型变量记录队头和队尾元素的下标。静态分配的顺序队列结构体定义如下:

typedef  struct SqQueue{
    ElemType data[Maxszie]; //定长数组
    int front,rear; //头指针,尾指针
}SqQueue;

注意:队列只能在一端进,一端出,不允许在中间查找、取值、插入、删除等操作,先进先出是人为规定的,如果破坏规则,就不是队列了。

完美图解:

假设现在顺序队列Q分配了6个空间,然后继续入队和出队操作。

注意:Q.front和Q.rear都是整型下标。

(1)开始时为空队,Q.front=Q.rear。如下图

(2)元素a­1入队,放入队尾Q.rear的位置,然后Q.rear后移一位。

(3)元素a2入队,放入队尾Q.rear的位置,然后Q.rear后移一位。

(4)元素a3、a4、a5分别按顺序入队,队尾Q.rear依次后移。

(5)元素a1出队,队头Q.front后移一位。

(6)元素a2­出队,队头Q.front后移一位。

(7)元素a6进队,放在队尾Q.rear的位置,然后Q.rear后移一位。

(8)元素a7­入队,此时队尾Q.rear已经超过了数组的最大下标,无法再进队,但是前面还有两个空间却出现了队满的情况,这种情况称为“假溢出”。

解决方法:上面第七步元素a6进队之后,队尾Q.rear要后移一个位置,此时已经超过了数组的最大下标,即Q.rear+1=Maxsize(最大空间为6),那么如果前面有空闲,Q.rear可以转向前面下标为0的位置。

元素a7进队,放入队尾Q.rear的位置,然后Q.rear后移一位。

元素a8入队,放入队尾Q.rear的位置,然后Q.rear后移一位。

这时,虽然队列空间存满了,但是出现了一个大问题!当队满了,Q.front=Q.rear,这和队空的条件一模一样,这样无法区分到底是队空还是队满。

解决办法:

  • 设置一个标志,标记队空和队满;
  • 浪费一个空间,当队尾Q.rear的下一个位置是Q.front时,就认为是队满。

上述到达尾部又向前存储的队列称为循环队列,为了避免“假溢出”,顺序队列往2、往采用循环队列

2、循环队列的定义

首先简述循环队列队空、队满的判定条件,以及出队、队列元素个数计算等基本操作方法。

(1)队空

无论队头和队尾在什么位置,只有Q.rear和Q.front指向同一个位置,就认为队空。如果将循环队列中的一维数组画成环形图,队空的情况如下图:

循环队列空的判定条件为Q.front==Q.rear。

(2)队满

在此采用浪费一个空间的方法,当队尾Q.rear的下一个位置Q.front时,就认为是队满。但是Q.rear向后移动一个位置(Q.rear+1)后,就很有可能超出数组的最大下标,这时它的下一个位置应该是0。

图中,队列的最大空间是Maxsize,当Q,rear=Maxsize-1时,Q.rear+1=Maxszie。而根据循环队列的规则,Q.rear的下一个位置是0。可以考了取余运算,即(Q.rear+1)%Maxsize=0。而此时Q.front=0,即(Q.rear+1)%Maxsize=Q.front,此时为队满的临界状态。

在上图中,加入最大空间数Maxsize=100,当Q.rear=1时,Q.rear+1=2,取余后(Q.rear+1)%Maxsize=2,而此时Q.front=2,即(Q.rear+1)%Maxsize=Q.front。队满的一般状态也可以采用此公式判断队满。因为一个不大于Maxsize的数与Maxisze取余运算,结果仍然为该数本身,所以一般状态下,取余运算没有任何影响。只有在临界状态(Q.rear+1=Maxsize)下,取余运算才会变成0.

因此,循环队列队满的判定条件为:(Q.rear+1)%Maxsize=Q.front

(3)入队

入队时,首先将元素x放入Q.rear所指的空间,然后Q,rear后移一位。

入队操作,当Q.rear后移一位,为了处理临界状态(Q.rear+1)=Maxsize,需要加1后取余运算。

代码实现:

        Q.base[Q.rear]=e; //新元素插入队尾

        Q.rear=(Q.rear+1)%Maxsize; //队尾指针加1

(4)出队

先用变量保存队头元素,然后队头Q.front后移一位。

出队操作,当Q.rear后移一位时,为了处理临界状态(Q.front+1)=Maxsize,需要加1后取余运算。

代码实现:

    e=Q.base[Q.front]; //保存队头元素

    Q.front=(Q.front+1)%Maxsize; //队头指针加1

注意:循环队列无论使出对还是入队,队尾、队头加1后都要取余运算,主要是为了处理临界状态。

(5)队列元素个数计算

循环队列中到底存了多少个元素,循环队列的内容实际上为Q.front~Q.rear-1这一切邮件的数据元素,但是不可以直接用两个下标相减得到。因为队列是循环的,所以存在两种情况:

①Q.rear≥Q.front

②Q.rear<Q.front

可以看到循环队列中的元素实际上为6个,当两者之差是负数的时候,可以将差值加上Maxsize计算元素个数,即Q.rear-Q.front+Maxsize。

因此在计算元素个数时,可以分为两种情况判断:

①Q.rear≥Q.front:元素个数为Q.rear-Q.front

②Q.rear<Q.front:元素个数为Q.rear-Q.front+Maxsize。

也可以采用取余的方法及那个这两种情况巧妙地统一为一个语句。

队列元素的个数为:(Q.rear-Q.front+Maxsize)%Maxsize。

(6)小结

队空:

Q.front==Q.rear;//Q.rear和Q.front指向同一个位置

队满:

(Q.rear+1)%Maxsize==Q.front;//Q.rear向后移一位正好是Q.front

入队:

Q.base[Q.rear]=e; //新元素插入队尾

Q.rear=(Q.rear+1)%Maxsize; //队尾指针加1

出队:

e=Q.base[Q.front]; //保存队头元素

Q.front=(Q.front+1)%Maxsize; //队头指针加1

队列中元素个数:

(Q.rear-Q.front+Maxsize)%Maxsize。

3、循环队列的基本操作

循环队列的基本包括初始化、入队、出队、取队头元素、求队列长度。

(1)初始化

初始化循环队列,首先分配一个大小为Maxsize的空间,然后令Q.rear=Q.front=0,即队头和队尾为0,队列为空。

代码实现:

bool InitQueue(SqQueue &Q)//注意使用引用参数,否则出了函数,其改变无效
{
    Q.base=new int[Maxsize];//分配空间
    if(!Q.base) return false;
    Q.front=Q.rear=0; //头指针和尾指针置为零,队列为空
    return true;
}

(2)入队

入队时,首先判断队列是狗已满,如果已满,则入队失败;如果未满,则将新元素插入队尾,队尾后移一位。

代码实现:

bool EnQueue(SqQueue &Q,int e)//将元素e放入Q的队尾
{
    if((Q.rear+1)%Maxsize==Q.front) //尾指针后移一位等于头指针,表明队满
        return false;
    Q.base[Q.rear]=e; //新元素插入队尾
    Q.rear=(Q.rear+1)%Maxsize; //队尾指针加1
    return true;
}

(3)出队

出队时,首先判断队列是否为空,如果队列为空,则出队失败;如果队列不空,则用变量保存队头元素,然后队头后移一位。

代码实现:

bool DeQueue(SqQueue &Q, int &e) //删除Q的队头元素,用e返回其值
{
    if(Q.front==Q.rear)
        return false; //队空
    e=Q.base[Q.front]; //保存队头元素
    Q.front=(Q.front+1)%Maxsize; //队头指针加1
    return true;
}

 (4)取队头元素

取队头元素时,只要把队头元素数据复制一份即可,并未改变队头位置,因此队列中的内容没有改变。

代码实现:

int GetHead(SqQueue Q)//返回Q的队头元素,不修改队头指针
{
    if(Q.front!=Q.rear) //队列非空
        return Q.base[Q.front];
    return -1;
}

(5)求队列的长度

通过前面的分析,我们已经知道循环队列中的元素个数为:(Q.rear-Q.front+Maxsize)%Maxsize,循环队列中元素个数即为循环队列的元素。

代码实现:

int QueueLength(SqQueue Q)
{
    return (Q.rear-Q.front+Maxsize)%Maxsize;
}

二、链队列

队列除了用顺序存储,也可以用链式存储。

顺序队列是分配一段连续的空间,用两个整型下标front和rear分别指向队头和队尾。而链队列类似一个单链表,需要两个指针front和rear分别指向队头和队尾。从队头出列,从队尾入队,为了出队时删除元素方便,可以增加一个头结点。

注意:链队列需要头结点。

因为链队列是一个单链表的形式,因此可以借助单链表的定义。

链队列中节点的结构体定义如下:

typedef  struct Qnode{
  int data;
  struct Qnode *next;
}Qnode,*Qptr;
链队列的结构体定义如下图:
typedef struct{
  Qnode *front;
  Qnode *rear;
}LinkQueue;

链队列的操作和单链表一样,只不过他只能队头删除,在队尾插入,是操作受限的单链表。

1、初始化

链队列的初始化,即创建一个头结点,头指针和尾指针指向头结点。

代码实现:

void InitQueue(LinkQueue &Q)//注意使用引用参数,否则出了函数,其改变无效
{
    Q.front=Q.rear=new Qnode; //创建头结点,头指针和尾指针指向头结点
    Q.front->next=NULL;
}

2、入队

先创建一个新节点,将元素e存入该节点的数值域。

然后将新节点插入队列,尾指针后移。

赋值解释:

①Q.rear->next=s:把s节点的地址赋值给队尾节点的next域,即尾节点的next指针指向s。

②Q.rear=s:把s节点的地址赋值给尾指针,即尾指针指向s,尾指针永远指向队尾。

代码实现:

void EnQueue(LinkQueue &Q,int e)//将元素e放入队尾
{
    Qptr s;
    s=new Qnode;
    s->data=e;
    s->next=NULL;
    Q.rear->next=s;//新元素插入队尾
    Q.rear=s;     //队尾指针后移
}

3、出队

出队相当于删除第一个元素,即将第一个元素节点跳过去。首先用p指针指向第一个数据节点,然后跳过该节点,即Q.front->next=p->next。

若队列中只有一个元素,删除后需要修改尾指针。

代码实现:

bool DeQueue(LinkQueue &Q,int &e) //删除Q的队头元素,用e返回其值

{

    Qptr p;

    if(Q.front==Q.rear)//队空

        return false;

    p=Q.front->next;

    e=p->data;     //保存队头元素

    Q.front->next=p->next;

    if(Q.rear==p) //若队列中只有一个元素,删除后需要修改队尾指针

        Q.rear=Q.front;

    delete p;

    return true;

}

4、取队头元素

队头元素实际上是Q.front->next指向的节点,即第一个数据节点,队头元素就是该节点的数据域存储的元素。

代码实现:

int GetHead(LinkQueue Q)//返回Q的队头元素,不修改队头指针

{

    if (Q.front!=Q.rear) //队列非空

        return Q.front->next->data;

    return -1;

}

三、栈和队列的应用

1、数制的转换

题目:将一个十进制数n转换为二进制数

解题思路:十进制转换为二进制,可以采用辗转相除法,取余数的方法得到。例如十进制数11转二进制,先求余数11%2=1,求商11/2=5,然后用商5求余数,求商,直到商为0,结束。

先求出的余数是二进制的低位,后求出的余数是二进制的高位,将得到的余数逆序输出就是所要的二进制数,逆序输出正号符合栈的先入后出的性质,因此可以借助栈来实现。

算法步骤:

  1. 初始化一个栈。
  2. 如果n!=0,将n%2入栈,更新n=n/2。
  3. 重复运行第二步,直到n=0为止。
  4. 如果栈不空,弹出栈顶元素e,输出e,知道栈空。

完美图解:

十进制11转换为二进制的计算步骤如下:

  1. 初始化n=11;
  2. n%2=1,1入栈,更新n=11/2=5;
  3. n%2=1,1入栈,更新n=5/2=2;
  4. n%2=0,0入栈,更新n=2/2=1;
  5. n%2=1,1入栈,更新n=1/2=0;
  6. n=0,算法停止。

入栈过程如下图:

如果栈不空,则一直出栈,出栈过程如下:

出栈的结果正好事十进制数11转化为二进制数1011。

代码实现:

void binaryconversion(int n)

{

    SqStack S;//定义一个栈S

    int e;

    InitStack(S);//初始化栈

    while(n)

    {

        Push(S,n%2);//将n%2压入栈中

        n=n/2;

    }

    while(!Empty(S))//如果栈不空

    {

        Pop(S,e);//出栈

        cout<<e<<"\t";//输出栈顶元素

    }

}

算法复杂度分析:

每次取余后除以2,n除以2多少次变为1那么第一个while语句就执行了多少次,假设执行了x次,则n/2x=1,x=log2n,因此复杂度为为O(log2n),使用的栈空间大小也是log2n,空间复杂度也是O(log2n)。

2、回文判定

题目:回文是指正反读均相同的字符序列,也就是字符串沿中心线对称。写一算法判定给定的字符串是否为回文。

解题思路:回文是中心对称的,可以将字符串前一半入栈,然后,栈中元素和字符串后一般进行比较。即将第一个出栈元素和后一半中第一个字符比较,如相等,则再将出栈一个元素与后一个字符比较……直到栈空为止,则字符序列为回文。在出栈元素与串中字符比较不等时,则字符序列不是回文。

算法步骤:

  1. 初始化一个栈S。
  2. 求字符串长度,将前面一半的字符串依次入栈S。
  3. 如果栈不空,弹出栈顶元素e,与字符串后一半元素比较。若n为激素,则跳过中心点,比较中心点后面的元素。如果元素相等,则继续比较直到栈空,返回true;如果元素不等,则返回false。

完美图解:

代码实现:

bool palindrome(char *str)//判断字符串是否为回文

{

    SqStack S;//定义一个栈S

    int len,i;

    char e;

    len=strlen(str);//返回字符串长度

    InitStack(S);//初始化栈

    for(i=0;i<len/2;i++)//将字符串前一半依次入栈

        Push(S,str[i]);

    if(len%2==1)//字符串长度为奇数,跳过中心点

        i++;

    while(!Empty(S))//如果栈不空

    {

        Pop(S,e);//出栈

        if(e!=str[i])//比较元素是否相等

            return false;

        else

            i++;

    }

    return true;

}

算法复杂度分析:

如果字符串长度为n,将前一半入栈,后一半依次和出栈元素比较,相当于扫描了整个字符串,因此时间复杂度为O(n),使用栈空间大小是n/2,空间复杂度也为O(n)。

3、双端队列

题目:设计一个数据结构,使其具有栈和队列两种特性。

解题思路:

栈是后进先出,队列是先进先出。

栈是在一端进出,队列是在一端进、另一端出。

允许两端都可以进行入队和出队的队列,就是双端队列。

双端队列是比较特殊的线性表,具有队列两种性质。

循环队列表示的双端队列,可以用环形形象地表达出来。双端队列和普通循环队列地区别如下图。双端队列包括前端和后端,可以从前端进入、前端出队、后端进队、后端出队。

1、双端队列结构体定义

双端队列可以用两个整型变量front和rear分别指向队头和队尾,采用顺序存储。静态分配空间形式地双端队列,其结构体定义如下:

typedef  struct SqQueue{

  ElemType base[Maxsize]; //一维数组存储,也可以设置指针动态分配空间

  int front,rear; //头指针,尾指针

}DuQueue;

注意:在顺序存储中,静态分配空间采用的是以为定长数组存储数据,动态分配空间是在程序运行中使用new动态分配空间。

完美图解

(1)前端进队时,先令Q.front前移一位,再将元素放入Q.front的位置,a、b、c依次从前端进队。

(2)后端进队时,先将元素放入Q.rear的位置,再令Q.rear后移动一位,d从后端进队。

(3)此时d从后端出队,先令Q.rear前移一位,再将Q.rear位置取出。

(4)此时a从后端出队,先将Q.rear前移一位,再将Q.rear的元素取出。

(5)此时c从前端出队,先将Q.front位置元素取出,再令Q.front后移一位。

(6)此时b从前端出队,先将Q.front位置元素取出,再令Q.front后移一位。

因此,a、b、c、d依次进队,可以通过双端队列得到 d、a、c、b的出队顺序。

从上面的图中可以看出以下两个特点:

  1. 后端进、前端出或者前端进、后端出体现了先进先出的特点,符合队列的特性。
  2. 后端进、后端出或者前端进、前端出提点了后进先出的特点,符合栈的特性。

所以说,循环队列实现的双端队列,具有栈和队列两种性质。

2、双端队列的基本操作

双端队列的基本操作包括初始化、判队满、尾进、尾出、头进、头出、取队头、取队尾、求长度、遍历。

(1)初始化

初始化时,头指针和尾指针为零,双端队列为空。

代码实现:

void InitQueue(DuQueue &Q)//注意使用引用参数,否则出了函数,其改变无效

{

    Q.front=Q.rear=0; //头指针和尾指针置为零,队列为空

}

(2)判队满

当队尾后移一位等于队头,表明队满,队尾后移一位即Q.rear+1,加1后有可能等于Maxsize,此时下一个位置为0,因此为处理临界状态,需要与Maxsize取余运算。队满的临界状态和一般状态如下图:

代码实现:

bool isFull(DuQueue Q)

{

    if((Q.rear+1)%Maxsize==Q.front) //尾指针后移一位等于头指针,表明队满

        return true;

    else

        return false;

}

(3)尾进

尾部进队,即后端进队时,先将元素放入Q.rear位置,然后Q.rear后移一位,后移时为处理边界情况,需要加1后模Maxsize取余。

代码实现:

bool push_back(DuQueue &Q,ElemType e)

{

    if(isFull(Q))

        return false;

    Q.base[Q.rear]=e; //先放入

    Q.rear=(Q.rear+1)%Maxsize;//向后移动一位

    return true;

}

(4)尾出

尾部出队,即后端出队时,先将Q.rear前移一位,然后取出元素。前移一位即Q.rear-1,当Q.rear为0时,Q.rear-1为负值,因此加上Maxsize,正好时Maxsize-1的位置。那么,Q.rear-1为正值时,加上Maxsize就超过了下标范围,需要模Maxsize取余。

尾出时,Q.rear前移一位的处理如下图所示。

代码实现:

bool pop_back(DuQueue &Q,ElemType &x)

{

    if(isEmpty(Q))

        return false;

    Q.rear=(Q.rear-1+Maxsize)%Maxsize;//向前移动一位

    x=Q.base[Q.rear]; //取数据

    return true;

}

(5)头进

头部进队时,即前端进队时,先将Q.front前移动一位,然后将元素放入Q.front位置。队头前移一位即Q.front-1,前移时为处理边界情况,需要加Maxsize再模Maxsize取余。和尾出的前移处理一样。

代码实现:

bool push_front(DuQueue &Q,ElemType e)

{

    if(isFull(Q))

        return false;

    Q.front=(Q.front-1+Maxsize)%Maxsize;//先向前移动一位

    Q.base[Q.front]=e; //后放入

    return true;

}

(6)头出

头部进队,即前端出队时,先取出元素,然后Q.front后移一位,即Q.front+1,后移时为处理边界情况,需要模Maxsize取余。

代码实现:

bool pop_front(DuQueue &Q,ElemType &x)

{

    if(isEmpty(Q))

        return false;

    x=Q.base[Q.front]; //取数据

    Q.front=(Q.front+1)%Maxsize;//向后移动一位

    return true;

}

(7)取队头

取队头是将Q.front位置的元素取出来,Q.front未改变。

代码实现:

bool get_front(DuQueue Q,ElemType &x)

{

    if(isEmpty(Q))

        return false;

    x=Q.base[Q.front]; //取队头数据;

    return true;

}

(8)取队尾

因为Q.rear指针永远指向空,因此取队尾时,取Q.rear前面的那个位置,要想得到前面位置,为处理边界情况,需要加Maxsize再模Maxsize取余。注意:取队尾时,尾指针不移动。

代码实现:

bool get_back(DuQueue Q,ElemType &x)

{

    if(isEmpty(Q))

        return false;

    x=Q.base[(Q.rear-1+Maxsize)%Maxsize];

    return true;

}

(9)求长度

和普通循环队列求长度的方法一样,都是从队头到队尾之间的元素个数。因为循环队列减法有可能有负值,因此需要加入Maxsize再模Maxsize取余。

代码实现:

int length(DuQueue Q)

{

    return (Q.rear-Q.front+Maxsize)%Maxsize;

}

(10)遍历

双端队列的遍历,即从头到尾输出整个队列的元素,在输出过程中,队头和队尾元素并不移动,因此借助一个暂时变量即可。

代码实现:

void traverse(DuQueue Q)

{

    if(isEmpty(Q))

    {

       cout<<"DuQueue is empty"<<endl;

       return ;

    }

    int temp=Q.front;//设置一个暂存变量,头指针未移动

    while(temp!=Q.rear)

    {

       cout<<Q.base[temp]<<"\t";

       temp=(temp+1)%Maxsize;

     }

     cout<<endl<<"traverse is over!"<<endl;

}

此外,还有另外两种方法:

(1)输出受限的双端队列

允许在一端进队和出队,另一端只允许进队,这样的双端队列称为输出受限的双端队列。

(2)输入受限的双端队列

允许在一端进队和出队,另一端只允许出队,这样的双端队列称为输入受限的双端队列。

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

Sɪʟᴇɴᴛ໊ོ5329

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值