Timi-chao

既然已经匹配成功的 "ABAB"中，有长度为2的公共前后缀（即 “AB”），这意味着模式串开头的 "AB"可以直接“滑”到刚才匹配成功的 "ABAB"的后 "AB"的位置。比如这里，P[j-1]就是P[1]，就是第一个B的位置，说明最前面的AB已经匹配了。KMP算法会问：在已经匹配成功的 "ABAB"这个子串中，它的​​前缀​​和​​后缀​​有什么联系？它的核心思想是：​​当出现不匹配时，算法能够利用已经知晓的匹配信息，避免将模式串的匹配位置回溯到开头，从而将时间复杂度降低到 O(m+n)​​。