KMP算法

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

文章目录

• 前言
• 一、暴力算法以及缺陷
• 二、KMP的原理
  • 1.border是什么
  • 2.读入数据
• 三、kmp模版
• 1.Next数组构造
• 2.KMP模版

---

前言

KMP算法是由Knuth,Morris,Pratt三位老头想出的，用来解决模式串匹配的问题可以将朴素的BF暴力匹配的复杂度O(NM)降到O(N+M)，十分有用，并且是后面高难度算法的基础。

---

一、暴力算法以及缺陷

在解决模式串与主串匹配的过程中，最好想的思路就是暴力，就是从头开始枚举起始点，一个一个进行匹配，如果不相等就用当前开头的下一个字符继续去匹配，这样可以很轻松的解决匹配的·问题。

这个代码也十分好些，双层for循环加判断，很轻松就解决了问题，但是，我们也要考虑这个算法的缺陷，暴力是很好，但是n和m如果大于10000，带来的TLE也是挺好的，复杂度实在是太高了，我们发现这种方法解决问题很不好用，根本过不了几个测试点。

那么缺陷该怎么解决呢，我们发现判断两个字符串是否一样只能从头开始遍历1遍，所以要优化判断次数，通过省掉不必要的判断来减低时间复杂度，就是KMP。

二、KMP的原理

1.border是什么

border就是一个字符串的最长公共前后缀，就是指一个字符串既是它的前缀也是它的后缀，并且要注意，一个字符串border的不能跟字符串长度相等。

例：abbbbbbbba的border是a，ababa的border是aba。

2.Next数组

Next[i]表示“字符串中以 i 结尾的非前缀子串”与“字符串的前缀”能够匹配的最长长度。

注意：Next 数组是针对模式串而言的数组。换句话说，Next[i]表示以下标 i 为结尾的前缀的 border 的长度。

例：ababbb的Next数组里的值就是0 0 1 2 0 0

那么kmp算法就是靠着Next数组来实现的，当我们匹配时发现不相等的地方，我们只需要将开头移动到前一段字符串所对应的border（后缀）的开头

---

三.kmp模版

1.Next数组构造

代码如下：

void getch(string p){
	ll i,j;
	for(Next[1]=j=0,i=2;p[i];i++){
		while(j&&p[i]!=p[j+1]){
			j=Next[j];
		}
		if(p[i]==p[j+1]){
			j++;
		}
		Next[i]=j;
	}
}

2.KMP模版

 代码如下：

void KMP(string p,string s){
	int i,j,k=0;
	for(j=0,i=1;s[i];i++){
		while(j&&s[i]!=p[j+1]){
			j=Next[j];
		}
		if(s[i]==p[j+1]){
			j++;
		}
		if(!p[j+1]){
			cout<<i-j+1<<endl;
			j=Next[j];
		}
	}
}