KMP字符匹配

在KMP 中，主要是寻找模式字串的前缀和后缀的最长的共有元素的长度。
以”ABCDABD”为例，
　　－　“A”的前缀和后缀都为空集，共有元素的长度为0；
　　－　“AB”的前缀为[A]，后缀为[B]，共有元素的长度为0；
　　－　“ABC”的前缀为[A, AB]，后缀为[BC, C]，共有元素的长度0；
　　－　“ABCD”的前缀为[A, AB, ABC]，后缀为[BCD, CD, D]，共有元素的长度为0；
　　－　“ABCDA”的前缀为[A, AB, ABC, ABCD]，后缀为[BCDA, CDA, DA, A]，共有元素为”A”，长度为1；
　　－　“ABCDAB”的前缀为[A, AB, ABC, ABCD, ABCDA]，后缀为[BCDAB, CDAB, DAB, AB, B]，共有元素为”AB”，长度为2；
　　－　“ABCDABD”的前缀为[A, AB, ABC, ABCD, ABCDA, ABCDAB]，后缀为[BCDABD, CDABD, DABD, ABD, BD, D]，共有元素的长度为0。

在这里先查看一些定义和一些基本步骤
现假设最前面的k个字符和j之前的最后k个字符是一样的。
图1是给定的一个pattern string

现有p[k]!=p[j]，显然前缀“ABAC”和后缀“ABAB”已经不相等，但是退而求其次，往前回退，可以找到前缀“AB”和后缀“AB”仍可以匹配上，如图2，那么现在k就成了next[k]，j不移动。