数据结构第4章串.ppt

* * * * * * * * * * * * * * * * * * * 同样，若 p1 p2 …pj-3 ? p3 p4 …pj-1 则再下一趟也不匹配，因为有 p1 …pj-3 ? si-j+3 … si-1 直到对于某一个“k”值，使得 p1 …pk ? pj-k pi-k+1 …pj-1 且 p1 …pk-1 = pj-k+1 pj-k+2 …pj-1 则 p1 …pk-1 = si-k+1 si-k+2 … si-1 ‖ ‖ ‖ pj-k+1 pj-k+3 … pj-1 模式右滑j-k位 * next数组值 假设当模式中第j个字符与主串中相应字符“失配”时，可以拿第k个字符来继续比较，则令next[j]=k next函数定义： 0 当j=1时 next[j]= Max{k| 1kj 且’p1…pk-1’= ‘pj-k+1…pj-1’}当此集合不空时 1 其他情况 * 手工求next数组的方法 序号j 1 2 3 4 5 6 7 8 模式P a b a a b c a c k 1 1 2 2 3 1 2 Pk==Pj ≠ = ≠ = ≠ = ≠ next[j] 0 1 1 2 2 3 1 2 Nextval[j] 0 1 0 2 1 3 0 2 * 运用KMP算法的匹配过程 第1趟 目标 a c a b a a b a a b c a c a a b c 模式 a b a a b c a c ? next(2) = 1 第2趟 目标 a c a b a a b a a b c a c a a b c 模式 a b a a b c a c next(1)=0 第3趟 目标 a c a b a a b a a b c a c a a b c 模式 a b a a b c a c ?next(6) = 3 第4趟 目标 a c a b a a b a a b c a c a a b c 模式 (a b) a a b c a c ? * KMP算法 int Index_KMP(SString S, SString T, int *next){ int i,j; i=1; j=1; while (i=S[0] j=T[0]){ if (j==0 || S[i]==T[j]){++i;++j;} else j=next[j]; } if (jT[0]) return i-T[0]; else return 0; } * 求next数组的步骤 (1)next[1]=0 i=1; j=0; (2)设next[i]=j 若j=0, next[i+1]=1 若Pi=Pj, next[i+1]=j+1=next[i]+1 若Pi ≠ Pj, next[i+1]=next[j]+1 参看教材p82~83递推过程 * 求next数组的函数 void get_next(SString S, int *next){ int i,j; i=1; next[1]=0; j=0; while (iS[0]) { if (j==0 || S[i]==S[j]) {++i; ++j; next[i]=j;} else j=next[j]; } } * 改进的求next数组方法 设next[i]=j 若P[i]=P[j], 则nextval[i]=nextval[j] * 改进的求next数组的函数 void get_nextval(SString S, int *nextval){ int i,j; i=1; nextval[1]=0; j=0; while (iS[0]) { if (j==0 ||S[i]==S[j]){ ++i;++