参考材料
前言
由于网上各种KMP算法的教程,对于next数组的求解都很简略。本人在学习的时候感到十分费解,于是便有了这篇文章
算法原理(理解不了就直接看后面的图解)
- 求next[j+1],则已知next[1],next[2]…next[j]
- 假设next[j]=k1,则有P1~Pk1-1=Pj-k1+1~Pj-1(前k1-1位字符与后k1-1位字符相等)
- 如果Pk1=Pj,则P1~Pk1-1Pk1=Pj-k1+1~Pj-1Pj,那么next[j+1]就等于k1+1,否则进入下一步
- 假设next[k1]=k2,则有P1~Pk2-1=Pj-k2+1~Pk1-1
- 第二三步联合得到:P1~Pk2-1=Pk1-k2+1~Pk1-1=Pj-k1+1~Pk2-k1+j-1= Pj-k2+1~Pj-1,即四段重合
- 这时候在判断,如果Pk2=Pj,则,next[j+1]=k2+1,否则再取next[k2]=k3,以此类推
算法图解
回顾代码
int GetNext(char ch[],int length,int next[]){// length为串ch的长度
next[1]=0;
int i=1,j=0;//i为当前正在匹配的字符位置,也就是next数组的索引
while(i<=length){
if(j==0||ch[i]==ch[j]) next[++i]=++j;
else j=next[j];
}
}