PSPACE suffices for deciding nash equilibria properties for extensive games with large trees

We study the computational complexity of deciding the existence of a Pure Nash Equilibrium or a subgame perfect equilibrium with a given payoff and other related problems in finite multi-player extensive games with perfect information. We first propose three way of representing a game with different...

Descripción completa

Detalles Bibliográficos
Autores: Álvarez Faura, M. del Carme|||0000-0003-2352-0546, Gabarró Vallès, Joaquim|||0000-0003-3771-2813, Serna Iglesias, María José|||0000-0001-9729-8648
Tipo de recurso: informe técnico
Fecha de publicación:2005
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/85635
Acceso en línea:https://hdl.handle.net/2117/85635
Access Level:acceso abierto
Palabra clave:Extensive games
Pure nash equilibria
Subgame perfect nash equilibria
PSPACE
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Descripción
Sumario:We study the computational complexity of deciding the existence of a Pure Nash Equilibrium or a subgame perfect equilibrium with a given payoff and other related problems in finite multi-player extensive games with perfect information. We first propose three way of representing a game with different degrees of succinctness for the components of the game. We show that when the number of moves of each player is large and the player function and the utilities are represented succinctly the considered problems are PSPACE-complete. In contraposition, when the game is described extensively by means of its associated tree all the problems are decidable in polynomial time.