arXiv++ Combinatorics

We study biased Maker-Breaker games on a graph system $\{G_1,\ldots,G_s\}$, in which Maker's goal is to claim certain rainbow structures, i.e., specified subgraphs consisting of at most one edge from each graph $G_i$. We consider the rainbow-connectivity game, in which Maker wants to claim a rainbow path between every pair of vertices. We analyse this game in detail, essentially determining the threshold bias when played on the system of complete graphs, and observing that whether the random graph intuition holds depends on the size of $s$. The key ingredient of our result is the analysis of a Maker's strategy that combines several randomized strategies with an appropriately designed balancing game. As a byproduct, we find the order of the threshold bias for the Maker-Breaker diameter game, and disprove a conjecture by Balogh, Martin and Pluhár. Another natural and general way to analyse Maker-Breaker games that are played on a colored board is to require Maker to occupy a rainbow winning set of a given positional game. In the case of the connectivity game, Maker's goal is to claim a rainbow spanning tree. For this game played on the system of complete graphs, we establish matching upper and lower bounds on the threshold bias, up to constant factors.

We study a variant of the classical Cops and Robbers game with one cop and one robber, in which the cop follows a fixed walk on the graph, a patrol, that is chosen before the game begins, while the robber is omniscient, he knows the entire patrol in advance. A capture occurs when the robber comes within a given radius of capture of the cop. This model arises naturally at the intersection of recent work on limited-visibility games and offline versions of pursuit-evasion problems. By $\tildeρ{(G)}$ we denote the minimum radius of capture that the cop must have to always capture the robber on $G$ in this setting, under optimal play, where $G$ is a connected graph. We initiate a systematic study of this parameter for several graph classes. We determine the exact value of $\tildeρ{(G)}$ for trees, establish upper and lower bounds for grids, and analyze the parameter for various families of chordal graphs, including interval graphs and caterpillars. Along the way, we develop general tools and structural results that may be of independent interest for the study of pursuit-evasion games with predetermined patrols and limited information.

We introduce a general framework for positional games in which players score points by claiming a prescribed portion of each winning set, extending the notion of scoring Maker-Breaker games. In the scoring variant, Maker gains a point by fully claiming a winning set, while Breaker aims to minimize Maker's total score. In this paper, we generalize these models for all k-uniform positional games by fixing an integer threshold s in {1,2,..., k} so that a player scores a point whenever she claims at least s elements of a winning set of size k. We refer to this class as s-of-k games. Such formulation allows for a flexible description of scoring objectives that appear in both theoretical models and real-life board games. We further investigate the impact of strategy restrictions on the achievable score. In particular, we analyze s-of-k games both under optimal play, where the score is denoted by SC, and under the additional constraint that Maker is restricted to a pairing strategy. The corresponding score in this setting is denoted by SC_2. While the unrestricted score captures the standard notion of optimal play in scoring positional games, the pairing-restricted score allows us to observe Maker's loss incurred by limiting her to these standard strategies. We comprehensively study s-of-k games played on regular grids, which provide a natural and uniform setting for illustrating the general framework. After developing several general tools for the analysis of both scores, we complement them by a number of ad-hoc strategies tailored for particular cases of these games, to obtain both upper and lower bounds for the two scores on triangular, square, rhombus and hexagonal grids.

Consider the budget-constrained random graph process introduced by Frieze, Krivelevich and Michaeli, where each time an edge is offered through the (standard) random graph process we must irrevocably decide whether to "purchase" this edge or not, with our goal being to construct a graph which satisfies some property within a given time $t$ and while purchasing at most $b$ edges. We consider the problem of constructing graphs containing certain fixed small subgraphs. We provide an optimal strategy for building a graph which contains a copy of $K_4$, showing that budget $b=ω(\max\{n^8/t^5,n^2/t\})$ suffices and that if $b=o(\max\{n^8/t^5,n^2/t\})$ then no strategy can a.a.s. produce a graph containing a copy of $K_4$. This resolves a problem raised by Iľkovič, León and Shu. More generally, we obtain analogously tight results for containing a wheel of any fixed size, or a graph consisting of a tree plus one additional universal vertex. We also tackle the problem of constructing graphs containing a copy of $K_5$, obtaining both lower and upper bounds on the optimal budget, though a gap remains in this case.

