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

Question

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

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

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

--编辑--

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

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

2. 虽然G中有2个以上的顶点：

   对于每个非叶 x 做：

   1. 令 Y 为与 X 相邻的叶子的标签集，以及从 x 中删除初始 0 和尾随 1 的 x 的标签。
   2. 将 x 的标签替换为 Y 中标签的浓度，按字典顺序递增排序，前置 0 并附加 1。
   3. 移除与 x 相邻的所有叶子。

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

4. 如果还剩下2个顶点x和y，则将x和y按字典顺序递增，并报告为证书。

Answer 1

是的，这是真的。

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