树同构(Tree Isomorphism)描述的是图论中，两个树之间的完全等价关系。在图论的观点下，两个同构的树可以被当作同一个图来研究。
定义.树同构的概念源于图同构。图同构的概念为，两个简单图formula_1和formula_2称为是同构的，当且仅当存在一个将formula_1的节点 formula_4 映射到formula_2的节点formula_4的一一对应formula_7，使得formula_1中任意两个节点formula_9和formula_10相连接，当且仅当fo