-
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.
-
Weak Unit Disk Contact Representations for Graphs without Embedding
Authors:
Jonas Cleve
Abstract:
Weak unit disk contact graphs are graphs that admit representing nodes as a collection of internally disjoint unit disks whose boundaries touch if there is an edge between the corresponding nodes. In this work we focus on graphs without embedding, i.e., the neighbor order can be chosen arbitrarily. We give a linear time algorithm to recognize whether a caterpillar, a graph where every node is adja…
▽ More
Weak unit disk contact graphs are graphs that admit representing nodes as a collection of internally disjoint unit disks whose boundaries touch if there is an edge between the corresponding nodes. In this work we focus on graphs without embedding, i.e., the neighbor order can be chosen arbitrarily. We give a linear time algorithm to recognize whether a caterpillar, a graph where every node is adjacent to or on a central path, allows a weak unit disk contact representation. On the other hand, we show that it is NP-hard to decide whether a tree allows such a representation.
△ Less
Submitted 5 October, 2020;
originally announced October 2020.
-
Recognizing embedded caterpillars with weak unit disk contact representations is NP-hard
Authors:
Man-Kwun Chiu,
Jonas Cleve,
Martin Nöllenburg
Abstract:
Weak unit disk contact graphs are graphs that admit a representation of the nodes as a collection of internally disjoint unit disks whose boundaries touch if there is an edge between the corresponding nodes. We provide a gadget-based reduction to show that recognizing embedded caterpillars that admit a weak unit disk contact representation is NP-hard.
Weak unit disk contact graphs are graphs that admit a representation of the nodes as a collection of internally disjoint unit disks whose boundaries touch if there is an edge between the corresponding nodes. We provide a gadget-based reduction to show that recognizing embedded caterpillars that admit a weak unit disk contact representation is NP-hard.
△ Less
Submitted 5 October, 2020;
originally announced October 2020.
-
An Experimental Study of Algorithms for Geodesic Shortest Paths in the Constant-Workspace Model
Authors:
Jonas Cleve,
Wolfgang Mulzer
Abstract:
We perform an experimental evaluation of algorithms for finding geodesic shortest paths between two points inside a simple polygon in the constant-workspace model. In this model, the input resides in a read-only array that can be accessed at random. In addition, the algorithm may use a constant number of words for reading and for writing. The constant-workspace model has been studied extensively i…
▽ More
We perform an experimental evaluation of algorithms for finding geodesic shortest paths between two points inside a simple polygon in the constant-workspace model. In this model, the input resides in a read-only array that can be accessed at random. In addition, the algorithm may use a constant number of words for reading and for writing. The constant-workspace model has been studied extensively in recent years, and algorithms for geodesic shortest paths have received particular attention.
We have implemented three such algorithms in Python, and we compare them to the classic algorithm by Lee and Preparata that uses linear time and linear space. We also clarify a few implementation details that were missing in the original description of the algorithms. Our experiments show that all algorithms perform as advertised in the original works and according to the theoretical guarantees. However, the constant factors in the running times turn out to be rather large for the algorithms to be fully useful in practice.
△ Less
Submitted 5 April, 2019;
originally announced April 2019.
-
Routing in Histograms
Authors:
Man-Kwun Chiu,
Jonas Cleve,
Katharina Klost,
Matias Korman,
Wolfgang Mulzer,
André van Renssen,
Marcel Roeloffzen,
Max Willert
Abstract:
Let $P$ be an $x$-monotone orthogonal polygon with $n$ vertices. We call $P$ a simple histogram if its upper boundary is a single edge; and a double histogram if it has a horizontal chord from the left boundary to the right boundary. Two points $p$ and $q$ in $P$ are co-visible if and only if the (axis-parallel) rectangle spanned by $p$ and $q$ completely lies in $P$. In the $r$-visibility graph…
▽ More
Let $P$ be an $x$-monotone orthogonal polygon with $n$ vertices. We call $P$ a simple histogram if its upper boundary is a single edge; and a double histogram if it has a horizontal chord from the left boundary to the right boundary. Two points $p$ and $q$ in $P$ are co-visible if and only if the (axis-parallel) rectangle spanned by $p$ and $q$ completely lies in $P$. In the $r$-visibility graph $G(P)$ of $P$, we connect two vertices of $P$ with an edge if and only if they are co-visible.
We consider routing with preprocessing in $G(P)$. We may preprocess $P$ to obtain a label and a routing table for each vertex of $P$. Then, we must be able to route a packet between any two vertices $s$ and $t$ of $P$, where each step may use only the label of the target node $t$, the routing table and neighborhood of the current node, and the packet header.
We present a routing scheme for double histograms that sends any data packet along a path whose length is at most twice the (unweighted) shortest path distance between the endpoints. In our scheme, the labels, routing tables, and headers need $O(\log n)$ bits. For the case of simple histograms, we obtain a routing scheme with optimal routing paths, $O(\log n)$-bit labels, one-bit routing tables, and no headers.
△ Less
Submitted 18 February, 2019;
originally announced February 2019.
-
Combinatorics of Beacon-based Routing in Three Dimensions
Authors:
Jonas Cleve,
Wolfgang Mulzer
Abstract:
A beacon is a point-like object which can be enabled to exert a magnetic pull on other point-like objects in space. Those objects then move towards the beacon in a greedy fashion until they are either stuck at an obstacle or reach the beacon's location. Beacons placed inside polyhedra can be used to route point-like objects from one location to another. A second use case is to cover a polyhedron s…
▽ More
A beacon is a point-like object which can be enabled to exert a magnetic pull on other point-like objects in space. Those objects then move towards the beacon in a greedy fashion until they are either stuck at an obstacle or reach the beacon's location. Beacons placed inside polyhedra can be used to route point-like objects from one location to another. A second use case is to cover a polyhedron such that every point-like object at an arbitrary location in the polyhedron can reach at least one of the beacons once the latter is activated.
The notion of beacon-based routing and guarding was introduced by Biro et al. [FWCG'11] in 2011 and covered in detail by Biro in his PhD thesis [SUNY-SB'13], which focuses on the two-dimensional case.
We extend Biro's result to three dimensions by considering beacon routing in polyhedra. We show that $\lfloor\frac{m+1}{3}\rfloor$ beacons are always sufficient and sometimes necessary to route between any pair of points in a given polyhedron $P$, where $m$ is the number of tetrahedra in a tetrahedral decomposition of $P$. This is one of the first results that show that beacon routing is also possible in three dimensions.
△ Less
Submitted 23 May, 2020; v1 submitted 20 December, 2017;
originally announced December 2017.