栈(stack)
def:只允许在一端进行插入和删除操作的线性表(只能从表尾删除,插入)
空栈:
栈顶:允许插入和删除的一端
栈顶:不允许插入和删除的一端
后进先出 LIFO
- 逻辑结构:与普通线性表相同
栈的基本操作
InitStack(&s):初始化栈。创造一个空栈s。分配内存空间
DestoryStack(&L):销毁栈。销毁并释放栈s所占用的内存空间
Push(&S,x):进栈。若栈s未满。则将x加入使之成为新栈顶
Pop(&S,&x):出栈。若栈s非空,则弹出栈顶元素,并用x返回 增删
GetTop(S,&x):读栈顶元素。若栈s非空,则用x返回栈顶元素 查
栈的使用场景大多只访问栈顶元素
StackEmpty(S):判断一个栈S是否为空。若s为空,则返回true,否则返回false。
常见问题:已知进栈顺序,有哪些合法的出栈顺序
如:a->b->c->d->e
n个不同元素进栈,由于出栈顺序和进栈顺序可以穿插进行,所以出栈元素不同的排列的个数为1/n+1Cn,2n,上述公式称为卡特兰数。可采用数学归纳法证明。
**顺序栈的实现:**用顺序存储方式实现的栈
基本操作:
- 创:初始化
- 增:进栈
- 删:出栈
- 查:获取栈顶元素
- 判空,判满
初始化
#define MaxSize 10 //定义栈中元素的最大个数
typedef struct {
ElemType data[MaxSize]; //静态数组存放栈中元素
int top; //栈顶指针
}SqStack; //sequence--顺序
void testStack(){
SqStack S; //声明一个顺序栈(分配空间)
//后续操作
}
**顺序存储:**给各个数据元素分配连续的存储空间,大小为。MaxSize*sizeof[Elemtype]。另外还需要4个字节的大小,用于存放栈顶指针,只向栈顶元素。
#define MaxSize 10 //定义栈中元素的最大个数
typedef struct {
ElemType data[MaxSize]; //静态数组存放栈中元素
int top; //栈顶指针
}SqStack; //sequence--顺序
void testStack(){
SqStack S; //声明一个顺序栈(分配空间)
//后续操作
}
//初始化栈
void InitStack(SqStack &s){
s.top=-1; //初始化栈顶指针
}
void testStack(){
SqStack S; //声明一个顺序栈,分配空间
InitStack(S);
//后续操作
}
//判空操作
bool StackEmpty(SqStack S){
if(s.top==-1)
return true; //栈空
else
return false; //不空
}
进栈操作(增)
#define MaxSize 10 //定义栈中元素的最大个数
typedef struct {
ElemType data[MaxSize]; //静态数组存放栈中元素
int top; //栈顶指针
}SqStack; //sequence--顺序
void testStack(){
SqStack S; //声明一个顺序栈(分配空间)
//后续操作
}
//初始化栈
void InitStack(SqStack &s){
s.top=-1; //初始化栈顶指针
}
bool push(SqStack &s,Elemtype x){
if(s.top==MaxSize-1) //栈满报错
return false;
s.top=s.top+1; //指针先加1
S.data[S.top]=x //新元素入栈
//S.data[++S.top]=x;
}
出栈操作
#define MaxSize 10 //定义栈中元素的最大个数
typedef struct {
ElemType data[MaxSize]; //静态数组存放栈中元素
int top; //栈顶指针
}SqStack; //sequence--顺序
void testStack(){
SqStack S; //声明一个顺序栈(分配空间)
//后续操作
}
//初始化栈
void InitStack(SqStack &s){
s.top=-1; //初始化栈顶指针
}
bool Pop(SqStack &S,ElemType &x){
if(S.top==-1) //栈空,报错
return false;
x=S.data[S.top]; //栈顶元素先出栈
S.top=S.top-1; //指针再减1
// x=S.data[--S.top];
return true;
}
读取栈顶元素的操作
bool GetTop(SqStack S,ElemType &x) {
if(S.top==-1)
return false;
x=S.data[S.top];
return true;
}
另一种方式:可以让top指针指向栈顶元素,即是下一个可以插入元素的位置
进栈:S.data[S.top++]=x;
出栈:x=S.data[–S.top];
栈满的条件:top=MaxSize;
顺序栈的缺点:栈的大小不可以改变
共享栈
两个栈共享同一片空间
#define MaxSize 10
typedef struct{
Elemtype data[MaxSize];
int top0;
int top1;
}ShStack;
//初始化栈
void InitStack(ShStack &S){
S.top0=-1; //初始化栈顶指针
S.top1=MaxSize;
}
0号栈重下往上递增,1号栈重上往下递减,逻辑上有两个栈,物理上公用同一片空间
**链栈:**用链式存储的方式实现的栈
补:在头插法建立单链表时,是不断的对头节点进行后插操作—对应于栈操作中的进栈
在对单链表进行删除操作时,对头节点进行后删操作-----对应于出栈
链栈的定义
typedef struct Linknode{
ElemType data;
struct Linknode *next;
}*LiStack;
同样可以定义带头节点的链栈与不带头结点的链栈,这两种方式在判空的时候会有区别
见单链表