KMP算法

Knuth-Morris-Pratt设计的模式匹配算法，在一个串S内查找模式串P出现的位置。问题的关键在于寻找模式串中最大长度的相同前缀和后缀。

在某个字符失配时，该字符所对应的next值会告诉下一步匹配应该跳到哪个位置。其中next数组中存的是除当前字符外的最长相同前缀后缀（如果存在$p_0 p_1 ...p_{k-1} p_k = p_{j- k} p_{j-k+1}\ldots p_{j-1} p_j$，那么在包含pj的模式串中有最大长度为$k+1$的相同前缀后缀）。失配时，模式串向右移动的位数为：已匹配字符数 - 失配字符的上一位字符所对应的最大长度值