第4章 串、数组和广义表.ppt

int Index_KMP (SString S,SString T, int pos) { i= pos,j =1; while (iS[0] jT[0]) { if (j==0 || S[i]==T[j]) { i++;j++; } else j=next[j]; /*i不变,j后退*/ } if (jT[0]) return i-T[0]; /*匹配成功*/ else return 0; /*返回不匹配标志*/ } 如何求next函数值 1. next[1] = 0;表明主串从下一字符si+1起和模式串重新开始匹配。i = i+1; j = 1; 2. 设next[j] = k，则next[j+1] = ? ①若pk=pj，则有“p1…pk-1pk”=“pj-k+1…pj-1pj” ，如果在 j+1发生不匹配，说明next[j+1] = k+1 = next[j]+1。 ②若pk≠pj，可把求next值问题看成是一个模式匹配问 题，整个模式串既是主串，又是子串。 p1 p2…pj-k+1…pj-1 pj pj+1 next[j]=k ‖ ‖ ≠ p1 … pk-1 pk pk+1 next[k]=k’ p1…… pk’ pk’+1 next[k’]=k” p1… pk’’ pk’’+1 next[k’’’]=k’’’ 若pk’=pj，则有“p1…pk’”=“pj-k’+1…pj”， next[j+1]=k’+1=next[k]+1=next[next[j]]+1. 若pk”=pj ，则有“p1…pk””=“pj-k”+1…pj”， next[j+1]=k”+1=next[k’]+1=next[next[k]]+1. next[j+1]=1. j 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 模式串 a b c a a b b c a b c a a b d a b 0 next[j] 1 1 1 2 2 3 1 1 2 3 4 5 6 7 1 2 void get_next(SString T, int next[]) { i= 1; next[1] = 0; j = 0; while( iT[0]){ if(j==0 || T[i] == T[j]){ ++i; ++j; next[i] = j; } else j = next[j]; } } KMP算法的时间复杂度 设主串s的长度为n,模式串t长度为m,在KMP算法中求next数组的时间复杂度为O(m),在后面的匹配中因主串s的下标不减即不回溯,比较次数可记为n,所以KMP算法总的时间复杂度为O(n+m)。 next函数的改进 j 1 2 3 4 5 模式 a a a a b next[j] 0 1 2 3 4 nextval[j] 0 0 0 0 4 a a a b a a a a b a a a a ① a a a ② a a ③ a a a a a b i = 5; j = 1 i=4 j=4 j=3 j=1 j=2 next[j] = k，而pj=pk，则 主串中si和pj不等时，不需再和pk进行比较，而直接和pnext[k]进行比较。 j 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 模式串 a b c a a b b c a b c a a b d a b next[j] 0 1 1