Power in threshold network flow games

Preference aggregation is used in a variety of multiagent applications, and as a result, voting theory has become an important topic in multiagent system research. However, power indices (which reflect how much “real power” a voter has in a weighted voting system) have received relatively little attention, although they have long been studied in political science and economics. We consider a particular multiagent domain, a threshold network flow game. Agents control the edges of a graph; a coalition wins if it can send a flow that exceeds a given threshold from a source vertex to a target vertex. The relative power of each edge/agent reflects its significance in enabling such a flow, and in real-world networks could be used, for example, to allocate resources for maintaining parts of the network. We examine the computational complexity of calculating two prominent power indices, the Banzhaf index and the Shapley-Shubik index, in this network flow domain. We also consider the complexity of calculating the core in this domain. The core can be used to allocate, in a stable manner, the gains of the coalition that is established. We show that calculating the Shapley-Shubik index in this network flow domain is NP-hard, and that calculating the Banzhaf index is #P-complete. Despite these negative results, we show that for some restricted network flow domains there exists a polynomial algorithm for calculating agents’ Banzhaf power indices. We also show that computing the core in this game can be performed in polynomial time.

[1]  Eithan Ephrati,et al.  A heuristic technique for multi‐agent planning , 1997, Annals of Mathematics and Artificial Intelligence.

[2]  Leslie G. Valiant,et al.  The Complexity of Enumeration and Reliability Problems , 1979, SIAM J. Comput..

[3]  Dan S. Felsenthal,et al.  The Treaty of Nice and qualified majority voting , 2001, Soc. Choice Welf..

[4]  Jeffrey S. Rosenschein,et al.  Computing the Banzhaf power index in network flow games , 2007, AAMAS '07.

[5]  Noam Nisan,et al.  Algorithmic Mechanism Design , 2001, Games Econ. Behav..

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

[7]  D. R. Fulkerson,et al.  Flows in Networks. , 1964 .

[8]  Vincent Conitzer,et al.  Complexity of determining nonemptiness of the core , 2003, EC '03.

[9]  Eitan Zemel,et al.  Generalized Network Problems Yielding Totally Balanced Games , 1982, Oper. Res..

[10]  Martin Shubik,et al.  A Method for Evaluating the Distribution of Power in a Committee System , 1954, American Political Science Review.

[11]  Tomomi Matsui,et al.  NP-completeness for calculating power indices of weighted majority games , 2001, Theor. Comput. Sci..

[12]  Jörg Rothe,et al.  Anyone but him: The complexity of precluding an alternative , 2005, Artif. Intell..

[13]  Vincent Conitzer,et al.  Computing Shapley Values, Manipulating Value Division Schemes, and Checking Core Membership in Multi-Issue Domains , 2004, AAAI.

[14]  E. Ephrati A Heuristic Technique for Multiagent PlanningEithan , 1997 .

[15]  Sandip Sen,et al.  Voting for movies: the anatomy of a recommender system , 1999, AGENTS '99.

[16]  Victor R. Lesser,et al.  Issues in Automated Negotiation and Electronic Commerce: Extending the Contract Net Framework , 1997, ICMAS.

[17]  Philip Wolfe,et al.  Contributions to the theory of games , 1953 .

[18]  L. Shapley,et al.  VALUES OF LARGE GAMES. 6: EVALUATING THE ELECTORAL COLLEGE EXACTLY , 1962 .

[19]  Qizhi Fang,et al.  Core Stability of Flow Games , 2005, CJCDGCGT.

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

[21]  Michael P. Wellman The economic approach to artificial intelligence , 1996, CSUR.

[22]  Ariel D. Procaccia,et al.  Junta Distributions and the Average-Case Complexity of Manipulating Elections , 2007, J. Artif. Intell. Res..

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

[24]  Eitan Zemel,et al.  Totally Balanced Games and Games of Flow , 1982, Math. Oper. Res..

[25]  Dennis Leech,et al.  Computing Power Indices for Large Voting Games , 2003, Manag. Sci..

[26]  Tim Roughgarden,et al.  Designing networks for selfish users is hard , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[27]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[28]  J. M. Bilbao,et al.  Cooperative Games on Combinatorial Structures , 2000 .

[29]  Eithan Ephrati,et al.  The Clarke Tax as a Consensus Mechanism Among Automated Agents , 1991, AAAI.

[30]  Nicholas R. Jennings,et al.  A randomized method for the shapley value for the voting game , 2007, AAMAS '07.

[31]  John E. Hopcroft,et al.  The Directed Subgraph Homeomorphism Problem , 1978, Theor. Comput. Sci..

[32]  Jeffrey S. Rosenschein,et al.  Deals Among Rational Agents , 1985, IJCAI.

[33]  P. Straffin Homogeneity, independence, and power indices , 1977 .

[34]  A. Laruelle ON THE CHOICE OF A POWER INDEX , 1999 .

[35]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[36]  Dennis Leech,et al.  Voting Power in the Governance of the International Monetary Fund , 2002, Ann. Oper. Res..

[37]  L. S. Shapley,et al.  17. A Value for n-Person Games , 1953 .

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

[39]  Sandip Sen,et al.  An automated meeting scheduling system that utilizes user preferences , 1997, AGENTS '97.

[40]  G. Owen Multilinear extensions and the banzhaf value , 1975 .

[41]  J. M. Bilbao,et al.  Generating functions for computing power indices efficiently , 2000 .