On Pure Nash Equilibria in Stochastic Games

  • Ankush Das
  • Shankara Narayanan Krishna
  • Lakshmi ManasaEmail author
  • Ashutosh Trivedi
  • Dominik Wojtczak
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9076)


Ummels and Wojtczak initiated the study of finding Nash equilibria in simple stochastic multi-player games satisfying specific bounds. They showed that deciding the existence of pure-strategy Nash equilibria (pureNE) where a fixed player wins almost surely is undecidable for games with \(9\) players. They also showed that the problem remains undecidable for the finite-strategy Nash equilibrium (finNE) with \(14\) players. In this paper we improve their undecidability results by showing that pureNE and finNE problems remain undecidable for \(5\) or more players.


Stochastic games Nash equilibrium Pure strategy Finite-state strategy 


  1. 1.
    Baier, C., Größer, M., Leucker, M., Bollig, B., Ciesinski, F.: Probabilistic controller synthesis. In: International Conference on Theoretical Computer Science, IFIP TCS 2004, pp. 493–506. Kluwer Academic Publishers (2004)Google Scholar
  2. 2.
    Bouyer, P., Markey, N., Stan, D.: Mixed Nash equilibria in concurrent games. In: FSTTCS (to appear, 2014)Google Scholar
  3. 3.
    Chatterjee, K., Majumdar, R., Jurdziński, M.: On nash equilibria in stochastic games. In: Marcinkowski, J., Tarlecki, A. (eds.) CSL 2004. LNCS, vol. 3210, pp. 26–40. Springer, Heidelberg (2004) CrossRefGoogle Scholar
  4. 4.
    Chen, X., Deng, X., Teng, S.-H.: Settling the complexity of computing two-player Nash equilibria. J. ACM 56(3), 1–57 (2009)CrossRefMathSciNetGoogle Scholar
  5. 5.
    Condon, A.: On algorithms for simple stochastic games. Adv. Comput. Complex. Theor. 13, 51–73 (1993)MathSciNetGoogle Scholar
  6. 6.
    Conitzer, V., Sandholm, T.: Complexity results about Nash equilibria. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence, IJCAI 2003, pp. 765–771. Morgan Kaufmann (2003)Google Scholar
  7. 7.
    Daskalakis, C., Goldberg, P.W., Papadimitriou, C.H.: The complexity of computing a Nash equilibrium. SIAM J. Comput. 39(1), 195–259 (2009)CrossRefzbMATHMathSciNetGoogle Scholar
  8. 8.
    Nash, J.F.: Equilibrium points in \({N}\)-person games. Proc. National Acad. Sci. USA 36, 48–49 (1950)CrossRefzbMATHMathSciNetGoogle Scholar
  9. 9.
    Neyman, A., Sorin, S. (eds.): Stochastic Games and Applications. NATO Science Series C, vol. 570. Springer, Berlin (2003)zbMATHGoogle Scholar
  10. 10.
    Ummels, M.: The complexity of Nash equilibria in infinite multiplayer games. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol. 4962, pp. 20–34. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  11. 11.
    Ummels, M., Wojtczak, D.: The complexity of Nash equilibria in simple stochastic multiplayer games. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009, Part II. LNCS, vol. 5556, pp. 297–308. Springer, Heidelberg (2009) CrossRefGoogle Scholar
  12. 12.
    Ummels, M., Wojtczak, D.: The complexity of Nash equilibria in limit-average games. In: Katoen, J.-P., König, B. (eds.) CONCUR 2011. LNCS, vol. 6901, pp. 482–496. Springer, Heidelberg (2011) CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Ankush Das
    • 1
  • Shankara Narayanan Krishna
    • 1
  • Lakshmi Manasa
    • 1
    Email author
  • Ashutosh Trivedi
    • 1
  • Dominik Wojtczak
    • 2
  1. 1.Department of Computer Science and EngineeringIIT BombayMumbaiIndia
  2. 2.Department of Computer ScienceThe University of LiverpoolLiverpoolUK

Personalised recommendations