kmp算法 php 阮一峰,KMP算法 理解与实现

KMP算法，背景不必多说，主要想写一写自己对KMP算法的一些理解和其具体实现。

关于KMP算法的原理，阮一峰老师的这篇文章足矣。

文中对KMP算法的匹配过程以及“部分匹配表”具体代表什么，都解释的十分简洁明了，看过之后也算是对KMP算法有了一个直观的了解。

下面我想就算法的具体实现，尤其是“部分匹配表”的生成(个人认为KMP算法实现中，最不容易理解的部分)，进行一些分析。

KMP算法具体实现

KMP算法的主体是，在失去匹配时，查询最后一个匹配字符所对应的“部分匹配表“中的值，然后向前移动，移动位数为：

移动位数 = 已匹配的字符数 - 对应的部分匹配值

比如对如下的匹配：

在D处失去匹配，那么查询最后一个匹配字符B在部分匹配表中的值为2。

则向前移动6-2=4位。(其实就相当于从搜索词的第二位开始重新进行比较)

下面是算法主体的实现

这里的next数组即“部分匹配表”。注意因为搜索词最后一位对应的部分匹配值是没有意义的，所以为了编程方便，我们将”部分匹配表“整体向后移一位，并把第一位设为-1。

//Java

/**

* KMP算法.

* 在目标字符串中对搜索词进行搜索。

*

* @param t 目标字符串

* @param p 搜搜词

* @return 搜索词第一次匹配到的起始位置或-1

*/

public int KMP(String t, String p) {

char[] target = t.toCharArray();

char[] pattern = p.toCharArray();

// 目标字符串下标

int i = 0;

// 搜索词下标

int j = 0;

// 整体右移一位的部分匹配表

int[] next = getNext(pattern);

while (i < target.length && j < patter.length) {

// j == -1 表示从搜索词最开始进行匹配

if (j == -1 || target[i] == pattern[j]) {

i++;

j++;

// 匹配失败时，查询“部分匹配表”，得到搜索词位置j以前的最大共同前后缀长度

// 将j移动到最大共同前后缀长度的后一位，然后再继续进行匹配

} else {

j = next[j];

}

}

// 搜索词每一位都能匹配成功，返回匹配的的起始位置

if (j == pattern.length)

return i - j;

else

return -1;

}

KMP算法的搜索过程还是比较好理解的。

接下来最容易被绕进去的部分来了，求解“部分匹配表”即next数组。

部分匹配表(next数组)的生成

其实，求next数组的过程完全可以看成字符串匹配的过程，即以搜索词为主字符串，以搜索词的前缀为目标字符串，一旦字符串匹配成功，那么当前的next值就是匹配成功的字符串的长度。

具体来说，就是从模式字符串的第一位(注意，不包括第0位)开始对自身进行匹配运算。 在任一位置，能匹配的最长长度就是当前位置的next值，如下图所示。

(这里next数组下标从1开始表示)

下面是算法的具体实现

//Java

/**

* 生成部分匹配表.

* 生成搜索词的部分匹配表

*

* @param p 搜搜词

* @return 部分匹配表

*/

private int[] getNext(String pattern) {

char[] p = pattern.toCharArray();

int[] next = new int[p.length];

// 第一位设为-1，方便判断当前位置是否为搜索词的最开始

next[0] = -1;

int i = 0;

int j = -1;

while(i < p.length - 1) {

if (j == -1 || p[i] == p[j]) {

i++;

j++;

next[i] = j;

} else {

j = next[j];

}

}

return next;

}

这里j = next[j]的写法十分巧妙，却有点难以理解(至少我一开始想了很久...)，其实就是一个不断的回溯过程。

next[j]表示p[j]前面的最大共通前缀后缀的长度，那么p[next[j]]则表示这个共通前后缀的最后一个字符。

如果p[next[j]] == p[j]则可以肯定next[j+1] == next[j] + 1。而当p[next[j]] != p[j]时，就应该考虑，既然next[j]长度的前缀后缀都不能匹配了，那么就应该缩短这个匹配的长度。直接从头开始重新匹配，那就是最朴素的暴力匹配了，效率太低。

此时对于next[j]这个字符串本身，也是有自己的最大共通前后缀的，那么next[next[j]]则代表p[next[j]]前面的最大共通前缀后缀长度。所以令j = next[j]然后从p[j]重新开始比较，如果不匹配的话再重复以上过程，最终得到结果。