International Journal of Game Theory manuscript No. (will be inserted by the editor) The Computational Complexity of Evolutionarily Stable Strategies K. Etessami1, A. Lochbihler2 1 Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Edinburgh EH9 3JZ, Scotland, UK, e-mail:
[email protected] 2 Fakult¨at f¨ur Mathematik und Informatik, Universit¨at Passau, 94030 Passau, Germany, e-mail:
[email protected] The date of receipt and acceptance will be inserted by the editor Abstract The concept of evolutionarily stable strategies (ESS) has been cen- tral to applications of game theory in evolutionary biology, and it has also had an influence on the modern development of game theory. A regular ESS is an im- portant refinement the ESS concept. Although there is a substantial literature on computing evolutionarily stable strategies, the precise computational complexity of determining the existence of an ESS in a symmetric two-player strategic form game has remained open, though it has been speculated that the problem is NP- hard. In this paper we show that determining the existence of an ESS is both NP- Σp hard and coNP-hard, and that the problem is contained in 2 , the second level of the polynomial time hierarchy. We also show that determining the existence of a regular ESS is indeed NP-complete. Our upper bounds also yield algorithms for computing a (regular) ESS, if one exists, with the same complexities. Key words computational complexity – game theory – evolutionarily stable stra- tegies – evolutionary biology – Nash equilibria 1 Introduction Game theoretic methods have been applied for a long time to study phenomena in evolutionary biology, most systematically since the pioneering work of May- nard Smith in the 1970’s and 80’s ([SP73,May82]).