handbook of CP 10.5 Dynamic Symmetry Breaking Methods 翻译

动态对称破坏方法是在搜索过程中破坏对称性的方法。 SBDD和SBDS是本节中描述的两种方法。 在这两种方法中，对称性作用于变量/值对。 通过启发式破坏对称性包含在此类别中，因为尽管这些变量和值排序启发式算法在搜索开始之前已完全定义，但它们在搜索期间使用。 这些方法将在后续章节中概述。 Figure 10.9: 一个示例显示，即使所有行和列都是lex排序，右下子矩阵中的完整矩阵对称也可以保留。 初始

>>阅读原文<<