English
Related papers

Related papers: A Game for the Resolution of Singularities

200 papers

We define a new escape game in graphs that we call Nemesis. The game is played on a graph having a subset of vertices labeled as exits and the goal of one of the two players, called the fugitive, is to reach one of these exit vertices. The…

Data Structures and Algorithms · Computer Science 2026-01-21 Pierre Bergé , Antoine Dailly , Yan Gerard

This paper examines two different variants of the Ludo game, involving multiple dice and a fixed number of total turns. Within each variant, multiple game lengths (total no. of turns) are considered. To compare the two variants, a set of…

Computer Science and Game Theory · Computer Science 2024-11-12 Tathagata Banerjee , Diganta Mukherjee

In this paper we formulate the homogeneous two- and three-dimensional self-reconfiguration problem over discrete grids as a constrained potential game. We develop a game-theoretic learning algorithm based on the Metropolis-Hastings…

Multiagent Systems · Computer Science 2015-09-03 Daniel Pickem , Magnus Egerstedt , Jeff S. Shamma

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ć

Two-player games on graphs are widely studied in formal methods as they model the interaction between a system and its environment. The game is played by moving a token throughout a graph to produce an infinite path. There are several…

Logic in Computer Science · Computer Science 2019-06-10 Guy Avni , Thomas A. Henzinger , Ventsislav Chonev

Infinite games where several players seek to coordinate under imperfect information are deemed to be undecidable, unless the information is hierarchically ordered among the players. We identify a class of games for which joint winning…

Computer Science and Game Theory · Computer Science 2015-07-29 Dietmar Berwanger , Anup Basil Mathew

In a decision problem, observations are said to be material if they must be taken into account to perform optimally. Decision problems have an underlying (graphical) causal structure, which may sometimes be used to evaluate certain…

Other Statistics · Statistics 2024-07-16 Ryan Carey , Sanghack Lee , Robin J. Evans

Dynamic complexity is concerned with updating the output of a problem when the input is slightly changed. We study the dynamic complexity of two-player parity games over graphs of bounded tree-width, where updates may add or delete edges,…

Computational Complexity · Computer Science 2016-10-04 Patricia Bouyer , Vincent Jugé , Nicolas Markey

We prove new theoretical results about several variations of the cop and robber game on graphs. First, we consider a variation of the cop and robber game which is more symmetric called the cop and killer game. We prove for all $c < 1$ that…

Discrete Mathematics · Computer Science 2017-11-01 Espen Slettnes , Carl Joshua Quines , Shen-Fu Tsai , Jesse Geneson

We consider multi-player graph games with partial-observation and parity objective. While the decision problem for three-player games with a coalition of the first and second players against the third player is undecidable, we present a…

Logic in Computer Science · Computer Science 2014-04-23 Krishnendu Chatterjee , Laurent Doyen

We study zero-sum games, a variant of the classical combinatorial Subtraction games (studied for example in the monumental work "Winning Ways", by Berlekamp, Conway and Guy), called Cumulative Subtraction (CS). Two players alternate in…

Combinatorics · Mathematics 2020-02-14 Gal Cohensius , Urban Larsson , Reshef Meir , David Wahlstedt

We investigate game-theoretic variants of cardinal invariants of the continuum. The invariants we treat are the reaping number $\mathfrak{r}$, the bounding number $\mathfrak{b}$, the dominating number $\mathfrak{d}$, and the additivity…

Logic · Mathematics 2024-12-03 Jorge Antonio Cruz Chapital , Tatsuya Goto , Yusuke Hayashi

The total domination game is a two-person competitive optimization game, where the players, Dominator and Staller, alternately select vertices of an isolate-free graph $G$. Each vertex chosen must strictly increase the number of vertices…

Combinatorics · Mathematics 2017-06-06 Csilla Bujtás

We introduce CUT, the class of 2-player partition games. These are NIM type games, played on a finite number of heaps of beans. The rules are given by a set of positive integers, which specifies the number of allowed splits a player can…

Combinatorics · Mathematics 2026-04-17 Antoine Dailly , Eric Duchene , Urban Larsson , Gabrielle Paris

The Strong Ramsey game $\mathcal{R}(B,G)$ is a two player game with players $P_1$ and $P_2$, where $B$ and $G$ are $k$-uniform hypergraphs for some $k \geq 2$. $G$ is always finite, while $B$ may be infinite. $P_1$ and $P_2$ alternately…

Combinatorics · Mathematics 2026-05-29 Nathan Bowler , Henri Ortmüller

In this paper we investigate a differential game in which countably many dynamical objects pursue a single one. All the players perform simple motions. The duration of the game is fixed. The controls of a group of pursuers are subject to…

Optimization and Control · Mathematics 2014-10-10 Mehdi Salimi , Gafurjan Ibragimov , Stefan Siegmund , Somayeh Sharifi

We continue the investigation of finite-duration variants of infinite-duration games by extending known results for games played on finite graphs to those played on infinite ones. In particular, we establish an equivalence between pushdown…

Computer Science and Game Theory · Computer Science 2012-10-10 Wladimir Fridman , Martin Zimmermann

Competition among cooperators, defectors, and loners is studied in an evolutionary prisoner's dilemma game with optional participation. Loners are risk averse i.e. unwilling to participate and rather rely on small but fixed earnings. This…

Disordered Systems and Neural Networks · Physics 2009-11-07 Gyorgy Szabo , Christoph Hauert

We study two-player concurrent stochastic games on finite graphs, with B\"uchi and co-B\"uchi objectives. The goal of the first player is to maximize the probability of satisfying the given objective. Following Martin's determinacy theorem…

Computer Science and Game Theory · Computer Science 2022-11-28 Benjamin Bordais , Patricia Bouyer , Stéphane Le Roux

We consider two-player games over finite graphs in which both players are restricted by fairness constraints on their moves. Given a two player game graph $G=(V,E)$ and a set of fair moves $E_f\subseteq E$ a player is said to play "fair" in…

Computer Science and Game Theory · Computer Science 2026-05-12 Daniel Hausmann , Nir Piterman , Irmak Sağlam , Anne-Kathrin Schmuck