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