串的模式匹配.pptVIP

串的模式匹配算法 雅礼 朱全民 串的基本操作 串的连接（concat） 求子串（substr--- Pascal中的copy函数） 插入函数（insert） 删除函数（delete） 定位函数（index--- Pascal中的pos函数） 模式匹配 算法框架 FUNC pos (p, s : string) : integer; {求模式串 t 在主串 s 中的位置的定位函数 } i:=1; j:=1 { 指针初始化 } WHILE ( i = length (s) ) and ( j= length (p) DO IF s [i] = p [j] THEN [ i:=i+1 ; j:=j+1] {继续比较后续字符} ELSE [i:=i-j+2; j:=1]; {指针后退重新匹配} IF j length (p) THEN RETURN (i – length (p) ) ELSE RETURN(0) ENDF; 复杂性分析:最坏情况为O(n*m) 例如: 模式串为 主串为: ‘0000000000000000000000000000000000000000000000000000000000001’ KMP(Knuth-Morris-Pratt)算法 KMP的基本原理 怎样求K KMP示例 KMP算法框架 FUNC KMP(p,t:string):integer; i:=1; j:=1 { 指针初始化 } WHILE ( i = length (s) ) and ( j= length (p) DO IF s [i] = p [j] THEN [ i:=i+1 ; j:=j+1] {继续比较后续字符} ELSE j:=next [ j ]; {模式串向右滑动next [ j ]} IF j length (p) THEN RETURN (i – length (p) ) ELSE RETURN(0) ENDF; 怎样求next[j]? 首先有,next[1]=0,设next[j]=k,表明: p1p2…pk-1= pj-k+1pj-k+2…pj-1 (1) 若pk= pj ,则在模式串中有, p1p2…pk= pj-k+1pj-k+2…pj 所以, next[j+1]=k+1 (2) 若pk pj ,则杂模式串中有 p1p2…pk pj-k+1pj-k+2…pj 则可将求next函数的问题看成整个模式串既是主串又是模式串的问题,应将模式串滑动到next[k]个字符和主串的第j个字符相比较.若next[k]=k’,且pj=pk’,则说明在主串中第j+1个字符之前存在一个长度为k’的最长子串,和模式串中从首字符起长度为k’的子串相等,即 p1p2…pk’ pj-k’+1pj-k+2…pj 也就是说next[j+1]=k’+1=next[k]+1 求NEXT算法 Proc get_next( t: string); { next为全程变量} j:=1 ; k:=0; next[1]:=0; While jlength (p) do if (k=0) or (p[j] = p[k]) then [ j:=j+1; k:=k+1;next[j]:=k] else k:=next[k] ENDP 扩展KMP算法 给定母串S，和子串T。定义n=|S|, m=|T|，extend[i]=S[i..n]与T的最长公共前缀长度。 请在线性的时间复杂度内，求出所有的extend[1..n]。 容易发现，如果有某个位置i满足extend[i]=m，那么T就肯定在S中出现过，并且进一步知道出现首位置是i——而这正是经典的KMP问题。 因此可见“扩展的KMP问题”是对经典KMP问题的一个扩充和加难。 一个例子 这里为了计算extend[1]，我们进行了11次比较运算 分析 不然。 因为通过计算extend[1]=10，我们可以得到这样的信息：S[1..10]=T[1..10]?S[2..10]=T[2..