第3章-栈和队列.pptxVIP

第三章 栈和队列栈和队列是两种特殊的线性表，是操作受限的线性表。栈的概念、存储结构及运算队列的概念、存储结构及运算应用实例栈的概念定义及性质限定仅在表的一端进行插入或删除的线性表。 允许插入删除—栈顶，另一端—栈底。s=(a1,a2,……,an)特点：先进后出（FILO）或后进先出（LIFO）栈的概念 栈的运算SetNull(S)置空栈Empty(S)判断栈空Push(S，e)进栈Pop(S)出栈GetTop(S)读栈顶元素栈的概念 栈的抽象数据类型 ADT Stack { 数据对象D：D={ ai|ai∈data object,1≤i≤n,n≥0} 数据关系R：R={ai,ai-1|ai-1,ai∈D,2≤i≤n} 操作集合：SetNull(S)将栈S置为空栈Empty(L)判断栈S是否为空Push(S,e)在栈S的栈顶插入数据元素ePop(S)删除栈S的栈顶数据元素，并返回该元素GetTop(S)读取栈S的栈顶数据元素}FE555topD444C333Btop222A111top000栈空栈的顺序存储结构 栈空栈满FEDCBA出栈进栈设数组大小为Mtop=－1 栈空 出栈则下溢（underflow)top=M-1 栈满 入栈则上溢（overflow)栈顶指针，初值为－1栈的顺序存储结构 类型描述typedef struct stack { Datatype elements[MAXSIZE]； int top； }SequenStack;其中： MAXSIZE栈的容量 Datatype 栈中数据元素的数据类型 top指示当前栈顶位置顺序栈的运算 置空栈SequenStack *SetNullS (SequenStack *S) { S=(SequenStack *) malloc(sizeof(SequenStack)); S-Top=-1; return S;} //SetNullS 判栈空int EmptyS (SequenStack *S) { if (S-Top=0) return 0; else return 1;} //EmptyS 顺序栈的运算 入栈void PushS (SequenStack *S, Datatype e) { if (S-Top=MAXSIZE-1) printf(Stack Overflow\n); //上溢 else{ S-Top++; S-elements[S-Top]=e; }} //PushS顺序栈的运算 出栈Datatype *PopS (SequenStack *S) { Datatype *ret; if (EmptyS(S)) { printf(Stack Underflow\n); return NULL; } else{ ret=(Datatype *) malloc(sizeof(Dtatype)); *ret=S-elements[S-Top]; S-Top--; return ret; }} //PopS顺序栈的运算 读栈顶元素Datatype *GetTopS (SequenStack *S) { Datatype *ret; if (EmptyS(S)) { printf(Stack is empty\n); return NULL; } else{ ret=(Datatype *) malloc(sizeof(Datatype)); *ret=S-elements[S-Top]; return ret; //返回指向栈顶元素的指针 }} //GetTopS0M-1栈1底栈1顶栈2顶栈2底两个栈共享存储空间既相互调节，节约存储空间，又可以降低发生上溢的频率栈顶相遇上溢的条件top1+1=top2 栈满：top1=-1 top2M-1栈空：运算入栈：top1++; top2--;出栈：top1--; top2++;两个栈共享存储空间0M-1… …… b(i+1)t(i+1)b(1)t(1)b(2)t(2)b(3)b(i)t(i)b(n)t(n) 分配方案 在事先无法估计各栈最大容量的情况下，先将m个存储单元近乎平均分配给n个栈，而当其中任意一个栈上溢而整个空间未被占满时，再进行浮动再分配。 浮动再分配 当某栈上溢时，若能找到一个离该栈最近的尚有空余空间的栈，则将该栈和空余空间之间的元素左（或右）移，以完成插入。 第i个栈上溢 t(i)+1=b(i+1) 栈空间上溢 ∑[t(i)-b(i)+1]=M栈的链式存储结构类型描述typedef int Datatype;typedef struct node { Datatype elemen