arXiv++ Combinatorics

The hat guessing number $HG(G)$ of a graph is defined by the following game: each player is placed on a vertex and assigned a hat with one of $k$ colors. Each vertex can see only the hat color of the other vertices it is connected to in $G$. All vertices guess, simultaneously, the color of their own hat. The hat guessing number $HG(G)$ is the largest $k$ such that the players can guarantee that at least one of them guesses correctly. In this paper, we show a general bound on the hat guessing number of a graph $G$ as a function of its order $n$ and its maximum degree $Δ$. This is the first nontrivial upper bound on $HG(G)$ as a function of $Δ$ and $n$ when $Δ\geq \frac{n}{e}$. From this result we also obtain that the hat guessing number of the random graph $G_{n,1/2}$ is at most asymptotically $cn$ for $c\sim 0.809$, and that graphs with maximum degrees of $ (1-\varepsilon )n$ for fixed $\varepsilon>0$ cannot have $HG(G)=(1-o(1))n$.

A covering of a digraph $D$ by Hamilton cycles is a collection of directed Hamilton cycles (not necessarily edge-disjoint) that together cover all the edges of $D$. We prove that for $1/2 \geq p\geq \frac{\log^{20} n}{n}$, the random digraph $D_{n,p}$ typically admits an optimal Hamilton cycle covering. Specifically, the edges of $D_{n,p}$ can be covered by a family of $t$ Hamilton cycles, where $t$ is the maximum of the the in-degree and out-degree of the vertices in $D_{n,p}$. Notably, $t$ is the best possible bound, and our assumption on $p$ is optimal up to a polylogarithmic factor.

Let $G$ be a graph with $m$ edges and let $f$ be a bijection from $E(G)$ to $\{1,2, \dots, m\}$. For any vertex $v$, denote by $φ_f(v)$ the sum of $f(e)$ over all edges $e$ incident to $v$. If $φ_f(v) \neq φ_f(u)$ holds for any two distinct vertices $u$ and $v$, then $f$ is called an {\it antimagic labeling} of $G$. We call $G$ {\it antimagic} if such a labeling exists. Hartsfield and Ringel in 1991 conjectured that all connected graphs except $P_2$ are antimagic. Denote the disjoint union of graphs $G$ and $H$ by $G \cup H$, and the disjoint union of $t$ copies of $G$ by $tG$. For an antimagic graph $G$ (connected or disconnected), we define the parameter $τ(G)$ to be the maximum integer such that $G \cup tP_3$ is antimagic for all $t \leq τ(G)$. Chang, Chen, Li, and Pan showed that for all antimagic graphs $G$, $τ(G)$ is finite [Graphs and Combinatorics 37 (2021), 1065--1182]. Further, Shang, Lin, Liaw [Util. Math. 97 (2015), 373--385] and Li [Master Thesis, National Chung Hsing University, Taiwan, 2019] found the exact value of $τ(G)$ for special families of graphs: star forests and balanced double stars respectively. They did this by finding explicit antimagic labelings of $G\cup tP_3$ and proving a tight upper bound on $τ(G)$ for these special families. In the present paper, we generalize their results by proving an upper bound on $τ(G)$ for all graphs. For star forests and balanced double stars, this general bound is equivalent to the bounds given in \cite{star forest} and \cite{double star} and tight. In addition, we prove that the general bound is also tight for every other graph we have studied, including an infinite family of jellyfish graphs, cycles $C_n$ where $3 \leq n \leq 9$, and the double triangle $2C_3$.