数据结构课件第3章特殊线性表.pptVIP

DestroyStack 前置条件：栈已存在 输入：无 功能：销毁栈 输出：无 后置条件：释放栈所占用的存储空间 Push 前置条件：栈已存在 输入：元素值x 功能：在栈顶插入一个元素x 输出：如果插入不成功，抛出异常 后置条件：如果插入成功，栈顶增加了一个元素 Pop 前置条件：栈已存在 输入：无 功能：删除栈顶元素 输出：如果删除成功，返回被删元素值，否则，抛出异常 后置条件：如果删除成功，栈减少了一个元素 GetTop 前置条件：栈已存在 输入：无 功能：读取当前的栈顶元素 输出：若栈不空，返回当前的栈顶元素值 后置条件：栈不变 template class T void seqStack::Push ( T x) { if (top==MAX_SIZE-1) throw “溢出”; top++; data[top]=x; } template class T T seqStack:: Pop ( ) { if (top==-1) throw “溢出”; x=data[top--]; return x; } ⑴ 写出函数当前调用层执行的各语句，并用有向弧表示语句的执行次序； ⑵ 对函数的每个递归调用，写出对应的函数调用，从调用处画一条有向弧指向被调用函数入口，表示调用路线，从被调用函数末尾处画一条有向弧指向调用语句的下面，表示返回路线； ⑶ 在返回路线上标出本层调用所得的函数值。 DestroyQueue 前置条件：队列已存在 输入：无 功能：销毁队列 输出：无 后置条件：释放队列所占用的存储空间 EnQueue 前置条件：队列已存在 输入：元素值x 功能：在队尾插入一个元素 输出：如果插入不成功，抛出异常 后置条件：如果插入成功，队尾增加了一个元素 DeQueue 前置条件：队列已存在 输入：无 功能：删除队头元素 输出：如果删除成功，返回被删元素值 后置条件：如果删除成功，队头减少了一个元素 GetQueue 前置条件：队列已存在 输入：无 功能：读取队头元素 输出：若队列不空，返回队头元素 后置条件：队列不变 特殊线性表——串 方案1：用一个变量来表示串的实际长度。 串的存储结构 如何表示串的长度？ 0 1 2 3 4 5 6 7 … … Max-1 a b c d e f g \0 空 闲 方案2：在串尾存储一个不会在串中出现的特殊字符作为串的终结符，表示串的结尾。 特殊线性表——串 方案3：用数组的0号单元存放串的长度，从1号单元开始存放串值。 串的存储结构 如何表示串的长度？ 方案2：在串尾存储一个不会在串中出现的特殊字符作为串的终结符，表示串的结尾。 方案1：用一个变量来表示串的实际长度。 0 1 2 3 4 5 6 7 … … Max-1 9 a b c d e f g 空 闲 链接串：用链接存储结构来存储串。 （1）非压缩形式 特殊线性表——串 串的存储结构 如何改造链表实现串的链接存储？ first a b g ∧ 链接串：用链接存储结构来存储串。 （1）非压缩形式 （2）压缩形式 特殊线性表——串 串的存储结构 如何改造链表实现串的链接存储？ e f g first a b c d ∧ 启示：时空权衡！ 模式匹配 模式匹配：给定主串S=s1s2…sn和模式T=t1t2…tm，在S中寻找T 的过程称为模式匹配。如果匹配成功，返回T 在S中的位置，如果匹配失败，返回0。 假设串采用顺序存储结构，串的长度存放在数组的0号单元，串值从1号单元开始存放。 特殊线性表——串 基本思想：从主串S的第一个字符开始和模式T 的第一个字符进行比较，若相等，则继续比较两者的后续字符；否则，从主串S的第二个字符开始和模式T 的第一个字符进行比较，重复上述过程，直到T 中的字符全部比较完毕，则说明本趟匹配成功；或S中字符全部比较完，则说明匹配失败。 特殊线性表——串 模式匹配——BF算法