Based on the community structure theory of complex network, a new coherency-based dynamic equivalencealgorithm is proposed.
基于复杂网络社团结构理论,提出了一种同调等值的新算法。
2
The evaluation criteria based on the number of bindings of rules can distinguish the quality of equivalence rules, and correctly guide the search direction of algorithm.
采用基于规则绑定数目的评判标准则可有效区分等价规则的优劣,正确地指导算法的搜索方向。
3
A sequential equivalence checking algorithm based on state transfer graph is presented.