Abstract
Most of complete search algorithms over Constraint Satisfaction Problems (csp) are based on Standard Backtracking. Two main enhancements of this basic scheme have been studied: first, to integrate constraint propagation as mac which maintains arc consistency during search; second, intelligent backtrackers which avoid repeatedly falling in the same dead-ends by recording nogoods as Conflict-directed Back Jumping (cbj) or Dynamic Backtracking (dbt). Integrations of constraint propagation within intelligent backtrackers have been done as mac-cbj which maintains arc consistency in cbj. However, Bessière and Régin have shown that mac-cbj was very rarely better than mac. However, the inadequacy of mac-cbj is more related to the fact that cbj does not avoid thrashing than to the cost of the management of nogoods.
This paper describes and evaluates mac-dbt which maintains arc-consistency in dbt. Experiments show that mac-dbt is able to solve very large problems and that it remains very stable as the size of the problems increases. Moreover, mac-dbt outperforms mac on the structured problems we have randomly generated.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andrew B. Baker. The hazards of fancy backtracking. In 12th National Conf. on Artificial Intelligence, AAAI94, pages 288–293, Seattle, WA, USA, 1994.
Roberto Bayardo Jr. and Robert Schrag. Using CSP look-back techniques to solve exceptionnaly hard SAT instances. In CP’96, 1996.
Roberto J. Bayardo Jr. and Daniel P. Miranker. A complexity analysis of space-bounded learning algorithms for the constraint satisfaction problem. In AAAI’96, 1996.
Christian Bessière. Arc consistency in dynamic constraint satisfaction problems. In Proceedings AAAI’91, 1991.
Christian Bessière and Jean-Charles Régin. MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problem. In CP’96, Cambridge, MA, 1996.
C. Bliek. Generalizing partial order and dynamic backtracking. In Proceedings of AAAI, 1998.
Romuald Debruyne. Arc-consistency in dynamic CSPs is no more prohibitive. In 8th Conference on Tools with Artificial Intelligence (TAI’96), pages 299–306, Toulouse, France, 1996.
Romuald Debruyne. Local consistencies for large CSPs. PhD thesis, Université de Montpellier II, December18 1998. In French.
Romuald Debruyne and Christian Bessière. From restricted path consistency to max-restricted path consistency. In CP’97, pages 312–326, Linz, Austria, October 1997.
Matthew L. Ginsberg. Dynamic backtracking. Journal of Artificial Intelligence Research, 1:25–46, 1993.
Matthew L. Ginsberg and David A McAllester. Gsat and dynamic backtracking. In International Conference on the Principles of Knowledge Representation (KR94), pages 226–237, 1994.
Narendra Jussien. Relaxation de contraintes pour les CSP dynamiques. PhD thesis, Université de Rennes I, October24 1997. In French.
Narendra Jussien and Christelle Guéret. Improving branch and bound algorithms for open shop problems. In Conference of the International Federation of Operational Research Societies (IFORS’99), Beijing, China, August 1999.
Narendra Jussien and Olivier Lhomme. Dynamic domain splitting for numeric csp. In European Conference on Artificial Intelligence, pages 224–228, Brighton, United Kingdom, August 1998.
Narendra Jussien and Olivier Lhomme. The path-repair algorithm. In CP99 Post-conference workshop on Large scale combinatorial optimisation and constraints, Alexandria, VA, USA, October 1999.
Patrick Prosser. MAC-CBJ: maintaining arc-consistency with conflict-directed backjumping. Research Report 95/177, Department of Computer Science-University of Strathclyde, 1995.
Jean-Charles Régin. Développement d’outils algorithmiques pour l’Intelligence Artificielle. Application à la chimie organique. Thèse de doctorat, Université de Montpellier II, 21 December 1995. In French.
Daniel Sabin and Eugene Freuder. Contradicting conventional wisdom in constraint satisfaction. In Alan Borning, editor, Principles and Practice of Constraint Programming, volume 874 of Lecture Notes in Computer Science. Springer, May 1994. (PPCP’94: Second International Workshop, Orcas Island, Seattle, USA).
Thomas Schiex and Gérard Verfaillie. Nogood Recording fot Static and Dynamic Constraint Satisfaction Problems. International Journal of Artificial Intelligence Tools, 3(2):187–207, 1994.
R. M. Stallman and G. J. Sussman. Forward reasoning and dependency directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9:135–196, 1977.
Gérard Verfaillie and Thomas Schiex. Dynamic backtracking for dynamic csps. In Thomas Schiex and Christian Bessière, editors, Proceedings ECAI’94 Workshop on Constraint Satisfaction Issues raised by Practical Applications, Amsterdam, August 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jussien, N., Debruyne, R., Boizumault, P. (2000). Maintaining Arc-Consistency within Dynamic Backtracking. In: Dechter, R. (eds) Principles and Practice of Constraint Programming – CP 2000. CP 2000. Lecture Notes in Computer Science, vol 1894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45349-0_19
Download citation
DOI: https://doi.org/10.1007/3-540-45349-0_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41053-9
Online ISBN: 978-3-540-45349-9
eBook Packages: Springer Book Archive