The variable and literal renaming problems of formulas in MU ( k ) is equivalent to the graph isomorphism problem .

许道云教授已经证明： MU（k）中的 变元和文字改名都等价于图同构的判定问题。