The Complexity of Games on Highly Regular Graphs

  • Konstantinos Daskalakis
  • Christos H. Papadimitriou
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3669)

Abstract

We present algorithms and complexity results for the problem of finding equilibria (mixed Nash equilibria, pure Nash equilibria and correlated equilibria) in games with extremely succinct description that are defined on highly regular graphs such as the d-dimensional grid; we argue that such games are of interest in the modelling of large systems of interacting agents. We show that mixed Nash equilibria can be found in time exponential in the succinct representation by quantifier elimination, while correlated equilibria can be found in polynomial time by taking advantage of the game’s symmetries. Finally, the complexity of determining whether such a game on the d-dimensional grid has a pure Nash equilibrium depends on d and the dichotomy is remarkably sharp: it is solvable in polynomial time (in fact NL-complete) when d = 1, but it is NEXP-complete for d ≥ 2.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. LNCS, vol. 33. Springer, Heidelberg (1975)Google Scholar
  2. 2.
    Fabrikant, A., Papadimitriou, C.H., Talwar, K.: The Complexity of Pure Nash Equilibria. In: STOC (2004)Google Scholar
  3. 3.
    Fortnow, L., Impagliazzo, R., Kabanets, V., Umans, C.: On the complexity of succinct zero-sum games. In: IEEE Conference on Computational Complexity (2005)Google Scholar
  4. 4.
    Kakade, S., Kearns, M., Langford, J., Ortiz, L.: Correlated Equilibria in Graphical Games. In: ACM Conference on Electronic Commerce (2003)Google Scholar
  5. 5.
    Kearns, M., Littman, M., Singh, S.: Graphical Models for Game Theory. In: UAI (2001)Google Scholar
  6. 6.
    Lewis, H., Papadimitriou, C.H.: Elements of the Theory of Computation. Prentice-Hall, Englewood Cliffs (1981)MATHGoogle Scholar
  7. 7.
    Lipton, R.J., Markakis, E.: Nash Equilibria via Polynomial Equations. In: Farach-Colton, M. (ed.) LATIN 2004. LNCS, vol. 2976, pp. 413–422. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Nash, J.: Noncooperative games. Annals of Mathematics 54, 289–295 (1951)CrossRefMathSciNetGoogle Scholar
  9. 9.
    Papadimitriou, C.H.: Algorithms, Games, and the Internet. In: STOC (2001)Google Scholar
  10. 10.
    Papadimitriou, C.H.: Computing correlated equilibria in multiplayer games. In: STOC (2005)Google Scholar
  11. 11.
    Papadimitriou, C.H.: On the Complexity of the Parity Argument and Other Inefficient Proofs of Existence. J. Comput. Syst. Sci. 48(3) (1994)Google Scholar
  12. 12.
    Papadimitriou, C.H., Roughgarden, T.: Computing equilibria in multiplayer games. In: SODA (2005)Google Scholar
  13. 13.
    Renegar, J.: On the Computational Complexity and Geometry of the First-Order Theory of the Reals, I, II, III. J. Symb. Comput., 13(3) (1992)Google Scholar
  14. 14.
    Roughgarden, T., Tardos, E.: How bad is selfish routing? J. ACM, 49(2) (2002)Google Scholar
  15. 15.
    Savani, R., von Stengel, B.: Exponentially many steps for finding a Nash equilibrium in a bimatrix game. In: FOCS (2004)Google Scholar
  16. 16.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Konstantinos Daskalakis
    • 1
  • Christos H. Papadimitriou
    • 1
  1. 1.Computer Science DivisionUC BerkeleyBerkeley

Personalised recommendations