-
No Selection Lemma for Empty Triangles
Authors:
Ruy Fabila-Monroy,
Carlos Hidalgo-Toscano,
Daniel Perz,
Birgit Vogtenhuber
Abstract:
Let $S$ be a set of $n$ points in general position in the plane. The Second Selection Lemma states that for any family of $Θ(n^3)$ triangles spanned by $S$, there exists a point of the plane that lies in a constant fraction of them. For families of $Θ(n^{3-α})$ triangles, with $0\le α\le 1$, there might not be a point in more than $Θ(n^{3-2α})$ of those triangles. An empty triangle of $S$ is a tri…
▽ More
Let $S$ be a set of $n$ points in general position in the plane. The Second Selection Lemma states that for any family of $Θ(n^3)$ triangles spanned by $S$, there exists a point of the plane that lies in a constant fraction of them. For families of $Θ(n^{3-α})$ triangles, with $0\le α\le 1$, there might not be a point in more than $Θ(n^{3-2α})$ of those triangles. An empty triangle of $S$ is a triangle spanned by $S$ not containing any point of $S$ in its interior. Bárány conjectured that there exist an edge spanned by $S$ that is incident to a super constant number of empty triangles of $S$. The number of empty triangles of $S$ might be $O(n^2)$; in such a case, on average, every edge spanned by $S$ is incident to a constant number of empty triangles. The conjecture of Bárány suggests that for the class of empty triangles the above upper bound might not hold. In this paper we show that, somewhat surprisingly, the above upper bound does in fact hold for empty triangles. Specifically, we show that for any integer $n$ and real number $0\leq α\leq 1$ there exists a point set of size $n$ with $Θ(n^{3-α})$ empty triangles such that any point of the plane is only in $O(n^{3-2α})$ empty triangles.
△ Less
Submitted 2 October, 2022;
originally announced October 2022.
-
Nearest-Neighbor Decompositions of Drawings
Authors:
Jonas Cleve,
Nicolas Grelier,
Kristin Knorr,
Maarten Löffler,
Wolfgang Mulzer,
Daniel Perz
Abstract:
Let $\mathcal{D}$ be a set of straight-line segments in the plane, potentially crossing, and let $c$ be a positive integer. We denote by $P$ the union of the endpoints of the straight-line segments of $\mathcal{D}$ and of the intersection points between pairs of segments. We say that $\mathcal{D}$ has a nearest-neighbor decomposition into $c$ parts if we can partition $P$ into $c$ point sets…
▽ More
Let $\mathcal{D}$ be a set of straight-line segments in the plane, potentially crossing, and let $c$ be a positive integer. We denote by $P$ the union of the endpoints of the straight-line segments of $\mathcal{D}$ and of the intersection points between pairs of segments. We say that $\mathcal{D}$ has a nearest-neighbor decomposition into $c$ parts if we can partition $P$ into $c$ point sets $P_1, \ldots, P_c$ such that $\mathcal{D}$ is the union of the nearest neighbor graphs on $P_1, \ldots, P_c$. We show that it is NP-complete to decide whether $\mathcal{D}$ can be drawn as the union of $c\geq 3$ nearest-neighbor graphs, even when no two segments cross. We show that for $c = 2$, it is NP-complete in the general setting and polynomial-time solvable when no two segments cross. We show the existence of an $O(\log n)$-approximation algorithm running in subexponential time for partitioning $\mathcal{D}$ into a minimum number of nearest-neighbor graphs.
As a main tool in our analysis, we establish the notion of the conflict graph for a drawing $\mathcal{D}$. The vertices of the conflict graph are the connected components of $\mathcal{D}$, with the assumption that each connected component is the nearest neighbor graph of its vertices, and there is an edge between two components $U$ and $V$ if and only if the nearest neighbor graph of $U \cup V$ contains an edge between a vertex in $U$ and a vertex in $V$. We show that string graphs are conflict graphs of certain planar drawings. For planar graphs and complete $k$-partite graphs, we give additional, more efficient constructions. We furthermore show that there are subdivisions of non-planar graphs that are not conflict graphs. Lastly, we show a separator lemma for conflict graphs.
△ Less
Submitted 5 September, 2022;
originally announced September 2022.
-
Finding a Battleship of Uncertain Shape
Authors:
Eva-Maria Hainzl,
Maarten Löffler,
Daniel Perz,
Josef Tkadlec,
Markus Wallinger
Abstract:
Motivated by a game of Battleship, we consider the problem of efficiently hitting a ship of an uncertain shape within a large playing board. Formally, we fix a dimension $d\in\{1,2\}$. A ship is a subset of $\mathbb{Z}^d$. Given a family $F$ of ships, we say that an infinite subset $X\subset\mathbb{Z}^d$ of the cells pierces $F$, if it intersects each translate of each ship in $F$ (by a vector in…
▽ More
Motivated by a game of Battleship, we consider the problem of efficiently hitting a ship of an uncertain shape within a large playing board. Formally, we fix a dimension $d\in\{1,2\}$. A ship is a subset of $\mathbb{Z}^d$. Given a family $F$ of ships, we say that an infinite subset $X\subset\mathbb{Z}^d$ of the cells pierces $F$, if it intersects each translate of each ship in $F$ (by a vector in $\mathbb{Z}^d$). In this work, we study the lowest possible (asymptotic) density $π(F)$ of such a piercing subset. To our knowledge, this problem has previously been studied only in the special case $|F|=1$ (a single ship). As our main contribution, we present a formula for $π(F)$ when $F$ consists of 2 ships of size 2 each, and we identify the toughest families in several other cases. We also implement an algorithm for finding $π(F)$ in 1D.
△ Less
Submitted 17 February, 2022;
originally announced February 2022.
-
On Compatible Matchings
Authors:
Oswin Aichholzer,
Alan Arroyo,
Zuzana Masárová,
Irene Parada,
Daniel Perz,
Alexander Pilz,
Josef Tkadlec,
Birgit Vogtenhuber
Abstract:
A matching is compatible to two or more labeled point sets of size $n$ with labels $\{1,\dots,n\}$ if its straight-line drawing on each of these point sets is crossing-free. We study the maximum number of edges in a matching compatible to two or more labeled point sets in general position in the plane. We show that for any two labeled convex sets of $n$ points there exists a compatible matching wi…
▽ More
A matching is compatible to two or more labeled point sets of size $n$ with labels $\{1,\dots,n\}$ if its straight-line drawing on each of these point sets is crossing-free. We study the maximum number of edges in a matching compatible to two or more labeled point sets in general position in the plane. We show that for any two labeled convex sets of $n$ points there exists a compatible matching with $\lfloor \sqrt {2n}\rfloor$ edges. More generally, for any $\ell$ labeled point sets we construct compatible matchings of size $Ω(n^{1/\ell})$. As a corresponding upper bound, we use probabilistic arguments to show that for any $\ell$ given sets of $n$ points there exists a labeling of each set such that the largest compatible matching has ${\mathcal{O}}(n^{2/({\ell}+1)})$ edges. Finally, we show that $Θ(\log n)$ copies of any set of $n$ points are necessary and sufficient for the existence of a labeling such that any compatible matching consists only of a single edge.
△ Less
Submitted 5 September, 2022; v1 submitted 11 January, 2021;
originally announced January 2021.
-
Plane Spanning Trees in Edge-Colored Simple Drawings of $K_n$
Authors:
Oswin Aichholzer,
Michael Hoffmann,
Johannes Obenaus,
Rosna Paul,
Daniel Perz,
Nadja Seiferth,
Birgit Vogtenhuber,
Alexandra Weinberger
Abstract:
Károlyi, Pach, and Tóth proved that every 2-edge-colored straight-line drawing of the complete graph contains a monochromatic plane spanning tree. It is open if this statement generalizes to other classes of drawings, specifically, to simple drawings of the complete graph. These are drawings where edges are represented by Jordan arcs, any two of which intersect at most once. We present two partial…
▽ More
Károlyi, Pach, and Tóth proved that every 2-edge-colored straight-line drawing of the complete graph contains a monochromatic plane spanning tree. It is open if this statement generalizes to other classes of drawings, specifically, to simple drawings of the complete graph. These are drawings where edges are represented by Jordan arcs, any two of which intersect at most once. We present two partial results towards such a generalization. First, we show that the statement holds for cylindrical simple drawings. (In a cylindrical drawing, all vertices are placed on two concentric circles and no edge crosses either circle.) Second, we introduce a relaxation of the problem in which the graph is $k$-edge-colored, and the target structure must be hypochromatic, that is, avoid (at least) one color class. In this setting, we show that every $\lceil (n+5)/6\rceil$-edge-colored monotone simple drawing of $K_n$ contains a hypochromatic plane spanning tree. (In a monotone drawing, every edge is represented as an $x$-monotone curve.)
△ Less
Submitted 20 August, 2020;
originally announced August 2020.
-
Empty Rainbow Triangles in $k$-colored Point Sets
Authors:
Ruy Fabila-Monroy,
Daniel Perz,
Ana Laura Trujillo-Negrete
Abstract:
Let $S$ be a set of $n$ points in general position in the plane. Suppose that each point of $S$ has been assigned one of $k \ge 3$ possible colors and that there is the same number, $m$, of points of each color class. A polygon with vertices on $S$ is empty if it does not contain points of $S$ in its interior; and it is rainbow if all its vertices have different colors. Let $f(k,m)$ be the minimum…
▽ More
Let $S$ be a set of $n$ points in general position in the plane. Suppose that each point of $S$ has been assigned one of $k \ge 3$ possible colors and that there is the same number, $m$, of points of each color class. A polygon with vertices on $S$ is empty if it does not contain points of $S$ in its interior; and it is rainbow if all its vertices have different colors. Let $f(k,m)$ be the minimum number of empty rainbow triangles determined by $S$. In this paper we give tight asymptotic bounds for this function. Furthermore, we show that $S$ may not determine an empty rainbow quadrilateral for some arbitrarily large values of $k$ and $m$.
△ Less
Submitted 15 July, 2020;
originally announced July 2020.
-
Graphs with large total angular resolution
Authors:
Oswin Aichholzer,
Matias Korman,
Yoshio Okamoto,
Irene Parada,
Daniel Perz,
André van Renssen,
Birgit Vogtenhuber
Abstract:
The total angular resolution of a straight-line drawing is the minimum angle between two edges of the drawing. It combines two properties contributing to the readability of a drawing: the angular resolution, which is the minimum angle between incident edges, and the crossing resolution, which is the minimum angle between crossing edges. We consider the total angular resolution of a graph, which is…
▽ More
The total angular resolution of a straight-line drawing is the minimum angle between two edges of the drawing. It combines two properties contributing to the readability of a drawing: the angular resolution, which is the minimum angle between incident edges, and the crossing resolution, which is the minimum angle between crossing edges. We consider the total angular resolution of a graph, which is the maximum total angular resolution of a straight-line drawing of this graph. We prove that, up to a finite number of well specified exceptions of constant size, the number of edges of a graph with $n$ vertices and a total angular resolution greater than $60^{\circ}$ is bounded by $2n-6$. This bound is tight. In addition, we show that deciding whether a graph has total angular resolution at least $60^{\circ}$ is NP-hard.
△ Less
Submitted 9 October, 2022; v1 submitted 18 August, 2019;
originally announced August 2019.