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...

Full description

Bibliographic Details
Main Authors: Cai, Yang, Daskalakis, Constantinos
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
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