对于kmp,很多小伙伴就被next数组打败了,今天咱们就来好好聊聊next数组,因为只要next数组搞懂了,匹配串和主串也是一样的道理,只不过求next数组的时候是自己和自己匹配。
对于next数组的前两位都是固定的,第一位和第二位既可以用为0和1,也可以为-1和0,我这边习惯为0和1。
到了后面的时候,就是求匹配串本身的最大前缀和最大后缀的值
比如字符串ababcabcacbab,直接从前三个开始
aba的前缀{a,ab},后缀{a,ba},所以next[3] = 1;
abab的前缀{a,ab,aba},后缀{b,ab,bab},所以next[4] = 2;
ababc的前缀{a,ab,aba,abab},后缀{c,bc,abc,babc},所以next[5] = 1;
ababca的前缀{a,ab,aba,abab,ababc},后缀{a,ca,bca,abca,babca},所以next[6] = 1;
ababcab的前缀{a,ab,aba,abab,ababc,ababca},后缀{b,ab,cab,bcab,abcab,babcab},所以next[7]=2
以此类推,如果匹配的过程中失败的话,就跳到next数组对应的位置上,这就是j = next[j]