计算机科学技术

• 改名

  The new algorithm has a symmetry rule(Literal renaming)and three simplifing rules((1,*)- Resolution,Subfonnula,and Multiple).

  新的算法带有一条对称规则(文字改名规则)和三条简化规则((1,*)-消解、子公式、重复规则)。

语言学

• 重新命名

  Renaming is to fulfill the functions of trademarks much better.

  而重新命名是为了更好地实现功能对等。

数学

• 改名

  Xu has proved that the variable and literal renaming problems of the formulas in MU(k) are equivalent to the graph isomorphism problem. As we known, the graph isomorphism problem is still in NP.

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