The Computational Complexity of Single-Player Imperfect-Recall Games
- URL: http://arxiv.org/abs/2305.17805v1
- Date: Sun, 28 May 2023 19:41:25 GMT
- Title: The Computational Complexity of Single-Player Imperfect-Recall Games
- Authors: Emanuel Tewolde, Caspar Oesterheld, Vincent Conitzer, Paul W. Goldberg
- Abstract summary: We study extensive-form games with imperfect recall, such as the Sleeping Beauty problem or the Absent Driver game.
For such games, two natural equilibrium concepts have been proposed as alternative solution concepts to ex-ante optimality.
- Score: 37.550554344575
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We study single-player extensive-form games with imperfect recall, such as
the Sleeping Beauty problem or the Absentminded Driver game. For such games,
two natural equilibrium concepts have been proposed as alternative solution
concepts to ex-ante optimality. One equilibrium concept uses generalized double
halving (GDH) as a belief system and evidential decision theory (EDT), and
another one uses generalized thirding (GT) as a belief system and causal
decision theory (CDT). Our findings relate those three solution concepts of a
game to solution concepts of a polynomial maximization problem: global optima,
optimal points with respect to subsets of variables and Karush-Kuhn-Tucker
(KKT) points. Based on these correspondences, we are able to settle various
complexity-theoretic questions on the computation of such strategies. For
ex-ante optimality and (EDT,GDH)-equilibria, we obtain NP-hardness and
inapproximability, and for (CDT,GT)-equilibria we obtain CLS-completeness
results.
Related papers
- Barriers to Welfare Maximization with No-Regret Learning [68.66209476382213]
We prove lower bounds for computing a near-optimal $T$-sparse CCE.
In particular, we show that the inapproximability of maximum clique precludes attaining any non-trivial sparsity in time.
arXiv Detail & Related papers (2024-11-04T00:34:56Z) - Imperfect-Recall Games: Equilibrium Concepts and Their Complexity [74.01381499760288]
We investigate optimal decision making under imperfect recall, that is, when an agent forgets information it once held before.
In the framework of extensive-form games with imperfect recall, we analyze the computational complexities of finding equilibria in multiplayer settings.
arXiv Detail & Related papers (2024-06-23T00:27:28Z) - Global Nash Equilibrium in Non-convex Multi-player Game: Theory and
Algorithms [66.8634598612777]
We show that Nash equilibrium (NE) is acceptable to all players in a multi-player game.
We also show that no one can benefit unilaterally from the general theory step by step.
arXiv Detail & Related papers (2023-01-19T11:36:50Z) - Optimal Correlated Equilibria in General-Sum Extensive-Form Games: Fixed-Parameter Algorithms, Hardness, and Two-Sided Column-Generation [78.48747645545944]
We study the problem of finding optimal correlated equilibria of various sorts in extensive-form games.
We introduce a new algorithm for computing optimal equilibria in all three notions.
arXiv Detail & Related papers (2022-03-14T15:21:18Z) - Equilibrium Design for Concurrent Games [5.9873770241999]
In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved.
We study the design of incentives so that a desirable equilibrium is obtained, for instance, an equilibrium satisfying a given temporal logic property.
As an application, equilibrium design can be used as an alternative solution to the rational synthesis and verification problems for concurrent games.
arXiv Detail & Related papers (2021-06-18T15:45:45Z) - Multi-Agent Training beyond Zero-Sum with Correlated Equilibrium Meta-Solvers [21.462231105582347]
We propose an algorithm for training agents in n-player, general-sum extensive form games, which provably converges to an equilibrium.
We also suggest correlated equilibria (CE) as promising meta-solvers, and propose a novel solution concept Gini Correlated Equilibrium (MGCE)
We conduct several experiments using CE meta-solvers for JPSRO and demonstrate convergence on n-player, general-sum games.
arXiv Detail & Related papers (2021-06-17T12:34:18Z) - Hindsight and Sequential Rationality of Correlated Play [18.176128899338433]
We look at algorithms that ensure strong performance in hindsight relative to what could have been achieved with modified behavior.
We develop and advocate for this hindsight framing of learning in general sequential decision-making settings.
We present examples illustrating the distinct strengths and weaknesses of each type of equilibrium in the literature.
arXiv Detail & Related papers (2020-12-10T18:30:21Z) - Polynomial-Time Computation of Optimal Correlated Equilibria in
Two-Player Extensive-Form Games with Public Chance Moves and Beyond [107.14897720357631]
We show that an optimal correlated equilibrium can be computed in time in two-player games with public chance moves.
This results in the biggest positive complexity result surrounding extensive-form correlation in more than a decade.
arXiv Detail & Related papers (2020-09-09T14:51:58Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.