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

Question

我正在为树证书使用一种算法，例如这里描述的(第24-29页(。

假设我有两棵树：A和B，每棵树都有由上述算法生成的证书(C1与C2(。

如果C1包含C2(任意位置的精确序列(，则意味着A将B作为子树包含(B基本上可以集中并被视为A的叶节点(，这是真的吗？如果没有，你能举一个反例吗？

--编辑--

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

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

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

   对于每个非叶子x do:

   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

是的，这是真的。

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