We initiate the study of the phantom version of Maker-Breaker positional games. In a phantom game, the moves of one of the players are hidden from the other player, who still has the complete information. We look at the biased $(a:b)$ Maker-PhantomBreaker games where the board is the edge set of the complete graph on $n$ vertices, $K_n$, and Maker has no information about PhantomBreaker's choices of edges. We give randomized strategies for both players in four classical games: connectivity game, perfect matching game, mindegree-$k$ game and Hamiltonicity game. In particular, we focus on characterizing all biases $(a:b)$ for which Maker wins asymptotically almost surely.

A predominated graph is a pair $(G,D)$, where $G$ is a graph and the vertices in $D\subseteq V(G)$ are considered already dominated. Maker-Breaker domination game critical (MBD critical) predominated graphs are introduced as the predominated graphs $(G,D)$ on which Staller wins the game, but Dominator wins on $(G, D \cup \{v\})$ for every vertex $v \in V(G) \setminus D$. Tools are developed for handling the Maker-Breaker domination game on trees which lead to a characterization of Staller-win predominated trees. MBD critical predominated trees are characterized and an algorithm is designed which verifies in linear time whether a given predominated tree is MBD critical. A large class of MBD critical predominated cacti is presented and Maker-Breaker critical hypergraphs constructed.

We propose a generalization of positional games, supplementing them with a restriction on the order in which the elements of the board are allowed to be claimed. We introduce poset positional games, which are positional games with an additional structure -- a poset on the elements of the board. Throughout the game play, based on this poset and the set of the board elements that are claimed up to that point, we reduce the set of available moves for the player whose turn it is -- an element of the board can only be claimed if all the smaller elements in the poset are already claimed. We proceed to analyse these games in more detail, with a prime focus on the most studied convention, the Maker-Breaker games. First we build a general framework around poset positional games. Then, we perform a comprehensive study of the complexity of determining the game outcome, conditioned on the structure of the family of winning sets on the one side and the structure of the poset on the other.

