next数组存储的是最长公共前后缀的长度(不包括当前下标),求解next数组可以理解为用模式串自己匹配自己
kmp讲解:https://blog.csdn.net/qq_40061421/article/details/82919264
next数组来源讲解:http://www.sohu.com/a/334290971_701814
next数组作用讲解:https://www.cnblogs.com/wuyiqi/archive/2012/01/06/2314078.html
设len为数组的长度,d=len-nxt[len]的长度就是字符串的最小循环节。如果len%d==0,说明该字符串完全由循环节组成(特判下最小循环节就是数组本身的情况),并且周期等于len/d。如果len%d!=0,说明还需要补充最少d-len%d个字符才能让其循环。
nxt数组与字符数组的下标是一一对应的。
kmp模板
const int maxn=1e6+5;
char s1[maxn],s2[maxn];
int nxt[maxn];
int ans;
void getfail(char *p)
{
int m=strlen(p);
nxt[0]=0,nxt[1]=0;
for(int i=1;i<m;i++)
{
int j=nxt[i];
while(j&&p[i]!=p[j])
j=nxt[j];
nxt[i+1]=p[i]==p[j]?j+1:0;
}
}
void find(char *t,char *p)
{
int n=strlen(t),m=strlen(p);
getfail(p);
int j=0;
for(int i=0;i<n;i++)
{
while(j&&p[j]!=t[i])
j=nxt[j];
if(p[j]==t[i])
j++;
if(j==m)
{
ans++;
}
}
}