Abstract
Many real world problems are over-constrained, but with hard constraints which must be satisfied. For such problems we define Max-A-CSP, in which we search for maximal partial assignments which violate no constraints over assigned variables. We develop a branch-and-bound algorithm which interleaves arc consistency maintenance with reasoning about unassigned variables. We show that the unassigned variables make it difficult to find effective lower bounds. Finally, we test the algorithm on random binary constraint problems, comparing it to a version of forward checking, and show that, as for CSPs, the extra consistency maintenance improves performance on hard sparse 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
Freuder, E. and Wallace, R. “Partial Constraint Satisfaction”, Artificial Intelligence 58, pp21–70, 1992.
Schiex, T., Fargier, H. and Verfaillie, G. “Valued Constraint Satisfaction Problems: hard and easy problems”, Proc. IJCAI’95, pp 631–637, 1995.
Bistarelli, S., Montanari, U. and Rossi, F. (1995) “Constraint Solving over Semi-rings”, Proc. IJCAI’95, pp624–630
Wallace, R. “Directed arc consistency pre-processing”, Proc. ECAI-94 Workshop on Constraint Processing (LNCS 923), Springer, pp121–137, 1994.
Larrosa, J. and Meseguer, P. “Exploiting the use of DAC in Max-CSP”, Proc. CP96, pp308–322, 1996.
Larrosa, J., Meseguer, P. and Schiex, T. “Maintaining reversible DAC for Max-CSP”, Artificial Intelligence 107, pp149–163, 1999.
Larrosa, J. and Meseguer, P. “Partition-based lower bound for Max-CSP”, Proc CP99, pp303–315, 1999.
Schiex, T. “Arc consistency for soft constraints”, Proc. CP2000, pp411–424, 2000.
Larrosa, J “Node and Arc Consistency in Weighted CSPs”, Proc AAAI-02, pp48–53, 2002.
Bessi&3x00E8;re, C. and Régin, J.-C. “Refining the basic constraint propagation algorithm”, Proc IJCAI’0I, pp309–315, 2001.
Tsang, E. Foundations of Constraint Satisfaction, Academic Press, 1993.
Gaspin, C. and Regin, J-C. “Application of Maximal Constraint Satisfaction Problems to RNA Folding”, CP97 Workshop on Constraints and Bioinformatics/Biocomputing, 1997.
Brown, K. “Searching for Maximal Partial Assignments for Over-Constrained Problems”, Proc Soft’02, 4th (Intl Workshop on Soft Constraints, pp1–10, 2002.
Mackworth, A. K. “Consistency in Networks of Relations”, Artificial Intelligence, 8, pp99–118, 1977.
Sabin, D. and Freuder, E. “Contradicting conventional wisdom in constraint satisfaction”, PPCP’94:2nd workshop on Principles and Practice of Constraint Programming, 1994.
Bessière, C. and Régin, J-C. “MAC and Combined Heuristics: two reasons to forsake FC (and CBJ?) on hard problems”, Proc CP’96, pp61–75, 1996.
Regin, J-C., Petit, T., Bessiere, C. and Puget J.-F. (2001) “New Lower Bounds of Constraint Violations for Over-Constrained Problems”, Proc. CP2001, pp332–345.
Fowler, D. W. and Brown, K. N. “Branching constraint satisfaction problems for solutions robust under likely changes”, Proc CP2000, pp500–504, 2000.
Fowler, D. W. and Brown, K. N. “Branching constraint satisfaction problems and Markov decision problems compared”, Annals of Operations Research, Vol 118, Issue 1-4, pp85–100, 2003.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag London
About this paper
Cite this paper
Brown, K. (2004). Maximum Partial Assignments for Over-Constrained Problems. In: Coenen, F., Preece, A., Macintosh, A. (eds) Research and Development in Intelligent Systems XX. SGAI 2003. Springer, London. https://doi.org/10.1007/978-0-85729-412-8_7
Download citation
DOI: https://doi.org/10.1007/978-0-85729-412-8_7
Publisher Name: Springer, London
Print ISBN: 978-1-85233-780-3
Online ISBN: 978-0-85729-412-8
eBook Packages: Springer Book Archive