一篇就能理解的KMP算法

什么是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。