Covering Complete Geometric Graphs by Monotone Paths
This work addresses the problem of partitioning geometric graph edges into crossing-free structures, providing improved bounds for random point sets and tight lower bounds for worst-case configurations.
The paper studies covering the edges of a complete geometric graph on n points with crossing-free monotone paths. For random point sets, they achieve O(n log n) paths and O(n sqrt(log n)) matchings with high probability, while for some point sets a quadratic number of monotone paths is necessary.
Given a set $A$ of $n$ points (vertices) in general position in the plane, the \emph{complete geometric graph} $K_n[A]$ consists of all $\binom{n}{2}$ segments (edges) between the elements of $A$. It is known that the edge set of every complete geometric graph on $n$ vertices can be partitioned into $O(n^{3/2})$ crossing-free paths (or matchings). We strengthen this result under various additional assumptions on the point set. In particular, we prove that for a set $A$ of $n$ \emph{randomly} selected points, uniformly distributed in $[0,1]^2$, with probability tending to $1$ as $n\rightarrow\infty$, the edge set of $K_n[A]$ can be covered by $O(n\log n)$ crossing-free paths and by $O(n\sqrt{\log n})$ crossing-free matchings. On the other hand, we construct $n$-element point sets such that covering the edge set of $K_n[A]$ requires a quadratic number of monotone paths.