树证书中的子序列是否保证它包含给定的树？

Question

我正在使用树证书算法，例如 here (p. 24-29)。

假设我有两棵树：A 和 B，每棵树都有上面算法生成的证书（C1 和 C2).

如果 C1 包含 C2 （任何地方的精确序列），这意味着 A 包含 B 作为子树（B 可以基本集中认为是 A[=51 的叶子节点=])?如果不是，能否举个反例？

--编辑--

算法：（请查看链接文档中的示例）：

1. 用字符串 01 标记所有顶点

2. 当G中有2个以上的顶点时:

   对于每个非叶子 x 做：

   1. 设Y为与X相邻的叶子的标签集，x的标签从x中删除，开头为0，结尾为1。
   2. 将 x 的标签替换为 Y 中标签的浓度，按字典顺序递增排序，并在前面加上 0 并在后面附加 1。
   3. 删除与 x 相邻的所有叶子。

3. 如果只剩下一个顶点x，则报告x的标签为证书。

4. 如果还剩2个顶点x和y，则将x和y按字典序递增集中，作为证书上报。

Answer 1

是的，这是真的。

假设证书是正确的，一个证书不可能包含另一个证书，也不会是它的子树。