数据结构——栈

一、ADT

1.定义

栈是只允许在一端进行插入或删除操作的线性表。(后进先出表LIFO)

栈顶(Top)线性表允许进行插入删除的那一端

栈的数学性质：n个不同元素进栈，出栈元素不同排列的个数为

 2.基本操作

InitStack(&S)

StackEmpty(S)

Push(&S,x)

Pop(&S,&x)

GetTop(S,&x)

DestoryStack(&S)

二、存储结构

1.顺序栈

#define Maxsize 100

typedef struct {
	int data[Maxsize];
	int top;
}SqStack;

void InitStack(SqStack &S) {
	S.top = -1;
}
bool StackEmpty(SqStack S) {
	if (S.top == -1) return true;
	return false;
}
bool Push(SqStack &S, int x) {
	if (S.top == Maxsize - 1) return false;
	S.data[++S.top] = x;
	return true;
}
bool Pop(SqStack &S, int &x) {
	if (S.top == -1) return false;
	x = S.data[S.top--];
	return true;
}
bool GetTop(SqStack S, int &x) {
	if (S.top == -1) return false;
	x = S.data[S.top];
	return true;
}

2.共享栈

利用栈底位置相对不变的特性，可以让两个顺序栈共享一个一维数组。

共享栈是为了更有效地利用存储空间，两个栈的空间相互调节，只有在整个存储空间被占满时才会发送上溢。

栈空:top1=-1，top2=n

栈满:top1+1=top2

typedef struct {
	int data[Maxsize];
	int top1;
	int top2;
}SqStack;

void InitStack(SqStack &S) {
	S.top1 = -1;
	S.top2 = Maxsize;
}

3.链栈

便于多个栈共享存储空间，不存在栈满上溢的情况。

typedef struct Linknode{
	int Data;
	struct Linknode *next;
}*LiStack;

void InitStack(LiStack &S) {
	S = new Linknode();
	S->next = NULL;
}
bool StackEmpty(LiStack S) {
	if (S->next == NULL) return true;
	return false;
}
bool Push(LiStack S, int x) {
	LiStack p = new Linknode();
	p->Data = x;
	p->next = S->next;
	S->next = p;
	return true;
}
bool Pop(LiStack S, LiStack &x) {
	x = S->next;
	S->next = x->next;
	return true;
}
bool GetTop(LiStack S, LiStack &x) {
	x = S->next;
	return true;
}