Unverified Commit 8104364a authored by ouuan's avatar ouuan Committed by GitHub
Browse files

🔀 Merge pull request #1679 from Dev-XYS/master

改正后缀自动机部分引理1的叙述错误
parents be00ae3a 2b5140e9
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -82,7 +82,7 @@ SAM 最简单、也最重要的性质是,它包含关于字符串 $s$ 的所

由 $endpos$ 的值我们可以得到一些重要结论:

>  **引理 1:** 两个非空子串 $u$ 和 $w$ (假设 $\left|u\right|\le \left|w\right|$ )的 $endpos$ 相同,当且仅当字符串 $u$  $w$ 后缀。
>  **引理 1:** 字符串 $s$ 的两个非空子串 $u$ 和 $w$ (假设 $\left|u\right|\le \left|w\right|$ )的 $endpos$ 相同,当且仅当字符串 $u$ 在 $s$ 中的每次出现,都是以 $w$ 后缀的形式存在的

引理显然成立。如果 $u$ 和 $w$ 的 $endpos$ 相同,则 $u$ 是 $w$ 的一个后缀,且只以 $s$ 中的一个 $w$ 的后缀的形式出现。且根据定义,如果 $u$ 为 $w$ 的一个后缀,且只以后缀的形式在 $s$ 中出现时,两个子串的 $endpos$ 相同。