模式串的各个子串 | 前缀 | 后缀 | 最大公共元素长度 |
x | 空 | 空 | 0 |
xy | x | y | 0 |
xyx | x , xy | x , yx | 1 ( x ) |
xyxy | x , xy , xyx | y , xy , yxy | 2 ( xy ) |
xyxyy | x , xy , xyx , xyxy | y , yy , xyy , yxyy | 0 |
xyxyyx | x , xy , xyx , xyxy , xyxyy | x , yx , yyx , xyyx , yxyyx | 1 ( x ) |
xyxyyxx | x , xy , xyx , xyxy , xyxyy , xyxyyx | x , xx , yxx , yyxx , xyyxx , yxyyxx | 1 ( x ) |
xyxyyxxy | x , xy , xyx , xyxy , xyxyy , xyxyyx , xyxyyyxx | y , xy , xxy , yxxy , yyxxy , xyyxxy , yxyyxxy | 2 ( xy ) |
xyxyyxxyx | x , xy , xyx , xyxy , xyxyy , xyxyyx , xyxyyyxx , xyxyyyxxy | x , yx , xyx , xxyx , yxxyx , yyxxyx , xyyxxyx , yxyyxxyx | 3 ( xyx ) |
模式串 | X | Y | X | Y | Y | X | X | Y | X |
前缀最大公共元素 | 0 | 0 | 1 | 2 | 0 | 1 | 1 | 2 | 3 |
严版数据结构求 next 的公式:
我们主要观察第二项,存在两种情况:
( 1 )集合为空,若集合为空,则属于公式中的第一或第三种情况(其他情况), j=1 的时候, next[1]=0 ,当 j>1 的时候, next[j]=1 。
( 2 )集合不为空,则我们要取的 k ,是集合中 k 的最大值。
先以严老师书上的例子:
求模式串 abaabcac 的 next 数组
当 j=1 时, next[1]=0 ,直接是公式的第一种情况
当 j=2 时,因为第二种情况要保证集合不为空且 1<k<j ,那么, j=2 时,集合为空,所以不符合第二种情况,因此,属于其他情况,即 next[2]=1
当 j=3 时, k 要小于 j ,所以,我们要在模式串找长度小于 j 的前面全部串的前缀与后缀相同时的最大长度,也就是在模式串中找到前两位 ab ,来找他们最长的前缀与后缀及长度,可以发现,他们没有相同的前缀与后缀,因此,长度为 0 ,而 k 等于长度加 1 ,所以 next[3]=1
当 j=4 时,在 aba 中找前缀与后缀的相同时的最大长度,可以求出最大长度Max为 1 ,所以 next[4]=2
当 j=5 时,在 abaa 中找,Max为 1 ,所以 next[5]=2
当 j=6 时,在 abaab 中找,Max为 2 ,所以 next[6]=3
当 j=7 时,在 abaabc 中找,Max为 0 ,所以 next[7]=1
当 j=8 时,在 abaabca 中找,Max为 1 ,所以 next[8]=2
以模式串为 xyxyyxxyx 为例,求 next
当 j=1 , next[1]=0
当 j=2 , next[2]=1
当 j=3 ,在 xy 中找前缀与后缀,最大长度 max 为 0 , next[3]=1
当 j=4 ,在 xyx 中找, Max 为 1 , next[4]=2
当 j=5 ,在 xyxy 中找, Max 为 2 , next[5]=3
当 j=6 ,在 xyxyy 中找, Max 为 0 , next[6]=1
当 j=7 ,在 xyxyyx 中找, Max 为 1 , next[7]=2
当 j=8 ,在 xyxyyxx 中找, Max 为 1 , next[8]=2
当 j=9 ,在 xyxyyxxy 中找, Max 为 2 , next[9]=3