Abstract
Competition and cooperation can boost the performance of a combinatorial search process. Both can be implemented with a portfolio of algorithms which run in parallel, give hints to each other and compete for being the first to finish and deliver the solution. In this chapter we present a new generic framework for the application of algorithms for distributed constraint satisfaction that makes use of both cooperation and competition. This framework improves the performance of two different standard algorithms by one order of magnitude. Furthermore, it can reduce the risk of poor performance by up to three orders of magnitude diminishing the heavy-tailed behaviour of complete distributed search.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We decided to use the median instead of the mean to alleviate the effects of messages interleaving. Indeed, interleaving can give disparate measures which can be pruned by the median calculation.
- 2.
We made preliminary experiments to determine this.
- 3.
Bookkeeping could definitely help to reduce the amount of constraint checks in the computation of maxSupport.
- 4.
We decided to use this method since it was shown to minimize nccc on previous tests (see Table 2.2).
References
A. Armstrong, E. Durfee, Dynamic prioritization of complex agents in distributed constraint satisfaction problems, in Proc. of the 15th Int. Joint Conf. on AI (IJCAI-97) (1997), pp. 620–625
C. Bessiere, I. Brito, A. Maestre, P. Meseguer, Asynchronous backtracking without adding links: a new member in the ABT family. Artif. Intell. 161, 7–24 (2005)
L. Bordeaux, Y. Hamadi, L. Zhang, Propositional satisfiability and constraint programming: a comparative survey. ACM Comput. Surv. 9(2), 135–196 (2006)
C. Bessiere, J.C. Regin, MAC and combined heuristics: two reasons to forsake FC (and CBJ?) on hard problems, in CP (1996), pp. 61–75
B.G. Buchanan, What do we know about knowledge? AI Mag. 27(4), 35–46 (2006)
T. Carchrae, J.C. Beck, Low-knowledge algorithm control, in AAAI, ed. by D.L. McGuinness, G. Ferguson (AAAI Press/MIT Press, Menlo Park/Cambridge, 2004), pp. 49–54
K.M. Chandy, L. Lamport, Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63–75 (1985)
S. Fitzpatrick, L. Meertens, Scalable, anytime constraint optimization through iterated, peer-to-peer interaction in sparsely-connected networks, in Proc. IDPT’02 (2002)
R. Greenstadt, B.J. Grosz, M.D. Smith, SSDPOP: improving the privacy of DCOP with secret sharing, in AAMAS (2007), p. 171
C. Gomes, Randomized backtrack search, in Constraint and Integer Programming: Toward a Unified Methodology, ed. by M. Milano (Kluwer Academic, Dordrecht, 2003), pp. 233–283
C.P. Gomes, B. Selman, Algorithm portfolio design: theory vs. practice, in Proc. UAI’97 (1997), pp. 190–197
C.P. Gomes, B. Selman, Algorithm portfolios. Artif. Intell. 126, 43–62 (2001)
C. Gomes, B. Selman, H. Kautz, Boosting combinatorial search through randomization, in AAAI/IAAI (1998), pp. 431–437
I. Gent, T. Walsh, CSPLib, a problem library for constraints
A. Gershman, R. Zivan, T. Grinshpoun, A. Grubstein, A. Meisels, Measuring distributed constraint optimization algorithms, in AAMAS DCR (2008)
Y. Hamadi, Distributed, interleaved, parallel and cooperative search in constraint satisfaction networks. Technical Report HPL-2002-21, HP laboratories (2002)
Y. Hamadi, Interleaved backtracking in distributed constraint networks. Int. J. Artif. Intell. Tools 11(2), 167–188 (2002)
Y. Hamadi, C. Bessière, J. Quinqueton, Distributed intelligent backtracking, in ECAI (1998), pp. 219–223
T. Hogg, B.A. Huberman, Better than the best: the power of cooperation, in 1992 Lectures in Complex Systems. SFI Studies in the Sciences of Complexity, vol. V (Addison-Wesley, Reading, 1993), pp. 165–184
B. Hill, A simple general approach to inference about the tail of a distribution. Ann. Stat., 1163–1174 (1975)
Y. Hamadi, G. Ringwelski, Boosting distributed constraint satisfaction. J. Heuristics 17(3), 251–279 (2011)
L. Lamport, Time, clocks and the ordering of events in distributed systems. Commun. ACM 2, 95–104 (1978)
K. Leyton-Brown, E. Nudelman, G. Andrew, J. McFadden, Y. Shoham, A portfolio approach to algorithm selection, in Proc. IJCAI’03 (2003), p. 1542
P.J. Modi, W.M. Shen, M. Tambe, M. Yokoo, ADOPT: asynchronous distributed constraint optimization with quality guarantees. Artif. Intell. 161 (2005)
L. Otten, M. Grönkvist, D.P. Dubhashi, Randomization in constraint programming for airline planning, in CP (2006), pp. 406–420
G. Ringwelski, Y. Hamadi, Boosting distributed constraint satisfaction, in CP, ed. by P. van Beek. Lecture Notes in Computer Science, vol. 3709 (Springer, Berlin, 2005), pp. 549–562
J.R. Rice, The algorithm selection problem. Adv. Comput. 15, 65–118 (1976)
M.C. Silaghi, B. Faltings, Asynchronous aggregation and consistency in distributed constraint satisfaction. Artif. Intell. 161 (2005)
M. Silaghi, R. Lass, E. Sultanik, W. Regli, T. Matsui, M. Yokoo, The operation point units of distributed constraint solvers, in AAMAS DCR (2008)
M.C. Silaghi, D. Sam-Haroud, B. Faltings, Asynchronous search with aggregations, in Proc. AAAI/IAAI 2000 (2000), pp. 917–922
L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown, SATzilla-07: the design and analysis of an algorithm portfolio for SAT, in Principles and Practice of Constraint Programming—CP 2007 (2007)
M. Yokoo, E.H. Durfee, The distributed constraint satisfaction problem: formalization and algorithms. IEEE Trans. Knowl. Data Eng. 10(5) (1998)
M. Yokoo, E.H. Durfee, T. Ishida, K. Kuwabara, Distributed constraint satisfaction for formalizing distributed problem solving, in Proc. ICDCS’92 (1992), pp. 614–621
R. Zivan, A. Meisels, Synchronous vs asynchronous search on DisCSPs, in Proc. EUMAS’03 (2003)
R. Zivan, A. Meisels, Concurrent search for distributed CSPs. Artif. Intell. 161 (2005)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hamadi, Y. (2013). Boosting Distributed Constraint Networks. In: Combinatorial Search: From Algorithms to Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41482-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-41482-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41481-7
Online ISBN: 978-3-642-41482-4
eBook Packages: Computer ScienceComputer Science (R0)