KMP模式匹配算法

一、KMP模式匹配算法

符号	说明
i	主串当前位置的下标（不回溯）
j	模式串T当前位置的下标

目的：原本的匹配时 i 和 j 不停的回溯，KMP模式匹配让 i 不用回溯。

j 值的变化与主串无关，取决于模式串T的结构中是否有重复（即当前字符之前的串的前后缀的相似度）。

我们把模式串T各个位置的 j 值的变化定义为一个数组 Next，那么Next的长度就是模式串T的长度。由此得出以下的函数定义：

N e x t [ j ] = { 0 ， 当j=1时 M a x { k ∣ 1 < k < j , 且 ′ p [ 1 ] . . . p [ k − 1 ] ′ = ′ p [ j − k + 1 ] . . . p [ j − 1 ] ′ } , 当此集合不为空时 1 ， 其他情况 Next[j]= \begin{cases} 0，& \text{当j=1时}\\ Max\{k|1<k<j,且'p[1]...p[k-1]'='p[j-k+1]...p[j-1]'\},& \text{当此集合不为空时}\\ 1，& \text{其他情况} \end{cases} Next[j]=⎩⎪