arXiv++ Combinatorics

We introduce and study two Maker-Breaker-like games for constructing planar graphs: the edge drawing game, where two players take turns drawing non-intersecting edges between points in the plane, and the circle packing game, where the players take turns placing disjoint circles in the plane. Both games produce planar graphs: the edge drawing game results in a plane graph drawing, and the circle packing game yields a planar graph via the contact graph of the packing. For both games, we give necessary conditions under which a given planar graph can be constructed. We also show that the two games are indeed different by giving a class of graphs which can be constructed in one but not the other.

We study the Levine hat problem, a classic combinatorial puzzle introduced by Lionel Levine in 2010. This problem involves a game in which $n \geq 2$ players, each seeing an infinite stack of hats on each of their teammates' heads but not on their own, must simultaneously guess the index of a black hat on their own stack. If one of the players fails to do so, the team loses collectively. The players must therefore come up with a good strategy before the game starts. While the optimal winning probability $V_{n}$ remains unknown even for $n=2$, we make three key advances. First, we develop a novel geometric framework for representing strategies through measurable functions, providing a new expression of $V_{n}$ and a unified treatment of the game for finite and for infinite stacks via integral formulations. Secondly, we construct a new strategy $K_{5}$ that reaches the conjectured optimal probability of victory : $0.35$. We also show that $K_{5}$ is part of a larger class of strategies that allow us to improve current bounds and resolve conjectured inequalities. Finally, we introduce and entirely solve a continuous generalization of the problem, demonstrating that extending to uncountable hat stacks increases the optimal winning probability to exactly $1/2$. This generalization naturally leads to a broader and smoother strategic framework, within which we also describe how to compute optimal responses to a range of strategies.

Given a convex $n$-gon $P$ and a positive integer $m$ such that $3\le m\le n-1$, let $Q$ denote the largest area convex $m$-gon contained in $P$. We are interested in the minimum value of $Δ(Q)/Δ(P)$, the ratio of the areas of these two polygons. More precisely, given positive integers $n$ and $m$, with $3 \le m \le n-1$, define \begin{equation*} f_n(m)=\min_{P\in \mathcal {P}_n} \max_{Q \subset P,|Q|=m} \frac{Δ(Q)}{Δ(P)} \end{equation*} where the maximum is taken over all $m$-gons contained in $P$, and the minimum is taken over $\mathcal{P}_n$, the entire class of convex $n$-gons. The values of $f_4(3)$, $f_5(4)$ and $f_6(3)$ are known. In this paper we compute the values of $f_5(3)$, $f_6(5)$ and $f_6(4)$. In addition, we prove that for all $n\ge 6$ we have \begin{equation*} \frac{4}{n}\cdot\sin^2\left(\fracπ{n}\right)\le 1-f_n(n-1)\le \min\left(\frac{1}{n}, \frac{4}{n}\cdot\sin^2\left(\frac{2π}{n}\right)\right). \end{equation*} These bounds can be used to improve the known estimates for $f_n(m)$.