阮一峰的字符串匹配的KMP算法中详细解释了前缀、后缀的概念，但是没有提到next数组的求法。虽然July的从头到尾彻底理解KMP（2014年8月22日版）中详细解释了next数组的求法，但是关于k = next[k]这一块讲的还不是太好。下面，我啰嗦几句，咳咳。(ps：往下阅读前建议先看July的那篇文章)
模式字符串记为P(下标从0开始)，next[q] = k 表示P[q]之前的子串中，存在长度为k的相同前缀和后缀，即P[0]~P[k-1]与P[q-k]~P[q-1]依次相同。如果P[k] = P[q]，那么next[q+1] = k+1，此时表示P[q+1]之前的子串中，存在长度为k+1的相同前后缀，这应该不成问题。下面贴张图详细表示：
 如果P[k] != P[q]，那么说明next[q+1] 不会是 k+1，也就是说P[q+1]之前的子串中，不会存在长度为k+1的相同前后缀。那么我们就要去 寻找长度更短的相同前后缀，假设长度为j，此时 P[0]~P[j-1]和P[q-j]~P[q-1]依次相同。下面再贴张图：  接着我们比较P[q]和P[j]是否相同，如果相同，则next[q+1] = j+1；如果不同，则按照k = next[k]递归查找。说到这，大家应该可以看出这里的 j = next[k]。如果还不明白，看看next数组的定义，next[k] = j 表示 P[k]之前的子串中，存在长度为j的相同前后缀。从图2可以看出，P[0]~P[j-1]和P[k-j]~P[k-1]是依次相同的。啰嗦完了。
|
