English
Related papers

Related papers: Turning Tiles is PSPACE-complete

200 papers

Game theory is usually considered applied mathematics, but a few game-theoretic results, such as Borel determinacy, were developed by mathematicians for mathematics in a broad sense. These results usually state determinacy, i.e. the…

Logic · Mathematics 2014-05-09 Stéphane Le Roux

Can a probabilistic gambler get arbitrarily rich when all deterministic gamblers fail? We study this problem in the context of algorithmic randomness, introducing a new notion -- almost everywhere computable randomness. A binary sequence…

Logic · Mathematics 2021-12-09 Laurent Bienvenu , Valentino Delle Rose , Tomasz Steifer

In this paper, we provide an effective characterization of all the subgame-perfect equilibria in infinite duration games played on finite graphs with mean-payoff objectives. To this end, we introduce the notion of requirement, and the…

Computer Science and Game Theory · Computer Science 2024-02-14 Léonard Brice , Marie van den Bogaard , Jean-François Raskin

In cooperative game theory, the social configurations of players are modeled by balanced collections. The Bondareva-Shapley theorem, perhaps the most fundamental theorem in cooperative game theory, characterizes the existence of solutions…

Computer Science and Game Theory · Computer Science 2024-06-25 Dylan Laplace Mermoud , Pierre Popoli

We introduce a new class of totally balanced cooperative TU games, namely p -additive games. It is inspired by the class of inventory games that arises from inventory situations with temporary discounts (Toledo, 2002) and contains the class…

Computer Science and Game Theory · Computer Science 2024-02-08 Ana Meca , Luis A. Guardiola , Andrés Toledo

Milley and Renault proved an interesting characterisation of invertible elements in the dead-ending universe: they are the games with no subpositions of outcome $\mathscr{P}$ (the '$\mathscr{P}$-free' games). We generalise their approach to…

Combinatorics · Mathematics 2025-06-06 Alfie Davies , Sarah Miller , Rebecca Milley

Classical game theory treats players as special---a description of a game contains a full, explicit enumeration of all players---even though in the real world, "players" are no more fundamentally special than rocks or clouds. It isn't…

Artificial Intelligence · Computer Science 2015-08-19 Benja Fallenstein , Jessica Taylor , Paul F. Christiano

In the same sense as classical logic is a formal theory of truth, the recently initiated approach called computability logic is a formal theory of computability. It understands (interactive) computational problems as games played by a…

Logic in Computer Science · Computer Science 2011-04-15 Giorgi Japaridze

The theory of combinatorial game (like board games) and the theory of social games (where one looks for Nash equilibria) are normally considered as two separate theories. Here we shall see what comes out of combining the ideas. The central…

Probability · Mathematics 2010-05-28 Peter Harremoes

This paper investigates the popular card game UNO from the viewpoint of algorithmic combinatorial game theory. We define simple and concise mathematical models for the game, including both cooperative and uncooperative versions, and analyze…

Discrete Mathematics · Computer Science 2013-12-03 Erik D. Demaine , Martin L. Demaine , Nicholas J. A. Harvey , Ryuhei Uehara , Takeaki Uno , Yushi Uno

Game theory is used by all behavioral sciences, but its development has long centered around tools for relatively simple games and toy systems, such as the economic interpretation of equilibrium outcomes. Our contribution, compositional…

Computer Science and Game Theory · Computer Science 2023-03-13 Seth Frey , Jules Hedges , Joshua Tan , Philipp Zahn

Consider a very simple class of (finite) games: after an initial move by nature, each player makes one move. Moreover, the players have common interests: at each node, all the players get the same payoff. We show that the problem of…

Computer Science and Game Theory · Computer Science 2007-05-23 Francis Chu , Joseph Y. Halpern

We study so-called invariant games played with a fixed number $d$ of heaps of matches. A game is described by a finite list $\mathcal{M}$ of integer vectors of length $d$ specifying the legal moves. A move consists in changing the current…

Computational Complexity · Computer Science 2012-02-06 Urban Larsson , Johan Wästlund

The transitivity of preferences is one of the basic assumptions used in the theory of games and decisions. It is often equated with rationality of choice and is considered useful in building rankings. Intransitive preferences are considered…

Quantum Physics · Physics 2015-06-23 Marcin Makowski , Edward W. Piotrowski , Jan Sładkowski

The reversible pebble game is a combinatorial game played on rooted DAGs. This game was introduced by Bennett (1989) motivated by applications in designing space efficient reversible algorithms. Recently, Chan (2013) showed that the…

Computational Complexity · Computer Science 2016-04-20 Balagopal Komarath , Jayalal Sarma , Saurabh Sawlani

Using coalgebraic methods, we extend Conway's theory of games to possibly non-terminating, i.e. non-wellfounded games (hypergames). We take the view that a play which goes on forever is a draw, and hence rather than focussing on winning…

Logic in Computer Science · Computer Science 2015-07-01 Furio Honsell , Marina Lenisa

Infinite chess is chess played on an infinite edgeless chessboard. The familiar chess pieces move about according to their usual chess rules, and each player strives to place the opposing king into checkmate. The mate-in-n problem of…

Logic · Mathematics 2012-05-17 Dan Brumleve , Joel David Hamkins , Philipp Schlicht

We define a new impartial combinatorial game, Flag Coloring, based on flood filling. We then generalize to a graph game, and find values for many positions on two colors. We demonstrate that the generalized game is PSPACE-complete for two…

Combinatorics · Mathematics 2022-12-22 Kyle Burke , Craig Tennenhouse

We define an all-small ruleset, Bipass, within the framework of normal-play combinatorial games. A game is played on finite strips of black and white stones. Stones of different colors are swapped provided they do not bypass one of their…

Combinatorics · Mathematics 2020-07-24 Urban Larsson , Richard J. Nowakowski

We study the parameterized complexity of several positional games. Our main result is that Short Generalized Hex is W[1]-complete parameterized by the number of moves. This solves an open problem from Downey and Fellows' influential list of…

Computational Complexity · Computer Science 2017-04-28 Édouard Bonnet , Serge Gaspers , Antonin Lambilliotte , Stefan Rümmele , Abdallah Saffidine