MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities

Coalition Structure Generation (CSG) is a main research issue in the domain of coalition games. A majority of existing works assume that the value of a coalition is independent of others in the coalition structure. Recently, there has been interest in a more realistic settings, where the value of a coalition is affected by the formation of other coalitions. This effect is known as externality. The focus of this paper is to make use of Maximum Satisfiability (MaxSAT) to solve the CSG problem where externalities may exist. In order to reduce the exponentially growing number of possible solutions in the CSG problem, we follow the previous works by representing the CSG problem as sets of rules in MC-nets (without externalities) and embedded MC-nets (with externalities). Specifically, enlightened by the previous MC-net-based algorithms exploiting the constraints among rule relations to solve the CSG problem, we encode such constraints into weighted partial MaxSAT (WPM) formulas. Experimental results demonstrate that an off-the-shelf MaxSAT solver achieves significant improvements compared to the previous algorithm for the same set of problem instances. key words: coalition structure generation, externality, weighted partial MaxSAT, cooperative games

[1]  Nicholas R. Jennings,et al.  A Hybrid Algorithm for Coalition Structure Generation , 2012, AAAI.

[2]  Daniel Le Berre,et al.  The Sat4j library, release 2.2 , 2010, J. Satisf. Boolean Model. Comput..

[3]  Tomasz P. Michalak,et al.  Optimal Coalition Structure Generation In Partition Function Games , 2008, ECAI.

[4]  Yoav Shoham,et al.  Marginal contribution nets: a compact representation scheme for coalitional games , 2005, EC '05.

[5]  Onn Shehory,et al.  Coalition structure generation with worst case guarantees , 2022 .

[6]  Nicholas R. Jennings,et al.  Coalition Structure Generation : Dynamic Programming Meets Anytime Optimization , 2008 .

[7]  Robert M. Feinberg,et al.  Market Power and Incentives to Form Research Consortia , 2006 .

[8]  Adrian Kügel,et al.  Improved Exact Solver for the Weighted MAX-SAT Problem , 2010, POS@SAT.

[9]  Vincent Conitzer,et al.  Coalition Structure Generation Utilizing Compact Characteristic Function Representations , 2011 .

[10]  Maria Luisa Bonet,et al.  Solving (Weighted) Partial MaxSAT through Satisfiability Testing , 2009, SAT.

[11]  Julie A. Adams,et al.  Constant factor approximation algorithms for coalition structure generation , 2011, Autonomous Agents and Multi-Agent Systems.

[12]  Felip Manyà,et al.  Exploiting Cycle Structures in Max-SAT , 2009, SAT.

[13]  Piotr Faliszewski,et al.  Constrained Coalition Formation , 2011, AAAI.

[14]  Bikramjit Banerjee,et al.  Coalition structure generation in multi-agent systems with mixed externalities , 2010, AAMAS.

[15]  Nicholas R. Jennings,et al.  Anytime coalition structure generation in multi-agent systems with positive or negative externalities , 2012, Artif. Intell..

[16]  Toby Walsh,et al.  Handbook of satisfiability , 2009 .

[17]  Tomasz P. Michalak,et al.  Dynamic Modeling of Monetary and Fiscal Cooperation Among Nations , 2006 .

[18]  Vasco M. Manquinho,et al.  Parallel search for maximum satisfiability , 2012, AI Commun..

[19]  Sarvapali D. Ramchurn,et al.  An Anytime Algorithm for Optimal Coalition Structure Generation , 2014, J. Artif. Intell. Res..

[20]  Nicholas R. Jennings,et al.  A logic-based representation for coalitional games with externalities , 2010, AAMAS.

[21]  Ronald M. Harstad,et al.  Computationally Manageable Combinational Auctions , 1998 .

[22]  Vincent Conitzer,et al.  Coalition Structure Generation Utilizing Compact Characteristic Function Representations , 2009, CP.

[23]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[24]  Makoto Yokoo,et al.  Handling negative value rules in MC-net-based coalition structure generation , 2012, AAMAS.

[25]  Makoto Yokoo,et al.  Concise Characteristic Function Representations in Coalitional Games Based on Agent Types , 2011, IJCAI.

[26]  Nicholas R. Jennings,et al.  An improved dynamic programming algorithm for coalition structure generation , 2008, AAMAS.