handbook of CP 10.5 Dynamic Symmetry Breaking Methods 翻譯

動態對稱破壞方法是在搜索過程中破壞對稱性的方法。 SBDD和SBDS是本節中描述的兩種方法。 在這兩種方法中,對稱性作用於變量/值對。 通過啓發式破壞對稱性包含在此類別中,因爲儘管這些變量和值排序啓發式算法在搜索開始之前已完全定義,但它們在搜索期間使用。 這些方法將在後續章節中概述。 Figure 10.9: 一個示例顯示,即使所有行和列都是lex排序,右下子矩陣中的完整矩陣對稱也可以保留。 初始
相關文章
相關標籤/搜索