{"type":"ScholarlyArticle","title":"Flaws of Termination and Optimality in ADOPT-based Algorithms","authors":[{"name":"Koji Noshiro","slug":"koji-noshiro","given":"Koji","family":"Noshiro","affiliation":"University of Tsukuba"},{"name":"Koji Hasebe","slug":"koji-hasebe","given":"Koji","family":"Hasebe","affiliation":"University of Tsukuba"}],"abstract":"A distributed constraint optimization problem (DCOP) is a framework to model multi-agent coordination problems. Asynchronous distributed optimization (ADOPT) is a well-known complete DCOP algorithm, and owing to its superior characteristics, many variants have been proposed over the last decade. It is considered proven that ADOPT-based algorithms have the key properties of termination and optimality, which guarantee that the algorithms terminate in a finite time and obtain an optimal solution, respectively. In this paper, we present counterexamples to the termination and optimality of ADOPT-based algorithms. The flaws are classified into three types, at least one of which exists in each of ADOPT and seven of its variants that we analyzed. In other words, the algorithms may potentially not terminate or terminate with a suboptimal solution. We also propose an amended version of ADOPT that avoids the flaws in existing algorithms and prove that it has the properties of termination and optimality.","doi":"10.24963/ijcai.2023/222","url":"https://ijcai.org/proceedings/2023/222","pdf":"https://ijcai.org/proceedings/2023/0222.pdf","markdown":"https://ijcai.org/proceedings/2023/222.md","bibtex":"https://ijcai.org/proceedings/2023/bibtex/222","volume":{"slug":"2023","title":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2023","url":"https://ijcai.org/proceedings/2023/","year":2023,"location":"Macao, SAR","dates":"19-25 August 2023","editors":"Edith Elkind","isbn":"978-1-956792-03-4","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2023"},"section":"Constraint Satisfaction and Optimization","track":"Main Track","number":222,"pages":{"first":1996,"last":2003},"keywords":["Constraint Satisfaction and Optimization: CSO: Constraint optimization","Constraint Satisfaction and Optimization: CSO: Distributed constraints","Agent-based and Multi-agent Systems: MAS: Coordination and cooperation"],"videos":[],"references":[{"position":1,"raw":"[Chen et al., 2018] Ziyu Chen, Chen He, Zhen He, and Minyou Chen. BD-ADOPT: A hybrid DCOP algorithm with best-first and depth-first search strategies. Artificial Intelligence Review, 50(2):161-199, August 2018.","title":"BD-ADOPT: A hybrid DCOP algorithm with best-first and depth-first search strategies","authors":"Ziyu Chen, Chen He, Zhen He, Minyou Chen","year":"2018","venue":"Artificial Intelligence Review","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Fioretto et al., 2018] Ferdinando Fioretto, Enrico Pontelli, and William Yeoh. Distributed constraint optimization problems and applications: A survey. Journal of Artificial Intelligence Research, 61:623-698, March 2018.","title":"Distributed constraint optimization problems and applications: A survey","authors":"Ferdinando Fioretto, Enrico Pontelli, William Yeoh","year":"2018","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Gutierrez and Meseguer, 2010] Patricia Gutierrez and Pe- dro Meseguer. Saving messages in ADOPT-based algo- rithms. In AAMAS 2010 Workshop: Distributed Constraint Reasoning, pages 53-64, Toronto, Canada, 2010.","title":"Saving messages in ADOPT-based algorithms","authors":"Meseguer Gutierrez, Patricia Gutierrez, Pedro Meseguer","year":"2010","venue":"AAMAS 2010 Workshop: Distributed Constraint Reasoning","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Gutierrez et al., 2011] Patricia Gutierrez, Pedro Meseguer, and William Yeoh. Generalizing ADOPT and BnB- ADOPT. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pages 554-559, Barcelona, Catalonia, Spain, 2011.","title":"Generalizing ADOPT and BnB-ADOPT","authors":"Patricia Gutierrez, Pedro Meseguer, William Yeoh","year":"2011","venue":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2011/100"},{"position":5,"raw":"[Jain et al., 2009] Manish Jain, Matthew E. Taylor, Milind Tambe, and Makoto Yokoo. DCOPs meet the real world: Exploring unknown reward matrices with applications to mobile sensor networks. In Proceedings of the 21st Inter- national Joint Conference on Artificial Intelligence, pages 181-186, Pasadena, California, USA, 2009.","title":"DCOPs meet the real world: Exploring unknown reward matrices with applications to mobile sensor networks","authors":"Manish Jain, Matthew E Taylor, Milind Tambe, Makoto Yokoo","year":"2009","venue":"Proceedings of the 21st International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2009/40"},{"position":6,"raw":"[Lass et al., 2008] Robert N. Lass, Joseph B. Kopena, Evan A. Sultanik, Duc N. Nguyen, Christopher P. Dugan, Pragnesh J. Modi, and William C. Regli. Coordination of first responders under communication and resource con- straints. In Proceedings of the 7th International Joint Con- ference on Autonomous Agents and Multiagent Systems, volume 3, pages 1409-1412, Richland, SC, 2008. Interna- tional Foundation for Autonomous Agents and Multiagent Systems.","title":"Coordination of first responders under communication and resource constraints","authors":"Robert N Lass, Joseph B Kopena, Evan A Sultanik, N Duc, Christopher P Nguyen, Pragnesh J Dugan, William C Modi, Regli","year":"2008","venue":"Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Maheswaran et al., 2004] Rajiv T. Maheswaran, Milind Tambe, Emma Bowring, Jonathan P. Pearce, and Pradeep Varakantham. Taking DCOP to the real world: Efficient complete solutions for distributed multi-event scheduling. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, volume 1 of AAMAS '04, pages 310-317, USA, 2004. IEEE Com- puter Society.","title":"Taking DCOP to the real world: Efficient complete solutions for distributed multi-event scheduling","authors":"T Rajiv, Milind Maheswaran, Emma Tambe, Jonathan P Bowring, Pradeep Pearce, Varakantham","year":"2004","venue":"Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Modi et al., 2005] Pragnesh Jay Modi, Wei-Min Shen, Milind Tambe, and Makoto Yokoo. Adopt: Asynchronous distributed constraint optimization with quality guaran- tees. Artificial Intelligence, 161(1-2):149-180, January 2005.","title":"Adopt: Asynchronous distributed constraint optimization with quality guarantees","authors":"Jay Pragnesh, Wei-Min Modi, Milind Shen, Makoto Tambe, Yokoo","year":"2005","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Pecora et al., 2006] Federico Pecora, Pragnesh Jay Modi, and Paul Scerri. Reasoning about and dynamically posting n-ary constraints in ADOPT. In Proceedings of Seventh Workshop on Distributed Constraint Reasoning, pages 57- 71, 2006.","title":"Reasoning about and dynamically posting n-ary constraints in ADOPT","authors":"Federico Pecora, Pragnesh Jay Modi, Paul Scerri","year":"2006","venue":"Proceedings of Seventh Workshop on Distributed Constraint Reasoning","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Silaghi and Yokoo, 2009] Marius C. Silaghi and Makoto Yokoo. ADOPT-ing: Unifying asynchronous distributed optimization with asynchronous backtracking. Au- tonomous Agents and Multi-Agent Systems, 19(2):89-123, 2009.","title":"ADOPT-ing: Unifying asynchronous distributed optimization with asynchronous backtracking","authors":"Marius C Silaghi, Makoto Yokoo","year":"2009","venue":"Autonomous Agents and Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Weiss, 2013] Gerhard Weiss. Multiagent Systems. EBSCO Ebook Academic Collection. MIT Press, second edition, 2013.","title":"Multiagent Systems","authors":"Weiss","year":"2013","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Yeoh et al., 2009] William Yeoh, Ariel Felner, and Sven Koenig. IDB-ADOPT: A depth-first search DCOP algo- rithm. In Recent Advances in Constraints, volume 5655 of Lecture Notes in Artificial Intelligence, pages 132-146, Rome, Italy, 2009. Springer.","title":"IDB-ADOPT: A depth-first search DCOP algorithm","authors":"William Yeoh, Ariel Felner, Sven Koenig","year":"2009","venue":"Recent Advances in Constraints","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Yeoh et al., 2010] William Yeoh, Ariel Felner, and Sven Koenig. BnB-ADOPT: An asynchronous branch-and- bound DCOP algorithm. Journal of Artificial Intelligence Research, 38:85-133, 2010.","title":"BnB-ADOPT: An asynchronous branch-andbound DCOP algorithm","authors":"William Yeoh, Ariel Felner, Sven Koenig","year":"2010","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Yokoo et al., 1998] Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwabara. The distributed constraint satisfaction problem: Formalization and algo- rithms. IEEE Transactions on Knowledge and Data Engi- neering, 10(5):673-685, 1998.","title":"The distributed constraint satisfaction problem: Formalization and algorithms","authors":"Makoto Yokoo, Edmund H Durfee, Toru Ishida, Kazuhiro Kuwabara","year":"1998","venue":"IEEE Transactions on Knowledge and Data Engineering","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}