如何利用KMP算法快速求解next数组和nextval数组
其实求next数组和nextval数组一直是一个让人头疼的问题,具体来看,有两种情况:
1.字符串编号从0开始编号
2.字符串编号从1开始编号
但是我们平时试卷上的参考答案一般都是从1开始编号。下面我们从一个简单的例子来开始对next数组和nextval数组的认识
模式串S: abaabcac
| S | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
|---|---|---|---|---|---|---|---|---|
| 模式串String | a | b | a | a | b | c | a | c |
| next数组 | 0 | 1 | 1 | 2 | 2 | 3 | 1 | 2 |
| nextval数组 | 0 | 1 | 0 | 2 | 1 | 3 | 0 | 2 |
首先我们来分析next数组
一般来说next数组的第一位为0,第二位为1,第三位的时候我们就观察模式串的前两位,发现是a和b,
这时我们就要做最长前缀后缀匹配,算出最大的公共元素长度,然后加1就是这一位的next值,比如这道题里面,
第三位a的前两位是a和b,最大公共元素长度为0,所以该位的next值是1,依次类推可以得到后面的next值,
这里就不再赘述
接下来我们就要求nextval数组的值了,原理如下:求nextval[i]的值,我们要比较String[i]和String[next[i]]的值
如果String[i]和String[next[i]]的字符相等,那么nextval[i]的值就等于nextval[next[i]]的值,
如果String[i]和String[next[i]]的字符不相等,那么nextval[i]的值就等于next[i]的值。
上面毕竟都是理论上的东西,我们就上面的例子来说明一下:比如我们要求nextval[3]的值,我们就要比较
S[1]和S[3]的字符,我们发现他们都是a,相等,所以nextval[3]就等于nextval[0]的值,也就是0.
那么nextval[4]的值怎么求呢? 同理,我们比较S[2]和S[4]的字符,发现一个是b,一个是a,他们不相等。
所以nextval[4]的值就等于next[4]的值,也就是2啦!
不知道你们学会了没有???
上面那道例题是2016年北邮803的真题啦!
回到我们最开始提出的两种情况,还有一种情况是以0开始编号的S数组,这种情况我们怎么办呢?其实我们可以先把以1开始的S数组的next数组和nextval数组求出来,然后全体减1就可以得到另外一种情况的nextval数组!
距离2020考研还剩29天!!!加油!!!!
本文深入讲解KMP算法中next数组和nextval数组的求解方法,通过实例解析两种数组的生成过程,帮助读者掌握字符串匹配算法的核心技巧。

440

被折叠的 条评论
为什么被折叠?



