Sharp Thresholds in Adaptive Random Graph Processes
share
Suppose that K_n is the complete graph on vertex set [n], and is a distribution on subsets of its edges. The π-adaptive random graph process (or π-process) is a single player game in which the player is initially presented the empty graph on [n]. In each step, a subset of edges of K_n, say X, is independently sampled from π and presented to the player. The player then adaptively selects precisely one edge e from X, and adds e to its current graph. For a fixed (edge) monotone graph property, the objective of the player is to force the graph to satisfy the property in as few steps as possible. Through appropriate choices of π, the π-process generalizes well-studied adaptive processes, such as the Achlioptas process and the semi-random graph process. We prove a theorem which gives a sufficient condition for the existence of a sharp threshold for the property π« in the π-process. We apply our theorem to the semi-random graph process and prove the existence of a sharp threshold when π« corresponds to being Hamiltonian or to containing a perfect matching. These are the first results for the semi-random graph process which show the existence of a sharp threshold when π« corresponds to containing a sparse spanning graph. Using a separate analytic argument, we show that each sharp threshold is of the form C_π«n for some fixed constant C_π«>0. This answers two of the open problems proposed by Ben-Eliezer et al. (SODA 2020) in the affirmative. Unlike similar results which establish sharp thresholds for certain distributions and properties, we establish the existence of sharp thresholds without explicitly identifying asymptotically optimal strategies.
READ FULL TEXT
