数据结构——栈

1.栈的基本概念

1)栈的定义

栈(Stack)是只允许在一端进行插入或删除操作的线性表。栈是一种线性表，但限定这种线性表只能在某一端进行插入和删除操作.

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

栈底 (Bottom)。固定的，不允许进行插入和删除的另一端。 

空栈。不含任何元素的空表。 

栈的操作特性可以概括为后进先出。

注意： n 个不同元素进栈 ，出栈元素不同排列的个数为

 2.栈的基本操作

Initstack(&s):初始化一个空栈 S。
stackEmpty(S):判断一个栈是否为空，若 s为空则返回 true，否则返回 false。
Push(&S，x):进栈，若栈 S 未满，则将x加入使之成为新栈顶。
Pop(&S，&x):出栈，若栈S 非空，则弹出栈顶元素，并用x返回
GetTop(S，&x):读栈顶元素，若栈 S 非空，则用x 返回栈顶元素。
Destroystack(&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)下面是顺序栈上常用的基本运算的实现。 

 (1) 初始化

 void InitStack(Sqstack &S){

        S.top= -1;

}

(2)判栈空 

 bool StackEmpty(sqStack s){

        if(S.top==-1)
                return true;
        else

                return false;

}

(3)进栈 

 bool Push(SqStack &S , ElemType x)}

        if(S.top==MaxSize-1)

                return false;

        S.top++;

        S.data[S.top]=x;

        return  ture;

}

 (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号栈进栈时 top1 先减1再赋值;出栈时则刚好相反。
共享栈是为了更有效地利用存储空间，两个栈的空间相互调节，只有在整个存储空间被占满时才发生上溢。其存取数据的时间复杂度均为 O(1)，所以对存取效率没有什么影响。

3.栈的链式存储结构

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

typedef struct Linknodel{

        ElemType data;

        struct  Linknode *next;

}*ListSack;