symmetry is an important factor in solving many constraint satisfaction
problems. One common type of symmetry is when we have symmetric values. In a
recent series of papers, we have studied methods to break value
本篇研究在回答集规划(Answer Set Programming)背景下,探讨通过对称性破除来简化解决方案的过程,提出将不相干的逻辑程序转化为有色图的缩减方法,并通过图自同构构建置换对称性,然后通过引入对称性破除约束来破坏对称性。针对此目的,我们设计了一个包含图自同构系统的预处理器。实验证明该系统具有较高的计算效率。