🤖 AI Summary
This paper addresses the exact computation of all evolutionarily stable strategies (ESS) in nondegenerate normal-form games with three or more players. Overcoming the limitation of existing methods—restricted to two-player games—we propose the first general algorithmic framework for ESS identification. Leveraging the strict definition of ESS and the nondegeneracy assumption, we reformulate ESS verification as the joint solution of finitely many linear complementarity problems (LCPs). Our method performs a systematic enumeration of all possible pure-strategy support sets, coupled with symbolic feasibility verification, enabling complete and globally exhaustive ESS enumeration—without requiring initial guesses or convergence assumptions. Experiments across diverse classes of multiplayer games demonstrate the algorithm’s precision, computational efficacy, and robustness. To our knowledge, this is the first scalable, exact computational foundation for analyzing strategy stability in multi-agent systems.
📝 Abstract
We present an algorithm for computing all evolutionarily stable strategies in nondegenerate normal-form games with three or more players.