From: Kinandra <38107118+Kinandra@users.noreply.github.com> Date: Sun, 3 Mar 2019 14:07:58 +0000 (+0800) Subject: Update sam.md X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=9f5f360c79c25677800b4371085067272666096f;p=oi-wiki%2Fmain.git Update sam.md --- diff --git a/docs/string/sam.md b/docs/string/sam.md index e077834a..abfd03f4 100644 --- a/docs/string/sam.md +++ b/docs/string/sam.md @@ -135,7 +135,7 @@ $$ - $s$ 的子串可以根据它们结束的位置 $endpos$ 被划分为多个等价类; - 后缀自动机由初始状态 $t_0$ 和与每一个 $endpos$ 等价类对应的每个状态组成; - 对于每一个状态 $v$ ,一个或多个子串与之匹配。我们记 $longest(v)$ 为其中最长的一个字符串,记 $len(v)$ 为它的长度。类似地,记 $shortest(v)$ 为最短的子串,它的长度为 $minlen(v)$ 。那么所有对应这个状态的所有字符串都是字符串 $longest(v)$ 的不同的后缀,且所有字符串的长度恰好覆盖区间 $[minlength(v),\,len(v)]$ 中的每一个整数。 -- 对于任意满足 $v\ne t_0$ 的状态,定义后缀链接为连接到对应字符串 $longest(v)$ 的长度为 $minlen(v)-1$ 的后缀的一条边。从根节点 $t_0$ 出发的后缀链接可以形成一棵树,与此同时,这棵树形成了 $endpos$ 集合间的包含关系。 +- 对于任意满足 $v\ne t_0$ 的状态,定义后缀链接为连接到对应字符串 $longest(u)$ 的长度为 $minlen(v)-1$ 的后缀的一条边。从根节点 $t_0$ 出发的后缀链接可以形成一棵树,与此同时,这棵树形成了 $endpos$ 集合间的包含关系。 - 我们可以对 $v\ne t_0$ 的状态使用后缀链接 $link(v)$ 解释 $minlen(v)$ 如下: $$