S A M SAM SAM复习
复习错,预习对。
e
n
d
p
o
s
endpos
endpos等价类是指对于不同的子串
s
1
,
s
2
s_1,s_2
s1,s2的结束位置
s
1
P
:
{
k
1
,
k
2
,
k
3
,
…
}
=
s
2
P
:
{
t
1
,
t
2
,
t
3
…
}
s_{1P}:\{k_1,k_2,k_3,\dots\}=s_{2P}:\{t_1,t_2,t_3\dots\}
s1P:{k1,k2,k3,…}=s2P:{t1,t2,t3…}集合相等。
每个结点对应 e n d p o s endpos endpos相同的一个或多个子串的等价类集合。
对于状态 p p p, f a i l [ p ] fail[p] fail[p]对应 p p p中最长子串的最长后缀的另一个 e n d p o s endpos endpos状态。
且有:对于状态 p p p的所有子串长度范围: [ m i n l e n , l e n [ p ] ] [minlen,len[p]] [minlen,len[p]]。
m i n l e n = l e n [ f a [ p ] ] + 1 minlen=len[fa[p]]+1 minlen=len[fa[p]]+1。