字符串之KMP详解

昨晚梳理了一下KMP的过程，感觉印象深刻了不少，在此写下博客加深印象，同时也希望能和大家交流。

KMP这个名字来源于其三个创始人名字首字母，主要用于解决字符串的匹配问题。

字符串的匹配问题：假设有两个字符串S和T，问串T是否出现在串S中/串T在串S中出现了多少次。(假设串S的长度为n，串T的长度为m)

常规思路：

按照我们正常的想法，肯定是用T跟S的每一位一一匹配，一旦遇到不能匹配的时候，就将正在匹配的起始位置右移一个，即起始位置+1，然后依然与T进行一一匹配，直到匹配成功为止，否则T不出现在S中。

这样思路的时间复杂度为O(n*m),那么有没有好一点的方法来解决这个问题呢，嘤，当然有，就是众所周知的KMP了。

KMP算法思路：

首先我们设S串(称为主串)为S1S2S3......Sn(S0不存放字符)

设T串(模式串)为T1T2T3......Tm

假设我们对两个串进行匹配，匹配到如下过程:

Si和Tj不匹配了，按照上面的常规思路就是将下边(i-j+1)加上一，再一一匹配了，但是我们的KMP不这样

举个栗子，假设主串为abacabadaea，模式串为abad，我们先模拟一下常规思路的匹配过程：

我们可以看到，在上面的五次匹配过程中，第二次第四次匹配是完全没有必要的，第一次匹配不成功之后直接进行第三次匹配，再进行第五次匹配即可得到结果。

也就是说，主串当前匹配的字符可以不做移动，直接将模式串右移，因为第一次匹配的时候S3和T3已经匹配成功了，而T3又与T1相等所以我们可以将S4直接与T2进行匹配，这样就减少了不必要的匹配次数。

通俗的讲，假设有主串和模式串已经匹配到下面的样子了

要在模式串T中找一个位置k(k

由之前的匹配可知Tj-k+1...Tj-1==Si-k+1...Si-1

所以我们只需要找到一个k，使得T1...Tk-1==Tj-k+1...Tj-1就行,这时匹配就分别从主串的Si、模式串的Tk开始了

令next[j]=k，则next [j]表示模式串中第j个字符与主串中相应字符“失配”时，在模式串中需要重新和主串中该字符进行比较的字符位置。（next被称为前缀表）

所以我们可以得到模式串的定义：

当j=1时，next[j] = 0;

当1

其他情况下，next[j] = 1；

求得next数组后，就可以根据上面的分析来求解匹配情况了。

那么，如何求得next数组呢？

我们先看看模式串abaabcac的next数组的情况：

首先我们可以保证next[1] = 0，假设next[i] = k，该如何求next[i+1]呢？

如果T[i] = T[k]的话，那么next[i+1] = next[i]+1 = k+1；

如果T[i] != T[k]， 就继续判断T[i] 是否等于 T[next[k]] 知道找到等于或next[k] = 0为止，如果找到等于，令next[i+1] = next[next[..i..]]+1,反之如果next[next[..i..]] == 0, next[i+1] =1。

即求得next数组。

另外对求next数组还有一个优化问题，如主串为aaabaaaaab，模式串为aaaab，那模式串的next数组如下：

其实按照之前对next数组的定义，next[2] = 1,next[3] = 2, next[4] = 3, next[5] = 4,但是因为T[next[j]] == T[j]，就没有与S[i]比较的必要了，所以可以一直往前找next[j]。

以上是我对KMP的理解，如有理解不当之处，欢迎指出。

//去吃个饭，吃完饭给出代码

参考代码:

#include
#include
#include
#include
#include
#include
#include
#include
#include
#include

以上