数据结构复习—栈

1. 栈的基本概念

1.栈的定义

栈（Stack）：只允许在一端进行插入或删除操作的线性表。首先栈是一种线性表，但是限定这种线性表只能在某一端进行插入和删除操作，如图所示。

栈顶（Top）：线性表允许进行插入和删除的那一端。
栈底（Bottom）：固定的，不允许进行插入和删除的另一端。
空栈：不含任何元素的空表。
假设某个栈S=(a1,a2,a3,a4,a5)，则a1为栈底元素，a5为栈顶元素。由于栈只能在栈顶进行插入和删除操作，故进栈次序依次为a1、a2、a3、a4、a5，而出栈次序为a5、a4、a3、a2、a1。由此可见，栈的一个明显的操作特征可以概括为后进先出（Last in First Out，LIFO）,故又称为后进先出的线性表。

2.栈的基本操作

InitStack(&S)：初始化一个空栈S。
StackEmpty(S)：判断一个栈是否为空，若栈S为空返回true，否则返回false。
Push(&S,x)：进栈，若栈S未满，将x加入使之成为新栈顶。
Pop(&S,&x)：出栈，若栈S非空，弹出栈顶元素，并用x返回。
GetTop(S,&x)：读栈顶元素，若栈S非空，用x返回栈顶元素。
ClearStack(&S)：销毁栈，并释放栈S占用的存储空间。

2. 栈的顺序存储结构

1. 顺序栈的实现

栈的顺序存储称为顺序栈，它是利用一组地址连续的存储单元存放自栈底到栈顶的数据元素，同时附设一个指针（top）指示当前栈顶的位置。
栈的顺序存储类型可描述为

#define MaxSize 50  
typedef struct {
    ElemType data[MaxSize];
    int top;
} SqStack;

栈顶指针：S.top，初始时设置S.top=-1；栈顶元素：S.data[S.top]。
进栈操作：栈不满时，栈顶指针先加1，再送值到栈顶元素。
出栈操作：栈非空时，先取栈顶元素值，再将栈顶指针减1。
栈空条件：S.top==-1；栈满条件：S.top==MaxSize-1；栈长：S.top+1。

2. 顺序栈的基本操作

栈操作是示意图如图所示，（a）是空栈，（c）是A、B、C、D、E共5个元素依次入栈的结果，（d）是在图（c）之后E、D、C相继出栈，此时栈中还有两个元素，或许最近出栈的元素C、D、E仍在原先的单元存储着，但top指针已经指向了新的栈顶，则元素C、D、E已不在栈中。

（1）初始化

void InitStack(&S) {
    s.top=-1;
}

（2）判空栈

bool StackEmpty(S) {
    if(s.top==-1)
        reutrn true;
    else
        return false;
}

（3）进栈

bool Push(SqStack &S,ElemType x) {
    if(S.top==MaxSize-2)
        return false;
    x=S.data[++S.top]=x;
    return true;
}

（4）出栈

bool Pop(SqStack &S,ElemType &x) {
    if(S.top==-1)
        return false;
    x=S.data[S.top--];
    return true;
}

（5）读栈顶元素

bool GetTop(SqStack S,ElemType &x) {
    if(S.top==-1)
        return false;
    x=S.data[S.top];
    return true;
}

3.共享栈

利用栈底位置相对不变的特性，可以让两个顺序栈共享一个一维数据空间，将两个栈的栈底分别设置在共享空间的两端，两个栈顶向共享空间的中间延伸。
两个栈的栈顶指针都指向栈顶元素，top0=-1时0号栈为空，top1=MaxSize时1号栈为空：仅当两个栈顶指针相邻（top1-top0=1）时，判断为栈满。当0号栈进栈时top0先加1再赋值，1号栈进栈时top1先减1再赋值；出栈时则刚好相反。
共享栈是为了更有效地利用存储空间，两个栈的空间相互调节，只有在整个存储空间被占满时才发生上溢。其存取数据的时间复杂度均为O(1)。

3. 栈的链式存储结构

采用链式存储的栈称为链栈，链栈的优点是便于多个栈共享存储空间和提高效率，且不存在栈满上溢的情况。通常采用单链表实现，并规定所有操作都是在单链表的表头进行的。
栈的链式存储类型可描述为

typedef struct Linknode {
    ElemType  data;
    struct Linknode *next;
} *LiStack;