English
Related papers

Related papers: Perfect Information Hearthstone is PSPACE-hard

200 papers

In imperfect information games, the evaluation of a game state not only depends on the observable world but also relies on hidden parts of the environment. As accessing the obstructed information trivialises state evaluations, one approach…

Artificial Intelligence · Computer Science 2024-07-15 Timo Bertram , Johannes Fürnkranz , Martin Müller

We prove that Strings-and-Coins -- the combinatorial two-player game generalizing the dual of Dots-and-Boxes -- is strongly PSPACE-complete on multigraphs. This result improves the best previous result, NP-hardness, argued in Winning Ways.…

Computational Complexity · Computer Science 2023-10-27 Erik D. Demaine , Jenny Diomidova

Go gaming is a struggle between adversaries, black and white simple stones, and aim to control the most Go board territory for success. Rules are simple but Go game fighting is highly intricate. Stones placement and interaction on board is…

Artificial Intelligence · Computer Science 2018-03-19 Didier Barradas-Bautista , Matías Alvarado

People have made remarkable progress in game AIs, especially in domain of perfect information game. However, trick-taking poker game, as a popular form of imperfect information game, has been regarded as a challenge for a long time. Since…

Computer Science and Game Theory · Computer Science 2021-02-16 Naichen Shi , Ruichen Li , Sun Youran

The New York Times (NYT) games have found widespread popularity in recent years and reportedly account for an increasing fraction of the newspaper's readership. In this paper, we bring the computational lens to the study of New York Times…

Computational Complexity · Computer Science 2025-09-16 Alessandro Giovanni Alberti , Flavio Chierichetti , Mirko Giacchini , Daniele Muscillo , Alessandro Panconesi , Erasmo Tani

Iterated admissibility is a well-known and important concept in classical game theory, e.g. to determine rational behaviors in multi-player matrix games. As recently shown by Berwanger, this concept can be soundly extended to infinite games…

Computer Science and Game Theory · Computer Science 2014-01-24 Romain Brenguier , Jean-François Raskin , Mathieu Sassolas

Simple stochastic games are turn-based 2.5-player zero-sum graph games with a reachability objective. The problem is to compute the winning probability as well as the optimal strategies of both players. In this paper, we compare the three…

Computer Science and Game Theory · Computer Science 2022-07-21 Jan Kretinsky , Emanuel Ramneantu , Alexander Slivinskiy , Maximilian Weininger

This paper proves that arrangement of music is NP-hard when subject to various constraints: avoiding musical dissonance, limiting how many notes can be played simultaneously, and limiting transition speed between chords. These results imply…

Computational Complexity · Computer Science 2016-07-15 William S. Moses , Erik D. Demaine

The complexity class $PSPACE$ includes all computational problems that can be solved by a classical computer with polynomial memory. All $PSPACE$ problems are known to be solvable by a quantum computer too with polynomial memory and are,…

Computational Complexity · Computer Science 2023-06-27 Shibdas Roy

We study the following combinatorial game played by two players, Alice and Bob, which generalizes the Pizza game considered by Brown, Winkler and others. Given a connected graph G with nonnegative weights assigned to its vertices, the…

Discrete Mathematics · Computer Science 2013-08-07 Josef Cibulka , Jan Kynčl , Viola Mészáros , Rudolf Stolař , Pavel Valtr

We study the problem of computing stationary Nash equilibria in discounted perfect information stochastic games from the viewpoint of computational complexity. For two-player games we prove the problem to be in PPAD, which together with a…

Computer Science and Game Theory · Computer Science 2025-10-14 Kristoffer Arnsfelt Hansen , Xinhao Nie

We investigate the complexity of finding a winning strategy for the mis\`ere version of three games played on graphs : two variants of the game $\text{NimG}$, introduced by Stockmann in 2004 and the game $\text{Vertex Geography}$ on both…

Discrete Mathematics · Computer Science 2015-05-05 Gabriel Renault , Simon Schmidt

We study the complexity of problems related to subgame-perfect equilibria (SPEs) in infinite duration non zero-sum multiplayer games played on finite graphs with parity objectives. We present new complexity results that close gaps in the…

Computer Science and Game Theory · Computer Science 2022-04-22 Léonard Brice , Marie van den Bogaard , Jean-François Raskin

Reachability games are two-player games played on a graph, where the objective of $\texttt{REACH}$ player is to reach the target set whereas the objective of $\texttt{SAFE}$ player is to stay away from the target set. Reachability games…

Artificial Intelligence · Computer Science 2026-05-12 Krishnendu Chatterjee , Ehsan Kafshdar Goharshady , Mehrdad Karrabi , Maximilian Seeliger , Đorđe Žikelić

Graph games provide the foundation for modeling and synthesizing reactive processes. In the synthesis of stochastic reactive processes, the traditional model is perfect-information stochastic games, where some transitions of the game graph…

Logic in Computer Science · Computer Science 2016-04-22 Krishnendu Chatterjee , Laurent Doyen

We consider the one-person game of peg solitaire played on a computer. Two popular board shapes are the 33-hole cross-shaped board, and the 15-hole triangle board---we use them as examples throughout. The basic game begins from a full board…

Combinatorics · Mathematics 2014-11-07 George I. Bell

State-of-the-art methods for solving 2-player zero-sum imperfect information games rely on linear programming or regret minimization, though not on dynamic programming (DP) or heuristic search (HS), while the latter are often at the core of…

Artificial Intelligence · Computer Science 2022-10-27 Aurélien Delage , Olivier Buffet , Jilles S. Dibangoye , Abdallah Saffidine

The basis of the method proposed in this article is the idea that information is one of the most important factors in strategic decisions, including decisions in computer chess and other strategy games. The model proposed in this article…

Artificial Intelligence · Computer Science 2015-03-19 Alexandru Godescu

If the influence diagram (ID) depicting a Bayesian game is common knowledge to its players then additional assumptions may allow the players to make use of its embodied irrelevance statements. They can then use these to discover a simpler…

Computer Science and Game Theory · Computer Science 2017-04-10 Peter A. Thwaites , Jim Q. Smith

Consider QBF, the Quantified Boolean Formula problem, as a combinatorial game ruleset. The problem is rephrased as determining the winner of the game where two opposing players take turns assigning values to boolean variables. In this…

Computational Complexity · Computer Science 2014-12-31 Kyle Burke