KMP算法中next算法执行过程.pptVIP

int Index_KMP(SString S, SString T, int pos) { // 1≤pos≤StrLength(S) i = pos; j = 1; while (i = S[0] j = T[0]) { if (j = 0 || S[i] == T[j]) { ++i; ++j; } // 继续比较后继字符 else j = next[j]; // 模式串向右移动 } if (j T[0]) return i-T[0]; // 匹配成功 else return 0; } // Index_KMP KMP(D.E.Knuth, V.R.Pratt,J.H.Morris) 算法 如匹配过程中，当 S[i] T[j] 时， 得到结果S中i之前与T中j之前有若干元素匹配： S[i-j+1..i-1] == T[1..j-1] 若已知 T[1..k-1] == T[j-k+1..j-1] 即模式串T中j之前的元素存在前缀=后缀 则有 S[i-k+1..i-1] == T[1..k-1] 即串S中i之前的若干元素=前缀 前缀的最后一个元素为T(k-1) 所以可以得出发生S[i] T[j]不匹配时，i不移 动的情况下，j移动到k的位置进行下一轮比较。 也就是如果当前元素序号为j+1,则next[j+1]值的得出 要查看它的前一个元素j的next值（为k）， 并且根据T[j]和T[k]是否相等来界定。 这实际上也是一个匹配的过程。 不同在于：主串和模式串是同一个串。 next函数值的递推过程，分析如下: 已知：next[1] = 0； 假设：next[j] = k；又 T[j] = T[k] 则： next[j+1] = k+1 若： T[j] ? T[k] 则需按照前面方法往前回朔，检查 T[j] = T[ ？] 原函数： void get_next(SString T, int next[] ) { // 求模式串T的next函数值并存入数组next i = 1; next[1] = 0; j = 0; while (i T[0]) { if (j = 0 || T[i] == T[j]) {++i; ++j; next[i] = j; } else j = next[j]; } } // get_next 例题：求T串abaabcabcnext函数值的递推过程: 第1轮循环，i=1，j=0： void get_next(SString T, int next[] ) { i = 1; next[1] = 0; j = 0; while (1 T[0]) { if (j = 0 || T[1] == T[0]) { i=i+1=2; j=j+1=1; next[2] = 1; } } } // get_next 位序 1 2 3 4 5 6 7 8 9 T串 a b a a b c a b c Next值 0 1 j i 第1轮执行 完毕结果： 原函数： void get_next(SString T, int next[] ) { // 求模式串T的next函数值并存入数组next i = 1; next[1] = 0; j = 0; while (i T[0]) { if (j = 0 || T[i] == T[j]) {++i; ++j; next[i] = j; } else j = next[j]; } } // get_next 例题：求T串abaabcabcnext函数值的递推过程: 第2轮循环，i=2，j=1： void get_next(SString T, int next[] ) { while (2 T[0]) { j!=0 || T[2]!=T[1]， 不满足if，所以执行： else j = next[1]=0; } } // get_next 位序 1 2 3 4 5 6 7 8 9 T串 a b a a b c a b c Next值 0 1 j i 第2轮执行 完毕结果： 原函数： void get_ne