数据结构KMP算法例题

                          KMP算法例题
 今天遇到一个数据结构的问题，索性就把KMP算法的题总结一下，有不对的地方希望指正。

串“ababaabab”的nextval为（ A）。

A.010104101
B.010102101
C.010100011
D.010101011

①i从0开始

方法一：

第0位：Next[0]为定值-1
第1位：Next[1]看前一位a的Next[0]的值位-1，由于i是从0开始的，无法再向前匹配，所以Next[1]的值位0	
第2位：Next[2]看前一位b的Next[1]的值位0，0对应的字符是a，a与第1位的字符b不相同，所以看第0位a的Next值为-1，由于i是从0开始的，无法再向前匹配，所以Next[2]的值位0
第3位：Next[3]看前一位a的Next[2]的值为0，0对应的字符是a，a与第2位的字符a相同，所以Next[3]=Next[2]+1=1
第4位：Next[4]看前一位b的Next[3]的值为1，1对应的字符是b，b与第3位的字符b相同，所以Next[4]=Next[3]+1=2
第5位：Next[5]看前一位a的Next[4]的值为2，2对应的字符是a，a与第4位的字符a相同，所以Next[5]=Next[4]+1=3
第6位：Next[6]看前一位a的Next[5]的值为3,，3对应的字符是b，b与第5位的字符a不相同，所以看第3位的b的Next值为1，1对应的字符是b，b与第5位的字符a不相同，所以看第1位b的Next的值为0，0对应的字符是a，a与第5位的字符a相同，所以Next[6]=Next[1]+1=1
第7位：Next[7]看前一位b的Next[6]的值为1，1对应的字符是b，b与第6位的字符b相同，所以Next[7]=Next[6]+1=2
第8位：Next[8]看前一位a的Next[7]的值为2，2对应的字符是a，a与第7位的字符a相同，所以Next[8]=Next[7]+1=3

方法二：Next[i]的值主要看s[i]之前的字符中重复的长度

Next[0]：为定值Next[0]=-1
Next[1]：s[1]之前的字符a重复的长度为0，所以Next[1]=0
Next[2]：s[2]之前的字符a、b重复的长度为0，所以Next[2]=0
Next[3]：s[3]之前的字符a、b、a重复的字符为s[0]与s[2]长度为1，所以Next[3]=1
Next[4]：s[4]之前的字符a、b、a、b重复的字符为s[01]与s[23]长度为2，所以Next[4]=2
Next[5]：s[5]之前的字符a、b、a、b、a重复的字符为s[012]与s[234]长度为3，所以Next[3]=2
Next[6]：s[6]之前的字符a、b、a、b、a、a重复的字符为s[0]与s[5]长度为1，所以Next[6]=1
Next[7]：s[7]之前的字符a、b、a、b、a、a、b重复的字符为s[01]与s[56]长度为2，所以Next[7]=2
Next[8]：s[7]之前的字符a、b、a、b、a、a、b、a重复的字符为s[012]与s[567]长度为3，所以Next[8]=3

②i从1开始

第1位：Next[1]为定值0
第2位：Next[2]看前一位a的Next的值为0，由于i是从1开始，不能继续向前匹配，所以Next[2]的值为1
第3位：Next[3]看前一位b的Next的值为1，1对应的字符为a，a与第2位的字符b不相同，所以看第1位a的Next的值为0，由于i是从1开始，不能继续向前匹配，所以Next[3]的值为1
第4位：Next[4]看前一位a的Next的值为1，1对应的字符为a，a与第3位的字符a相同，所以Next[4]=Next[3]+1=2
第5位：Next[5]看前一位a的Next的值为2，2对应的字符为b，b与第4位的字符a不相同，所以看第2位字符b的Next的值为1，1对应的字符为a，a与第4位的字符a相同，所以Next[5]=Next[2]+1=2
第6位：Next[6]看前一位b的Next的值为2，2对应的字符为b，b与第5位的字符b相同，所以Next[6]=Next[5]+1=3
第7位：Next[7]看前一位c的Next的值为3，3对应的字符为a，a与第6位的字符c不相同，所以看第3位的a的Next的值为1，1对应的字符为a，a与第6位的字符c不相同，所以看第1位的a的Next的值为0，由于i是从1开始，不能继续向前匹配，所以Next[7]的值为1
第8位：Next[8]看前一位a的Next的值为1，1对应的字符为a，a与第7位的字符a相同，所以Next[8]=Next[7]+1=2

②Nextval的值：比较s[Next[i]]与s[i]的值是否一致，一致则用s[Next[i]]的Nextval
的值作为Nextval[i]的值，不一致则用Next[i]的值作为Nextval[i]的值

s[Next[0]]=-1与Next[0]一致
s[Next[1]]=s[0]=a≠s[1]=b ==> Nextval[1]=Next[1]=0
s[Next[2]]=s[0]=a = s[2]=a ==> Nextval[2]=Nextval[0]=-1
s[Next[3]]=s[1]=b = s[3]=b ==> Nextval[3]=Nextval[1]=0
s[Next[4]]=s[2]=a = s[4]=a ==> Nextval[4]=Nextval[2]=-1
s[Next[5]]=s[3]=b≠s[5]=a ==> Nextval[5]=Next[5]=3
s[Next[6]]=s[1]=b = s[6]=b ==> Nextval[6]=Nextval[1]=0
s[Next[7]]=s[2]=a = s[7]=a ==> Nextval[7]=Nextval[2]=-1
s[Next[8]]=s[3]=b = s[8]=b ==> Nextval[8]=Nextval[3]=0

这里Nextval的下标从0开始，如果Nextval的下标从1开始则以上Nextval的值加1即可，即0、1、0、1、4、1、0、1