Skip to main content
  • 1288 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 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. 2.

    We made preliminary experiments to determine this.

  3. 3.

    Bookkeeping could definitely help to reduce the amount of constraint checks in the computation of maxSupport.

  4. 4.

    We decided to use this method since it was shown to minimize nccc on previous tests (see Table 2.2).

References

  1. 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

    Google Scholar 

  2. 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)

    Article  MathSciNet  MATH  Google Scholar 

  3. L. Bordeaux, Y. Hamadi, L. Zhang, Propositional satisfiability and constraint programming: a comparative survey. ACM Comput. Surv. 9(2), 135–196 (2006)

    Google Scholar 

  4. 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

    Google Scholar 

  5. B.G. Buchanan, What do we know about knowledge? AI Mag. 27(4), 35–46 (2006)

    Google Scholar 

  6. 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

    Google Scholar 

  7. K.M. Chandy, L. Lamport, Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63–75 (1985)

    Article  Google Scholar 

  8. S. Fitzpatrick, L. Meertens, Scalable, anytime constraint optimization through iterated, peer-to-peer interaction in sparsely-connected networks, in Proc. IDPT’02 (2002)

    Google Scholar 

  9. R. Greenstadt, B.J. Grosz, M.D. Smith, SSDPOP: improving the privacy of DCOP with secret sharing, in AAMAS (2007), p. 171

    Google Scholar 

  10. 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

    Google Scholar 

  11. C.P. Gomes, B. Selman, Algorithm portfolio design: theory vs. practice, in Proc. UAI’97 (1997), pp. 190–197

    Google Scholar 

  12. C.P. Gomes, B. Selman, Algorithm portfolios. Artif. Intell. 126, 43–62 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  13. C. Gomes, B. Selman, H. Kautz, Boosting combinatorial search through randomization, in AAAI/IAAI (1998), pp. 431–437

    Google Scholar 

  14. I. Gent, T. Walsh, CSPLib, a problem library for constraints

    Google Scholar 

  15. A. Gershman, R. Zivan, T. Grinshpoun, A. Grubstein, A. Meisels, Measuring distributed constraint optimization algorithms, in AAMAS DCR (2008)

    Google Scholar 

  16. Y. Hamadi, Distributed, interleaved, parallel and cooperative search in constraint satisfaction networks. Technical Report HPL-2002-21, HP laboratories (2002)

    Google Scholar 

  17. Y. Hamadi, Interleaved backtracking in distributed constraint networks. Int. J. Artif. Intell. Tools 11(2), 167–188 (2002)

    Article  Google Scholar 

  18. Y. Hamadi, C. Bessière, J. Quinqueton, Distributed intelligent backtracking, in ECAI (1998), pp. 219–223

    Google Scholar 

  19. 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

    Google Scholar 

  20. B. Hill, A simple general approach to inference about the tail of a distribution. Ann. Stat., 1163–1174 (1975)

    Google Scholar 

  21. Y. Hamadi, G. Ringwelski, Boosting distributed constraint satisfaction. J. Heuristics 17(3), 251–279 (2011)

    Article  Google Scholar 

  22. L. Lamport, Time, clocks and the ordering of events in distributed systems. Commun. ACM 2, 95–104 (1978)

    MathSciNet  Google Scholar 

  23. K. Leyton-Brown, E. Nudelman, G. Andrew, J. McFadden, Y. Shoham, A portfolio approach to algorithm selection, in Proc. IJCAI’03 (2003), p. 1542

    Google Scholar 

  24. P.J. Modi, W.M. Shen, M. Tambe, M. Yokoo, ADOPT: asynchronous distributed constraint optimization with quality guarantees. Artif. Intell. 161 (2005)

    Google Scholar 

  25. L. Otten, M. Grönkvist, D.P. Dubhashi, Randomization in constraint programming for airline planning, in CP (2006), pp. 406–420

    Google Scholar 

  26. 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

    Google Scholar 

  27. J.R. Rice, The algorithm selection problem. Adv. Comput. 15, 65–118 (1976)

    Article  Google Scholar 

  28. M.C. Silaghi, B. Faltings, Asynchronous aggregation and consistency in distributed constraint satisfaction. Artif. Intell. 161 (2005)

    Google Scholar 

  29. M. Silaghi, R. Lass, E. Sultanik, W. Regli, T. Matsui, M. Yokoo, The operation point units of distributed constraint solvers, in AAMAS DCR (2008)

    Google Scholar 

  30. M.C. Silaghi, D. Sam-Haroud, B. Faltings, Asynchronous search with aggregations, in Proc. AAAI/IAAI 2000 (2000), pp. 917–922

    Google Scholar 

  31. 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)

    Google Scholar 

  32. M. Yokoo, E.H. Durfee, The distributed constraint satisfaction problem: formalization and algorithms. IEEE Trans. Knowl. Data Eng. 10(5) (1998)

    Google Scholar 

  33. 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

    Google Scholar 

  34. R. Zivan, A. Meisels, Synchronous vs asynchronous search on DisCSPs, in Proc. EUMAS’03 (2003)

    Google Scholar 

  35. R. Zivan, A. Meisels, Concurrent search for distributed CSPs. Artif. Intell. 161 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics