Distributed optimization requires the optimization of a global objective function that is distributed among a set of autonomous, communicating agents and is unknown by any individual agent. One major mode of attack has been to treat optimization as an overconstrained distributed satisfaction problem and exploit existing distributed constraint satisfaction techniques. These approaches require incremental searches with periodic synchronization operations and lack any guarantees of optimality. This paper presents Adopt ,a n asynchronous, distributed algorithm for overconstrained settings. The fundamental ideas in Adopt are to represent constraints as discrete functions (or valuations) — instead of binary good/nogood values — and to use the evaluation of these constraints to measure progress towards optimality. In addition, Adopt uses a sound and complete partial solution combination method to allow non-sequential, asychronous computation. Finally, Adopt is not only provably optimal when given enough time, but allows solution time/quality tradeoffs when time is limited. We apply Adopt to a real-world overconstrained distributed resource allocation problem and we present empirical results comparing Adopt to previous approaches.
[1]
Michael P. Wellman,et al.
A market protocol for decentralized task allocation
,
1998,
Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).
[2]
Makoto Yokoo,et al.
Distributed Partial Constraint Satisfaction Problem
,
1997,
CP.
[3]
Katia P. Sycara,et al.
Exploiting Problem Structure for Distributed Constraint Optimization
,
1995,
ICMAS.
[4]
Gérard Verfaillie,et al.
An Incomplete Method for Solving Distributed Valued Constraint Satisfaction Problems
,
1997,
AAAI Workshop: Constraints & Agents.
[5]
Gert Smolka.
Principles and Practice of Constraint Programming-CP97
,
1997,
Lecture Notes in Computer Science.
[6]
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.
[7]
Makoto Yokoo,et al.
The Distributed Constraint Satisfaction Problem: Formalization and Algorithms
,
1998,
IEEE Trans. Knowl. Data Eng..