KMP算法求next数组的一些理解

看了一天的KMP算法，终于对其有所理解，下面是对该算法的理解，希望对初学该算法的同学有所帮助。

net函数的求解

先看算法：

public static int[] getNext(int[] p)
{
int i,j,slen;
slen = p.Length;
int[] next = new int[slen];
netxt[0] = -1;
j = -1;
while(i<slen)
{
if(j==-1||p[i]==p[j])
{
++i,++j,next[i]=j;
}
else
{
j = next[j];
}
}
return next;
}

对于这个算法的难点在于，如果对于下一个next值（其中 p[i]!=p[j]的情况）该怎样求解

即我们已知next[i] = k，同时p[k]!=p[i],求next[i+1]

由此我们可知：p[i1] =p[i-k+i1] i1 = 0,,,k-1

既然p[k]!=p[i]

那么，next[i]的最大值只可能是next{k} +1,为什么，让我们来证一下。

证明：

既然p[k]!=p[i],那么，要想找到对称串，与p[i]相等的也只能在索引k前面找了。（不然，next(i)就大于k了）

我们设p[i2] = p[i]那么此时显然{p[0],p[1],…,p[i2]}就是我们要找的对称串，则next(i+1)=i2+1

则，由此推论：p[i1]=p[i-i2+i1] (i1=0,1,…i2-1)

又因为p[i1] =p[i-k+i1] i1 = 0,,,k-1（上面的条件）,

可以知道p[i-i2+i1]=p[i-k+i1]（i1=0,1,…,i2-1）

进而可知p[i1] = p[k-i2+i1] (i1=0,1,…,i2-1)

则{p[0],p[1],…,p[i2-1]就是{p[0],p[1],…,p[k-1]}的对称串

即next(k) = i2则next(i+1) = next(k)+1

故得证

因此，如果不是相应的next(k)+1，那只能继续从字串的字串中找了。