KMP模式匹配算法（2）

上篇说到当子串为aaaab类似情况时，会有不必要的回溯

因为此时next数组为01234，如果主串S[i] != T[4]时，j值依次回溯，可是前四个都是完全一样的字符，所以j值的回溯是没有必要的

也就是说，在满足上一篇next数组的条件下，当子串有字符重复时，它所对应的next数组中的值只需要与它第一次出现时的在next数组中记录的值一样即可，比如，对于一个子串'a', 'b', 'a', 'b', 'a', 'c', 'c', 'a', 'c'，改进后的next数组应该为010104102

新的next数组生成代码：

[cpp]  view plain copy

1. void get_nextval(char *T, int *next) {  
2.     int i,j;  
3.     i = 1;  
4.     j = 0;  
5.     next[i] = 0;  
6.       
7.     while (i < T[0]) {  
8.         if (j == 0 || T[i] == T[j]) {  
9.             ++i;  
10.             ++j;  
11.             if (T[i] != T[j]) {  
12.                 next[i] = j;  
13.             } else {  
14.                 next[i] = next[j];  
15.             }  
16.         } else {  
17.             j = next[j];  
18.         }  
19.     }  
20. }  

KMP代码只需把get_next(T, next);替换成get_nextval(T, next);