KMP算法 NEXT数组的升级版nextval（记录）

字符串 ababaa
基础的next数组为｛0，1，1，2，3，4｝
但数组中有重复的字符a和b
可以优化为nextval=｛0，1，0，1，0，4｝
next[1]=0这点是确定的，nextval[1]=0，next[2]=1，但是b！=a故不变，next[3]=1字符为a，且next[1]代表的字符也是a，故nextval[3]=next[1]=0，同理next[4]=2字符为b，且next[2]代表的字符也是b，故nextval[4]=next[2]=1，next[5]=3字符为a，且next[3]代表字符为a，故nextval[5]=next[3]=0，next[6]=4字符为a，且next[4]字符为b，保持nextval[6]=next[4]=4。