KMP算法

字符串快速匹配 的算法——KMP算法。

     对next数组的理解。 next[j]表明当模式中第j个元素与主串中的第i个元素不能匹配时，模式串中需要新和主串中该元素进行比较的字符在模式串中的位置。

    1当模式串中的第一个元素就不和主串中的第i 个元素匹配，则将模式串的第一个元素与主串中的第i+1个元素进行重新比较。

    2当模式串的第j（j>1）个元素与主串中的第i个元素不匹配时，若看模式串中前j-1个元素，找出其中最长的前缀与后缀，长度为k-1。则此时next[j]=k。（特殊的，若不存在相同的前缀与后缀，长度为0，则next[j]=1。）

   next数组的求法

      next函数值仅取决于模式串的本身。

      递推的思想

     即已知next[j]=k,求next[j+1],分为两种情况

       1.当模式串中是第k个元素与模式串中的第j个元素相同时，next[j]=k+1;

       2.当模式串中的第k个元素与模式串中的第j个元素不相同时，将此时的模式串看成是一个主串。只需将模式串中的第k个元素与模式串（也成为主串）中的第j个元素比较，若相等，则next[j+1]=next[k]+1;若第k个元素与第j个元素仍不相等，再继续比较模式串中第next[k]个元素与第j个元素是否相同，若相同，则next[j+1]=next[next[k]],当next[k']=0时，next[j+1]=1;