数据结构第4章.ppt

4.4 字符串 4.4.4 模式匹配的KMP算法 改进简单模式匹配：例2 由例1可知 ②、③可省略 P[0]=P[3] 且P[1]=P[4] ④、⑤也可省略 P串有时 也无需回溯 4.4 字符串 4.4.4 模式匹配的KMP算法 KMP模式匹配算法思想 设主串S=”s0s1s2…sn-1 ”，模式串P=“p0p1p2…pm-1 ” 并设在S[i]≠P[j]处失配，如果模式串P中有一整数kj，使得： p0p1p2…pk-1=pj-kpj-k+1…pj-1是串P中最长的相等的前缀子串和后缀子串。 由于在S[i]≠P[j]处失配，故必有： pj-kpj-k+1…pj-1= si-k…si-2si-1 则： p0p1p2…pk-1 = si-k…si-2si-1 所以：下一趟比较可以从si和pk开始。 关键在于计算P中每一个字符对应的k！ 4.4 字符串 4.4.4 模式匹配的KMP算法 失败函数，即计算模式串中每一个字符在发生失配时的回溯位置k。 设有长度为m的模式串p＝p0 p1 … pm-1，失败函数 f 为： 4.4 字符串 4.4.4 模式匹配的KMP算法 失败函数计算举例 位置j 0 1 2 3 4 5 6 7 8 9 10 模式串P a b c a b c a b b a c f(j) -1 0 0 0 1 2 3 4 5 0 1 4.4 字符串 4.4.4 模式匹配的KMP算法 KMP算法 4.4 字符串 4.4.4 模式匹配的KMP算法 KMP匹配算法 int String::FindKMP(int i, String P) { if (i0 || in-1) { coutOut of bounds!endl; return -1; } int j = 0, m = P.n; while (in jm) if (j == -1 || str[i] == P.str[j]) { i++; j++; } else j = P.f[j]; //设置P串的回溯位置为该失配点j //的失败函数值f[j] return ((j==m) ? i-m : -1); } 4.4 字符串 4.4.4 模式匹配的KMP算法 失败函数递推计算公式 其中：m0 f 1(j) = f(j) f m(j) = f(f m-1(j)) 4.4 字符串 4.4.4 模式匹配的KMP算法 失败函数递推计算公式 4.4 字符串 4.4.4 模式匹配的KMP算法 利用递推计算公式，计算失败函数的C++程序 void String::Fail() // 计算失败函数 { int j = 0, k = -1; f[0] = -1; while (jn) if ((k == -1) || (str[j] == str[k])) { j++; k++; //k=-1或str[j]=str[k]时，j、k加1,无回溯 f[j] = k; } else k = f[k]; //str[j]不等于str[k]时，k回溯到f[k] } 4.4 字符串 4.4.4 模式匹配的KMP算法 计算失败函数的改进方法 无效回溯问题： 当S[i]≠P[j]时，j回溯到f[j]处，但是若P[j]=P[f[j]], 故S[i]≠P[f[j]]，因此产生无效的回溯。 4.4 字符串 4.4.4 模式匹配的KMP算法 多余的回溯，可省略 4.4 字符串 4.4.4 模式匹配的KMP算法 计算失败函数的改进方法 void String::Fail () { int j=0,k=-1;f[0]=-1; while (jn) if ((k==-1) || (str[j]==str[k])){ j++; k++;