KMP算法中特征值数组next的计算与使用

在待匹配字符串P中，对于位置i，我们把P(0~i)中最大相同前缀子串和后缀子串的大小成为i的特征值，其组成的数组next[P.length]称为特征值数组。

 

那么如何求出next数组呢？

 

next[i-1]表示P(0~i-1) )中最大相同前缀子串和后缀子串的大小，假设next[i-1]=k，就说明P(0~i-1)中前k个字符和后k个字符匹配，再比较P[i]时就应该从位置k+1开始比，即比较P[i]与P[next[i-1]]

如果P[i]等于P[next[i-1]]，就表明P(0~i)中前k+1个字符和后k+1个字符匹配，即next[i] = k+1 (也就是next[i-1])

 

如果P[i]不等于P[next[i-1]]，你就知道(i-next[i-1]~i)不能与(0~next[i-1])匹配

但你不知道(i-next[i-1]~i)的后缀子串能不能和(0~next[i-1])的前缀子串匹配

而你又知道(0~n