A Catalog of EXISTS-R-Complete Decision Problems About Nash Equilibria in Multi-Player Games

摘要

[Schaefer and Stefankovic, Theory of Computing Systems, 2015] provided an explicit formulation of EXISTS-R as the class capturing the complexity of deciding the Existential Theory of the Reals, and established that deciding, given a 3-player game, whether