KMP算法

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

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