数据结构第4章 串、数组和广义表.pptVIP

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 1 2 2 3 1 1 2 3 4 5 6 7 1 2 0 nextval[j] 1 1 0 2 1 3 1 0 1 1 0 2 1 7 0 1 void get_nextval(SString T, int nextval[]) { i= 1; nextval[1] = 0; j = 0; while( iT[0]){ if(j==0 || T[i] == T[j]){ ++i; ++j; if(T[i] != T[j]) nextval[i] = j; else nextval[i] = nextval[j]; } else j = nextval[j]; } } next[i] = j; 本节所讨论的数组与高级语言中的数组区别： 　高级语言中的数组是顺序结构； 　而本章的数组既可以是顺序的，也可以是链式结构，用户可根据需要选择。 4.4 数组 数组的抽