【记录】kmp算法为什么j = next[j-1]？

原理自己搜一下= =懒得打一遍了，主要解释一下为什么j = next[j-1]，昨天疑惑了一晚上

举一个例子：

求字符串agctagcagctagct的next数组。

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14
a g c t a g c a g c t a g c t

显然当查找到i=13时，最长相等前后缀长度为7：

前缀 agctagc agctagc
后缀 agctagc agctagc

查找i=14时的最长相等前后缀，也就是比较i=13的前缀的后一位字符和后缀的后一位字符，如果相等则前后缀的长度+1。

前缀 agctagc a gctagct
后缀 agctagc agctagc t

很显然这个例子不相等。不相等时，kmp的做法是令j=next[j-1]。也就是j将指向前缀的最长相等前缀的后一位。因为前缀和后缀是相等的，所以前缀的前缀和后缀的后缀是相等的。（皇后杀了皇后（bushi）> <）

前缀 agc tagc agctagct
后缀 agctagc agct agc t

j=next[j-1]是指向前缀的下一位，也就是比较

前缀 agc t agc agctagct
后缀 agctagc agct agc t

很显然相等，则j++并且next[i] = j。也就是next[14]=4;

前缀 agct agc agctagct
后缀 agctagc agct agct

看懂了还不速速三连 (●’◡’●)