English
Related papers

Related papers: Turning Tiles is PSPACE-complete

200 papers

In this paper we introduce polytopal stochastic games, an extension of two-player, zero-sum, turn-based stochastic games, in which we may have uncertainty over the transition probabilities. In these games the uncertainty over the…

Logic in Computer Science · Computer Science 2025-02-26 Pablo F. Castro , Pedro D'Argenio

The class of totally balanced games is a class of transferable-utility coalitional games providing important models of cooperative behavior used in mathematical economics. They coincide with market games of Shapley and Shubik and every…

Combinatorics · Mathematics 2021-03-01 Tomáš Kroupa , Milan Studený

In this paper, we consider $\mathcal{L}\mathcal{R}$-ending partisan rulesets as a branch of combinatorial game theory. In these rulesets, the sets of options of both players are the same. However, there are two kinds of terminal positions.…

Combinatorics · Mathematics 2025-11-19 Hiroki Inazu , Shun-ichi Kimura , Koki Suetsugu

Game theory is the standard tool used to model strategic interactions in evolutionary biology and social science. Traditional game theory studies the equilibria of simple games. But is traditional game theory applicable if the game is…

Chaotic Dynamics · Physics 2011-09-22 Tobias Galla , J. Doyne Farmer

Poset games are a class of combinatorial game that remain unsolved. Soltys and Wilson proved that computing wining strategies is in \textbf{PSPACE} and aside from special cases such as Nim and N-Free games, \textbf{P} time algorithms for…

Combinatorics · Mathematics 2021-01-26 Alexander Clow , Stephen Finbow

We study two positional games played on hypergraphs, whose edges may be interpreted as winning sets. Two players take turns picking a previously unpicked vertex of the hypergraph. We say a player fills an edge if that player has picked all…

Discrete Mathematics · Computer Science 2026-04-14 Florian Galliot

We study the complexity of solving two-player infinite duration games played on a fixed finite graph, where the control of a node is not predetermined but rather assigned randomly. In classic random-turn games, control of each node is…

Computer Science and Game Theory · Computer Science 2026-01-13 Sarvin Bahmani , Rasmus Ibsen-Jensen , Soumyajit Paul , Sven Schewe , Friedrich Slivovsky , Qiyi Tang , Dominik Wojtczak , Shufang Zhu

The class of passable games was recently introduced by Selinger as a class of combinatorial games that are suitable for modelling monotone set coloring games such as Hex. In a monotone set coloring game, the players alternately color the…

Combinatorics · Mathematics 2025-06-03 Eric Demer , Peter Selinger , Kyle Wang

The concept of nimbers--a.k.a. Grundy-values or nim-values--is fundamental to combinatorial game theory. Nimbers provide a complete characterization of strategic interactions among impartial games in their disjunctive sums as well as the…

Computational Complexity · Computer Science 2022-02-24 Kyle Burke , Matthew Ferland , Shanghua Teng

This short survey of recent work in tile self-assembly discusses the use of simulation to classify and separate the computational and expressive power of self-assembly models. The journey begins with the result that there is a single…

Computational Geometry · Computer Science 2013-09-06 Damien Woods

Cooperative games are an important class of problems in game theory, where the goal is to distribute a value among a set of players who are allowed to cooperate by forming coalitions. An outcome of the game is given by an allocation vector…

Computer Science and Game Theory · Computer Science 2019-06-07 Zhuan Khye Koh , Laura Sanità

Games are natural models for multi-agent machine learning settings, such as generative adversarial networks (GANs). The desirable outcomes from algorithmic interactions in these games are encoded as game theoretic equilibrium concepts, e.g.…

Computer Science and Game Theory · Computer Science 2022-02-25 Gabriel P. Andrade , Rafael Frongillo , Georgios Piliouras

We investigate multi-round team competitions between two teams, where each team selects one of its players simultaneously in each round and each player can play at most once. The competition defines an extensive-form game with perfect…

Computer Science and Game Theory · Computer Science 2016-02-25 Kai Jin , Pingzhong Tang , Shiteng Chen

In Combinatorial Game Theory, short game forms are defined recursively over all the positions the two players are allowed to move to. A form is decomposable if it can be expressed as a disjunctive sum of two forms with smaller birthday. If…

Combinatorics · Mathematics 2023-06-13 Michael Fisher , Neil A. McKay , Rebecca Milley , Richard J. Nowakowski , Carlos P. Santos

A general position set of a graph $G$ is a set of vertices $S$ in $G$ such that no three vertices from $S$ lie on a common shortest path. In this paper we introduce and study the general position achievement game. The game is played on a…

Combinatorics · Mathematics 2021-11-16 Sandi Klavžar , Neethu P. K. , Ullas Chandran S.

In set theory without the axiom of regularity, we consider a game in which two players choose in turn an element of a given set, an element of this element, etc.; a player wins if its adversary cannot make any next move. Sets that are…

Logic · Mathematics 2007-05-23 Denis I. Saveliev

The game of Paintbucket was recently introduced by Amundsen and Erickson. It is played on a rectangular grid of black and white pixels. The players alternately fill in one of their opponent's connected components with their own color, until…

Combinatorics · Mathematics 2024-12-02 Ethan J. Saunders , Peter Selinger

This paper studies a large class of two-player perfect-information turn-based parity games on infinite graphs, namely those generated by collapsible pushdown automata. The main motivation for studying these games comes from the connections…

Formal Languages and Automata Theory · Computer Science 2020-10-14 Christopher H. Broadbent , Arnaud Carayol , Matthew Hague , Andrzej S. Murawski , C. -H. Luke Ong , Olivier Serre

We show that the Minesweeper game is PP-hard, when the object is to locate all mines with the highest probability. When the probability of locating all mines may be infinitesimal, the Minesweeper game is even PSPACE-complete. In our…

Computational Complexity · Computer Science 2012-04-23 Michiel de Bondt

Temporal graphs are a popular modelling mechanism for dynamic complex systems that extend ordinary graphs with discrete time. Simply put, time progresses one unit per step and the availability of edges can change with time. We consider the…

Logic in Computer Science · Computer Science 2024-01-30 Pete Austin , Sougata Bose , Patrick Totzke