Alogtime Algorithms for Tree Isomorphism, Comparison, and Canonization

The tree isomorphism problem is the problem of determining whether two trees are isomorphic. The tree canonization problem is the problem of producing a canonical tree isomorphic to a given tree. The tree comparison problem is the problem of determining whether one tree is less than a second tree in a natural ordering on trees. We present alternating logarithmic time algorithms for the tree isomorphism problem, the tree canonization problem and the tree comparison problem. As a consequence, there is a recursive enumeration of the alternating log time tree problems.

• Type: Conference
• Year: 1997
• Where: KGC
• Authors: Samuel R. Buss
• Keywords: Automated Reasoning, KGC 1997, Tree, Tree Canonization Problem, Tree Isomorphism Problem