| 栈和队列是两种特殊的线性表，它们的逻辑结构和线性表相同，只是其运算规则较线性表有更多的限制，故又称它们为运算受限的线性表。栈和队列被广泛应用于各种程序设计中。 |
队列（头尾都可以动） （2）队尾（Rear）端允许插入 |
顺序队列
1、顺序队列
（1）顺序队列的定义
队列的顺序存储结构称为顺序队列，顺序队列实际上是运算受限的顺序表。
（2） 顺序队列的表示
①和顺序表一样，顺序队列用一个向量空间来存放当前队列中的元素。
②由于队列的队头和队尾的位置是变化的，设置两个指针front和rear分别指示队头元素和队尾元素在向量空间中的位置，它们的初值在队列初始化时均应置为0。
（3） 顺序队列的基本操作（入队出队时限操作元素在操作指针）
①入队时：将新元素插入rear所指的位置，然后将rear加1。
②出队时：删去front所指的元素，然后将front加1并返回被删元素。
注意：
①当头尾指针相等时，队列为空。（所以有两次空队列：1、任何元素都没有插入之前
2、所有元素都出队）
②在非空队列里，队头指针始终指向队头元素，尾指针始终指向队尾元素的下一位置。
（4）顺序队列中的溢出现象
① "下溢"现象
当队列为空时，做出队运算产生的溢出现象。“下溢”是正常现象，常用作程序控制转移的条件。
② "真上溢"现象
当队列满时，做进栈运算产生空间溢出的现象。“真上溢”是一种出错状态，应设法避免。
③ "假上溢"现象
由于入队和出队操作中，头尾指针只增加不减小，致使被删元素的空间永远无法重新利用。当队列中实际的元素个数远远小于向量空间的规模时，也可能由于尾指针已超越向量空间的上界而不能做入队操作。该现象称为"假上溢"现象。
【例】假设下述操作序列作用在初始为空的顺序队列上：
EnQueue，DeQueue，EnQueue，DeQueue，…
尽管在任何时刻，队列元素的个数均不超过1，但是只要该序列足够长，事先定义的向量空间无论多大均会产生指针越界错误。
为充分利用向量空间，克服"假上溢"现象的方法是：将向量空间想象为一个首尾相接的圆环，并称这种向量为循环向量。存储在其中的队列称为循环队列（Circular Queue）。
（1） 循环队列的基本操作
循环队列中进行出队、入队操作时，头尾指针仍要加1，朝前移动。只不过当头尾指针指向向量上界（QueueSize-1）时，其加1操作的结果是指向向量的下界0。这种循环意义下的加1操作可以描述为：
① 方法一：
if(i+1==QueueSize) //i表示front或rear
i=0;
else
i++;
② 方法二--利用"模运算"
i=(i+1)%QueueSize；
（2） 循环队列边界条件处理
循环队列中，由于入队时尾指针向前追赶头指针；出队时头指针向前追赶尾指针，造成队空和队满时头尾指针均相等。因此，无法通过条件front==rear来判别队列是"空"还是"满"。 【 参见动画演示】
解决这个问题的方法至少有三种：
① 另设一布尔变量以区别队列的空和满；
② 少用一个元素的空间。约定入队前，测试尾指针在循环意义下加1后是否等于头指针，若相等则认为队满（注意：rear所指的单元始终为空）；
③使用一个计数器记录队列中元素的总数（即队列长度）。
（3） 循环队列的类型定义
#define Queur Size 100 //应根据具体情况定义该值
typedef char Queue DataType; //DataType的类型依赖于具体的应用
typedef Sturet{ //头指针，队非空时指向队头元素
int front; //尾指针，队非空时指向队尾元素的下一位置
int rear; //计数器，记录队中元素总数
DataType data[QueueSize]
}CirQueue;
（4） 循环队列的基本运算
用第三种方法，循环队列的六种基本运算：
① 置队空
void InitQueue(CirQueue *Q)
{
Q->front=Q->rear=0;
Q->count=0; //计数器置0
}
② 判队空
int QueueEmpty(CirQueue *Q)
{
return Q->count==0; //队列无元素为空
}
③ 判队满
int QueueFull(CirQueue *Q)
{
return Q->count==QueueSize; //队中元素个数等于QueueSize时队满
}
④ 入队
void EnQueue(CirQueuq *Q,DataType x)
{
if(QueueFull((Q))
Error("Queue overflow"); //队满上溢
Q->count ++; //队列元素个数加1
Q->data[Q->rear]=x; //新元素插入队尾
Q->rear=(Q->rear+1)%QueueSize; //循环意义下将尾指针加1
⑤ 出队
DataType DeQueue(CirQueue *Q)
{
DataType temp;
if(QueueEmpty((Q))
Error("Queue underflow"); //队空下溢
temp=Q->data[Q->front];
Q->count--; //队列元素个数减1
Q->front=(Q->front+1)&QueueSize; //循环意义下的头指针加1
return temp;
}
⑥取队头元素
DataType QueueFront(CirQueue *Q)
{
if(QueueEmpty(Q))
Error("Queue if empty.");
return Q->data[Q->front];
}
链队列 |
-------------------------------------------------------------------------------------------------------------------------
栈的定义及基本运算
1、栈的定义
栈（Stack）是限制仅在表的一端进行插入和删除运算的线性表。
(1)通常称插入、删除的这一端为栈顶（Top），另一端称为栈底（Bottom）。
(2)当表中没有元素时称为空栈。
(3)栈为后进先出（Last In First Out）的线性表，简称为LIFO表。
栈的修改是按后进先出的原则进行。每次删除（退栈）的总是当前栈中"最新"的元素，即最后插入（进栈）的元素，而最先插入的是被放在栈的底部，要到最后才能删除。
【示例】元素是以a1，a2，…，an的顺序进栈，退栈的次序却是an，an-1，…，a1。
2、栈的基本运算
（1）InitStack（S）
构造一个空栈S。
（2）StackEmpty（S）
判栈空。若S为空栈，则返回TRUE，否则返回FALSE。
（3）StackFull（S）
判栈满。若S为满栈，则返回TRUE，否则返回FALSE。
注意：
该运算只适用于栈的顺序存储结构。
（4）Push（S，x）
进栈。若栈S不满，则将元素x插入S的栈顶。
（5）Pop（S）
退栈。若栈S非空，则将S的栈顶元素删去，并返回该元素。
（6）StackTop（S）
取栈顶元素。若栈S非空，则返回栈顶元素，但不改变栈的状态。
顺序栈
栈的顺序存储结构简称为顺序栈,它是运算受限的顺序表。
1、 顺序栈的类型定义
#define StackSize 100 //假定预分配的栈空间最多为100个元素
typedef char DataType;//假定栈元素的数据类型为字符
typedef struct{
DataType data[StackSize];
int top;
}SeqStack;
注意：
①顺序栈中元素用向量存放
②栈底位置是固定不变的，可设置在向量两端的任意一个端点
③栈顶位置是随着进栈和退栈操作而变化的，用一个整型量top（通常称top为栈顶指针）来指示当前栈顶位置
2、 顺序栈的基本操作
前提条件：
设S是SeqStack类型的指针变量。若栈底位置在向量的低端，即S-＞data[0]是栈底元素。
（1） 进栈操作
进栈时，需要将S-＞top加1
注意：
①S-＞top==StackSize-1表示栈满
②"上溢"现象--当栈满时，再做进栈运算产生空间溢出的现象。
上溢是一种出错状态，应设法避免。
（2） 退栈操作
退栈时，需将S-＞top减1
注意：
①S-＞top<0表示空栈
②"下溢"现象——当栈空时，做退栈运算产生的溢出现象。
下溢是正常现象，常用作程序控制转移的条件。
顺序栈在进栈和退栈操作时的具体变化情况【参见动画演示】
3、顺序栈的基本运算
（1） 置栈空
void InitStack（SeqStack *S）
{//将顺序栈置空
S->top=-1;
}
（2） 判栈空
int StackEmpty（SeqStack *S）
{
return S->top==-1;
}
（3） 判栈满
int StackFull（SeqStack *SS）
{
return S->top==StackSize-1;
}
（4） 进栈
void Push（S，x）
{
if (StackFull(S))
Error("Stack overflow"); //上溢，退出运行
S->data[++S->top]=x;//栈顶指针加1后将x入栈
}
（5） 退栈
DataType Pop（S）
{
if(StackEmpty(S))
Error("Stack underflow"); //下溢，退出运行
return S->data[S->top--];//栈顶元素返回后将栈顶指针减1
}
（6） 取栈顶元素
DataType StackTop（S）
{
if(StackEmpty(S))
Error("Stack is empty");
return S->data[S->top];
}
4、两个栈共享同一存储空间
当程序中同时使用两个栈时，可以将两个栈的栈底设在向量空间的两端，让两个栈各自向中间延伸。当一个栈里的元素较多，超过向量空间的一半时，只要另一个栈的元素不多，那么前者就可以占用后者的部分存储空间。
只有当整个向量空间被两个栈占满（即两个栈顶相遇）时，才会发生上溢。因此，两个栈共享一个长度为m的向量空间和两个栈分别占用两个长度为 └ m/2┘和┌m/2┐的向量空间比较，前者发生上溢的概率比后者要小得多。
链栈
栈的链式存储结构称为链栈。
1、链栈的类型定义
链栈是没有附加头结点的运算受限的单链表。栈顶指针就是链表的头指针。
链栈的类型说明如下：
typedef struct stacknode{
DataType data
struct stacknode *next
}StackNode;
typedef struct{
StackNode *top; //栈顶指针
}LinkStack;
注意：
①LinkStack结构类型的定义是为了方便在函数体中修改top指针本身
②若要记录栈中元素个数，可将元素个数属性放在LinkStack类型中定义。
2、链栈的基本运算
（1） 置栈空
Void InitStack(LinkStack *S)
{
S->top=NULL;
}
（2） 判栈空
int StackEmpty(LinkStack *S)
{
return S->top==NULL;
}
（3） 进栈
void Push(LinkStack *S,DataType x)
{//将元素x插入链栈头部
StackNode *p=(StackNode *)malloc(sizeof(StackNode));
p->data=x;
p->next=S->top;//将新结点*p插入链栈头部
S->top=p;
}
（4） 退栈
DataType Pop(LinkStack *S)
{
DataType x;
StackNode *p=S->top;//保存栈顶指针
if(StackEmpty(S))
Error("Stack underflow."); //下溢
x=p->data; //保存栈顶结点数据
S->top=p->next; //将栈顶结点从链上摘下
free(p);
return x;
}
（5） 取栈顶元素
DataType StackTop(LinkStack *S)
{
if(StackEmpty(S))
Error("Stack is empty.")
return S->top->data;
}
注意：
链栈中的结点是动态分配的，所以可以不考虑上溢，无须定义StackFull运算。
栈和队列的应用非常之广，只要问题满足后进先出和先进先出原则，均可使用栈和队列作为其数据结构。
栈的应用
1、 数制转换
将一个非负的十进制整数N转换为另一个等价的基为B的B进制数的问题，很容易通过"除B取余法"来解决。
【例】将十进制数13转化为二进制数。
解答：按除2取余法，得到的余数依次是1、0、1、1，则十进制数转化为二进制数为1101。
分析：由于最先得到的余数是转化结果的最低位，最后得到的余数是转化结果的最高位，因此很容易用栈来解决。
转换算法如下：
typedef int DataType;//应将顺序栈的DataType定义改为整型
void MultiBaseOutput (int N,int B)
{//假设N是非负的十进制整数，输出等值的B进制数
int i;
SeqStack S;
InitStack(&S);
while(N){ //从右向左产生B进制的各位数字，并将其进栈
push(&S,N%B); //将bi进栈0<=i<=j
N=N/B;
}
while(!StackEmpty(&S)){ //栈非空时退栈输出
i=Pop(&S);
printf("%d",i);
}
}
除数制的转换外，栈还可用于解决括号匹配检查、行编辑处理和表达式求解等问题。
2、 栈与递归
（1） 递归
所谓递归是指：若在一个函数、过程或者数据结构定义的内部，直接（或间接）出现定义本身的应用，则称它们是递归的，或者是递归定义的。
递归是一种强有力的数学工具，它可使问题的描述和求解变得简洁和清晰。
递归算法常常比非递归算法更易设计，尤其是当问题本身或所涉及的数据结构是递归定义的时候，使用递归算法特别合适。
（2）递归算法的设计步骤
第一步骤（递归步骤）：将规模较大的原问题分解为一个或多个规模更小、但具有类似于原问题特性的子问题。即较大的问题递归地用较小的子问题来描述，解原问题的方法同样可用来解这些子问题。
第二步骤：确定一个或多个无须分解、可直接求解的最小子问题（称为递归的终止条件）。
【例】非负整数n的阶乘可递归定义为：
（3）栈在递归算法的内部实现中所起的作用。
①调用函数时：系统将会为调用者构造一个由参数表和返回地址组成的活动记录，并将其压入到由系统提供的运行时刻栈的栈顶，然后将程序的控制权转移到被调函数。若被调函数有局部变量，则在运行时刻栈的栈顶也要为其分配相应的空间。因此，活动记录和这些局部变量形成了一个可供被调函数使用的活动结构。
注意：
参数表的内容为实参，返回地址是函数调用语句的下一指令的位置。
②被调函数执行完毕时：系统将运行时刻栈栈顶的活动结构退栈，并根据退栈的活动结构中所保存的返回地址将程序的控制权转移给调用者继续执行。
队列的应用--舞伴问题
1、问题叙述
假设在周末舞会上，男士们和女士们进入舞厅时，各自排成一队。跳舞开始时，依次从男队和女队的队头上各出一人配成舞伴。若两队初始人数不相同，则较长的那一队中未配对者等待下一轮舞曲。现要求写一算法模拟上述舞伴配对问题。
2、问题分析
先入队的男士或女士亦先出队配成舞伴。因此该问题具体有典型的先进先出特性，可用队列作为算法的数据结构。
在算法中，假设男士和女士的记录存放在一个数组中作为输入，然后依次扫描该数组的各元素，并根据性别来决定是进入男队还是女队。当这两个队列构造完成之后，依次将两队当前的队头元素出队来配成舞伴，直至某队列变空为止。此时，若某队仍有等待配对者，算法输出此队列中等待者的人数及排在队头的等待者的名字，他（或她）将是下一轮舞曲开始时第一个可获得舞伴的人。
3、具体算法及相关的类型定义
typedef struct{
char name[20];
char sex; //性别，'F'表示女性，'M'表示男性
}Person;
typedef Person DataType; //将队列中元素的数据类型改为Person
void DancePartner(Person dancer[],int num)
{//结构数组dancer中存放跳舞的男女，num是跳舞的人数。
int i;
Person p;
CirQueue Mdancers,Fdancers;
InitQueue(&Mdancers);//男士队列初始化
InitQueue(&Fdancers);//女士队列初始化
for(i=0;i<num;i++){//依次将跳舞者依其性别入队
p=dancer[i];
if(p.sex=='F')
EnQueue(&Fdancers.p); //排入女队
else
EnQueue(&Mdancers.p); //排入男队
}
printf("The dancing partners are: /n /n");
while(!QueueEmpty(&Fdancers)&&!QueueEmpty(&Mdancers)){
//依次输入男女舞伴名
p=DeQueue(&Fdancers); //女士出队
printf("%s ",p.name);//打印出队女士名
p=DeQueue(&Mdancers); //男士出队
printf("%s/n",p.name); //打印出队男士名
}
if(!QueueEmpty(&Fdancers)){ //输出女士剩余人数及队头女士的名字
printf("/n There are %d women waitin for the next round./n",Fdancers.count);
p=QueueFront(&Fdancers); //取队头
printf("%s will be the first to get a partner. /n",p.name);
}else
if(!QueueEmpty(&Mdancers)){//输出男队剩余人数及队头者名字
printf("/n There are%d men waiting for the next round./n",Mdacers.count);
p=QueueFront(&Mdancers);
printf("%s will be the first to get a partner./n",p.name);
}
}//DancerPartners
6895
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
