Abstract
The two most popular algorithms for solving Constraint Satisfaction Problems are Forward Checking (fc) [1] and Maintaining Arc Consistency (mac) [2] Mac maintains full arc consistency while fc maintains a limited form of arc consistency during search. There is no single champion algorithm: mac is more efficient on sparse problems which are tightly constrained but fc has an increasing advantage as problems become dense and constraints loose. Ideally a good search algorithm should find the right balance —for any problem— between visiting fewer nodes in the search tree and reducing the work that is required to establish local consistency. In order to do so, we maintain probabilistic arc consistency during search. The idea is to assume that a support exists and skip the process of seeking a support if the probability of having some support for a value is at least equal to some, carefully chosen, stipulated threshold.
Arc consistency involves revisions of domains, which require support checks to remove unsupported values. In many revisions, some or all values find some support. If we can predict the existence of a support then a considerable amount of work can be saved. In order to do so, we propose the notions of a Probabilistic Support Condition (psc) and Probabilistic Revision Condition (prc). If psc holds then the probability of having some support for a value is at least equal to the threshold and the process of seeking a support is skipped. If prc holds then for each value the probability of having some support is at least equal to the threshold and the corresponding revision is skipped.
This work has received some support from Science Foundation Ireland under Grant No. 00/PI.1/C075.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Haralick, R.M., Elliott, G.L.: Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence 14(3), 263–313 (1980)
Sabin, D., Freuder, E.C.: Contradicting conventional wisdom in constraint satisfaction. In: Cohn, A.G. (ed.) Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI 1994), pp. 125–129. John Wiley and Sons, Chichester (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mehta, D., van Dongen, M.R.C. (2005). Probabilistic Arc Consistency. In: van Beek, P. (eds) Principles and Practice of Constraint Programming - CP 2005. CP 2005. Lecture Notes in Computer Science, vol 3709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11564751_100
Download citation
DOI: https://doi.org/10.1007/11564751_100
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29238-8
Online ISBN: 978-3-540-32050-0
eBook Packages: Computer ScienceComputer Science (R0)