KMP和扩展KMP

KMP

next函数

const int N=1e6+10,mod=998244353,inf=1e15;
int nxt[N];
string s1,s2;
void solve()
{cin>>s1>>s2;int n1=s1.size(),n2=s2.size();s1=' '+s1;s2=' '+s2;nxt[1]=0;//nxt:s2[1:i]后缀和前缀匹配的最长长度for(int i=2,j=0;i<=n2;i++){while (j&&s2[i]!=s2[j+1])j=nxt[j];//跳回能匹配的地方 即和s2[1:j]后缀匹配的前缀 直到0停止if(s2[i]==s2[j+1])j++;//预判下一个nxt[i]=j;//[i:n]最长前缀匹配长度}for(int i=1,j=0;i<=n1;i++){//s1 s2匹配while (j&&s1[i]!=s2[j+1])j=nxt[j];if(s1[i]==s2[j+1])j++;if(j==n2){//匹配成功cout<<i-n2+1<<endl;}}forr(j,1,n2)cout<<nxt[j]<< ';cout<<endl;
}

扩展KMP

const int N=2e7+10,mod=1e9+9,inf=1e9+10;
int z[N],p[N];
int get_z(string s,int n){z[1]=n;//盒子:[l:r] 最靠右的 已经匹配的LCPint l=0,r=0;forr(i,2,n){if(i<=r)z[i]=max(0ll,min(z[i-l+1],r-i+1));//盒内 使用前面的z[i-l+1]加速 或者使用盒子while(s[1+z[i]]==s[i+z[i]])z[i]++;//盒外向后一个个暴力if(i+z[i]-1>r)l=i,r=i+z[i]-1;//更新盒子}int wz=0;forr(i,1,n){wz^=(1ll*i*(z[i]+1));}return wz;
}
int exkmp(string s,string t,int n,int m){//和别的串匹配LCPint l=0,r=0;forr(i,1,m){if(i<=r)p[i]=max(0ll,min(z[i-l+1],r-i+1));//找s的z函数中的值  //为什么不用p数组对应点？ 本来这里使用前面的盒子应该用t跟自身的匹配点 但是没必要再找一遍t的z函数 因为t是要和s进行匹配的 [l:r]已经和s匹配好了 直接用s的对应位置while(1+p[i]<=n&&i+p[i]<=m&&s[1+p[i]]==t[i+p[i]])p[i]++;//盒外向后一个个暴力if(i+p[i]-1>r)l=i,r=i+p[i]-1;//更新盒子}int wz=0;forr(i,1,m){wz^=(1ll*i*(p[i]+1));}return wz;
}
void solve(){string a,b;cin>>a>>b;int an=a.size(),bn=b.size();a=' '+a,b=' '+b;//get_zcout<<get_z(b,bn)<<endl;//get_pcout<<exkmp(b,a,bn,an)<<endl;
}