Abstract
Russian Doll Search (RDS) is a clever procedure to solve overconstrained problems. RDS solves a sequence of nested subproblems, where two consecutive subproblems differ in one variable only. We present the Specialized RDS (SRDS) algorithm, which solves the current subproblem for each value of the new variable with respect to the previous subproblem. The SRDS lower bound is superior to the RDS lower bound, which allows for a higher level of value pruning, although more work per node is required. Experimental results on random and real problems show that this extra work is often beneficial, providing substantial savings in the global computational effort.
This work was supported by the IST Programme of the Commission of the European Union through the ECSPLAIN project (IST-1999-11969), and by the Spanish CICYT project TAP99-1086-C03-02.
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
M. S. Affane and H. Bennaceur. A weighted arc consistency technique for Max-CSP. In Proc. of the 13 thECAI, 209–213, 1998.
S. Bistarelli, U. Montanari and F. Rossi. Constraint Solving over Semirings. In Proc. of the 14 thIJCAI, 1995.
B. Cabon, S. De Givry, L. Lobjois, T. Schiex and J.P. Warners Radio Link Frequency Assignment Constraints, February 1999, Vol 4, Number 1.
E.C. Freuder and R.J. Wallace. Partial constraint satisfaction. Artificial Intelligence, 58:21–70, 1992.
S. Givry, G. Verfaillie and T. Schiex. Bounding the optimum of constraint optimization problems. In Proc. of the 3 thCP 1997.
A.M. Koster, C. P. Hoesel and A. W. Kolen. Optimal solutions for a frequency assignment problem via tree-decomposition. In Lecture Notes in Computer Science, 1665:338–349, 1999.
J. Larrosa and P. Meseguer. Exploiting the use of DAC in Max-CSP. In Proc. of the 2 thCP, 308–322, 1996.
J. Larrosa, P. Meseguer, and T. Schiex. Maintaining reversible dac for max-csp. Artificial Intelligence, 107:149–163, 1999.
T. Schiex, H. Fargier and G. Verfaillie. Valued Constraint Satisfaction Problems: hard and easy problems. In Proc. of the 14 thIJCAI, 631–637, 1995.
G. Verfaillie, M. Lemaître, and T. Schiex. Russian doll search. In Proc. of the 13 thAAAI, 181–187, 1996.
R. Wallace. Directed arc consistency preprocessing. In M. Meyer, editor, Selected papers from the ECAI-94 Workshop on Constraint Processing, number 923 in LNCS, 121–137. Springer, Berlin, 1995.
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
Meseguer, P., Sánchez, M. (2001). Specializing Russian Doll Search. 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_32
Download citation
DOI: https://doi.org/10.1007/3-540-45578-7_32
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