Abstract
This paper reviews the main approaches for extending arc consistency propagation in constraint optimization frameworks and discusses full and partial arc consistency propagation based on Larrosa’s W-NC* and W-AC*2001 algorithms [Larrosa 2002]. We implement these full/partial propagation algorithms in branch and bound search and compare their performance on MaxCSP models. We empirically demonstrate that maintaining arc consistency is more efficient than other partial propagation. We also demonstrate that the end result of constraint propagation can be used as an effective heuristic for guiding search in constraint optimization problems.
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
Bessiere, C., and Regin, J.-C. MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems. CP-1996, Lecture Notes in Computer Science 1118:61–75, 1996.
Bistarelli, S.; Montanari, U.; and Rossi,. Semiring-based constraint satisfaction and optimization. Journal of the ACM 44(2):201.236, 1997.
Gent, I., MacIntyre, E., Prosser, P., Smith, S., and Walsh, T. Random Constraint Satisfaction: Flaws and Structure. APES Research Report 98.23, 1998.
Givry, S. de, and Verfaille, G. Optimum Anytime Bounding for Constraint Optimization Problems. In Proc. of the AAAI97 workshop on “Building Resource-Bounded Reasoning Systems”, Providence, RI. 1997.
Horsch, M., Havens, W. and Ghose, A. Generalized Arc Consistency with Applications to MaxCSP and SCSP Instances. In Proceedings of the Fifteenth Canadian Conference on Artificial Intelligence, 2002.
K. Kask. New Search Heuristics for Max-CSP In Proceeding of CP’2000, pg. 262–277, 2000.
Kumar, V., 1992. Algorithms for Constraint-Satisfaction Problems: A Survey. AI Magazine 13(1): 32–44, 1992.
Larrossa and P. Meseguer. Partition-based lower bound for max-csp. Proceedings CP, pages 303–315, 1999.
Nadel, B. Constraint Satisfaction Algorithms. Computational Intelligence 5:188–224, 1989.
Schiex, T., Fargier, H., and Verfaillie, G. Valued constraint satisfaction problems: hard and easy problems. In IJCAI-95, 631.637, 1995.
Schiex, T. Arc consistency for soft constraints. In CP-2000, 411.424, 2000.
Verfaillie, G.; Lemâitre, M.; and Schiex, T. Russian doll search. In AAAI-96, 181.187, 1996.
Wallace, R. Analysis of Heuristic Methods for Partial Constraint Satisfaction Problems. In CP-1996, pp 482–496, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zheng, J., Horsch, M.C. (2003). A Comparison of Consistency Propagation Algorithms in Constraint Optimization. In: Xiang, Y., Chaib-draa, B. (eds) Advances in Artificial Intelligence. Canadian AI 2003. Lecture Notes in Computer Science, vol 2671. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44886-1_14
Download citation
DOI: https://doi.org/10.1007/3-540-44886-1_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40300-5
Online ISBN: 978-3-540-44886-0
eBook Packages: Springer Book Archive