English
Related papers

Related papers: Tree universality in positional games

200 papers

Games on graphs provide a natural and powerful model for reactive systems. In this paper, we consider generalized reachability objectives, defined as conjunctions of reachability objectives. We first prove that deciding the winner in such…

Computational Complexity · Computer Science 2012-02-06 Nathanaël Fijalkow , Florian Horn

Motivated by the problem of routing reliably and scalably in a graph, we introduce the notion of a splicer, the union of spanning trees of a graph. We prove that for any bounded-degree n-vertex graph, the union of two random spanning trees…

Discrete Mathematics · Computer Science 2008-07-10 Navin Goyal , Luis Rademacher , Santosh Vempala

We study connections between expansion in bipartite graphs and efficient online matching modeled via several games. In the basic game, an opponent switches {\em on} and {\em off} nodes on the left side and, at any moment, at most $K$ nodes…

Data Structures and Algorithms · Computer Science 2024-07-09 Bruno Bauwens , Marius Zimand

We consider a dynamic model for competition in a social network, where two strategic agents have fixed beliefs and the non-strategic/regular agents adjust their states according to a distributed consensus protocol. We suppose that one…

Social and Information Networks · Computer Science 2021-05-06 M. Bini , P. Frasca , C. Ravazzi , F. Dabbene

For a finite set $X$, a family of sets ${\mathcal F} \subseteq 2^X$ and a positive integer $q$, we consider two types of two player, perfect information games with no chance moves. In each round of the $(1 : q)$ Waiter-Client game $(X,…

Combinatorics · Mathematics 2015-10-15 Dan Hefetz , Michael Krivelevich , Wei En Tan

We consider games played on finite graphs, whose goal is to obtain a trace belonging to a given set of winning traces. We focus on those states from which Player 1 cannot force a win. We explore and compare several criteria for establishing…

Computer Science and Game Theory · Computer Science 2008-11-12 Marco Faella

The following general variant of deterministic Hats game is analyzed. Several sages wearing colored hats occupy the vertices of a graph, the $k$-th sage can have hats of one of $h(k)$ colors. Each sage tries to guess the color of his own…

Combinatorics · Mathematics 2021-03-23 Konstantin Kokhas , Aleksei Latyshev , Vadim Retinsky

We study two-player positional games where Maker and Breaker take turns to select a previously unoccupied number in $\{1,2,\ldots,n\}$. Maker wins if the numbers selected by Maker contain a solution to the equation \[…

Combinatorics · Mathematics 2024-06-26 Collier Gaiser , Paul Horn

The game of cops and robbers is played on a fixed (finite or infinite) graph $G$. The cop chooses his starting position, then the robber chooses his. After that, they take turns and move to adjacent vertices, or stay at their current…

Combinatorics · Mathematics 2025-07-31 Tomáš Flídr , Maria-Romina Ivan

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

The $k$-cap (or $k$-winners-take-all) process on a graph works as follows: in each iteration, exactly $k$ vertices of the graph are in the cap (i.e., winners); the next round winners are the vertices that have the highest total degree to…

Probability · Mathematics 2022-11-16 Mirabel Reid , Santosh S. Vempala

We analyze the duration of the unbiased Avoider-Enforcer game for three basic positional games. All the games are played on the edges of the complete graph on $n$ vertices, and Avoider's goal is to keep his graph outerplanar, diamond-free…

Combinatorics · Mathematics 2009-10-26 János Barát , Miloš Stojaković

We study the Localization game on locally finite graphs trees, where each of the countably many vertices have finite degree. In contrast to the finite case, we construct a locally finite tree with localization number $n$ for any choice of…

Combinatorics · Mathematics 2024-04-04 Anthony Bonato , Florian Lehner , Trent G. Marbach , JD Nir

In the graph sharing game, two players share a connected graph $G$ with non-negative weights assigned to the vertices, claiming and collecting the vertices of $G$ one by one, while keeping the set of all claimed vertices connected through…

Combinatorics · Mathematics 2017-04-21 Adam Gągol , Piotr Micek , Bartosz Walczak

The Maker-Breaker total domination number, $\gamma_{\rm MBT}(G)$, of a graph $G$ is introduced as the minimum number of moves of Dominator to win the Maker-Breaker total domination game, provided that he has a winning strategy and is the…

Combinatorics · Mathematics 2025-07-24 Athira Divakaran , Tijo James , Sandi Klavžar , Latha S Nair

In the Maker-Breaker vertex colouring game, first publicised by Gardner in 1981, Maker and Breaker alternately colour vertices of a graph using a fixed palette, maintaining a proper colouring at all times. Maker aims to colour the whole…

Combinatorics · Mathematics 2024-11-11 Lawrence Hollom

We consider biased $(1:b)$ Avoider-Enforcer games in the monotone and strict versions. In particular, we show that Avoider can keep his graph being a forest for every but maybe the last round of the game if $b \geq 200 n \ln n$. By this we…

Combinatorics · Mathematics 2015-03-12 Dennis Clemens , Julia Ehrenmüller , Yury Person , Tuan Tran

We consider random-turn positional games, introduced by Peres, Schramm, Sheffield and Wilson in 2007. A $p$-random-turn positional game is a two-player game, played the same as an ordinary positional game, except that instead of alternating…

Combinatorics · Mathematics 2014-08-26 Asaf Ferber , Michael Krivelevich , Gal Kronenberg

We study a patrolling game played on a network $Q$, considered as a metric space. The Attacker chooses a point of $Q$ (not necessarily a node) to attack during a chosen time interval of fixed duration. The Patroller chooses a unit speed…

Discrete Mathematics · Computer Science 2022-09-16 Steve Alpern , Thuy Bui , Thomas Lidbetter , Katerina Papadaki

We prove that chess played on the infinite chessboard $\mathbb{Z}^2$ with infinitely many pieces is as powerful as it could possibly be, by showing that every open Gale-Stewart game with draws is strategically equivalent to some infinite…

Logic · Mathematics 2026-02-17 Matthew Bolan , Andreas Tsevas