符号:
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的合理性);