Abstract
We investigate the impact of sampling and diving in the solution of constraint satisfaction problems. A sample is a complete assignment of variables to values taken from their domain according to a a given distribution. Diving consists in repeatedly performing depth first search attempts with random variable and value selection, constraint propagation enabled and backtracking disabled; each attempt is called a dive and, unless a feasible solution is found, it is a partial assignment of variables (whereas a sample is a –possibly infeasible– complete assignment). While the probability of finding a feasible solution via sampling or diving is negligible if the problem is difficult enough, samples and dives are very fast to generate and, intuitively, even when they are infeasible, they give some statistic information on search space structure. The aim of this paper is to understand to what extent it is possible to help the CSP solving process with information derived from sampling and diving. In particular, we are interested in extracting from samples and dives precise indications on how good/bad are individual variable-value assignments with respect to feasibility. We formally prove that even uniform sampling could provide precise evaluation of the quality of variable-value assignments; as expected, this requires huge sample sizes and is therefore not useful in practice. On the contrary, diving seems to be much better suited for assignment evaluation purposes. Three dive features are identified and evaluated on a collection of Partial Latin Square instances, showing that diving provides information that can be fruitfully exploited. Many promising direction for future research are proposed.
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
Katsirelos, G., Bacchus, F.: Generalized NoGoods in CSPs. In: Proc. of AAAI 2005, pp. 390–396 (2005)
Beck, J.C.: Multi-Point Constructive Search. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 737–741. Springer, Heidelberg (2005)
Gogate, V., Dechter, R.: A New Algorithm for Sampling CSP Solutions Uniformly at Random. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 711–715. Springer, Heidelberg (2006)
Gogate, V., Dechter, R.: A Simple Application of Sampling Importance Resampling to Solution Sampling. In: Proc. of CP 2007, pp. 711–715 (2007)
Gomes, C., Sabharwal, A., Selman, B.: Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. In: Proc. of the 20th Annual Conference on Neural Information Processing Systems, pp. 481–488 (2006)
Gomes, C., Shmoys, D.: Completing Quasigroups or Latin Squares: A Structured Graph Coloring Problem. In: Proc. of COLOR 2002, pp. 22–39 (2002)
Gomes, C.P., Shmoys, D.B.: Approximations and Randomization to Boost CSP Techniques. Annals OR 130(1-4), 117–141 (2004)
Grimes, D., Wallace, R.J.: Learning to Identify Global Bottlenecks in Constraint Satisfaction Search. In: Proc. of FLAIRS-20, pp. 592–598 (2007)
van Hoeve, W.J., Milano, M.: Decomposition Based Search. A theoretical and experimental evaluation. LIA Technical Report, University of Bologna (2003)
Papoulis, A., Pillai, S.U.: Probability, random variables and stochastic processes. Mac-Graw Hill, Newyork (2001)
Refalo, P.: Impact-based search strategies for constraint programming. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 557–571. Springer, Heidelberg (2004)
Ruml, W.: Adaptive Tree Search. Ph.D. thesis, Harvard University (2002)
Lombardi, M., Milano, M., Roli, A., Zanarini, A.: Deriving information from sampling and diving. LIA Tech report LIA-006-09, http://www-lia.deis.unibo.it/Research/TechReport/lia09006.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lombardi, M., Milano, M., Roli, A., Zanarini, A. (2009). Deriving Information from Sampling and Diving. In: Serra, R., Cucchiara, R. (eds) AI*IA 2009: Emergent Perspectives in Artificial Intelligence. AI*IA 2009. Lecture Notes in Computer Science(), vol 5883. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10291-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-10291-2_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10290-5
Online ISBN: 978-3-642-10291-2
eBook Packages: Computer ScienceComputer Science (R0)