Abstract
Computing lower bounds to the best-cost extension of a tuple is an ubiquous task in constraint optimization. A particular case of special interest is the computation of lower bounds to all singleton tuples, since it permits domain pruning in Branch and Bound algorithms. In this paper we introduce MCTE(z), a general algorithm which allows the computation of lower bounds to arbitrary sets of tasks. Its time and accuracy grows as a function of z allowing a controlled tradeo. between lower bound accuracy and time and space to fit available resources. Subsequently, a specialization of MCTE(z) called MBTE(z) is tailored to computing lower bounds to singleton tuples. Preliminary experiments on Max-CSP show that using MBTE(z) to guide dynamic variable and value orderings in branch and bound yields a dramatic reduction in the search space and, for some classes of problems, this reduction is highly coste effective producing significant time savings and is competitive against specialized algorithms for Max-CSP.
This work was supported in part by NSF grant IIS-0086529, by MURI ONR award N00014-00-1-0617 and Spanish Cicyt project TAP1999-1086-C03-03
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
S.A. Arnborg. Efficient algorithms for combinatorial problems on graphs with bounded decomposability-a survey. BIT, 25:2–23, 1985.
A. Becker and D. Geiger. A sufficiently fast algorithm for finding close to optimal junction trees. In Uncertainty in AI (UAI’96), pages 81–89, 1996.
C. Bessiere and J.-C. Regin. MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems. Lecture Notes in Computer Science, 1118:61–75, 1996.
S. Bistarelli, H. Fargier, U. Montanari, F. Rossi, T. Schiex, and G. Verfaillie. Semiring-based CSPs and valued CSPs: Frameworks, properties and comparison. Constraints, 4:199–240, 1999.
S. Bistarelly, R. Gennari, and F. Rossi. Constraint propagation for soft constraints: Generalization and termination conditions. In Proc. of the 6 thCP, pages 83–97, Singapore, 2000.
R. Debruyne and C. Bessière. Some practicable filtering techniques for the constraint satisfaction problem. In Proc. of the 16 thIJCAI, pages 412–417, Stockholm, Sweden, 1999.
R. Dechter. Bucket elimination: A unifying framework for reasoning. Artificial Intelligence, 113:41–85, 1999.
R. Dechter and J. Pearl. Tree clustering for constraint networks. Artificial Intelligence, 38:353–366, 1989.
R. Dechter and I. Rish. A scheme for approximating probabilistic inference. In Proceedings of the 13 thUAI-97, pages 132–141, San Francisco, 1997. Morgan Kaufmann Publishers.
R. Dechter and P. van Beek. Local and global relational consistency. Theoretical Computer Science, 173(1):283–308, 20 February 1997.
E. Freuder. A suficient condition for backtrack-free search. Journal of the ACM, 29:24–32, March 1982.
G. Gottlob, N. Leone, and F. Scarcello. A comparison of structural CSP decomposition methods. In Dean Thomas, editor, Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99-Vol1), pages 394–399, S.F., July 31-August 6 1999. Morgan Kaufmann Publishers.
K. Kask. new search heuristics for max-csp. In Proc. of the 6 thCP, pages 262–277, Singapore, 2000.
K. Kask and R. Dechter. A general scheme for automatic generation of search heuristics from specification dependencies. Artificial Intelligence, 129(1–2):91–131, 2001.
K. Kask, J. Larrosa, and R. Dechter. A general scheme for multiple lower bound computation in constraint optimization. Technical report, University of California at Irvine, 2001.
J. Larrosa and P. Meseguer. Partial lazy forward checking for max-csp. In Proc. of the 13 thECAI, pages 229–233, Brighton, United Kingdom, 1998.
J. Larrosa, P. Meseguer, and T. Schiex. Maintaining reversible DAC for max-CSP. Artificial Intelligence, 107(1):149–163, 1999.
S. L. Lauritzen and D. J. Spiegelhalter. Local computation with probabilities on graphical structures and their applications to expert systems. Journal of the Royal Statistical Society, Series B, 34:157–224, 1988.
A. Mackworth. Consistency in networks of constraints. Artificial Intelligence, 8, 1977.
B. Nudel. Tree search and arc consistency in constraint satisfaction algorithms. Search in Artifical Intelligence, 999:287–342, 1988.
T. Schiex. Arc consistency for soft constraints. In Proc. of the 6 thCP, pages 411–424, Singapore, 2000.
P.P. Shenoy. Binary join-trees for computing marginals in the shenoy-shafer architecture. International Journal of Approximate Reasoning, 2–3:239–263, 1997.
G. Verfaillie, M. Lemaître, and T. Schiex. Russian doll search. In Proc. of the 13 thAAAI, pages 181–187, Portland, OR, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dechter, R., Kask, K., Larrosa, J. (2001). A General Scheme for Multiple Lower Bound Computation in Constraint Optimization. In: Walsh, T. (eds) Principles and Practice of Constraint Programming — CP 2001. CP 2001. Lecture Notes in Computer Science, vol 2239. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45578-7_24
Download citation
DOI: https://doi.org/10.1007/3-540-45578-7_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42863-3
Online ISBN: 978-3-540-45578-3
eBook Packages: Springer Book Archive