Using relaxations to improve search in distributed constraint optimisation

Densely connected distributed constraint optimisation problems (DisCOP) can be difficult to solve optimally, but finding good lower bounds on constraint costs can help to speed up search. We show how good lower bounds can be found by solving relaxed problems obtained by removing inter-agent constraints. We present modifications to the Adopt DisCOP algorithm that allow an arbitrary number of relaxations to be performed prior to solving the original problem. We identify useful relaxations based on the solving structure used by Adopt, and demonstrate that when these relaxations are incorporated as part of the search it can lead to significant performance improvements. In particular, where agents have significant local constraint costs, we achieve over an order of magnitude reduction in messages exchanged between agents. Finally, we identify cases where such relaxation techniques produce less consistent benefits.

[1]  Makoto Yokoo,et al.  The Phase Transition in Distributed Constraint Satisfaction Problems: Fist Results , 2000, CP.

[2]  Rina Dechter,et al.  Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming , 2000 .

[3]  Amnon Meisels,et al.  Asynchronous Forward-Bounding for Distributed Constraints Optimization , 2006, ECAI.

[4]  Rina Dechter,et al.  Constraint Processing , 1995, Lecture Notes in Computer Science.

[5]  Earl D. Sacerdott Planning in a hierarchy of abstraction spaces , 1973, IJCAI 1973.

[6]  Boi Faltings,et al.  A Scalable Method for Multiagent Constraint Optimization , 2005, IJCAI.

[7]  Rina Dechter,et al.  AND/OR Branch-and-Bound for Graphical Models , 2005, IJCAI.

[8]  Makoto Yokoo,et al.  Adopt: asynchronous distributed constraint optimization with quality guarantees , 2005, Artif. Intell..

[9]  Kenneth N. Brown,et al.  Efficient Handling of Complex Local Problems in Distributed Constraint Optimization , 2006, ECAI.

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

[11]  Weixiong Zhang,et al.  Distributed breakout algorithm for distributed constraint optimization problems -- DBArelax , 2003, AAMAS '03.

[12]  Makoto Yokoo,et al.  An approach to over-constrained distributed constraint satisfaction problems: distributed hierarchical constraint satisfaction , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[13]  Amnon Meisels,et al.  Comparing performance of distributed constraints process ing algorithms , 2002 .

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

[15]  Milind Tambe,et al.  Preprocessing techniques for accelerating the DCOP algorithm ADOPT , 2005, AAMAS '05.

[16]  Makoto Yokoo Constraint relaxation in distributed constraint satisfaction problems , 1993, Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93).

[17]  Katia P. Sycara,et al.  A decentralized variable ordering method for distributed constraint optimization , 2005, AAMAS '05.

[18]  Leonidas Georgiadis,et al.  Minimum-Energy Broadcasting in Multi-hop Wireless Networks Using a Single Broadcast Tree , 2006, Mob. Networks Appl..

[19]  Eugene C. Freuder,et al.  Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving , 2005, Artif. Intell..