{"type":"ScholarlyArticle","title":"A COP Model for Graph-Constrained Coalition Formation (Extended Abstract)","authors":[{"name":"Filippo Bistaffa","slug":"filippo-bistaffa","given":"Filippo","family":"Bistaffa","affiliation":"IIIA-CSIC , Campus UAB , 08913 , Cerdanyola , Catalonia , Spain"},{"name":"Alessandro Farinelli","slug":"alessandro-farinelli","given":"Alessandro","family":"Farinelli","affiliation":"Computer Science Department , University of Verona , Strada le Grazie 15 , 37134 , Verona , Italy"}],"abstract":"We focus on Graph-Constrained Coalition Formation (GCCF), a widely studied subproblem of coalition formation where the set of valid coalitions is constrained by a graph. We propose COP-GCCF, a novel approach that models GCCF as a COP. We then solve such COP with a highly-parallel GPU implementation of Bucket Elimination, which is able to exploit the high constraint tightness of COP-GCCF. Results on realistic graphs, i.e., a crawl of the Twitter social graph, show that our approach outperforms state of the art algorithms (i.e., DyCE and IDP G ) by at least one order of magnitude, both in terms of runtime and memory.","doi":"10.24963/ijcai.2018/783","url":"https://ijcai.org/proceedings/2018/783","pdf":"https://ijcai.org/proceedings/2018/0783.pdf","markdown":"https://ijcai.org/proceedings/2018/783.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/783","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Journal track","track":"Journal track","number":783,"pages":{"first":5553,"last":5557},"keywords":["Constraints and SAT: Constraint Optimisation","Agent-based and Multi-agent Systems: Coordination and Cooperation"],"videos":[],"references":[{"position":1,"raw":"[Allouche et al., 2010] David Allouche, Simon de Givry, and Thomas Schiex. Toulbar2, an open source exact cost func- tion network solver. Technical report, INRIA, 2010.","title":"Toulbar2, an open source exact cost function network solver","authors":"David Allouche, Simon De Givry, Thomas Schiex","year":"2010","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bistaffa and Farinelli, 2018] Filippo Bistaffa and Alessan- dro Farinelli. A COP Model for Graph-Constrained Coali- tion Formation. Journal of Artificial Intelligence Research, 62:133-153, 2018.","title":"A COP Model for Graph-Constrained Coalition Formation","authors":"Filippo Bistaffa, Alessandro Farinelli","year":"2018","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bistaffa et al., 2016] Filippo Bistaffa, Nicola Bombieri, and Alessandro Farinelli. An efficient approach for accelerat- ing bucket elimination on GPUs. IEEE Transactions on Cybernetics, 47(11):3967-3979, 2016.","title":"An efficient approach for accelerating bucket elimination on GPUs","authors":"Filippo Bistaffa, Nicola Bombieri, Alessandro Farinelli","year":"2016","venue":"IEEE Transactions on Cybernetics","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bistaffa et al., 2017a] Filippo Bistaffa, Alessandro Farinelli, Jesús Cerquides, Juan Rodríguez-Aguilar, and Sarvapali D. Ramchurn. Algorithms for graph- constrained coalition formation in the real world. ACM Transactions on Intelligent Systems and Technology, 8(4), 2017.","title":"Algorithms for graphconstrained coalition formation in the real world","authors":"Bistaffa","year":"2017","venue":"ACM Transactions on Intelligent Systems and Technology","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bistaffa et al., 2017b] Filippo Bistaffa, Alessandro Farinelli, Georgios Chalkiadakis, and Sarvapali D. Ramchurn. A cooperative game-theoretic approach to the social ridesharing problem. Artificial Intelligence, 246:86-117, 2017.","title":"Ramchurn. A cooperative game-theoretic approach to the social ridesharing problem","authors":"Bistaffa","year":"2017","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Dechter, 1999] Rina Dechter. Bucket elimination: A uni- fying framework for reasoning. Artificial Intelligence, 113(1-2):41-85, 1999.","title":"Bucket elimination: A unifying framework for reasoning","authors":"Rina Dechter","year":"1999","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Dechter, 2003] Rina Dechter. Constraint processing. Mor- gan Kaufmann, 2003.","title":"Constraint processing","authors":"Rina Dechter","year":"2003","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Demange, 2004] Gabrielle Demange. On group stability in hierarchies and networks. Political Economy, 112(4):754- 778, 2004.","title":"On group stability in hierarchies and networks","authors":"Gabrielle Demange, Demange","year":"2004","venue":"Political Economy","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Fioretto et al., 2015] Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh, and TranCao Son. Exploit- ing GPUs in solving (distributed) constraint optimiza- tion problems with dynamic programming. In Principles and Practice of Constraint Programming, pages 121-139. 2015.","title":"Exploiting GPUs in solving (distributed) constraint optimization problems with dynamic programming","authors":"Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh, Trancao Son","year":"2015","venue":"Principles and Practice of Constraint Programming","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Greengard, 2016] Samuel Greengard. GPUs reshape com- puting. Communications of the ACM, 59(9), 2016.","title":"GPUs reshape computing","authors":"Samuel Greengard, Greengard","year":"2016","venue":"Communications of the ACM","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Kwak et al., 2010] Haewoon Kwak, Changhyun Lee, Ho- sung Park, and Sue Moon. What is Twitter, a social net- work or a news media? In International World Wide Web Conference, pages 591-600, 2010.","title":"What is Twitter, a social network or a news media","authors":"Kwak","year":"2010","venue":"International World Wide Web Conference","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Larrosa et al., 2005] Javier Larrosa, Enric Morancho, and David Niso. On the practical use of variable elimination in constraint optimization problems: \"still-life\" as a case study. Journal of Artificial Intelligence Research, 23:421- 440, 2005.","title":"On the practical use of variable elimination in constraint optimization problems: \"still-life\" as a case study","authors":"Larrosa","year":"2005","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Malapert et al., 2016] Arnaud Malapert, Jean-Charles Régin, and Mohamed Rezgui. Embarrassingly parallel search in constraint programming. Journal of Artificial Intelligence Research, 57:421-464, 2016.","title":"Embarrassingly parallel search in constraint programming","authors":"Malapert","year":"2016","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Marinescu and Dechter, 2007] Radu Marinescu and Rina Dechter. Best-first AND/OR search for graphical mod- els. In AAAI Conference on Artificial Intelligence, pages 1171-1176, 2007.","title":"Best-first AND/OR search for graphical models","authors":"Radu Marinescu, Rina Dechter","year":"2007","venue":"AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Moerkotte and Neumann, 2006] Guido Moerkotte and Thomas Neumann. Analysis of two existing and one new dynamic programming algorithm for the generation of optimal bushy join trees without cross products. In International Conference on Very Large Data Bases, pages 930-941, 2006.","title":"Analysis of two existing and one new dynamic programming algorithm for the generation of optimal bushy join trees without cross products","authors":"Neumann Moerkotte, Guido Moerkotte, Thomas Neumann","year":"2006","venue":"International Conference on Very Large Data Bases","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Myerson, 1977] Roger B. Myerson. Graphs and cooper- ation in games. Mathematics of Operations Research, 2(3):225-229, 1977.","title":"Graphs and cooperation in games","authors":"B Roger, Myerson","year":"1977","venue":"Mathematics of Operations Research","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Petcu, 2007] Adrian Petcu. A Class of Algorithms for Dis- tributed Constraint Optimization. Phd. thesis no. 3942, Swiss Federal Institute of Technology (EPFL), 2007.","title":"A Class of Algorithms for Distributed Constraint Optimization","authors":"Adrian Petcu","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Russell, 2013] Matthew A. Russell. Mining the Social Web. O'Reilly Media, 2013.","title":"Mining the Social Web","authors":"Matthew A Russell","year":"2013","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Sandholm et al., 1999] Tuomas Sandholm, Kate Larson, Martin Andersson, Onn Shehory, and Fernando Tohmé. Coalition structure generation with worst case guarantees. Artificial Intelligence, 111(1):209-238, 1999.","title":"Coalition structure generation with worst case guarantees","authors":"Sandholm","year":"1999","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Shehory and Kraus, 1998] Onn Shehory and Sarit Kraus. Methods for task allocation via agent coalition formation. Artificial Intelligence, 101(1-2):165-200, 1998.","title":"Onn Shehory and Sarit Kraus. Methods for task allocation via agent coalition formation","authors":"Kraus Shehory","year":"1998","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Voice et al., 2012a] Thomas Voice, Maria Polukarov, and Nicholas Jennings. Coalition structure generation over graphs. Journal of Artificial Intelligence Research, 45:165-196, 2012.","title":"Coalition structure generation over graphs","authors":"Voice","year":"2012","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Voice et al., 2012b] Thomas Voice, Sarvapali D. Ramchurn, and Nicholas R. Jennings. On coalition formation with sparse synergies. In International Conference on Au- tonomous Agents and Multi-Agent Systems, pages 223- 230, 2012.","title":"On coalition formation with sparse synergies","authors":"Voice","year":"2012","venue":"International Conference on Autonomous Agents and Multi-Agent Systems","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}