Complexity of comparison of influence of players in simple games

Coalitional voting games appear in different forms in multi-agent systems, social choice and threshold logic. In this paper, the complexity of comparison of influence between players in coalitional voting games is characterized. The possible representations of simple games considered are simple games represented by winning coalitions, minimal winning coalitions, weighted voting game or a multiple weighted voting game. The influence of players is gauged from the viewpoint of basic player types, desirability relations and classical power indices such as Shapley-Shubik index, Banzhaf index, Holler index, Deegan-Packel index and Chow parameters. Among other results, it is shown that for a simple game represented by minimal winning coalitions, although it is easy to verify whether a player has zero or one voting power, computing the Banzhaf value of the player is #P-complete. Moreover, it is proved that multiple weighted voting games are the only representations for which it is NP-hard to verify whether the game is linear or not. For a simple game with a set W^m of minimal winning coalitions and n players, a O(n.|W^m|+(n^2)log(n)) algorithm is presented which returns `no' if the game is non-linear and returns the strict desirability ordering otherwise. The complexity of transforming simple games into compact representations is also examined.

[1]  T. Matsui,et al.  A SURVEY OF ALGORITHMS FOR CALCULATING POWER INDICES OF WEIGHTED MAJORITY GAMES , 2000 .

[2]  Forming Coalitions and Measuring Voting Power , 1982 .

[3]  Gerhard J. Woeginger,et al.  On the dimension of simple monotonic games , 2006, Eur. J. Oper. Res..

[4]  William S. Zwicker,et al.  Simple games - desirability relations, trading, pseudoweightings , 1999 .

[5]  Josep Freixas,et al.  Complete simple games , 1996 .

[6]  Maria J. Serna,et al.  The Complexity of Testing Properties of Simple Games , 2008, ArXiv.

[7]  M. Maschler,et al.  A characterization, existence proof and dimension bounds for the kernel of a game. , 1966 .

[8]  Ezra Einy,et al.  The desirability relation of simple games , 1985 .

[9]  Josep Freixas,et al.  Dimension of complete simple games with minimum , 2008, Eur. J. Oper. Res..

[10]  E. Rowland Theory of Games and Economic Behavior , 1946, Nature.

[11]  J. Scott Provan,et al.  The Complexity of Counting Cuts and of Computing the Probability that a Graph is Connected , 1983, SIAM J. Comput..

[12]  Bruce Bueno de Mesquita Minimum Winning Coalition, in Politics , 2001 .

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

[14]  Paul W. Goldberg,et al.  A Bound on the Precision Required to Estimate a Boolean Perceptron from Its Average Satisfying Assignment , 2006, SIAM J. Discret. Math..

[15]  Kazuhisa Makino,et al.  A linear time algorithm for recognizing regular Boolean functions , 1999, J. Algorithms.

[16]  L. Shapley A Value for n-person Games , 1988 .

[17]  J. Scott Provan,et al.  Disjoint Products and Efficient Computation of Reliability , 1988, Oper. Res..

[18]  F. Segal,et al.  A CHARACTERIZATION OF FIBRANT SEGAL CATEGORIES , 2006, math/0603400.

[19]  Pradeep Dubey,et al.  Mathematical Properties of the Banzhaf Power Index , 1979, Math. Oper. Res..

[20]  Jerry S. Kelly,et al.  NP-completeness of some problems concerning voting games , 1990 .

[21]  J. Deegan,et al.  A new index of power for simplen-person games , 1978 .

[22]  Robert O. Winder,et al.  Threshold logic , 1971, IEEE Spectrum.

[23]  Saburo Muroga,et al.  Threshold logic and its applications , 1971 .

[24]  Piotr Faliszewski,et al.  The complexity of power-index comparison , 2009, Theor. Comput. Sci..