KMP模板总结:

其实注意到next数组是到n+1的就差不多了,n+1次这就是表达了原串最多有几个前缀和后缀是相等的.

然后注意一下自己写的模板的字符串是从1开始的.然后对于next数组的理解嘛,他是要靠前面的next数组来辅助获得,所以在求next数组的时候有这个东西:k=next[k];对于k就是和书本的定义差不多.如果为0的时候就是属于第一种情况:



在利用next数组匹配的时候,如果j=0的话,那么i和j自增是因为第一个就不匹配的事情.

其他的就没什么了

 

My KMP Template:

#include <vector>
#include <list>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <stack>
#include <bitset>
#include <algorithm>
#include <functional>
#include <numeric>
#include <utility>
#include <sstream>
#include <iostream>
#include <iomanip>
#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <cstring>
#include <ctime>
#include <queue>
#include <cassert>
typedef long long ll;
#define	clr(a)		memset((a),0,sizeof (a))
#define	rep(i,a,b)	for(int i=(a);i<(int)(b);i++)
#define	per(i,a,b)	for(int i=((a)-1);i>=(int)(b);i--)
#define	inf			(0x7fffffff)
#define	eps			1e-6
#define	MAXN
#define MODN		(1000000007)
using namespace std;
int next[1000];
char s[100],t[100];
void get_next(){
int len1=strlen(t+1);//求长度的时候是这么求的
int j=1;
int k=0;
next[1]=0;
while(j<=len1){
if(k==0 || t[j]==t[k]){//k跟书本的k的定义其实差不多
j++;
k++;
next[j]=k;
}
else{
k=next[k];
}
}
}
void kmp(){

int len1=strlen(s+1);
int len2=strlen(t+1);
int j=1;
int i=1;
for(;i<=len1&&j<=len2;){//如果是以逗号分开则是或的关系

if(s[i]==t[j]){
i++;
j++;
}
else{
j=next[j];
if(j==0){
i++;
j++;
}
}
}
if(j>len2) //j>=len2 && i<=len1,这个理由并不能验证成功,因为有可能是最后一个匹配成功.
//观察到j在匹配成功之后肯定是超过原串的长度的
{
cout<<" find it "<<endl;
cout<<i-len2<<endl;   //注意这里返回的是位置,我的数组从1开始
}
else
cout<<"not find it "<<endl;

}
int main(){
while(cin>>s+1>>t+1){
get_next();
for(int i=1;i<=strlen(t+1);i++)
cout<<" "<<next[i];
cout<<endl;
kmp();
};
system("pause");
return 0;
}