ABSTRACT
The rank of a bimatrix game (A, B) is defined as rank(A + B). Computing a Nash equilibrium (NE) of a rank-0, i.e., zero-sum game is equivalent to linear programming (von Neumann'28, Dantzig'51). In 2005, Kannan and Theobald gave an FPTAS for constant rank games, and asked if there exists a polynomial time algorithm to compute an exact NE. Adsul et. al. (2011) answered this question affirmatively for rank-1 games, leaving rank-2 and beyond unresolved.
In this paper we show that NE computation in games with rank ≥ 3, is PPAD-hard, settling a decade long open problem. Interestingly, this is the first instance that a problem with an FPTAS turns out to be PPAD-hard. Our reduction bypasses graphical games and game gadgets, and provides a simpler proof of PPAD-hardness for NE computation in bimatrix games. In addition, we get:
• An equivalence between 2D-Linear-FIXP and PPAD, improving a result by Etessami and Yannakakis (2007) on equivalence between Linear-FIXP and PPAD.
• NE computation in a bimatrix game with convex set of Nash equilibria is as hard as solving a simple stochastic game [12].
• Computing a symmetric NE of a symmetric bimatrix game with rank ≥ 6 is PPAD-hard.
• Computing a 1/poly(n)-approximate fixed-point of a (Linear-FIXP) piecewise-linear function is PPAD-hard.
The status of rank-2 games remains unresolved.
Supplemental Material
- T. Abbott, D. Kane, and P. Valiant. On the complexity of two-player win-lose games. In FOCS, pages 113--122, 2005. Google ScholarDigital Library
- I. Adler. The equivalence of linear programs and zero-sum games. International Journal of Game Theory, 42(1):165--177, 2013.Google ScholarDigital Library
- I. Adler and S. Verma. A direct reduction of PPAD Lemke-verified linear complementarity problems to bimatrix games. Manuscript, 2013.Google Scholar
- B. Adsul, J. Garg, R. Mehta, and M. Sohoni. Rank-1 bimatrix games: A homeomorphism and a polynomial time algorithm. In STOC, pages 195--204, 2011. Google ScholarDigital Library
- D. Andersson and P. B. Miltersen. The complexity of solving stochastic games on graphs. In Algorithms and Computation, pages 112--121, 2009. Google ScholarDigital Library
- A. Balthasar. Equilibrium tracing in strategic-form games. Economic Theory, 42(1):39--54, 2010.Google ScholarCross Ref
- D. Chakrabarty and N. Devanur. On competitiveness in uniform utility allocation markets. Unpublished manuscript, 2006.Google Scholar
- X. Chen, D. Dai, Y. Du, and S.-H. Teng. Settling the complexity of Arrow-Debreu equilibria in markets with additively separable utilities. In FOCS, 2009. Google ScholarDigital Library
- X. Chen and X. Deng. On the complexity of 2D discrete fixed point problem. In ICALP, pages 489--500, 2006. Google ScholarDigital Library
- X. Chen, X. Deng, and S.-H. Teng. Sparse games are hard. In WINE, pages 262--273, 2006. Google ScholarDigital Library
- X. Chen, X. Deng, and S.-H. Teng. Settling the complexity of computing two-player Nash equilibria. Journal of the ACM, 56(3), 2009. Google ScholarDigital Library
- A. Condon. The complexity of stochastic games. Information and Computation, 96(2):203--224, 1992. Google ScholarDigital Library
- A. Condon. On algorithms for simple stochastic games. Advances in computational complexity theory, 13:51--73, 1993.Google Scholar
- V. Conitzer and T. Sandholm. New complexity results about Nash equilibria. Games and Economic Behavior, 63(2):621--641, 2008.Google ScholarCross Ref
- G. B. Dantzig. A proof of the equivalence of the programming problem and the game problem. In: Koopmans TC (ed) Activity analysis of production and allocation, pages 330--335, 1951.Google Scholar
- C. Daskalakis, P. W. Goldberg, and C. H. Papadimitriou. The complexity of computing a Nash equilibrium. SIAM Journal on Computing, Special issue for STOC 2006, 39(1):195--259, 2009. Google ScholarDigital Library
- K. Etessami and M. Yannakakis. On the complexity of Nash equilibria and other fixed points. SIAM Journal on Computing, 39(6):2531--2597, 2010. Preliminary version appeared in STOC'07. Google ScholarDigital Library
- I. Gilboa and E. Zemel. Nash and correlated equilibria: Some complexity considerations. Games Econ. Behav., 1:80--93, 1989.Google ScholarCross Ref
- P. W. Goldberg, C. H. Papadimitriou, and R. Savani. The complexity of the homotopy method, equilibrium selection, and Lemke-Howson solutions. ACM Transactions on Economics and Computation, 1(2):9:1--9:25, 2013. Google ScholarDigital Library
- S. Kintali, L. J. Poplawski, R. Rajaraman, R. Sundaram, and S.-H. Teng. Reducibility among fractional stability problems. In FOCS, pages 283--292, 2009. Google ScholarDigital Library
- C. E. Lemke. Bimatrix equilibrium points and mathematical programming. Management Science, 11(7):681--689, 1965.Google ScholarCross Ref
- C. E. Lemke and J. J. T. Howson. Equilibrium points of bimatrix games. SIAM J. on Applied Mathematics, 12(2):413--423, 1964.Google ScholarCross Ref
- R. Mehta. Constant rank bimatrix games are ppad-hard. 2014. arXiv preprint arXiv:1402.3350.Google ScholarDigital Library
- R. Mehta, V. V. Vazirani, and S. Yazdanbod. Settling some open problems on symmetric Nash equilibria. Manuscript, 2013.Google Scholar
- R. B. Myerson. Game Theory: Analysis of Conflicts. Harward Univ. Press, 1991.Google Scholar
- J. Nash. Non-cooperative games. Annals of Mathematics, 54(2):289--295, September 1951.Google ScholarCross Ref
- C. H. Papadimitriou. On the complexity of the parity argument and other inefficient proofs of existence. JCSS, 48(3):498--532, 1994. Google ScholarDigital Library
- C. H. Papadimitriou. The complexity of finding Nash equilibria. Chapter 2, Algorithmic Game Theory, eds. N. Nisan, T. Roughgarden, E. Tardos, and V. Vazirani, pages 29--50, 2007.Google Scholar
- R. Savani and B. von Stengel. Hard-to-solve bimatrix games. Econometrica, 74(2):397--429, 2006.Google ScholarCross Ref
- E. Sperner. Neuer beweis fur die invarianz der dimensionszahl und des gebietes. Abhandlungen aus dem Mathematischen Seminar Universitat Hamburg, 6:265--272, 1928.Google Scholar
- A. H. van den Elzen and A. J. J. Talman. A procedure for finding Nash equilibria in bi-matrix games. ZOR Methods Models Oper Res, 35:27--43, 1991.Google ScholarCross Ref
- J. von Neumann. Zur theorie der gesellschaftsspiele. Mathematische Annalen, 100:295--320, 1928.Google ScholarCross Ref
- B. von Stengel. Equilibrium computation for two-player games in strategic and extensive form. Chapter 3, Algorithmic Game Theory, eds. N. Nisan, T. Roughgarden, E. Tardos, and V. Vazirani, 2007.Google ScholarCross Ref
Index Terms
- Constant rank bimatrix games are PPAD-hard
Recommendations
Rank-1 bimatrix games: a homeomorphism and a polynomial time algorithm
STOC '11: Proceedings of the forty-third annual ACM symposium on Theory of computingGiven a rank-1 bimatrix game (A,B), i.e., where rank(A+B)=1, we construct a suitable linear subspace of the rank-1 game space and show that this subspace is homeomorphic to its Nash equilibrium correspondence. Using this homeomorphism, we give the first ...
Constant Rank Two-Player Games are PPAD-hard
Finding a Nash equilibrium in a two-player normal form game (2-Nash) is one of the most extensively studied problems within mathematical economics as well as theoretical computer science. Such a game can be represented by two payoff matrices $A$ and $B$, ...
Efficient algorithms for constant well supported approximate equilibria in bimatrix games
ICALP'07: Proceedings of the 34th international conference on Automata, Languages and ProgrammingIn this work we study the tractability of well supported approximate Nash Equilibria (SuppNE in short) in bimatrix games. In view of the apparent intractability of constructing Nash Equilibria (NE in short) in polynomial time, even for bimatrix games, ...
Comments