ula_22，其中formula_23。formula_20与formula_21同构可记作formula_26。由以上定义可知，有根树同构的关系严格强于树同构的关系。
有根树同构判定算法.有根树同构的判定问题是P问题（P/NP问题）。这里介绍其中一种算法，该算法将有根树的比较转化为字符串的比较。
有根树的0-1编码.对有根树进行0-1编码，并且采用字典序对编码进行比较。字典序的比较方法为：对不同序列formula_27和formula_28：对有