KMP - 字符串匹配 - 使用技巧

    学习KMP算法时， 一定要理解其本质。如果放弃阅读晦涩难懂的材料（即使大部分讲解KMP算法的材料都包含大量的图，但图毕竟只能描述特殊而非一般情况）而是直接去阅读代码，是永远无法学会KMP算法的。

这里留了三个思考题， 读者可以在学习完毕后尝试回答这三个问题， 检验自己的学习成果。

 

•     设查询串的长度为n， 模式串长度为m， 我们需要判断模式串是否为查询串的子串。那么使用KMP算法处理该问题 的时间复杂度是多少？ 在分析时间复杂度时使用了哪一种分析方法？

     答： 时间复杂度为O(n + m), 用到了均摊分析（摊还分析）的方法。 具体地，无论在预处理过程还是查询过程，虽然匹配失败时， 指针会不断地根据next数组向左回退，看似时间复杂度会很高。单考虑匹配成功时， 指针会向右移动一个位置， 这一部分对应的时间复杂度为O(n + m)。又因为向左移动的次数不会超过向右移动的次数，因此总时间复杂度仍然为O(n + m)
    

•     如果有多个查询串， 平均长度为n， 数量为k， 那么总时间复杂度是多少？

    答：时间复杂为O(nk + m)。模式串只需要预处理一次。
    

•     在KMP算法中， 对于模式串， 我们需要预处理出一个next数组(fail, π)。 这个数组到底表示了什么？

  

    答： 以 模式串 ababc为例， 它的next求出来如下：

next 数组的含义： 对于字符串S的前i个字符构成的子串，既是它的后缀又是它的前缀的字符串中（它本身除外），最长的长度记作next[i]

 

一. 使用KMP查找最长回文前缀的长度

例如： 求字符串catacb的最长回文前缀的长度

技巧： 假设字符串为s， 求s + # + reverse(s) 的ne数组 

求得最后的ne数组的值为5， 那么5刚好就是最长回文前缀的长度

简单解释下， 这里为什么5就是最长回文前缀， 这回归到KMP算法的本质， ne数组就是求的与前缀相等的最长长度， 上面把数组反转了一下， 如果是回文， 反转后是相同的， 所以刚好求的就是最长回文前缀的长度

时间复杂度： O( 2 * n ) 

例题： leetcode 214 最短回文串

二、 使用KMP查找重复的子字符串

题目： leetcode 459 重复的子字符串

https://leetcode-cn.com/problems/repeated-substring-pattern/solution/459-zhong-fu-de-zi-zi-fu-chuan-zi-fu-chuan-pi-pei-/

 

例题： 471. 编码最短长度的字符串

https://leetcode-cn.com/problems/encode-string-with-shortest-length/solution/471-bian-ma-zui-duan-chang-du-de-zi-fu-chuan-qu-ji/