The theoretical rationale and operational rules are given.The judgment principles and reduction rules about redundant nodes and isomorphic graphs are presented.

• 同时阐述了算法的理论原理及计算步骤，并给出了冗余节点、子图同构的判断方法和简化规则；