【发布时间】：2016-05-15 12:31:18
【问题描述】：
我想知道如何写一个证明，证明后缀树中的分支或根边的数量等于字符串 S 的字母大小。假设我们有 S = {aaabaac}，alphabet={a， b,c}，字母的大小 = 3，那么根边（或从根开始的分支）只会正好是 3，即 a、b 和 c。或者这可以通过定义来证明吗？不确定！
【问题讨论】：
-
这取决于您使用的确切定义。通常，你会假设否定假设。然后你会证明这样的树不可能存在，因此假设是错误的，而原始假设是正确的。因此，在您的情况下，假设树有 not 恰好三个根边，并表明这不可能是真的。
-
感谢最初的指导，但是我如何在证明中准确地反驳呢？这不是任何家庭作业，只是为了了解如何做到这一点。因此，我如何证明如果它有例如在这种情况下它有 4 个根边然后不是有效的后缀树？
标签： proof suffix-tree proof-of-correctness