DS 0827（第三章 栈）

栈（stack）

def：只允许在一端进行插入和删除操作的线性表（只能从表尾删除，插入）
空栈：
栈顶：允许插入和删除的一端
栈顶：不允许插入和删除的一端
后进先出 LIFO

2. 逻辑结构：与普通线性表相同

栈的基本操作
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,上述公式称为卡特兰数。可采用数学归纳法证明。

---

**顺序栈的实现：**用顺序存储方式实现的栈

基本操作：

1. 创：初始化
2. 增：进栈
3. 删：出栈
4. 查：获取栈顶元素
5. 判空，判满

初始化

#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; 

同样可以定义带头节点的链栈与不带头结点的链栈，这两种方式在判空的时候会有区别

见单链表