KMP算法求next[ j ]函数

        马上期末了，数据结构学的是一塌糊涂，最终还是滚回来等于是重新学一遍。看了很多资料，看了半天也没看明白，最后还是这位大佬的文章拯救了我。为了加深印象，自行用这样的方法对书上例题进行解答。

【例 4-1】求模式串T=“abcabc”的next [ j ] 函数值。

【分析】已知next [ j ] 函数定义为：

 

【过程】

当j = 1 时，next [ 1 ] = 0;

当j = 2 时，此时1 < k < 2，但在该区间k不存在整数，所以属于第三种情况，即next [ 2 ] = 1;

当j = 3 时，此时1 < k < 3,取整数 k = 2，则在定义中：t1（a）和t2（b）比较，不相等。即next [ 3 ] = 1;

当j = 4 时，此时1 < k < 4,先取整数 k = 3，则在定义中：t1t2（ab）和t2t3（bc）比较，不相等。再取k = 2，t1（a）和t3（c），不相等。即next [ 4 ] = 1;

当j = 5 时，此时1 < k < 5,取整数 k = 4，则在定义中：t1t2t3（abc）和t2t3t4（bca）比较，不相等。再取k = 3，t1t2（ab）和t3t4（ca）比较，不相等。再取k = 2，t1（a）和t4（a）比较，相等。即next [ 5 ] = 2;

当j = 6 时，此时1 < k < 6,取整数k = 5，则在定义中：t1t2t3t4（abca）和t2t3t4t5（bcab）比较，不相等。再取 k = 4，t1t2t3（abc）和t3t4t5（cab）比较，不相等。再取k = 3，t1t2（ab）和t4t5（ab）比较，相等。即next [ 6 ] = 3;

nextval [ j ]函数

当前模式串字符与next数组的数所对应的字符相比较，如果相等则为nextval数组所对应的next的值（nextval[ next ]），如果不相等则为next数组所对应的值（next）。