KMP小结

符号：

i：下标
i从0开始时，next和nextval第一个值均为 -1；
i从1开始时，next和nextval各项（在i从0开始的跳转表基础上）加1，next和nextval第一个值均为 0；

next：未改进的跳转表
nextval：改进的跳转表
pattern：模式串
target：目标串

Next[]的计算

当前位前面的前缀和后缀公有子串最大值，若当前位匹配失败，则回溯到前缀的后一位

Nextval[]的计算

若pattern[i] != pattern[ next[i] ]
    则nextval[i] = next[i]
若pattern[i] == pattern[ next[i] ]
    则nextval[i] = nextval[ next[i] ]
若当前位匹配失败，如果回溯到前缀的后一位，当前

跳转表使用

平移 i-nextval[i]（或i-next[i]） 位（平移大于0，因此解释了首项为-1的合理性）；