CompAPO: A Complete Version of the APO Algorithm

Authors:
Tal Grinshpoun;Amnon Meisels
Affiliations:
-;-
Venue:
IAT '07 Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Year:
2007

Citing 0
Cited 2

Completeness and performance of the APO algorithm

Journal of Artificial Intelligence Research
Balancing local resources and global goals in multiply-constrained DCOP

Multiagent and Grid Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Asynchronous Partial Overlay (APO) is a search algorithm that uses cooperative mediation to solve Distributed Constraint Satisfaction Problems (DisCSPs). The algorithm partitions the search into different subproblems of the DisCSP. The proof of completeness of the APO algorithm is based on the growth of the size of the subproblems. We have discovered that this expected growth of groups does not occur in some situations, leading to a termination problem of the algorithm. The present paper identifies the problematic parts in the algorithm that interfere with its completeness. Some necessary modifications are given to the algorithm to fix these problematic parts. The resulting version of the algorithm, Complete Asynchronous Partial Overlay (CompAPO), ensures its completeness. Formal proofs for the soundness and completeness of CompAPO are given.