We study the following game version of the generalized graph Turán problem. For two fixed graphs F and H, two players, Max and Mini, alternately claim unclaimed edges of the complete graph Kn such that the graph G of the claimed edges must remain F-free throughout the game. The game ends when no further edges can be claimed, i.e. when G becomes F-saturated. The H-score of the game is the number of copies of H in G. Max aims to maximize the H-score, while Mini wants to minimize it. The H-score of the game when both players play optimally is denoted by s1(n, #H, F) when Max starts, and by s2(n, #H, F) when Mini starts. We study these values for several natural choices of F and H.

We study a variant of the Cops and Robbers game on graphs in which the robbers damage the visited vertices, aiming to maximize the number of damaged vertices. For that game with one cop against $s$ robbers a conjecture was made by Carlson, Halloran and Reinhart that the cop can save three vertices from being damaged as soon as the maximum degree of the base graph is at least $\binom{s}{2} + 2$. We are able to verify the conjecture and prove that it is tight once we add the assumption that the base graph is triangle free. We also study the game without that assumption, disproving the conjecture in full generality and further attempting to locate the smallest maximum degree of a base graph which guarantees that the cop can save three vertices against $s$ robbers. We show that this number is between $2\binom{s}{2} - 3$ and $2\binom{s}{2} + 1$. Furthermore, after the game has been previously studied with one cop and multiple robbers, as well as with one robber and multiple cops, we initiate the study of the game with two cops and two robbers. In the case when the base graph is a cycle we determine the exact number of damaged vertices. Additionally, when the base graph is a path we provide bounds that differ by an additive constant.

In an Avoider-Enforcer game, we are given a hypergraph. Avoider and Enforcer alternate in claiming an unclaimed vertex, until all the vertices of the hypergraph are claimed. Enforcer wins if Avoider claims all vertices of an edge; Avoider wins otherwise. We show that it is NP-hard to decide if Avoider has a winning strategy.

We study the following game version of the generalized graph Turán problem. For two fixed graphs $F$ and $H$, two players, Constructor and Blocker, alternately claim unclaimed edges of the complete graph $K_n$. Constructor can only claim edges so that he never claims all edges of any copy of $F$, i.e. his graph must remain $F$-free, while Blocker can claim unclaimed edges without restrictions. The game ends when Constructor cannot claim further edges or when all edges have been claimed. The score of the game is the number of copies of $H$ with all edges claimed by Constructor. Constructor's aim is to maximize the score, while Blocker tries to keep the score as low as possible. We denote by $g(n,H,F)$ the score of the game when both players play optimally and Constructor starts the game. In this paper, we obtain the exact value of $g(n,H,F)$ when both $F$ and $H$ are stars and when $F=P_4$, $H=P_3$. We determine the asymptotics of $g(n,H,F)$ when $F$ is a star and $H$ is a tree and when $F=P_5$, $H=K_3$, and we derive upper and lower bounds on $g(n,P_4,P_5)$.

We introduce a new positional game called `Toucher-Isolator', which is a quantitative version of a Maker-Breaker type game. The playing board is the set of edges of a given graph G, and the two players, Toucher and Isolator, claim edges alternately. The aim of Toucher is to `touch' as many vertices as possible (i.e. to maximise the number of vertices that are incident to at least one of her chosen edges), and the aim of Isolator is to minimise the number of vertices that are so touched. We analyse the number of untouched vertices u(G) at the end of the game when both Toucher and Isolator play optimally, obtaining results both for general graphs and for particularly interesting classes of graphs, such as cycles, paths, trees, and k-regular graphs. We also provide tight examples.

We introduce and study a novel semi-random multigraph process, described as follows. The process starts with an empty graph on $n$ vertices. In every round of the process, one vertex $v$ of the graph is picked uniformly at random and independently of all previous rounds. We then choose an additional vertex (according to a strategy of our choice) and connect it by an edge to $v$. For various natural monotone increasing graph properties $P$, we prove tight upper and lower bounds on the minimum (extended over the set of all possible strategies) number of rounds required by the process to obtain, with high probability, a graph that satisfies $P$. Along the way, we show that the process is general enough to approximate (using suitable strategies) several well-studied random graph models.

We look at the unbiased Maker-Breaker Hamiltonicity game played on the edge set of a complete graph $K_n$, where Maker's goal is to claim a Hamiltonian cycle. First, we prove that, independent of who starts, Maker can win the game for $n = 8$ and $n = 9$. Then we use an inductive argument to show that, independent of who starts, Maker can win the game if and only if $n \geq 8$. This, in particular, resolves in the affirmative the long-standing conjecture of Papaioannou. We also study two standard positional games related to Hamiltonicity game. For Hamiltonian Path game, we show that Maker can claim a Hamiltonian path if and only if $n \geq 5$, independent of who starts. Next, we look at Fixed Hamiltonian Path game, where the goal of Maker is to claim a Hamiltonian path between two predetermined vertices. We prove that if Maker starts the game, he wins if and only if $n \geq 7$, and if Breaker starts, Maker wins if and only if $n \geq 8$. Using this result, we are able to improve the previously best upper bound on the smallest number of edges a graph on $n$ vertices can have, knowing that Maker can win the Maker-Breaker Hamiltonicity game played on its edges. To resolve the outcomes of the mentioned games on small (finite) boards, we devise algorithms for efficiently searching game trees and then obtain our results with the help of a computer.

We study the biased $(1:b)$ Maker--Breaker positional games, played on the edge set of the complete graph on $n$ vertices, $K_n$. Given Breaker's bias $b$, possibly depending on $n$, we determine the bounds for the minimal number of moves, depending on $b$, in which Maker can win in each of the two standard graph games, the Perfect Matching game and the Hamilton Cycle game.

A graph $G = (V,E)$ is said to be saturated with respect to a monotone increasing graph property ${\mathcal P}$, if $G \notin {\mathcal P}$ but $G \cup \{e\} \in {\mathcal P}$ for every $e \in \binom{V}{2} \setminus E$. The saturation game $(n, {\mathcal P})$ is played as follows. Two players, called Mini and Max, progressively build a graph $G \subseteq K_n$, which does not satisfy ${\mathcal P}$. Starting with the empty graph on $n$ vertices, the two players take turns adding edges $e \in \binom{V(K_n)}{2} \setminus E(G)$, for which $G \cup \{e\} \notin {\mathcal P}$, until no such edge exists (i.e. until $G$ becomes ${\mathcal P}$-saturated), at which point the game is over. Max's goal is to maximize the length of the game, whereas Mini aims to minimize it. The score of the game, denoted by $s(n, {\mathcal P})$, is the number of edges in $G$ at the end of the game, assuming both players follow their optimal strategies. We prove lower and upper bounds on the score of games in which the property the players need to avoid is being $k$-connected, having chromatic number at least $k$, and admitting a matching of a given size. In doing so we demonstrate that the score of certain games can be as large as the Turán number or as low as the saturation number of the respective graph property. We also demonstrate that the score might strongly depend on the identity of the first player to move.

We study the Maker-Breaker $H$-game played on the edge set of the random graph $G_{n,p}$. In this game two players, Maker and Breaker, alternately claim unclaimed edges of $G_{n,p}$, until all the edges are claimed. Maker wins if he claims all the edges of a copy of a fixed graph $H$; Breaker wins otherwise. In this paper we show that, with the exception of trees and triangles, the threshold for an $H$-game is given by the threshold of the corresponding Ramsey property of $G_{n,p}$ with respect to the graph $H$.

In a Maker-Breaker game on a graph $G$, Breaker and Maker alternately claim edges of $G$. Maker wins if, after all edges have been claimed, the graph induced by his edges has some desired property. We consider four Maker-Breaker games played on random geometric graphs. For each of our four games we show that if we add edges between $n$ points chosen uniformly at random in the unit square by order of increasing edge-length then, with probability tending to one as $n\to\infty$, the graph becomes Maker-win the very moment it satisfies a simple necessary condition. In particular, with high probability, Maker wins the connectivity game as soon as the minimum degree is at least two; Maker wins the Hamilton cycle game as soon as the minimum degree is at least four; Maker wins the perfect matching game as soon as the minimum degree is at least two and every edge has at least three neighbouring vertices; and Maker wins the $H$-game as soon as there is a subgraph from a finite list of "minimal graphs". These results also allow us to give precise expressions for the limiting probability that $G(n,r)$ is Maker-win in each case, where $G(n,r)$ is the graph on $n$ points chosen uniformly at random on the unit square with an edge between two points if and only if their distance is at most $r$.

For every $k>3$, we give a construction of planar point sets with many collinear $k$-tuples and no collinear $(k+1)$-tuples. We show that there are $n_0=n_0(k)$ and $c=c(k)$ such that if $n\geq n_0$, then there exists a set of $n$ points in the plane that does not contain $k+1$ points on a line, but it contains at least $n^{2-\frac{c}{\sqrt{\log n}}}$ collinear $k$-tuples of points. Thus, we significantly improve the previously best known lower bound for the largest number of collinear $k$-tuples in such a set, and get reasonably close to the trivial upper bound $O(n^2)$.

In this paper we study the (a : b) Maker-Breaker Connectivity game, played on the edge-set of the complete graph on n vertices. We determine the winner for almost all values of a and b.