Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition

R Dechter - Artificial Intelligence, 1990 - Elsevier
Artificial Intelligence, 1990Elsevier
Researchers in the areas of constraint satisfaction problems, logic programming, and truth
maintenance systems have suggested various schemes for enhancing the performance of
the backtracking algorithm. This paper defines and compares the performance of three such
schemes:“backjumping,”“learning,” and “cycle-cutset.” The backjumping and the cycle-cutset
methods work best when the constraint graph is sparse, while the learning scheme mostly
benefits problem instances with dense constraint graphs. An integrated strategy is described …
Abstract
Researchers in the areas of constraint satisfaction problems, logic programming, and truth maintenance systems have suggested various schemes for enhancing the performance of the backtracking algorithm. This paper defines and compares the performance of three such schemes: “backjumping,” “learning,” and “cycle-cutset.” The backjumping and the cycle-cutset methods work best when the constraint graph is sparse, while the learning scheme mostly benefits problem instances with dense constraint graphs. An integrated strategy is described which utilizes the distinct advantages of each scheme. Experiments show that, in hard problems, the average improvement realized by the integrated scheme is 20–25% higher than any of the individual schemes.
Elsevier
以上显示的是最相近的搜索结果。 查看全部搜索结果