Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search

We recently proposed No good-Based Asynchronous Forward Checking (AFC-ng), an efficient and robust algorithm for solving Distributed Constraint Satisfaction Problems (DisCSPs). AFC-ng performs an asynchronous forward checking phase during synchronous search. In this paper, we propose two new algorithms based on the same mechanism as AFC-ng. However, instead of using forward checking as a filtering property, we propose to maintain arc consistency asynchronously (MACA). The first algorithm we propose, MACA-del, enforces arc consistency thanks to an additional type of messages, deletion messages. The second algorithm, MACA-not, achieves arc consistency without any new type of message. We provide a theoretical analysis and an experimental evaluation of the proposed approach. Our experiments show the good performance of MACA algorithms, particularly those of MACA-not.

[1]  Eugene C. Freuder,et al.  Constraint - based multi - agent meeting scheduling: Effects of agent heterogeneity on performance a , 2002 .

[2]  Milind Tambe,et al.  Taking DCOP to the real world: efficient complete solutions for distributed multi-event scheduling , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[3]  Carmel Domshlak,et al.  Sensor networks and distributed CSP: communication, computation and complexity , 2005, Artif. Intell..

[4]  Amnon Meisels,et al.  Asynchronous Forward-checking for DisCSPs , 2007, Constraints.

[5]  M. Silaghi,et al.  Generalized Dynamic Ordering for Asynchronous Backtracking on DisCSPs , 2006 .

[6]  Makoto Yokoo,et al.  Algorithms for Distributed Constraint Satisfaction: A Review , 2000, Autonomous Agents and Multi-Agent Systems.

[7]  Christian Bessiere,et al.  Constraint Propagation , 2006, Handbook of Constraint Programming.

[8]  Marius-Calin Silaghi,et al.  Consistency Maintenance for ABT , 2001, CP.

[9]  Milind Tambe,et al.  Argumentation as distributed constraint satisfaction: applications and results , 2001, AGENTS '01.

[10]  Pedro Meseguer,et al.  Connecting ABT with Arc Consistency , 2008, CP.

[11]  Christian Bessiere,et al.  Refining the Basic Constraint Propagation Algorithm , 2001, JFPLC.

[12]  Amnon Meisels,et al.  Synchronous vs Asynchronous search on DisCSPs , 2003 .

[13]  Eugene C. Freuder,et al.  Contradicting Conventional Wisdom in Constraint Satisfaction , 1994, ECAI.

[14]  Peter C. Cheeseman,et al.  Where the Really Hard Problems Are , 1991, IJCAI.

[15]  Amnon Meisels,et al.  Message delay and DisCSP search algorithms , 2006, Annals of Mathematics and Artificial Intelligence.

[16]  Patrick Prosser,et al.  A constraint maintenance system for the distributed resource allocation problem , 1992 .

[17]  Barbara M. Smith,et al.  The Phase Transition Behaviour of Maintaining Arc Consistency , 1996, ECAI.

[18]  Christian Bessiere,et al.  DisChoco 2: A Platform for Distributed Constraint Reasoning , 2011 .

[19]  Boi Faltings,et al.  A Value Ordering Heuristic for Local Search in Distributed Resource Allocation , 2004, CSCLP.

[20]  Barbara M. Smith,et al.  The Phase Transition and the Mushy Region in Constraint Satisfaction Problems , 1994, ECAI.

[21]  Robert M. Haralick,et al.  Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..

[22]  Christian Bessiere,et al.  Nogood-based asynchronous forward checking algorithms , 2013, Constraints.

[23]  Makoto Yokoo,et al.  The effect of nogood learning in distributed constraint satisfaction , 2000, Proceedings 20th IEEE International Conference on Distributed Computing Systems.

[24]  Christian Bessiere,et al.  Asynchronous Inter-Level Forward-Checking for DisCSPs , 2009, CP.

[25]  Nancy A. Lynch,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[26]  Christian Bessiere,et al.  MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems , 1996, CP.

[27]  Makoto Yokoo,et al.  The Distributed Constraint Satisfaction Problem: Formalization and Algorithms , 1998, IEEE Trans. Knowl. Data Eng..

[28]  Pedro Meseguer,et al.  Distributed Forward Checking , 2003, CP.