English

On saturation games

Combinatorics 2015-05-29 v3

Abstract

A graph G=(V,E)G = (V,E) is said to be saturated with respect to a monotone increasing graph property P{\mathcal P}, if GPG \notin {\mathcal P} but G{e}PG \cup \{e\} \in {\mathcal P} for every e(V2)Ee \in \binom{V}{2} \setminus E. The saturation game (n,P)(n, {\mathcal P}) is played as follows. Two players, called Mini and Max, progressively build a graph GKnG \subseteq K_n, which does not satisfy P{\mathcal P}. Starting with the empty graph on nn vertices, the two players take turns adding edges e(V(Kn)2)E(G)e \in \binom{V(K_n)}{2} \setminus E(G), for which G{e}PG \cup \{e\} \notin {\mathcal P}, until no such edge exists (i.e. until GG becomes P{\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,P)s(n, {\mathcal P}), is the number of edges in GG 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 kk-connected, having chromatic number at least kk, 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\'an 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.

Keywords

Cite

@article{arxiv.1406.2111,
  title  = {On saturation games},
  author = {Dan Hefetz and Michael Krivelevich and Alon Naor and Miloš Stojaković},
  journal= {arXiv preprint arXiv:1406.2111},
  year   = {2015}
}
R2 v1 2026-06-22T04:33:48.709Z