Commit 76537680 authored by ir1d's avatar ir1d Committed by Xeonacid
Browse files

fix: fix sam (#915)

parent f097e105
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -114,7 +114,7 @@

> **引理 5:**如果我们使用集合 $endpos$ 构造一棵树(所有子节点的集合为父节点的子集),则这个结构由后缀链接连接起来。

证明:由引理 2,我们可以用 $endpos$ 集合构造一棵树(因为两个集合要么完全没有交集要么互为子集)。
证明:由引理 2,我们可以用 $endpos$ 集合构造一棵树(因为两个集合要么完全没有交集要么其中一个是另一个的子集)。

我们现在考虑任意满足 $v\ne t_0$ 的状态和它的后缀链接 $link(v)$ ,由后缀链接和引理 2,我们可以得到