From d7a9e4b8e4d8dbfc54a93e4703590e8fb32e9de2 Mon Sep 17 00:00:00 2001 From: Kinandra <38107118+Kinandra@users.noreply.github.com> Date: Sun, 3 Mar 2019 22:14:22 +0800 Subject: [PATCH] Update sam.md (#1011) --- docs/string/sam.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/string/sam.md b/docs/string/sam.md index e077834a..73660d2a 100644 --- a/docs/string/sam.md +++ b/docs/string/sam.md @@ -77,7 +77,7 @@ > **引理 1:** 当且仅当字符串 $u$ 以 $w$ 的一个后缀的形式出现在字符串 $s$ 中时,两个非空子串 $u$ 和 $w$ (假设 $length(u)\le length(w)$ )是 $endpos$ 等价的。 -引理显然成立。如果 $u$ 和 $v$ 的 $endpos$ 相同,则 $u$ 是 $w$ 的一个后缀,且只以 $s$ 中的一个 $w$ 的后缀的形式出现。且根据定义,如果 $u$ 为 $w$ 的一个后缀,且只以后缀的形式在 $s$ 中出现时,两个子串的 $endpos$ 值相等。 +引理显然成立。如果 $u$ 和 $w$ 的 $endpos$ 相同,则 $u$ 是 $w$ 的一个后缀,且只以 $s$ 中的一个 $w$ 的后缀的形式出现。且根据定义,如果 $u$ 为 $w$ 的一个后缀,且只以后缀的形式在 $s$ 中出现时,两个子串的 $endpos$ 值相等。 > **引理 2:** 考虑两个非空子串 $u$ 和 $w$ (假设 $length(u)\le length(w)$ )。则它们的 $endpos$ 构成的集合要么完全没有交集,要么 $endpos(w)$ 是 $endpos(u)$ 的一个子集。并且这依赖于 $u$ 是否为 $w$ 的一个后缀。即: > -- 2.11.0