Time complicacy size of this algorithm is polynomial scale under the theories analysis, and algorithm has put some upswing for the former combinational equivalence checking algorithm.

• 通过对算法的理论性分析可知，算法的时间复杂度为多项式规模的，该算法对现有的等价性检验算法有一定的改进。