Semi-random process without replacement

TL;DR

This paper studies a semi-random graph process without replacement, where a decision-maker aims to achieve properties like connectivity by adaptively connecting vertices, and determines the typical number of rounds needed.

Contribution

It introduces a no-replacement variant of a semi-random process and analyzes the number of rounds needed to achieve various graph properties, including an analysis of an urn model.

Findings

Determines the typical rounds needed for k-connectivity

Establishes bounds for minimum degree at least k

Analyzes an urn model of independent interest

Abstract

Semi-random processes involve an adaptive decision-maker, whose goal is to achieve some pre-determined objective in an online randomized environment. We introduce and study a semi-random multigraph process, which forms a no-replacement variant of the process that was introduced by Ben-Eliezer, Hefetz, Kronenberg, Parczyk, Shikhelman and Stojakovi\'c (2020). The process starts with an empty graph on the vertex set $[n]$. For every positive integers $q$ and $1\leq r\leq n$, in the $((q-1)n+r)$th round of the process, the decision-maker, called \emph{Builder}, is offered the vertex $\pi_q(r)$, where $\pi_1, \pi_2, \ldots$ is a sequence of permutations in $S_n$, chosen independently and uniformly at random. Builder then chooses an additional vertex (according to a strategy of his choice) and connects it by an edge to $\pi_q(r)$. For several natural graph properties, such as $k$-connectivity, minimum degree at least $k$, and building a given spanning graph (labeled or unlabeled), we determine the typical number of rounds Builder needs in order to construct a graph having the desired property. Along the way we introduce and analyze an urn model which may also have independent interest.