早就想写关于KMP算法的文章了,但KMP算法对于初学者来说,属实不是一件易事,毕竟是考研的内容,还是有一点烧脑的,因此之前一直心生畏惧,打怵写这个话题。考虑到为广大读者出品优质的内容,终于还是鼓起勇气来写这一篇KMP文章。
理解KMP算法的钥匙,如果能轻松回答以下问题说明你基本上掌握了KMP。
1.要理解搞清楚KMP与传统蛮力法的区别在哪?
传统的蛮力比较的方法:每次“失配”之后,模式串的指针从第1位开始;而KMP算法是每次“失配”之后,模式串的指针尽可能的不从第1位开始。
2.理解Next数组的作用。
每次“失配”之后,模式串的指针到底应该从哪个位置开始呢?要是有一个表(查表法),能指示就好了,Next数组是我们人为构造的一个指示器,它告诉我们,模式串每一个位置“失配”之后,模式串的指针应该从哪个位置开始。
3.掌握Next数组如何构造?
3.1.我们完全可以提前用"人肉"构造。
3.2.也可以用我们习惯的方法构造(暴力查找)。
通过对3.1、3.2两法的训练,可以让我们更容易理解KMP的Next数组构造。
3.3.使用标准的KMP递推方法构造。
3.4.有的教材上,Next数组中的值=最长公共前后缀的长度,有的参考资料上,Next数组中的值=最长公共前后缀的长度+1,读者要注意区分,无论加不加1,本质是不变的。
4.Next数组为什么可以用递推的方法实现?
4.1.理解前缀和后缀的概念:所谓前缀就是从第一个开始到当前的一坨,所谓后缀,就是最后一个到当前的一坨。