什么是KMP算法?
KMP算法是一种改进的字符串匹配算法,由D.E.Knuth,J.H.Morris和V.R.Pratt提出的,因此人们称它为克努特—莫里斯—普拉特操作(简称KMP算法)。KMP算法的核心是利用匹配失败后的信息,尽量减少模式串与主串的匹配次数以达到快速匹配的目的。具体实现就是通过一个next()函数实现,函数本身包含了模式串的局部匹配信息。KMP算法的时间复杂度O(m+n)
例子:
所以说主串是没有回退必要
这就需要一个next数组保存匹配失败后回退的位置
所以在进行KMP算法前需要先将next数组手动求出,因为j回退的位置是由next数组求得的
next数组
KMP算法的精髓就是求next数组:也就是用next[j]=k来表示,不同的j来对应一个k值,这个k’值就是你将来移动的j要移动的位置
k的求法:
1、规则:找到匹配成功部分的两个相等的真子串(不包含本身),一个以0下标开始,另一个以j-1下标结尾
2、不管什么数据next[0]=-1,next[1]=0,在这里,我们以下标来开始
例子:求下来数组的next数组
接下来的问题就是,已知next[i]= k;怎么求next[i+1]= ?如果我们能够通过next[i]的值,通过一系列转换得到next[i+1]得值,那么我们就能够实现这部分。
那该怎么做呢?首先假设: next[i]= k成立,那么,就有这个式子成立: P0…Pk-1 = Px…Pi-1;得到: P0…Pk-1 = Pi-k…Pi-1;到这一步:我们再假设如果Pk=Pi;我们可以得到 P0…Pk = Pi-k…Pi;那这个就是next[i+1] = k+1;
验证一下:
代码实现KMP算法
#include<iostream>
#include<string>
#include<vector>
using namespace std;
//获取next数组
void Next(string t,vector<int>& v) {
//next数组默认下标0为-1,1处为0
v[0] = -1;
v[1] = 0;
int k = 0;//前一项的k
int i = 2;//提前走了一项
while (i < v.size()) {
//k==-1确保回到为0位置也要进入
if (k==-1||t[i] == t[k]) {
v[i] = k + 1;
k++;
i++;
}//t[i] != t[k]
else {
//不相等就必须回退到
k = v[k];
}
}
}
//kmp算法
int KMP(string s,string t,int pos) {
int slen = s.size();
int tlen = t.size();
if (slen == 0 || tlen == 0) {
return -1;
}
//判断pos是不是合法的;
if (pos < 0 || pos >= slen) {
return -1;
}
//获取next数组
vector<int> next(tlen, 0);
Next(t,next);
int i = pos;//遍历主串
int j = 0;//遍历匹配串
while (i<slen&&j<tlen) {
//j==-1相当于在第一个位置匹配失败了
if (j==-1||s[i] == t[j]) {
i++;
j++;
}
else {
//没有匹配上就要回退
j = next[j];
}
if (j >=tlen ) {
//找到了
return i - j;
}
}
return -1;
}
int main() {
string str = "abaa";
string s = "aa";
cout << KMP(str,s,0);
}
next数组的优化
next 数组的优化,即如何得到 nextva1 数组:有如下串: aaaaaaaab ,他的 next 数组是-1,0,1,2,3,4,5,6,7.而修正后的数组nextva1是:
-1, -1, -1, -1, -1, -1, -1, -1,7。为什么出现修正后的数组,假设在5号处失败了,那退一步还是a,还是相等,接着退还是a。