Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

R-Completeness for Decision Versions of Multi-Player (Symmetric) Nash Equilibria

R-Completeness for Decision Versions of Multi-Player (Symmetric) Nash Equilibria As a result of a series of important works [7--9, 15, 23], the complexity of two-player Nash equilibrium is by now well understood, even when equilibria with special properties are desired and when the game is symmetric. However, for multi-player games, when equilibria with special properties are desired, the only result known is due to Schaefer and Štefankovič [28]: that checking whether a three-player Nash Equilibrium (3-Nash) instance has an equilibrium in a ball of radius half in l∞-norm is R-complete, where R is the class of decision problems that can be reduced in polynomial time to Existential Theory of the Reals. Building on their work, we show that the following decision versions of 3-Nash are also ∃R-complete: checking whether (i) there are two or more equilibria, (ii) there exists an equilibrium in which each player gets at least h payoff, where h is a rational number, (iii) a given set of strategies are played with non-zero probability, and (iv) all the played strategies belong to a given set. Next, we give a reduction from 3-Nash to symmetric 3-Nash, hence resolving an open problem of Papadimitriou [25]. This yields ∃R-completeness for symmetric 3-Nash for the last two problems stated above as well as completeness for the class FIXPa, a variant of FIXP for strong approximation. All our results extend to k-Nash for any constant k ≥ 3. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Economics and Computation (TEAC) Association for Computing Machinery

R-Completeness for Decision Versions of Multi-Player (Symmetric) Nash Equilibria

Loading next page...
 
/lp/association-for-computing-machinery/r-completeness-for-decision-versions-of-multi-player-symmetric-nash-Rqtco7GcTm

References (40)

Publisher
Association for Computing Machinery
Copyright
Copyright © 2018 ACM
ISSN
2167-8375
eISSN
2167-8383
DOI
10.1145/3175494
Publisher site
See Article on Publisher Site

Abstract

As a result of a series of important works [7--9, 15, 23], the complexity of two-player Nash equilibrium is by now well understood, even when equilibria with special properties are desired and when the game is symmetric. However, for multi-player games, when equilibria with special properties are desired, the only result known is due to Schaefer and Štefankovič [28]: that checking whether a three-player Nash Equilibrium (3-Nash) instance has an equilibrium in a ball of radius half in l∞-norm is R-complete, where R is the class of decision problems that can be reduced in polynomial time to Existential Theory of the Reals. Building on their work, we show that the following decision versions of 3-Nash are also ∃R-complete: checking whether (i) there are two or more equilibria, (ii) there exists an equilibrium in which each player gets at least h payoff, where h is a rational number, (iii) a given set of strategies are played with non-zero probability, and (iv) all the played strategies belong to a given set. Next, we give a reduction from 3-Nash to symmetric 3-Nash, hence resolving an open problem of Papadimitriou [25]. This yields ∃R-completeness for symmetric 3-Nash for the last two problems stated above as well as completeness for the class FIXPa, a variant of FIXP for strong approximation. All our results extend to k-Nash for any constant k ≥ 3.

Journal

ACM Transactions on Economics and Computation (TEAC)Association for Computing Machinery

Published: Jan 31, 2018

Keywords: FIXP

There are no references for this article.