User:LeeeQi/沙盒

树同构(Tree Isomorphism)描述的是图论中,两个之间的完全等价关系。在图论的观点下,两个同构的可以被当作同一个图来研究。

定义

编辑

树同构的概念源于图同构图同构的概念为,两个简单图  称为是同构的,当且仅当存在一个将 的节点   映射到 的节点 一一对应 ,使得 中任意两个节点  相连接,当且仅当 中对应的两个节点  相连接。树同构即在以上定义中增加  都是的限制条件。两颗树 同构可以记作 

在此基础上,定义有根树及其同构的概念[1]有根树可表示为(T,r),其中T表示一棵树, 是一个有特殊标记的点,称为树的根结点。对于边 ,若x在根结点到y路径上,称xy父结点yx子结点。有根树的表示形式可以为“种植的树”,即根节点r标有向下箭头;所有结点的子节点都画在该点上方。

有根树同构的定义为,对于两颗有根树  ,存在一个同构映射 ,其中   同构可记作 

由以上定义可知,有根树同构的关系严格强于树同构的关系。

有根树同构判定算法

编辑

有根树同构的判定问题是P问题P/NP问题)。这里介绍其中一种算法,该算法将有根树的比较转化为字符串的比较。

有根树的0-1编码

编辑

对有根树进行0-1编码,并且采用字典序对编码进行比较。字典序的比较方法为: 对不同序列  

  • 如果  的初始序列(即 ),则 ;
  • 如果  的初始序列(即 ),则 ;
  •   的最小下标,若  ,若  

例: , 

对有根树(T,r)进行如下编码:

  • 所有非根叶结点都赋值为01;
  • 假设点v的子结点 都已经完成编码,编码为 ,且有math>A(w_1)\le A(w_2)\le \dots\le A(w_k)</math>,则v结点的编码 

如此递归。r结点的编码 即为该有根树的编码,用 表示。

 ,则说明有根树  同构。

判定定理的简单证明

编辑

该算法的判定定理是: 当且仅当他们具有相同的0-1编码。 对该定理进行如下简单证明:

  • 充分性:从有根树同构的定义和编码过程可证。
  • 必要性:对编码进行解码。任意有根树的编码必然有 的一般形式,其中   中0,1个数相等的最小前缀, 是第二个0,1平衡的最小前缀,以此类推,可以解码出唯一形态的有根树。这棵有根树的其他表示形式都与该解码形式同构。

树同构判定算法

编辑

树同构的判定算法基于有根树同构的判定算法构成。在前文所述中,有根树相对于树的区别在于,有根树有一个特定标记的根。对于一般的树,我们需要一种找根的算法;在确定这棵树的有根表达形式之后,对于有根树进行编码判定即可。

定义树的中心点集合 。由于 至多包含两个顶点,且若 ,那么该两点必定相邻,那么可以选择 中的点为根。

树同构的判定算法中,首先通过删叶子结点的方式,算出 

  •  ,那么 即为树T的编码。
  •  ,那么分别计算  ,以其中较小的作为树T的编码。

若两棵树的编码相同,即可认为两棵树是同构的。

参考文献

编辑
  1. ^ Jiří Matoušek (mathematician); Jaroslav Nešetřil. Invitation to discrete mathematics 2nd. Oxford. ISBN 9780198570431.