考研数据结构kmp算法next数组和nextval数组的求法

这里将字符数组记作 T[ ]

序号	1	2	3	4	5	6	7	8	9	10	11	12
模式串	a	b	a	b	a	a	a	b	a	b	a	a
next	0	1	1	2	3	4	2	2	3	4	5	6
nextval	0	1	0	1	0	4	2	1	0	1	0	4

注:表格中高亮的部分是固定数值

next数组的求法：从第三个字符开始一次向后扫描，求得这个字符之前的最长公共前后缀的长度后+1，注意这个最长公共前后缀不包括字符串本身，比如字符串“ababa”的最长公共前后缀的为“aba”而不是“ababa”

解释：

• 3-a，之前的字符串为“ab”,这个最长公共前后缀长度为0，0+1=>1

• 4-b，之前的字符串为aba,aba的最长公共前后缀为“a”,长度为1，1+1=>2

• 5-a，之前的字符串为“abab”,其最长公共前后缀为“ab”,长度为2，2+1=>3

• 6-a,之前的字符串为“ababa”,其最长公共前后缀为“aba”,长度为3，3+1=>4

nextval数组的求法:从第二个字符开始向后扫描，查看next数组对应的值x,在字符数组中的对应字符T[x]，两者进行比较，如果相等的话就取T[x]的nextval值，否则就照抄本身的next数组的值

解释:

• 2-b,next数组的值为1，序号1在字符数组中对应字符为a，两者不一样照抄b本身的next数组的值

• 3-a,next数组的值为1，序号1在字符数组对应的字符为a，两者一样，将当前nextval的值和nextval[x]的值保持一致

• 4-b,next数组的值为2，序号2在字符数组中对应的字符为b,两者一样，则当前的nextval的值和nextval[2]一致