Backward Induction Is PTIME-complete

  • Jakub Szymanik
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8196)


We prove that the computational problem of finding backward induction outcome is PTIME-complete.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Szymanik, J., Meijering, B., Verbrugge, R.: Using intrinsic complexity of turn-taking games to predict participants’ reaction times. In: Knauff, M., Pauen, M., Sebanz, N., Wachsmuth, I. (eds.) Proceedings of the 35th Annual Conference of the Cognitive Science Society, pp. 1426–1432. Cognitive Science Society, Austin (2013)Google Scholar
  2. 2.
    van Benthem, J., Gheerbrant, A.: Game solution, epistemic dynamics and fixed-point logics. Fundamenta Informaticae 100(1-4), 19–41 (2010)MathSciNetMATHGoogle Scholar
  3. 3.
    Immerman, N.: Descriptive Complexity. Texts in Computer Science. Springer, New York (1998)Google Scholar
  4. 4.
    Immerman, N.: Number of quantifiers is better than number of tape cells. Journal of Computer and System Sciences 22(3), 384–406 (1981)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. J. ACM 28(1), 114–133 (1981)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Greenlaw, R., Hoover, J.H., Ruzzo, W.L.: Limits to Parallel Computation: P-Completeness Theory. Oxford University Press, USA (1995)MATHGoogle Scholar
  7. 7.
    Osborne, M.J., Rubinstein, A.: A Course in Game Theory. The MIT Press, Cambridge (1994)MATHGoogle Scholar
  8. 8.
    Edmonds, J.: Paths, trees, and flowers. Canadian Journal of Mathematics 17, 449–467 (1965)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Frixione, M.: Tractable competence. Minds and Machines 11(3), 379–397 (2001)CrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Jakub Szymanik
    • 1
  1. 1.Institute of Logic Language and ComputationUniversity of AmsterdamThe Netherlands

Personalised recommendations