kmp个人理解

看网上文字这么多看到最后却一头雾水。

用博客记录目前我自己的理解。

kmp模板：

void Getnext(int next[],String t)
{
   int j=0,k=-1;
   next[0]=-1;
   while(j<t.length-1)
   {
      if(k == -1 || t[j] == t[k])
      {
         j++;k++;
         next[j] = k;
      }
      else k = next[k]; //重要
   }
}

先将next数组初始化 next [ 0 ] = -1；
这里是为了运算方便凑成-1，待会按照例子推一遍就知道。

next [ i ] 代表 模式串T前 i 个字符有前缀和后缀一样的最长长度。
如 模式串 前4个字符为【abca】则 next [ 4 ] = 1；
如 模式串 前4个字符为【abab】则 next [ 3 ] = 1; next [ 4 ] = 2；

好了
先给一个例子模式串 abcaaabcae 按照上面的程序推，
会发现 next[0~9] = 【-1 0 0 0 1 1 1 2 3 4】
next [10] 呢？ 这个时候就会发现 k = next [ k ] 的奥妙
标黄的a和e不匹配时，k=4，所以 k 往前回退，k = next [ 4 ] = 1;
下一次就是将 T [ k == 1 ] 和 T [ j == 9 ] 比较
（因为他们前面的前缀都是a，所以从这里开始比较就好了）

即回退到了一个尽可能匹配的位置。

当然T[1]和T[9]并不相等，所以还是匹配失败了，k继续回退，k=next[1]=0;
下一次就是将 T [ k == 0 ] 和 T [ j == 9 ] 比较 ，a 不等于 e，所以又匹配失败了。
k又回退，这次k = next [ 0 ] = -1;
好了，符合k == -1。进入选择语句 ， k加1等于 0， j 加1等于10，则next [ 10 ] = 0;
下一次的比较就是T [ 0 ] 和 T [ 10 ] 了,之后又推出 next [ 11 ]。