第三章栈和队列..doc

第三章　栈和队列 从数据结构的角度看: 它们和线性表相同，从数据类型的角度看: 它们和线性表不同栈按“后进先出”，队列按“先进先出” §3.1 栈的类型定义 栈的定义及基本运算 1．定义： ADT Stack { 数据对象：D＝{ ai | ai ∈ElemSet, i=1,2,...,n, n≥0 } 数据关系：R1＝{ ai-1, ai | ai-1, ai∈D, i=2,...,n }约定an 端为栈顶，a1 端为栈底。 2．基本操作： InitStack(S) 操作结果：构造一个空栈S。 DestroyStack(S) 初始条件：栈S已存在。 操作结果：栈S被销毁。 ClearStack(S) 初始条件：栈S已存在。 操作结果：将S清为空栈。 StackEmpty(S) 初始条件：栈S已存在。 操作结果：若栈S为空栈，则返回TRUE，否则FALE。 StackLength(S) 初始条件：栈S已存在。 操作结果：返回S的元素个数，即栈的长度。 GetTop(S, e) 初始条件：栈S已存在且非空。 操作结果：用e返回S的栈顶元素。 Push(S, e) 初始条件：栈S已存在。 操作结果：插入元素e为新的栈顶元素。 Pop(S, e) 初始条件：栈S已存在且非空。 操作结果：删除S的栈顶元素，并用e返回其值。 } ADT Stack 二栈的存储表示和基本操作的实现 顺序栈 // 顺序栈 #define STACK_INIT_SIZE 100 #define STACKINCREMENT 10 #include common.h typedef int SElemType;//accroding problem SelemType typedef struct { SElemType *base; SElemType *top; int stacksize; }SqStack; （1）栈的初始化Status InitStack(SqStack S) { S.base=(SElemType *) malloc(STACK_INIT_SIZE*sizeof(SElemType)); if(!S.base) exit(OVERFLOW); S.top=S.base; S.stacksize=STACK_INIT_SIZE; return OK; } （2）判空int StackEmpty(SqStack S) { if(S.top==S.base) return TRUE; else return FALSE; } （3）入栈Status Push(SqStack S,SElemType e) { if(S.top-S.base=S.stacksize) { S.base=(SElemType *) realloc(S.base,(S.stacksize+STACKINCREMENT) *sizeof(SElemType)); if(!S.base) exit(OVERFLOW); S.top=S.base+S.stacksize; S.stacksize+=STACKINCREMENT; } *S.top++=e; return OK; }//Push_SqStack (4)出栈Status Pop (SqStack S,SElemType e) { if(S.top==S.base) return ERROR; e=*(--S.top); return OK; }//Pop_SqStack （5）得到栈顶元素Status GetTop (SqStack S,SElemType e) { if(S.top==S.base) return ERROR; e=*(S.top-1); return OK; } (6)求元素个数 int StackLength(SqStack S) { int len=0; SElemType e; while(!StackEmpty (S)) { Pop_SqStack(S,e); len++; } return len; } 链栈 //链栈 #include common.h typedef int SElemType; typedef struct Node{ SElemType data; struct Node *next; }StackNode,*LinkStack; (1)初始化Link