一、理解KMP算法如何运用后缀和前缀的信息

• 文本串text:abcxabcdabxabcdabcdabcy
• 模式串pattern:abcdabcy

当发现不匹配的点，我们的目标不是在这个串中进行回溯操作。因此我们要检查的是 d 的前面的子串（abc），在这个子串（abc）中是否存在后缀与前缀相同的情况。所有的字符都是单独的，因此这里没有后缀与前缀相同的情况，因此意味着我们下一个比较对象将从 x 和 a 开始，再一次地，我们将会理解得更好在这个例子当中。

此时发现还是匹配失败，而 j = 0,退无可退了，那么就 i++；（指向下一个位置）

匹配成功的话就 i++; j++;

当 i 指向 x ，j 指向 c 的时候，发生匹配失败！因此再一次地，我们检查在 c 前面的子串（abcdab）中，是否存在前后缀相同的情况，且取最长的，发现 ab 是最长的公共前后缀。这意味着，在 x 和 c 发生不匹配时，x 左边的子串一定是 ab。因此也意味着，因为 x 左边的子串ab和子串（abcdab）后缀是一定相同的，子串（abcdab）后缀和其前缀也一定是相同的，故不需要再次去匹配前缀（ab）；下一次匹配可以从 x 和 c（pattern[2]） 开始。

也就是说，我们不需要在主串中向前回顾，去寻找下一个匹配点在哪里，现在我们从 x 和 c 这里开始，那是因为这个子串（abcdab）的后缀（ab）也是前缀（ab），而后缀（ab）已经和x 左边的子串ab匹配过了，那么没有理由再去匹配一遍前缀（ab）了，因此我们从x 和 c开始匹配 

此时 x 和 c 匹配失败，我们检查 c 前面的子串（ab）是否存在前后缀相同的情况，发现没有！因此意味着我们下一个比较对象将从 x 和 a 开始

此时发现还是匹配失败，而 j = 0,退无可退了，那么就 i++；（指向下一个位置）

匹配成功的话就 i++; j++;

当 i 指向 d ，j 指向 y 的时候，发生匹配失败！我们检查 y 前面的子串（abcdabc）是否存在前后缀相同的情况，且取最长的，发现 abc 是最长的公共前后缀。这意味着，在 d 和 y 发生不匹配时，y 之前的已经匹配了，y之前的子串（abcdabc）的后缀（abc）和文本串中 d 的前面子串（abc）相同。而子串（abcdabc）的后缀（abc）和前缀（abc）相同，可以说后缀也是前缀，那么就没有理由再一次去匹配abc。下一次比较可以从模式串的d开始，也就是从当前文本串的 d 和 模式串的 d 开始匹配 

匹配成功的话就 i++; j++;

此时 i 越界，j 越界（匹配成功），结束！

未完待续！

我的往期文章（详解KMP算法核心原理：j = D[j-1]）：

KMP 算法 + 详细笔记 + 核心分析 j = D[j-1]-CSDN博客https://blog.csdn.net/weixin_41987016/article/details/133848188?spm=1001.2014.3001.5501参考和推荐B站视频：

【中文字幕】Knuth–Morris–Pratt(KMP)_Pattern_Matching(Substring_search)_哔哩哔哩_bilibilihttps://www.bilibili.com/video/BV18k4y1m7Ar?p=1&vd_source=a934d7fc6f47698a29dac90a922ba5a3