Computing stable outcomes in hedonic games with voting-based deviations

We study the computational complexity of finding stable outcomes in hedonic games, which are a class of coalition formation games. We restrict our attention to a nontrivial subclass of such games, which are guaranteed to possess stable outcomes, i.e., the set of symmetric additively-separable hedonic games. These games are specified by an undirected edge-weighted graph: nodes are players, an outcome of the game is a partition of the nodes into coalitions, and the utility of a node is the sum of incident edge weights in the same coalition. We consider several stability requirements defined in the literature. These are based on restricting feasible player deviations, for example, by giving existing coalition members veto power. We extend these restrictions by considering more general forms of preference aggregation for coalition members. In particular, we consider voting schemes to decide if coalition members will allow a player to enter or leave their coalition. For all of the stability requirements we consider, the existence of a stable outcome is guaranteed by a potential function argument, and local improvements will converge to a stable outcome. We provide an almost complete characterization of these games in terms of the tractability of computing such stable outcomes. Our findings comprise positive results in the form of polynomial-time algorithms, and negative (PLS-completeness) results. The negative results extend to more general hedonic games.

[1]  J. Drèze,et al.  HEDONIC COALITIONS: OPTIMALITY AND STABILITY , 1980 .

[2]  Mihalis Yannakakis,et al.  How easy is local search? , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).

[3]  Mihalis Yannakakis,et al.  Simple Local Search Problems That are Hard to Solve , 1991, SIAM J. Comput..

[4]  Xiaotie Deng,et al.  On the Complexity of Cooperative Solution Concepts , 1994, Math. Oper. Res..

[5]  Yves Crama,et al.  Local Search in Combinatorial Optimization , 2018, Artificial Neural Networks.

[6]  Michael Sipser,et al.  Introduction to the Theory of Computation , 1996, SIGA.

[7]  Matthew O. Jackson,et al.  The Stability of Hedonic Coalition Structures , 2002, Games Econ. Behav..

[8]  William S. Zwicker,et al.  Coalition formation games with separable preferences , 2003, Math. Soc. Sci..

[9]  Abraham P. Punnen,et al.  Approximate local search in combinatorial optimization , 2004, SODA '04.

[10]  Christos H. Papadimitriou,et al.  The complexity of pure Nash equilibria , 2004, STOC '04.

[11]  Coralio Ballester,et al.  NP-completeness in hedonic games , 2004, Games Econ. Behav..

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

[13]  Dinko Dimitrov,et al.  On Myopic Stability Concepts for Hedonic Games , 2007 .

[14]  Mihalis Yannakakis,et al.  Equilibria, Fixed Points, and Complexity Classes , 2008, STACS.

[15]  Katarína Cechlárová Stable Partition Problem , 2008, Encyclopedia of Algorithms.

[16]  Dinko Dimitrov,et al.  Computational Complexity in Additive Hedonic Games , 2010 .

[17]  Coalitional Affinity Games and the Stability Gap , 2009, IJCAI.

[18]  Maria-Florina Balcan,et al.  Improved equilibria via public service advertising , 2009, SODA.

[19]  Michael Wooldridge,et al.  Hedonic coalition nets , 2009, AAMAS.

[20]  Edith Elkind,et al.  Computing the nucleolus of weighted voting games , 2008, SODA.

[21]  Michael Wooldridge,et al.  On the computational complexity of weighted voting games , 2009, Annals of Mathematics and Artificial Intelligence.

[22]  Burkhard Monien,et al.  On the Power of Nodes of Degree Four in the Local Max-Cut Problem , 2010, CIAC.

[23]  Tobias Tscheuschner The local max-cut problem is PLS-complete even on graphs with maximum degree five , 2010, ArXiv.

[24]  Burkhard Monien,et al.  Local Search: Simple, Successful, But Sometimes Sluggish , 2010, ICALP.

[25]  Sanjeev Khanna,et al.  Approximating pure nash equilibrium in cut, party affiliation, and satisfiability games , 2010, EC '10.

[26]  Rahul Savani,et al.  Computing Stable Outcomes in Hedonic Games , 2010, SAGT.

[27]  Felix Brandt,et al.  Stable partitions in additively separable hedonic games , 2011, AAMAS.

[28]  Vahab S. Mirrokni,et al.  Convergence and approximation in potential games , 2012, Theor. Comput. Sci..