-
Geometric Matching and Bottleneck Problems
Authors:
Sergio Cabello,
Siu-Wing Cheng,
Otfried Cheong,
Christian Knauer
Abstract:
Let $P$ be a set of at most $n$ points and let $R$ be a set of at most $n$ geometric ranges, such as for example disks or rectangles, where each $p \in P$ has an associated supply $s_{p} > 0$, and each $r \in R$ has an associated demand $d_{r} > 0$. A (many-to-many) matching is a set $\mathcal{A}$ of ordered triples $(p,r,a_{pr}) \in P \times R \times \mathbb{R}_{>0}$ such that $p \in r$ and the…
▽ More
Let $P$ be a set of at most $n$ points and let $R$ be a set of at most $n$ geometric ranges, such as for example disks or rectangles, where each $p \in P$ has an associated supply $s_{p} > 0$, and each $r \in R$ has an associated demand $d_{r} > 0$. A (many-to-many) matching is a set $\mathcal{A}$ of ordered triples $(p,r,a_{pr}) \in P \times R \times \mathbb{R}_{>0}$ such that $p \in r$ and the $a_{pr}$'s satisfy the constraints given by the supplies and demands. We show how to compute a maximum matching, that is, a matching maximizing $\sum_{(p,r,a_{pr}) \in \mathcal{A}} a_{pr}$.
Using our techniques, we can also solve minimum bottleneck problems, such as computing a perfect matching between a set of $n$ red points $P$ and a set of $n$ blue points $Q$ that minimizes the length of the longest edge. For the $L_\infty$-metric, we can do this in time $O(n^{1+\varepsilon})$ in any fixed dimension, for the $L_2$-metric in the plane in time $O(n^{4/3 + \varepsilon})$, for any $\varepsilon > 0$.
△ Less
Submitted 4 December, 2023; v1 submitted 4 October, 2023;
originally announced October 2023.
-
Weakly and Strongly Fan-Planar Graphs
Authors:
Otfried Cheong,
Henry Förster,
Julia Katheder,
Maximilian Pfister,
Lena Schlipf
Abstract:
We study two notions of fan-planarity introduced by (Cheong et al., GD22), called weak and strong fan-planarity, which separate two non-equivalent definitions of fan-planarity in the literature. We prove that not every weakly fan-planar graph is strongly fan-planar, while the upper bound on the edge density is the same for both families.
We study two notions of fan-planarity introduced by (Cheong et al., GD22), called weak and strong fan-planarity, which separate two non-equivalent definitions of fan-planarity in the literature. We prove that not every weakly fan-planar graph is strongly fan-planar, while the upper bound on the edge density is the same for both families.
△ Less
Submitted 30 August, 2023; v1 submitted 17 August, 2023;
originally announced August 2023.
-
The thickness of fan-planar graphs is at most three
Authors:
Otfried Cheong,
Maximilian Pfister,
Lena Schlipf
Abstract:
We prove that in any strongly fan-planar drawing of a graph G the edges can be colored with at most three colors, such that no two edges of the same color cross. This implies that the thickness of strongly fan-planar graphs is at most three. If G is bipartite, then two colors suffice to color the edges in this way.
We prove that in any strongly fan-planar drawing of a graph G the edges can be colored with at most three colors, such that no two edges of the same color cross. This implies that the thickness of strongly fan-planar graphs is at most three. If G is bipartite, then two colors suffice to color the edges in this way.
△ Less
Submitted 25 August, 2022;
originally announced August 2022.
-
The Topology of the set of line Transversals
Authors:
Otfried Cheong,
Xavier Goaoc,
Andreas F. Holmsen
Abstract:
We prove that for any set $F$ of $n\ge 2$ pairwise disjoint open convex sets in $\mathbb{R}^3$, the connected components of the set of lines intersecting every member of $F$ are contractible. The same result holds for directed lines.
We prove that for any set $F$ of $n\ge 2$ pairwise disjoint open convex sets in $\mathbb{R}^3$, the connected components of the set of lines intersecting every member of $F$ are contractible. The same result holds for directed lines.
△ Less
Submitted 29 May, 2022;
originally announced May 2022.
-
No weak epsilon nets for lines and convex sets in space
Authors:
Otfried Cheong,
Xavier Goaoc,
Andreas F. Holmsen
Abstract:
We prove that there exist no weak $\varepsilon$-nets of constant size for lines and convex sets in $\mathbb{R}^d$.
We prove that there exist no weak $\varepsilon$-nets of constant size for lines and convex sets in $\mathbb{R}^d$.
△ Less
Submitted 19 February, 2022; v1 submitted 6 February, 2022;
originally announced February 2022.
-
Packing d-dimensional balls into a d+1-dimensional container
Authors:
Helmut Alt,
Sergio Cabello,
Otfried Cheong,
Ji-won Park,
Nadja Seiferth
Abstract:
In this article, we consider the problems of finding in $d+1$ dimensions a minimum-volume axis-parallel box, a minimum-volume arbitrarily-oriented box and a minimum-volume convex body into which a given set of $d$-dimensional unit-radius balls can be packed under translations. The computational problem is neither known to be NP-hard nor to be in NP. We give a constant-factor approximation algorith…
▽ More
In this article, we consider the problems of finding in $d+1$ dimensions a minimum-volume axis-parallel box, a minimum-volume arbitrarily-oriented box and a minimum-volume convex body into which a given set of $d$-dimensional unit-radius balls can be packed under translations. The computational problem is neither known to be NP-hard nor to be in NP. We give a constant-factor approximation algorithm for each of these containers based on a reduction to finding a shortest Hamiltonian path in a weighted graph, which in turn models the problem of stabbing the centers of the input balls while kee** them disjoint. We also show that for $n$ such balls, a container of volume $O(n^{\frac{d-1}{d}})$ is always sufficient and sometimes necessary. As a byproduct, this implies that for $d \geq 2$ there is no finite size $(d+1)$-dimensional convex body into which all $d$-dimensional unit-radius balls can be packed simultaneously.
△ Less
Submitted 17 January, 2024; v1 submitted 25 October, 2021;
originally announced October 2021.
-
The Inverse Kakeya Problem
Authors:
Sergio Cabello,
Otfried Cheong,
Michael Gene Dobbins
Abstract:
We prove that the largest convex shape that can be placed inside a given convex shape $Q \subset \mathbb{R}^{d}$ in any desired orientation is the largest inscribed ball of $Q$. The statement is true both when "largest" means "largest volume" and when it means "largest surface area". The ball is the unique solution, except when maximizing the perimeter in the two-dimensional case.
We prove that the largest convex shape that can be placed inside a given convex shape $Q \subset \mathbb{R}^{d}$ in any desired orientation is the largest inscribed ball of $Q$. The statement is true both when "largest" means "largest volume" and when it means "largest surface area". The ball is the unique solution, except when maximizing the perimeter in the two-dimensional case.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
Fitting a Graph to One-Dimensional Data
Authors:
Siu-Wing Cheng,
Otfried Cheong,
Taegyoung Lee,
Zhengtong Ren
Abstract:
Given n data points in R^d, an appropriate edge-weighted graph connecting the data points finds application in solving clustering, classification, and regresssion problems. The graph proposed by Daitch, Kelner and Spielman (ICML~2009) can be computed by quadratic programming and hence in polynomial time. While a more efficient algorithm would be preferable, replacing quadratic programming is chall…
▽ More
Given n data points in R^d, an appropriate edge-weighted graph connecting the data points finds application in solving clustering, classification, and regresssion problems. The graph proposed by Daitch, Kelner and Spielman (ICML~2009) can be computed by quadratic programming and hence in polynomial time. While a more efficient algorithm would be preferable, replacing quadratic programming is challenging even for the special case of points in one dimension. We develop a dynamic programming algorithm for this case that runs in O(n^2) time.
△ Less
Submitted 30 September, 2020; v1 submitted 9 September, 2018;
originally announced September 2018.
-
Fouling mitigation in tubular membranes by 3D-printed turbulence promoters
Authors:
Sarah Armbruster,
Oskar Cheong,
Jonas Lölsberg,
Svetlana Popovic,
Süleyman Yüce,
Matthias Wessling
Abstract:
Despite intensive research, fouling remains a severe problem in membrane filtration. It is often controlled by applying turbulent flow which requires a higher energy consumption. So-called turbulence promoters or static mixers can be inserted into the flow channel of tubular membranes. They deflect the fluid, induce vortices, enhance particle back-transport and increase the shear rate at the membr…
▽ More
Despite intensive research, fouling remains a severe problem in membrane filtration. It is often controlled by applying turbulent flow which requires a higher energy consumption. So-called turbulence promoters or static mixers can be inserted into the flow channel of tubular membranes. They deflect the fluid, induce vortices, enhance particle back-transport and increase the shear rate at the membrane surface, thus mitigating fouling. However, little is known how the geometry of such turbulence promotors affects the reduction of fouling. We investigate how different 3D-printed mixer geometries affect fouling and improve the flux during filtration with humic acid. Most mixer geometries used in the present study are based on a twisted tape; a Kenics static mixer is investigated as well. Static mixers with changing diameter prove to be less effective than twisted tape mixers with constant diameter which lead to an increase in permeate flux of around 130%. The highest flux improvement of 140% can be reached by applying a Kenics mixer. Regardless of their geometry, all investigated static mixer cause higher permeate fluxes at same specific energy consumption. Again, the Kenics mixer proves to be the most efficient static mixer. The presented mixer geometries can be fabricated with undercut injection molding techniques and represent a simple and viable option to make tubular membrane based filtration processes more efficient.
△ Less
Submitted 22 March, 2018;
originally announced March 2018.
-
Varying temperature and silicon content in nanodiamond growth: effects on silicon-vacancy centers
Authors:
Sumin Choi,
Victor Leong,
Valery A. Davydov,
Viatcheslav N. Agafonov,
Marcus W. O. Cheong,
Dmitry A. Kalashnikov,
Leonid A. Krivitsky
Abstract:
Nanodiamonds containing color centers open up many applications in quantum information processing, metrology, and quantum sensing. In particular, silicon vacancy (SiV) centers are prominent candidates as quantum emitters due to their beneficial optical qualities. Here we characterize nanodiamonds produced by a high-pressure high-temperature method without catalyst metals, focusing on two samples w…
▽ More
Nanodiamonds containing color centers open up many applications in quantum information processing, metrology, and quantum sensing. In particular, silicon vacancy (SiV) centers are prominent candidates as quantum emitters due to their beneficial optical qualities. Here we characterize nanodiamonds produced by a high-pressure high-temperature method without catalyst metals, focusing on two samples with clear SiV signatures. Different growth temperatures and relative content of silicon in the initial compound between the samples altered their nanodiamond size distributions and abundance of SiV centers. Our results show that nanodiamond growth can be controlled and optimized for different applications.
△ Less
Submitted 16 October, 2017;
originally announced October 2017.
-
Placing your Coins on a Shelf
Authors:
Helmut Alt,
Kevin Buchin,
Steven Chaplick,
Otfried Cheong,
Philipp Kindermann,
Christian Knauer,
Fabian Stehn
Abstract:
We consider the problem of packing a family of disks "on a shelf", that is, such that each disk touches the $x$-axis from above and such that no two disks overlap. We prove that the problem of minimizing the distance between the leftmost point and the rightmost point of any disk is NP-hard. On the positive side, we show how to approximate this problem within a factor of 4/3 in $O(n \log n)$ time,…
▽ More
We consider the problem of packing a family of disks "on a shelf", that is, such that each disk touches the $x$-axis from above and such that no two disks overlap. We prove that the problem of minimizing the distance between the leftmost point and the rightmost point of any disk is NP-hard. On the positive side, we show how to approximate this problem within a factor of 4/3 in $O(n \log n)$ time, and provide an $O(n \log n)$-time exact algorithm for a special case, in particular when the ratio between the largest and smallest radius is at most four.
△ Less
Submitted 6 September, 2018; v1 submitted 5 July, 2017;
originally announced July 2017.
-
Shortcuts for the Circle
Authors:
Sang Won Bae,
Mark de Berg,
Otfried Cheong,
Joachim Gudmundsson,
Christos Levcopoulos
Abstract:
Let $C$ be the unit circle in $\mathbb{R}^2$. We can view $C$ as a plane graph whose vertices are all the points on $C$, and the distance between any two points on $C$ is the length of the smaller arc between them. We consider a graph augmentation problem on $C$, where we want to place $k\geq 1$ \emph{shortcuts} on $C$ such that the diameter of the resulting graph is minimized.
We analyze for ea…
▽ More
Let $C$ be the unit circle in $\mathbb{R}^2$. We can view $C$ as a plane graph whose vertices are all the points on $C$, and the distance between any two points on $C$ is the length of the smaller arc between them. We consider a graph augmentation problem on $C$, where we want to place $k\geq 1$ \emph{shortcuts} on $C$ such that the diameter of the resulting graph is minimized.
We analyze for each $k$ with $1\leq k\leq 7$ what the optimal set of shortcuts is. Interestingly, the minimum diameter one can obtain is not a strictly decreasing function of~$k$. For example, with seven shortcuts one cannot obtain a smaller diameter than with six shortcuts. Finally, we prove that the optimal diameter is $2 + Θ(1/k^{\frac{2}{3}})$ for any~$k$.
△ Less
Submitted 24 October, 2017; v1 submitted 7 December, 2016;
originally announced December 2016.
-
Covering many points with a small-area box
Authors:
Mark de Berg,
Sergio Cabello,
Otfried Cheong,
David Eppstein,
Christian Knauer
Abstract:
Let $P$ be a set of $n$ points in the plane. We show how to find, for a given integer $k>0$, the smallest-area axis-parallel rectangle that covers $k$ points of $P$ in $O(nk^2 \log n+ n\log^2 n)$ time. We also consider the problem of, given a value $α>0$, covering as many points of $P$ as possible with an axis-parallel rectangle of area at most $α$. For this problem we give a probabilistic…
▽ More
Let $P$ be a set of $n$ points in the plane. We show how to find, for a given integer $k>0$, the smallest-area axis-parallel rectangle that covers $k$ points of $P$ in $O(nk^2 \log n+ n\log^2 n)$ time. We also consider the problem of, given a value $α>0$, covering as many points of $P$ as possible with an axis-parallel rectangle of area at most $α$. For this problem we give a probabilistic $(1-\varepsilon)$-approximation that works in near-linear time: In $O((n/\varepsilon^4)\log^3 n \log (1/\varepsilon))$ time we find an axis-parallel rectangle of area at most $α$ that, with high probability, covers at least $(1-\varepsilon)\mathrm{κ^*}$ points, where $\mathrm{κ^*}$ is the maximum possible number of points that could be covered.
△ Less
Submitted 25 May, 2018; v1 submitted 7 December, 2016;
originally announced December 2016.
-
Weight Balancing on Boundaries
Authors:
Luis Barba,
Otfried Cheong,
Michael Gene Dobbins,
Rudolf Fleischer,
Akitoshi Kawamura,
Matias Korman,
Yoshio Okamoto,
Janos Pach,
Yuan Tang,
Takeshi Tokuyama,
Sander Verdonschot
Abstract:
Given a polygonal region containing a target point (which we assume is the origin), it is not hard to see that there are two points on the perimeter that are antipodal, that is, whose midpoint is the origin. We prove three generalizations of this fact. (1) For any polygon (or any compact planar set) containing the origin, it is possible to place a given set of weights on the boundary so that their…
▽ More
Given a polygonal region containing a target point (which we assume is the origin), it is not hard to see that there are two points on the perimeter that are antipodal, that is, whose midpoint is the origin. We prove three generalizations of this fact. (1) For any polygon (or any compact planar set) containing the origin, it is possible to place a given set of weights on the boundary so that their barycenter (center of mass) coincides with the origin, provided that the largest weight does not exceed the sum of the other weights. (2) On the boundary of any 3-dimensional compact set containing the origin, there exist three points that form an equilateral triangle centered at the origin. (3) For any $d$-dimensional bounded convex polyhedron containing the origin, there exists a pair of antipodal points consisting of a point on a $\lfloor d/2 \rfloor$-face and a point on a $\lceil d/2\rceil$-face.
△ Less
Submitted 21 December, 2021; v1 submitted 12 November, 2015;
originally announced November 2015.
-
The Number of Holes in the Union of Translates of a Convex Set in Three Dimensions
Authors:
Boris Aronov,
Otfried Cheong,
Michael Gene Dobbins,
Xavier Goaoc
Abstract:
We show that the union of $n$ translates of a convex body in $\mathbb{R}^3$ can have $Θ(n^3)$ holes in the worst case, where a hole in a set $X$ is a connected component of $\mathbb{R}^3 \setminus X$. This refutes a 20-year-old conjecture. As a consequence, we also obtain improved lower bounds on the complexity of motion planning problems and of Voronoi diagrams with convex distance functions.
We show that the union of $n$ translates of a convex body in $\mathbb{R}^3$ can have $Θ(n^3)$ holes in the worst case, where a hole in a set $X$ is a connected component of $\mathbb{R}^3 \setminus X$. This refutes a 20-year-old conjecture. As a consequence, we also obtain improved lower bounds on the complexity of motion planning problems and of Voronoi diagrams with convex distance functions.
△ Less
Submitted 5 February, 2015;
originally announced February 2015.
-
Geometric Permutations of Non-Overlap** Unit Balls Revisited
Authors:
Jae-Soon Ha,
Otfried Cheong,
Xavier Goaoc,
Jungwoo Yang
Abstract:
Given four congruent balls $A, B, C, D$ in $R^{d}$ that have disjoint interior and admit a line that intersects them in the order $ABCD$, we show that the distance between the centers of consecutive balls is smaller than the distance between the centers of $A$ and $D$. This allows us to give a new short proof that $n$ interior-disjoint congruent balls admit at most three geometric permutations, tw…
▽ More
Given four congruent balls $A, B, C, D$ in $R^{d}$ that have disjoint interior and admit a line that intersects them in the order $ABCD$, we show that the distance between the centers of consecutive balls is smaller than the distance between the centers of $A$ and $D$. This allows us to give a new short proof that $n$ interior-disjoint congruent balls admit at most three geometric permutations, two if $n\ge 7$. We also make a conjecture that would imply that $n\geq 4$ such balls admit at most two geometric permutations, and show that if the conjecture is false, then there is a counter-example of a highly degenerate nature.
△ Less
Submitted 3 July, 2014;
originally announced July 2014.
-
Finding Largest Rectangles in Convex Polygons
Authors:
Sergio Cabello,
Otfried Cheong,
Christian Knauer,
Lena Schlipf
Abstract:
We consider the following geometric optimization problem: find a maximum-area rectangle and a maximum-perimeter rectangle contained in a given convex polygon with $n$ vertices. We give exact algorithms that solve these problems in time $O(n^3)$. We also give $(1-\varepsilon)$-approximation algorithms that take time $O(\varepsilon^{-3/2}+ \varepsilon^{-1/2} \log n)$.
We consider the following geometric optimization problem: find a maximum-area rectangle and a maximum-perimeter rectangle contained in a given convex polygon with $n$ vertices. We give exact algorithms that solve these problems in time $O(n^3)$. We also give $(1-\varepsilon)$-approximation algorithms that take time $O(\varepsilon^{-3/2}+ \varepsilon^{-1/2} \log n)$.
△ Less
Submitted 6 October, 2014; v1 submitted 6 May, 2014;
originally announced May 2014.
-
On the Number of Edges of Fan-Crossing Free Graphs
Authors:
Otfried Cheong,
Sariel Har-Peled,
Heuna Kim,
Hyo-Sil Kim
Abstract:
A graph drawn in the plane with n vertices is k-fan-crossing free for k > 1 if there are no k+1 edges $g,e_1,...e_k$, such that $e_1,e_2,...e_k$ have a common endpoint and $g$ crosses all $e_i$. We prove a tight bound of 4n-8 on the maximum number of edges of a 2-fan-crossing free graph, and a tight 4n-9 bound for a straight-edge drawing. For k > 2, we prove an upper bound of 3(k-1)(n-2) edges. We…
▽ More
A graph drawn in the plane with n vertices is k-fan-crossing free for k > 1 if there are no k+1 edges $g,e_1,...e_k$, such that $e_1,e_2,...e_k$ have a common endpoint and $g$ crosses all $e_i$. We prove a tight bound of 4n-8 on the maximum number of edges of a 2-fan-crossing free graph, and a tight 4n-9 bound for a straight-edge drawing. For k > 2, we prove an upper bound of 3(k-1)(n-2) edges. We also discuss generalizations to monotone graph properties.
△ Less
Submitted 8 November, 2013;
originally announced November 2013.
-
A Generalization of the Convex Kakeya Problem
Authors:
Hee-Kap Ahn,
Sang Won Bae,
Otfried Cheong,
Joachim Gudmundsson,
Takeshi Tokuyama,
Antoine Vigneron
Abstract:
Given a set of line segments in the plane, not necessarily finite, what is a convex region of smallest area that contains a translate of each input segment? This question can be seen as a generalization of Kakeya's problem of finding a convex region of smallest area such that a needle can be rotated through 360 degrees within this region. We show that there is always an optimal region that is a tr…
▽ More
Given a set of line segments in the plane, not necessarily finite, what is a convex region of smallest area that contains a translate of each input segment? This question can be seen as a generalization of Kakeya's problem of finding a convex region of smallest area such that a needle can be rotated through 360 degrees within this region. We show that there is always an optimal region that is a triangle, and we give an optimal Θ(n log n)-time algorithm to compute such a triangle for a given set of n segments. We also show that, if the goal is to minimize the perimeter of the region instead of its area, then placing the segments with their midpoint at the origin and taking their convex hull results in an optimal solution. Finally, we show that for any compact convex figure G, the smallest enclosing disk of G is a smallest-perimeter region containing a translate of every rotated copy of G.
△ Less
Submitted 10 September, 2012;
originally announced September 2012.
-
Single-Source Dilation-Bounded Minimum Spanning Trees
Authors:
Otfried Cheong,
Changryeol Lee
Abstract:
Given a set $S$ of points in the plane, a geometric network for $S$ is a graph $G$ with vertex set $S$ and straight edges. We consider a broadcasting situation, where one point $r \in S$ is a designated source. Given a dilation factor $δ$, we ask for a geometric network $G$ such that for every point $v \in S$ there is a path from $r$ to $v$ in $G$ of length at most $δ|rv|$, and such that the total…
▽ More
Given a set $S$ of points in the plane, a geometric network for $S$ is a graph $G$ with vertex set $S$ and straight edges. We consider a broadcasting situation, where one point $r \in S$ is a designated source. Given a dilation factor $δ$, we ask for a geometric network $G$ such that for every point $v \in S$ there is a path from $r$ to $v$ in $G$ of length at most $δ|rv|$, and such that the total edge length is minimized. We show that finding such a network of minimum total edge length is NP-hard, and give an approximation algorithm.
△ Less
Submitted 29 June, 2012;
originally announced June 2012.
-
The Cost of Bounded Curvature
Authors:
Hyo-Sil Kim,
Otfried Cheong
Abstract:
We study the motion-planning problem for a car-like robot whose turning radius is bounded from below by one and which is allowed to move in the forward direction only (Dubins car). For two robot configurations $σ, σ'$, let $\ell(σ, σ')$ be the shortest bounded-curvature path from $σ$ to $σ'$. For $d \geq 0$, let $\ell(d)$ be the supremum of $\ell(σ, σ')$, over all pairs $(σ, σ')$ that are at Eucli…
▽ More
We study the motion-planning problem for a car-like robot whose turning radius is bounded from below by one and which is allowed to move in the forward direction only (Dubins car). For two robot configurations $σ, σ'$, let $\ell(σ, σ')$ be the shortest bounded-curvature path from $σ$ to $σ'$. For $d \geq 0$, let $\ell(d)$ be the supremum of $\ell(σ, σ')$, over all pairs $(σ, σ')$ that are at Euclidean distance $d$. We study the function $\dub(d) = \ell(d) - d$, which expresses the difference between the bounded-curvature path length and the Euclidean distance of its endpoints. We show that $\dub(d)$ decreases monotonically from $\dub(0) = 7π/3$ to $\dub(\ds) = 2π$, and is constant for $d \geq \ds$. Here $\ds \approx 1.5874$. We describe pairs of configurations that exhibit the worst-case of $\dub(d)$ for every distance $d$.
△ Less
Submitted 2 November, 2012; v1 submitted 30 June, 2011;
originally announced June 2011.
-
Reachability by Paths of Bounded Curvature in a Convex Polygon
Authors:
Hee-Kap Ahn,
Otfried Cheong,
Jirí Matoušek,
Antoine Vigneron
Abstract:
Let $B$ be a point robot moving in the plane, whose path is constrained to forward motions with curvature at most one, and let $P$ be a convex polygon with $n$ vertices. Given a starting configuration (a location and a direction of travel) for $B$ inside $P$, we characterize the region of all points of $P$ that can be reached by $B$, and show that it has complexity $O(n)$. We give an $O(n^2)$ time…
▽ More
Let $B$ be a point robot moving in the plane, whose path is constrained to forward motions with curvature at most one, and let $P$ be a convex polygon with $n$ vertices. Given a starting configuration (a location and a direction of travel) for $B$ inside $P$, we characterize the region of all points of $P$ that can be reached by $B$, and show that it has complexity $O(n)$. We give an $O(n^2)$ time algorithm to compute this region. We show that a point is reachable only if it can be reached by a path of type CCSCS, where C denotes a unit circle arc and S denotes a line segment.
△ Less
Submitted 25 August, 2010;
originally announced August 2010.
-
Lines pinning lines
Authors:
Boris Aronov,
Otfried Cheong,
Xavier Goaoc,
Günter Rote
Abstract:
A line g is a transversal to a family F of convex polytopes in 3-dimensional space if it intersects every member of F. If, in addition, g is an isolated point of the space of line transversals to F, we say that F is a pinning of g. We show that any minimal pinning of a line by convex polytopes such that no face of a polytope is coplanar with the line has size at most eight. If, in addition, the…
▽ More
A line g is a transversal to a family F of convex polytopes in 3-dimensional space if it intersects every member of F. If, in addition, g is an isolated point of the space of line transversals to F, we say that F is a pinning of g. We show that any minimal pinning of a line by convex polytopes such that no face of a polytope is coplanar with the line has size at most eight. If, in addition, the polytopes are disjoint, then it has size at most six. We completely characterize configurations of disjoint polytopes that form minimal pinnings of a line.
△ Less
Submitted 17 February, 2010;
originally announced February 2010.
-
Farthest-Polygon Voronoi Diagrams
Authors:
Otfried Cheong,
Hazel Everett,
Marc Glisse,
Joachim Gudmundsson,
Samuel Hornus,
Sylvain Lazard,
Mira Lee,
Hyeon-Suk Na
Abstract:
Given a family of k disjoint connected polygonal sites in general position and of total complexity n, we consider the farthest-site Voronoi diagram of these sites, where the distance to a site is the distance to a closest point on it. We show that the complexity of this diagram is O(n), and give an O(n log^3 n) time algorithm to compute it. We also prove a number of structural properties of this d…
▽ More
Given a family of k disjoint connected polygonal sites in general position and of total complexity n, we consider the farthest-site Voronoi diagram of these sites, where the distance to a site is the distance to a closest point on it. We show that the complexity of this diagram is O(n), and give an O(n log^3 n) time algorithm to compute it. We also prove a number of structural properties of this diagram. In particular, a Voronoi region may consist of k-1 connected components, but if one component is bounded, then it is equal to the entire region.
△ Less
Submitted 30 November, 2010; v1 submitted 20 January, 2010;
originally announced January 2010.
-
Set Systems and Families of Permutations with Small Traces
Authors:
Otfried Cheong,
Xavier Goaoc,
Cyril Nicaud
Abstract:
We study the maximum size of a set system on $n$ elements whose trace on any $b$ elements has size at most $k$. We show that if for some $b \ge i \ge 0$ the shatter function $f_R$ of a set system $([n],R)$ satisfies $f_R(b) < 2^i(b-i+1)$ then $|R| = O(n^i)$; this generalizes Sauer's Lemma on the size of set systems with bounded VC-dimension. We use this bound to delineate the main growth rates f…
▽ More
We study the maximum size of a set system on $n$ elements whose trace on any $b$ elements has size at most $k$. We show that if for some $b \ge i \ge 0$ the shatter function $f_R$ of a set system $([n],R)$ satisfies $f_R(b) < 2^i(b-i+1)$ then $|R| = O(n^i)$; this generalizes Sauer's Lemma on the size of set systems with bounded VC-dimension. We use this bound to delineate the main growth rates for the same problem on families of permutations, where the trace corresponds to the inclusion for permutations. This is related to a question of Raz on families of permutations with bounded VC-dimension that generalizes the Stanley-Wilf conjecture on permutations with excluded patterns.
△ Less
Submitted 17 December, 2009; v1 submitted 15 December, 2009;
originally announced December 2009.
-
Computation of Spatial Skyline Points
Authors:
Binay Bhattacharya,
Arijit Bishnu,
Otfried Cheong,
Sandip Das,
Arindam Karmakar,
Jack Snoeyink
Abstract:
We discuss a method of finding skyline or non-dominated sites in a set $P$ of $n$ point sites with respect to a set $S$ of $m$ points. A site $p \in P$ is non-dominated if and only if for each $q \in P \setminus \{p\}$, there exists at least one point $s \in S$ that is closer to $p$ than to $q$. We reduce this problem of determining non-dominated sites to the problem of finding sites that have non…
▽ More
We discuss a method of finding skyline or non-dominated sites in a set $P$ of $n$ point sites with respect to a set $S$ of $m$ points. A site $p \in P$ is non-dominated if and only if for each $q \in P \setminus \{p\}$, there exists at least one point $s \in S$ that is closer to $p$ than to $q$. We reduce this problem of determining non-dominated sites to the problem of finding sites that have non-empty cells in an additively weighted Voronoi diagram under a convex distance function. The weights of said Voronoi diagram are derived from the coordinates of the sites of $P$, while the convex distance function is derived from $S$. In the two-dimensional plane, this reduction gives an $O((n + m) \log (n + m))$-time algorithm to find the non-dominated points.
△ Less
Submitted 16 December, 2019; v1 submitted 4 September, 2009;
originally announced September 2009.
-
Lower Bounds for Pinning Lines by Balls
Authors:
Otfried Cheong,
Xavier Goaoc,
Andreas Holmsen
Abstract:
A line L is a transversal to a family F of convex objects in R^d if it intersects every member of F. In this paper we show that for every integer d>2 there exists a family of 2d-1 pairwise disjoint unit balls in R^d with the property that every subfamily of size 2d-2 admits a transversal, yet any line misses at least one member of the family. This answers a question of Danzer from 1957.
A line L is a transversal to a family F of convex objects in R^d if it intersects every member of F. In this paper we show that for every integer d>2 there exists a family of 2d-1 pairwise disjoint unit balls in R^d with the property that every subfamily of size 2d-2 admits a transversal, yet any line misses at least one member of the family. This answers a question of Danzer from 1957.
△ Less
Submitted 16 June, 2009;
originally announced June 2009.
-
Reverse nearest neighbor queries in fixed dimension
Authors:
Otfried Cheong,
Antoine Vigneron,
Juyoung Yon
Abstract:
Reverse nearest neighbor queries are defined as follows: Given an input point-set P, and a query point q, find all the points p in P whose nearest point in P U {q} \ {p} is q. We give a data structure to answer reverse nearest neighbor queries in fixed-dimensional Euclidean space. Our data structure uses O(n) space, its preprocessing time is O(n log n), and its query time is O(log n).
Reverse nearest neighbor queries are defined as follows: Given an input point-set P, and a query point q, find all the points p in P whose nearest point in P U {q} \ {p} is q. We give a data structure to answer reverse nearest neighbor queries in fixed-dimensional Euclidean space. Our data structure uses O(n) space, its preprocessing time is O(n log n), and its query time is O(log n).
△ Less
Submitted 1 September, 2010; v1 submitted 27 May, 2009;
originally announced May 2009.
-
Constructing Optimal Highways
Authors:
Hee-Kap Ahn,
Helmut Alt,
Tetsuo Asano,
Sang Won Bae,
Peter Brass,
Otfried Cheong,
Christian Knauer,
Hyeon-Suk Na,
Chan-Su Shin,
Alexander Wolff
Abstract:
For two points $p$ and $q$ in the plane, a straight line $h$, called a highway, and a real $v>1$, we define the \emph{travel time} (also known as the \emph{city distance}) from $p$ and $q$ to be the time needed to traverse a quickest path from $p$ to $q$, where the distance is measured with speed $v$ on $h$ and with speed 1 in the underlying metric elsewhere.
Given a set $S$ of $n$ points in t…
▽ More
For two points $p$ and $q$ in the plane, a straight line $h$, called a highway, and a real $v>1$, we define the \emph{travel time} (also known as the \emph{city distance}) from $p$ and $q$ to be the time needed to traverse a quickest path from $p$ to $q$, where the distance is measured with speed $v$ on $h$ and with speed 1 in the underlying metric elsewhere.
Given a set $S$ of $n$ points in the plane and a highway speed $v$, we consider the problem of finding a \emph{highway} that minimizes the maximum travel time over all pairs of points in $S$. If the orientation of the highway is fixed, the optimal highway can be computed in linear time, both for the $L_1$- and the Euclidean metric as the underlying metric. If arbitrary orientations are allowed, then the optimal highway can be computed in $O(n^{2} \log n)$ time. We also consider the problem of computing an optimal pair of highways, one being horizontal, one vertical.
△ Less
Submitted 8 March, 2007;
originally announced March 2007.
-
Computing a Minimum-Dilation Spanning Tree is NP-hard
Authors:
Otfried Cheong,
Herman Haverkort,
Mira Lee
Abstract:
In a geometric network G = (S, E), the graph distance between two vertices u, v in S is the length of the shortest path in G connecting u to v. The dilation of G is the maximum factor by which the graph distance of a pair of vertices differs from their Euclidean distance. We show that given a set S of n points with integer coordinates in the plane and a rational dilation delta > 1, it is NP-hard…
▽ More
In a geometric network G = (S, E), the graph distance between two vertices u, v in S is the length of the shortest path in G connecting u to v. The dilation of G is the maximum factor by which the graph distance of a pair of vertices differs from their Euclidean distance. We show that given a set S of n points with integer coordinates in the plane and a rational dilation delta > 1, it is NP-hard to determine whether a spanning tree of S with dilation at most delta exists.
△ Less
Submitted 5 March, 2007;
originally announced March 2007.
-
Aperture-Angle and Hausdorff-Approximation of Convex Figures
Authors:
Hee-Kap Ahn,
Sang Won Bae,
Otfried Cheong,
Joachim Gudmundsson
Abstract:
The aperture angle alpha(x, Q) of a point x not in Q in the plane with respect to a convex polygon Q is the angle of the smallest cone with apex x that contains Q. The aperture angle approximation error of a compact convex set C in the plane with respect to an inscribed convex polygon Q of C is the minimum aperture angle of any x in C Q with respect to Q. We show that for any compact convex set…
▽ More
The aperture angle alpha(x, Q) of a point x not in Q in the plane with respect to a convex polygon Q is the angle of the smallest cone with apex x that contains Q. The aperture angle approximation error of a compact convex set C in the plane with respect to an inscribed convex polygon Q of C is the minimum aperture angle of any x in C Q with respect to Q. We show that for any compact convex set C in the plane and any k > 2, there is an inscribed convex k-gon Q of C with aperture angle approximation error (1 - 2/(k+1)) pi. This bound is optimal, and settles a conjecture by Fekete from the early 1990s. The same proof technique can be used to prove a conjecture by Brass: If a polygon P admits no approximation by a sub-k-gon (the convex hull of k vertices of P) with Hausdorff distance sigma, but all subpolygons of P (the convex hull of some vertices of P) admit such an approximation, then P is a (k+1)-gon. This implies the following result: For any k > 2 and any convex polygon P of perimeter at most 1 there is a sub-k-gon Q of P such that the Hausdorff-distance of P and Q is at most 1/(k+1) * sin(pi/(k+1)).
△ Less
Submitted 19 February, 2007; v1 submitted 16 February, 2007;
originally announced February 2007.
-
Sparse geometric graphs with small dilation
Authors:
Boris Aronov,
Mark de Berg,
Otfried Cheong,
Joachim Gudmundsson,
Herman Haverkort,
Michiel Smid,
Antoine Vigneron
Abstract:
Given a set S of n points in R^D, and an integer k such that 0 <= k < n, we show that a geometric graph with vertex set S, at most n - 1 + k edges, maximum degree five, and dilation O(n / (k+1)) can be computed in time O(n log n). For any k, we also construct planar n-point sets for which any geometric graph with n-1+k edges has dilation Omega(n/(k+1)); a slightly weaker statement holds if the p…
▽ More
Given a set S of n points in R^D, and an integer k such that 0 <= k < n, we show that a geometric graph with vertex set S, at most n - 1 + k edges, maximum degree five, and dilation O(n / (k+1)) can be computed in time O(n log n). For any k, we also construct planar n-point sets for which any geometric graph with n-1+k edges has dilation Omega(n/(k+1)); a slightly weaker statement holds if the points of S are required to be in convex position.
△ Less
Submitted 26 June, 2007; v1 submitted 13 February, 2007;
originally announced February 2007.
-
The Hadwiger Number of Jordan Regions is Unbounded
Authors:
Otfried Cheong,
Mira Lee
Abstract:
We show that for every n > 0 there is a planar topological disk A_0 and n translates A_1, A_2, ..., A_n of A_0 such that the interiors of A_0, ... A_n are pairwise disjoint, but with each A_i touching A_0 for 1 <= i <= n.
We show that for every n > 0 there is a planar topological disk A_0 and n translates A_1, A_2, ..., A_n of A_0 such that the interiors of A_0, ... A_n are pairwise disjoint, but with each A_i touching A_0 for 1 <= i <= n.
△ Less
Submitted 14 February, 2007;
originally announced February 2007.
-
Hadwiger and Helly-type theorems for disjoint unit spheres
Authors:
Otfried Cheong,
Xavier Goaoc,
Andreas Holmsen,
Sylvain Petitjean
Abstract:
We prove Helly-type theorems for line transversals to disjoint unit balls in $\R^{d}$. In particular, we show that a family of $n \geq 2d$ disjoint unit balls in $\R^d$ has a line transversal if, for some ordering $\prec$ of the balls, any subfamily of 2d balls admits a line transversal consistent with $\prec$. We also prove that a family of $n \geq 4d-1$ disjoint unit balls in $\R^d$ admits a l…
▽ More
We prove Helly-type theorems for line transversals to disjoint unit balls in $\R^{d}$. In particular, we show that a family of $n \geq 2d$ disjoint unit balls in $\R^d$ has a line transversal if, for some ordering $\prec$ of the balls, any subfamily of 2d balls admits a line transversal consistent with $\prec$. We also prove that a family of $n \geq 4d-1$ disjoint unit balls in $\R^d$ admits a line transversal if any subfamily of size $4d-1$ admits a transversal.
△ Less
Submitted 7 February, 2007;
originally announced February 2007.