严蔚敏版数据结构第四章.ppt

例如：求abaabcac模式串的next函数 next[1]=0 next[2]=1 pnext[1]!= p1 next[3]=1 pnext[2]!= p2 next[4]=2 pnext[3] = p3 next[5]=2 pnext[4]!= p4 pnext[next[4]]= p4 next[6]=3 pnext[5] = p5 next[7]=1 pnext[6]!= p6 pnext[3]!=p6 pnext[3]!=p6 next[8]=2 pnext[7] = p7 next函数的改进算法 前面定义的next函数在某些情况下还是有缺陷 例如：模式aaaab与主串aaabaaaab匹配情况： 模式： a a a a b j：1 2 3 4 5 next[j]： 0 1 2 3 4 S: a a a b a a a a b T: a a a a b i: 1 2 3 4 5 6 7 8 9 a a a a b a a a a b a a a a b a a a a b 当Pj==Pnext[j]时，则 如果Si != Pj，==》 Si != Pnext[j] 因此，Si 没有必要继续与 Pnext[j]进行比较， 而应该直接和Pnext[j]的下一个字符Pnext[next[j]] 进行比较。 因此，在计算next函数时， 如果出现Pj=Pnext[j] = Pk 则next[j]=next[k]=next[next[j]] 修改算法见教材P84 算法4.8 此时效率不高的原因为： ④ KMP算法的时间复杂度 注意：由于BF算法在一般情况下的时间复杂度也近似于O(n+m)，所以至今仍被采用。 而此时KMP的情况是：由于指针i无须回溯，比较次数仅为n,即使加上计算next[j]时所用的比较次数m，比较总次数也仅为n+m=O(n＋m)，大大快于BF算法。 回顾BF的最恶劣情况：S与T之间存在大量的部分匹配，比较总次数为： (n-m+1)*m＝O(n*m) 因为主串指针i不必回溯，所以从外存输入文件时可以做到边读入边查找，“流式”作业！ KMP算法的用途： 本章结束 数据结构课程的内容 第4章 串（String） 4.2 串的表示和实现 4.3 串的模式匹配算法 1. 定义 2. 逻辑结构 3. 存储结构 4. 运算规则 5. 实现方式 4.1 串类型的定义 记为： s =‘ a1 , a2 , …….. , an’ (n≥0 ) 串名 串值（用‘ ’ 括起来） 串中字符个数（n≥0）. n=0 时称为空串 ? 。 由一个或多个空格符组成的串。 串S中任意个连续的字符序列叫S的子串; S叫主串。 子串的第一个字符的序号。 字符在串中的序号。 串长度相等，且对应位置上字符相等。 串即字符串，是由零个或多个字符组成的有限序列，是数据元素为单个字符的特殊线性表。 4.1 串类型的定义 若干术语： 串长： 空白串： 子串： 子串位置： 字符位置： 串相等： 隐含结束符‘/0’ ，即ASCII码NUL 练1：串是由 字符组成的序列，一般记为 。 练2：现有以下4个字符串： a =‘BEI’ b =‘JING’ c = ‘BEIJING’ d = ‘BEI JING’ 问：① 他们各自的长度？ ② a是哪个串的子串？在主串中的位置是多少？ a =3，b =4，c = 7，d=8 a是c和d的子串，在c和d中的位置都是1 练3：空串和空白串有无区别？ 答：有区别。空串(Null String)是指长度为零的串；而空白串(Blank String),是指包含一个或多个空白字符‘ ’(空格键)的字符串. 0个或多个 S=’a1a2……an’ ADT Sting{ Objects: D={ai | ai∈CharacterSet, i=1, 2,…，n, n≥0} Relations: R1={ai-1,ai | ai-1,ai ∈D, i=2, …，n} functions: // 有13种之多 StrAssign(T, chars) // 串赋值，生成值为chars的串T StrCompare(S,T) // 串比较，若ST，返