On minmax theorems for multiplayer games
We prove a generalization of von Neumann's minmax theorem to the class of separable multiplayer zero-sum games, introduced in [Bregman and Fokin 1998]. These games are polymatrix---that is, graphical games in which every edge is a two-player game between its endpoints---in which every outcome h...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Article |
Language: | en_US |
Published: |
Society for Industrial and Applied Mathematics
2012
|
Online Access: | http://hdl.handle.net/1721.1/73129 https://orcid.org/0000-0002-5451-0490 |
_version_ | 1811097456100769792 |
---|---|
author | Cai, Yang Daskalakis, Constantinos |
author2 | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science |
author_facet | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Cai, Yang Daskalakis, Constantinos |
author_sort | Cai, Yang |
collection | MIT |
description | We prove a generalization of von Neumann's minmax theorem to the class of separable multiplayer zero-sum games, introduced in [Bregman and Fokin 1998]. These games are polymatrix---that is, graphical games in which every edge is a two-player game between its endpoints---in which every outcome has zero total sum of players' payoffs. Our generalization of the minmax theorem implies convexity of equilibria, polynomial-time tractability, and convergence of no-regret learning algorithms to Nash equilibria. Given that Nash equilibria in 3-player zero-sum games are already PPAD-complete, this class of games, i.e. with pairwise separable utility functions, defines essentially the broadest class of multi-player constant-sum games to which we can hope to push tractability results. Our result is obtained by establishing a certain game-class collapse, showing that separable constant-sum games are payoff equivalent to pairwise constant-sum polymatrix games---polymatrix games in which all edges are constant-sum games, and invoking a recent result of [Daskalakis, Papadimitriou 2009] for these games.
We also explore generalizations to classes of non-constant-sum multi-player games. A natural candidate is polymatrix games with strictly competitive games on their edges. In the two player setting, such games are minmax solvable and recent work has shown that they are merely affine transformations of zero-sum games [Adler, Daskalakis, Papadimitriou 2009]. Surprisingly we show that a polymatrix game comprising of strictly competitive games on its edges is PPAD-complete to solve, proving a striking difference in the complexity of networks of zero-sum and strictly competitive games. Finally, we look at the role of coordination in networked interactions, studying the complexity of polymatrix games with a mixture of coordination and zero-sum games. We show that finding a pure Nash equilibrium in coordination-only polymatrix games is PLS-complete; hence, computing a mixed Nash equilibrium is in PLS ∩ PPAD, but it remains open whether the problem is in P. If, on the other hand, coordination and zero-sum games are combined, we show that the problem becomes PPAD-complete, establishing that coordination and zero-sum games achieve the full generality of PPAD. |
first_indexed | 2024-09-23T16:59:49Z |
format | Article |
id | mit-1721.1/73129 |
institution | Massachusetts Institute of Technology |
language | en_US |
last_indexed | 2024-09-23T16:59:49Z |
publishDate | 2012 |
publisher | Society for Industrial and Applied Mathematics |
record_format | dspace |
spelling | mit-1721.1/731292022-09-29T22:57:14Z On minmax theorems for multiplayer games Cai, Yang Daskalakis, Constantinos Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Cai, Yang Daskalakis, Constantinos We prove a generalization of von Neumann's minmax theorem to the class of separable multiplayer zero-sum games, introduced in [Bregman and Fokin 1998]. These games are polymatrix---that is, graphical games in which every edge is a two-player game between its endpoints---in which every outcome has zero total sum of players' payoffs. Our generalization of the minmax theorem implies convexity of equilibria, polynomial-time tractability, and convergence of no-regret learning algorithms to Nash equilibria. Given that Nash equilibria in 3-player zero-sum games are already PPAD-complete, this class of games, i.e. with pairwise separable utility functions, defines essentially the broadest class of multi-player constant-sum games to which we can hope to push tractability results. Our result is obtained by establishing a certain game-class collapse, showing that separable constant-sum games are payoff equivalent to pairwise constant-sum polymatrix games---polymatrix games in which all edges are constant-sum games, and invoking a recent result of [Daskalakis, Papadimitriou 2009] for these games. We also explore generalizations to classes of non-constant-sum multi-player games. A natural candidate is polymatrix games with strictly competitive games on their edges. In the two player setting, such games are minmax solvable and recent work has shown that they are merely affine transformations of zero-sum games [Adler, Daskalakis, Papadimitriou 2009]. Surprisingly we show that a polymatrix game comprising of strictly competitive games on its edges is PPAD-complete to solve, proving a striking difference in the complexity of networks of zero-sum and strictly competitive games. Finally, we look at the role of coordination in networked interactions, studying the complexity of polymatrix games with a mixture of coordination and zero-sum games. We show that finding a pure Nash equilibrium in coordination-only polymatrix games is PLS-complete; hence, computing a mixed Nash equilibrium is in PLS ∩ PPAD, but it remains open whether the problem is in P. If, on the other hand, coordination and zero-sum games are combined, we show that the problem becomes PPAD-complete, establishing that coordination and zero-sum games achieve the full generality of PPAD. National Science Foundation (U.S.) (CAREER Award CCF-0953960) Alfred P. Sloan Foundation (Fellowship) 2012-09-24T18:37:04Z 2012-09-24T18:37:04Z 2011 Article http://purl.org/eprint/type/JournalArticle http://hdl.handle.net/1721.1/73129 Yang Cai and Constantinos Daskalakis. 2011. "On minmax theorems for multiplayer games." In Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms (SODA '11). SIAM 217-234. https://orcid.org/0000-0002-5451-0490 en_US http://dl.acm.org/citation.cfm?id=2133056 Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms (SODA '11) Creative Commons Attribution-Noncommercial-Share Alike 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ application/pdf Society for Industrial and Applied Mathematics MIT web domain |
spellingShingle | Cai, Yang Daskalakis, Constantinos On minmax theorems for multiplayer games |
title | On minmax theorems for multiplayer games |
title_full | On minmax theorems for multiplayer games |
title_fullStr | On minmax theorems for multiplayer games |
title_full_unstemmed | On minmax theorems for multiplayer games |
title_short | On minmax theorems for multiplayer games |
title_sort | on minmax theorems for multiplayer games |
url | http://hdl.handle.net/1721.1/73129 https://orcid.org/0000-0002-5451-0490 |
work_keys_str_mv | AT caiyang onminmaxtheoremsformultiplayergames AT daskalakisconstantinos onminmaxtheoremsformultiplayergames |