-
Computing the Fréchet Distance Between Uncertain Curves in One Dimension
Authors:
Kevin Buchin,
Maarten Löffler,
Tim Ophelders,
Aleksandr Popov,
Jérôme Urhausen,
Kevin Verbeek
Abstract:
We consider the problem of computing the Fréchet distance between two curves for which the exact locations of the vertices are unknown. Each vertex may be placed in a given uncertainty region for that vertex, and the objective is to place vertices so as to minimise the Fréchet distance. This problem was recently shown to be NP-hard in 2D, and it is unclear how to compute an optimal vertex placemen…
▽ More
We consider the problem of computing the Fréchet distance between two curves for which the exact locations of the vertices are unknown. Each vertex may be placed in a given uncertainty region for that vertex, and the objective is to place vertices so as to minimise the Fréchet distance. This problem was recently shown to be NP-hard in 2D, and it is unclear how to compute an optimal vertex placement at all.
We present the first general algorithmic framework for this problem. We prove that it results in a polynomial-time algorithm for curves in 1D with intervals as uncertainty regions. In contrast, we show that the problem is NP-hard in 1D in the case that vertices are placed to maximise the Fréchet distance.
We also study the weak Fréchet distance between uncertain curves. While finding the optimal placement of vertices seems more difficult than the regular Fréchet distance -- and indeed we can easily prove that the problem is NP-hard in 2D -- the optimal placement of vertices in 1D can be computed in polynomial time. Finally, we investigate the discrete weak Fréchet distance, for which, somewhat surprisingly, the problem is NP-hard already in 1D.
△ Less
Submitted 20 May, 2021;
originally announced May 2021.
-
Obstructing Classification via Projection
Authors:
Pantea Haghighatkhah,
Wouter Meulemans,
Bettina Speckman,
Jérôme Urhausen,
Kevin Verbeek
Abstract:
Machine learning and data mining techniques are effective tools to classify large amounts of data. But they tend to preserve any inherent bias in the data, for example, with regards to gender or race. Removing such bias from data or the learned representations is quite challenging. In this paper we study a geometric problem which models a possible approach for bias removal. Our input is a set of p…
▽ More
Machine learning and data mining techniques are effective tools to classify large amounts of data. But they tend to preserve any inherent bias in the data, for example, with regards to gender or race. Removing such bias from data or the learned representations is quite challenging. In this paper we study a geometric problem which models a possible approach for bias removal. Our input is a set of points P in Euclidean space R^d and each point is labeled with k binary-valued properties. A priori we assume that it is "easy" to classify the data according to each property. Our goal is to obstruct the classification according to one property by a suitable projection to a lower-dimensional Euclidean space R^m (m < d), while classification according to all other properties remains easy.
What it means for classification to be easy depends on the classification model used. We first consider classification by linear separability as employed by support vector machines. We use Kirchberger's Theorem to show that, under certain conditions, a simple projection to R^(d-1) suffices to eliminate the linear separability of one of the properties whilst maintaining the linear separability of the other properties. We also study the problem of maximizing the linear "inseparability" of the chosen property. Second, we consider more complex forms of separability and prove a connection between the number of projections required to obstruct classification and the Helly-type properties of such separabilities.
△ Less
Submitted 19 May, 2021;
originally announced May 2021.
-
Chasing Puppies: Mobile Beacon Routing on Closed Curves
Authors:
Mikkel Abrahamsen,
Jeff Erickson,
Irina Kostitsyna,
Maarten Löffler,
Tillmann Miltzow,
Jérôme Urhausen,
Jordi Vermeulen,
Giovanni Viglietta
Abstract:
We solve an open problem posed by Michael Biro at CCCG 2013 that was inspired by his and others' work on beacon-based routing. Consider a human and a puppy on a simple closed curve in the plane. The human can walk along the curve at bounded speed and change direction as desired. The puppy runs with unbounded speed along the curve as long as the Euclidean straight-line distance to the human is decr…
▽ More
We solve an open problem posed by Michael Biro at CCCG 2013 that was inspired by his and others' work on beacon-based routing. Consider a human and a puppy on a simple closed curve in the plane. The human can walk along the curve at bounded speed and change direction as desired. The puppy runs with unbounded speed along the curve as long as the Euclidean straight-line distance to the human is decreasing, so that it is always at a point on the curve where the distance is locally minimal. Assuming that the curve is smooth (with some mild genericity constraints) or a simple polygon, we prove that the human can always catch the puppy in finite time.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
The $k$-Fréchet distance
Authors:
Hugo A Akitaya,
Maike Buchin,
Leonie Ryvkin,
Jérôme Urhausen
Abstract:
We introduce a new distance measure for comparing polygonal chains: the $k$-Fréchet distance. As the name implies, it is closely related to the well-studied Fréchet distance but detects similarities between curves that resemble each other only piecewise. The parameter $k$ denotes the number of subcurves into which we divide the input curves. The $k$-Fréchet distance provides a nice transition betw…
▽ More
We introduce a new distance measure for comparing polygonal chains: the $k$-Fréchet distance. As the name implies, it is closely related to the well-studied Fréchet distance but detects similarities between curves that resemble each other only piecewise. The parameter $k$ denotes the number of subcurves into which we divide the input curves. The $k$-Fréchet distance provides a nice transition between (weak) Fréchet distance and Hausdorff distance. However, we show that deciding this distance measure turns out to be NP-complete, which is interesting since both (weak) Fréchet and Hausdorff distance are computable in polynomial time. Nevertheless, we give several possibilities to deal with the hardness of the $k$-Fréchet distance: besides an exponential-time algorithm for the general case, we give a polynomial-time algorithm for $k=2$, i.e., we ask that we subdivide our input curves into two subcurves each. We also present an approximation algorithm that outputs a number of subcurves of at most twice the optimal size. Finally, we give an FPT algorithm using parameters $k$ (the number of allowed subcurves) and $z$ (the number of segments of one curve that intersects the $\varepsilon$-neighborhood of a point on the other curve).
△ Less
Submitted 6 March, 2019;
originally announced March 2019.
-
Convex partial transversals of planar regions
Authors:
Vahideh Keikha,
Mees van de Kerkhof,
Marc van Kreveld,
Irina Kostitsyna,
Maarten Löffler,
Frank Staals,
Jérôme Urhausen,
Jordi L. Vermeulen,
Lionov Wiratma
Abstract:
We consider the problem of testing, for a given set of planar regions $\cal R$ and an integer $k$, whether there exists a convex shape whose boundary intersects at least $k$ regions of $\cal R$. We provide a polynomial time algorithm for the case where the regions are disjoint line segments with a constant number of orientations. On the other hand, we show that the problem is NP-hard when the regi…
▽ More
We consider the problem of testing, for a given set of planar regions $\cal R$ and an integer $k$, whether there exists a convex shape whose boundary intersects at least $k$ regions of $\cal R$. We provide a polynomial time algorithm for the case where the regions are disjoint line segments with a constant number of orientations. On the other hand, we show that the problem is NP-hard when the regions are intersecting axis-aligned rectangles or 3-oriented line segments. For several natural intermediate classes of shapes (arbitrary disjoint segments, intersecting 2-oriented segments) the problem remains open.
△ Less
Submitted 26 September, 2018;
originally announced September 2018.
-
$β$-Stars or On Extending a Drawing of a Connected Subgraph
Authors:
Tamara Mchedlidze,
Jérôme Urhausen
Abstract:
We consider the problem of extending the drawing of a subgraph of a given plane graph to a drawing of the entire graph using straight-line and polyline edges. We define the notion of star complexity of a polygon and show that a drawing $Γ_H$ of an induced connected subgraph $H$ can be extended with at most $\min\{ h/2, β+ \log_2(h) + 1\}$ bends per edge, where $β$ is the largest star complexity of…
▽ More
We consider the problem of extending the drawing of a subgraph of a given plane graph to a drawing of the entire graph using straight-line and polyline edges. We define the notion of star complexity of a polygon and show that a drawing $Γ_H$ of an induced connected subgraph $H$ can be extended with at most $\min\{ h/2, β+ \log_2(h) + 1\}$ bends per edge, where $β$ is the largest star complexity of a face of $Γ_H$ and $h$ is the size of the largest face of $H$. This result significantly improves the previously known upper bound of $72|V(H)|$ [5] for the case where $H$ is connected. We also show that our bound is worst case optimal up to a small additive constant. Additionally, we provide an indication of complexity of the problem of testing whether a star-shaped inner face can be extended to a straight-line drawing of the graph; this is in contrast to the fact that the same problem is solvable in linear time for the case of star-shaped outer face [9] and convex inner face [13].
△ Less
Submitted 30 August, 2018;
originally announced August 2018.
-
Maximum-Area Quadrilateral in a Convex Polygon, Revisited
Authors:
Vahideh Keikha,
Maarten Löffler,
Ali Mohades,
Jérôme Urhausen,
Ivor van der Hoog
Abstract:
In this note we show by example that the algorithm presented in 1979 by Dobkin and Snyder for finding the largest-area k-gon that is inscribed in a convex polygon fails to find the optimal solution for k=4. This question, posed by Keikha et al. where they showed that the Dobkin Snyder algorithm fails for k=3.
In this note we show by example that the algorithm presented in 1979 by Dobkin and Snyder for finding the largest-area k-gon that is inscribed in a convex polygon fails to find the optimal solution for k=4. This question, posed by Keikha et al. where they showed that the Dobkin Snyder algorithm fails for k=3.
△ Less
Submitted 24 December, 2017; v1 submitted 2 August, 2017;
originally announced August 2017.
-
Maximum-Area Triangle in a Convex Polygon, Revisited
Authors:
Vahideh Keikha,
Maarten Löffler,
Ali Mohades,
Jérôme Urhausen,
Ivor van der Hoog
Abstract:
We revisit the following problem: Given a convex polygon $P$, find the largest-area inscribed triangle. We show by example that the linear-time algorithm presented in 1979 by Dobkin and Snyder for solving this problem fails. We then proceed to show that with a small adaptation, their approach does lead to a quadratic-time algorithm. We also present a more involved $O(n\log n)$ time divide-and-conq…
▽ More
We revisit the following problem: Given a convex polygon $P$, find the largest-area inscribed triangle. We show by example that the linear-time algorithm presented in 1979 by Dobkin and Snyder for solving this problem fails. We then proceed to show that with a small adaptation, their approach does lead to a quadratic-time algorithm. We also present a more involved $O(n\log n)$ time divide-and-conquer algorithm. Also we show by example that the algorithm presented in 1979 by Dobkin and Snyder for finding the largest-area $k$-gon that is inscribed in a convex polygon fails to find the optimal solution for $k=4$. Finally, we discuss the implications of our discoveries on the literature.
△ Less
Submitted 18 December, 2017; v1 submitted 31 May, 2017;
originally announced May 2017.