Chapter 10 Symmetry in Constraint Programming & 10.1 Symmetries and Group Theory

約束中的對稱性一直很重要，但近年來已成爲一個主要的研究領域。 約束編程中的一個關鍵問題早已被認識到：搜索可以一遍又一遍地重新審視等效狀態。 原則上，已經通過許多不同的技術解決了該問題。 在我們寫作時，由於兩個原因，研究仍然非常活躍。 首先，在對稱排除已知的技術的實際應用中存在許多困難，並且克服這些仍然是重要的研究問題。 其次，到目前爲止，該領域取得的成功鼓勵研究人員找到利用對稱性的新方法。在本章中

>>阅读原文<<