KMP子字符串匹配算法学习笔记

学习资源

1. 字符串：KMP是时候上场了（一文读懂系列）- 代码随想录
2. 字符串：都来看看KMP的看家本领！- 代码随想录

什么是KMP

KMP算法是由这三位学者发明的：Knuth，Morris和Pratt，因此，用这三位学者名字的首字母组合成，来命名该算法。

KMP主要应用在字符串匹配上。KMP的主要思想是当出现字符串不匹配时，可以知道一部分之前已经匹配的文本内容，可以利用这些信息避免从头再去做匹配了。所以如何记录已经匹配的文本内容，是KMP的重点，也是next数组肩负的重任。

什么是前缀表

next数组就是一个前缀表（prefix table）。

前缀表是用来回溯的，它记录了模式串与主串(文本串)不匹配的时候，模式串应该从哪里开始重新匹配。

为了清楚的了解前缀表的来历，举一个例子：

要在文本串：aabaabaafa中查找是否出现过一个模式串：aabaaf。

如动画所示：

动画里，特意把 子串aa 标记上了，这是有原因的，大家先注意一下，后面还会说道。

可以看出，文本串中第六个字符b 和 模式串的第六个字符f，不匹配了。如果暴力匹配，会发现不匹配，此时就要从头匹配了。

但如果使用前缀表，就不会从头匹配，而是从上次已经匹配的内容开始匹配，找到了模式串中第三个字符b继续开始匹配。

此时就要问了前缀表是如何记录的呢？

首先要知道前缀表的任务是当前位置匹配失败，找到之前已经匹配上的位置，在重新匹配，此也意味着在某个字符失配时，前缀表会告诉你下一步匹配中，模式串应该跳到哪个位置。（MyNote：文本串不用跳转）

那么什么是前缀表：下表i之前（包括i）的字符串中，有多大长度的相同前缀后缀。

（MyNote：本文“下表”的通假于“下标”。）

为什么一定要用前缀表

前缀表那为啥就能告诉我们 上次匹配的位置，并跳过去呢？

回顾一下，刚刚匹配的过程在下表5的地方遇到不匹配，模式串是指向f，如图：

然后就找到了下表2，指向b，继续匹配，如图：

以下这句话，对于理解为什么使用前缀表可以告诉我们匹配失败之后跳到哪里重新匹配 非常重要！

下表5之前这部分的字符串（也就是字符串aabaa）的最长相等的前缀 和 后缀字符串是 子字符串aa ，因为找到了最长相等的前缀和后缀，匹配失败的位置是后缀子串的后面，那么我们找到与其相同的前缀的后面从新匹配就可以了。

所以前缀表具有告诉我们当前位置匹配失败，跳到之前已经匹配过的地方的能力。

如何计算前缀表

接下来就要说一说怎么计算前缀表。如图：

一、长度为前1个字符的子串a，最长相同前后缀的长度为0。（注意这里计算相同前后缀，不算重复的字符）

二、长度为前2个字符的子串aa，最长相同前后缀的长度为1。

三、长度为前3个字符的子串aab，最长相同前后缀的长度为0。

以此类推：

四、长度为前4个字符的子串aaba，最长相同前后缀的长度为1。

五、长度为前5个字符的子串aabaa，最长相同前后缀的长度为2。

六、长度为前6个字符的子串aabaaf，最长相同前后缀的长度为0。

那么把求得的最长相同前后缀的长度就是对应前缀表的元素，如图：

可以看出前缀表里的数值代表着就是：当前位置之前的子串有多大长度相同的前缀后缀。

再来看一下如何利用 前缀表找到 当字符不匹配的时候应该指针应该移动的位置。如动画所示：

找到的不匹配的位置， 那么此时我们要看它的前一个字符的前缀表的数值是多少。

为什么要看前一个字符的前缀表的数值呢，因为要找前面字符串的最长相同的前缀和后缀。

所以要看前一位的 前缀表的数值。

前一个字符的前缀表的数值是2， 所有把下表移动到下表2的位置继续比配。可以再反复看一下上面的动画。

最后就在文本串中找到了和模式串匹配的子串了。

前缀表有什么问题

来看一下刚刚求的这个前缀表有什么问题呢？

看这个位置红框的位置，如果要找下表1 所对应 前缀表里的数值的时候，前缀表里的数值依然是1，然后就要跳到下表1的位置，如此就形成了一个死循环。

**如何怎么避免呢，就把前缀表里的数值统一减一， 开始位置设置为-1 **。 这一点对理解后面KMP代码很重要！！

改为如图所示：

这样就避免的死循环，只不过后续取 前缀表里的数值的时候，要记得再+1，才是我们想要的值。

最后得到的新前缀表在KMP算法里通常用一个next数组来表示。

注意这个next数组就根据模式串求取的。

使用next数组来匹配

有了next数组，就可以根据next数组来 匹配文本串s，和模式串t了。

注意next数组是新前缀表（旧前缀表统一减一了）。

匹配过程动画如下：

放码过来

下文统称haystack为文本串, needle为模式串。

haystack, needle出处。

构造next数组

定义一个方法getNext来构建next数组，参数为一个名为next数组，和一个字符串。代码如下：

private void getNext(int[] next, String s) {
   }

构造next数组其实就是计算模式串s，前缀表的过程。主要有如下三步：

1. 初始化
2. 处理前后缀不相同的情况
3. 处理前后缀相同的情况

一、初始化

定义两个指针i和j：

• j指向前缀终止位置（严格来说是终止位置减一的位置），
• i指向后缀终止位置（与j同理）。

（通常是先i后j，为什么这里相反，接下来看代码就清楚了。）

然后还要对next数组进行初始化赋值，如下：

int j = -1;
next[0] = j