56 research outputs found
Faster Fr\'echet Distance Approximation through Truncated Smoothing
The Fr\'echet distance is a popular distance measure for curves. Computing
the Fr\'echet distance between two polygonal curves of vertices takes
roughly quadratic time, and conditional lower bounds suggest that even
approximating to within a factor cannot be done in strongly-subquadratic
time, even in one dimension. The current best approximation algorithms present
trade-offs between approximation quality and running time. Recently, van der
Horst (SODA, 2023) presented an
time -approximate algorithm for curves in arbitrary dimensions, for any
. Our main contribution is an approximation algorithm for
curves in one dimension, with a significantly faster running time of . Additionally, we give an
algorithm for curves in arbitrary dimensions that improves upon the
state-of-the-art running time by a logarithmic factor, to . Both of our algorithms rely on a linear-time simplification
procedure that in one dimension reduces the complexity of the reachable free
space to without making sacrifices in the asymptotic
approximation factor.Comment: 27 pages, 11 figure
Computing a Subtrajectory Cluster from c-packed Trajectories
We present a near-linear time approximation algorithm for the subtrajectory
cluster problem of -packed trajectories. The problem involves finding
subtrajectories within a given trajectory such that their Fr\'echet
distances are at most , and at least one subtrajectory must
be of length~ or longer. A trajectory is -packed if the intersection
of and any ball with radius is at most in length.
Previous results by Gudmundsson and Wong
\cite{GudmundssonWong2022Cubicupperlower} established an lower
bound unless the Strong Exponential Time Hypothesis fails, and they presented
an time algorithm. We circumvent this conditional lower bound
by studying subtrajectory cluster on -packed trajectories, resulting in an
algorithm with an time complexity
Approximating the Packedness of Polygonal Curves
In 2012 Driemel et al. \cite{DBLP:journals/dcg/DriemelHW12} introduced the
concept of -packed curves as a realistic input model. In the case when
is a constant they gave a near linear time -approximation
algorithm for computing the Fr\'echet distance between two -packed polygonal
curves. Since then a number of papers have used the model.
In this paper we consider the problem of computing the smallest for which
a given polygonal curve in is -packed. We present two
approximation algorithms. The first algorithm is a -approximation algorithm
and runs in time. In the case we develop a faster
algorithm that returns a -approximation and runs in
time.
We also implemented the first algorithm and computed the approximate
packedness-value for 16 sets of real-world trajectories. The experiments
indicate that the notion of -packedness is a useful realistic input model
for many curves and trajectories.Comment: A preliminary version to appear in ISAAC 202
Fine-grained complexity and algorithm engineering of geometric similarity measures
Point sets and sequences are fundamental geometric objects that arise in any application that considers movement data, geometric shapes, and many more. A crucial task on these objects is to measure their similarity. Therefore, this thesis presents results on algorithms, complexity lower bounds, and algorithm engineering of the most important point set and sequence similarity measures like the FrĂ©chet distance, the FrĂ©chet distance under translation, and the Hausdorff distance under translation. As an extension to the mere computation of similarity, also the approximate near neighbor problem for the continuous FrĂ©chet distance on time series is considered and matching upper and lower bounds are shown.Punktmengen und Sequenzen sind fundamentale geometrische Objekte, welche in vielen Anwendungen auftauchen, insbesondere in solchen die Bewegungsdaten, geometrische Formen, und Ă€hnliche Daten verarbeiten. Ein wichtiger Bestandteil dieser Anwendungen ist die Berechnung der Ăhnlichkeit von Objekten. Diese Dissertation prĂ€sentiert Resultate, genauer gesagt Algorithmen, untere KomplexitĂ€tsschranken und Algorithm Engineering der wichtigsten ĂhnlichkeitsmaĂe fĂŒr Punktmengen und Sequenzen, wie zum Beispiel FrĂ©chetdistanz, FrĂ©chetdistanz unter Translation und Hausdorffdistanz unter Translation. Als eine Erweiterung der bloĂen Berechnung von Ăhnlichkeit betrachten wir auch das Near Neighbor Problem fĂŒr die kontinuierliche FrĂ©chetdistanz auf Zeitfolgen und zeigen obere und untere Schranken dafĂŒr
-ANN Data Structure for Curves via Subspaces of Bounded Doubling Dimension
We consider the -Approximate Nearest Neighbour (ANN) Problem
for polygonal curves in -dimensional space under the Fr\'echet distance and
ask to what extent known data structures for doubling spaces can be applied to
this problem. Initially, this approach does not seem viable, since the doubling
dimension of the target space is known to be unbounded -- even for well-behaved
polygonal curves of constant complexity in one dimension. In order to overcome
this, we identify a subspace of curves which has bounded doubling dimension and
small Gromov-Hausdorff distance to the target space. We then apply
state-of-the-art techniques for doubling spaces and show how to obtain a data
structure for the -ANN problem for any set of parametrized
polygonal curves. The expected preprocessing time needed to construct the
data-structure is and the space used is
, with a query time of , where
and
denotes the spread of the set of vertices and edges of the curves in
. We extend these results to the realistic class of -packed curves and
show improved bounds for small values of .Comment: submitted to Computing in Geometry and Topolog
Approximability of the Discrete {Fr\'echet} Distance
<p>The Fréchet distance is a popular and widespread distance measure for point sequences and for curves. About two years ago, Agarwal et al. [SIAM J. Comput. 2014] presented a new (mildly) subquadratic algorithm for the discrete version of the problem. This spawned a flurry of activity that has led to several new algorithms and lower bounds.</p><p>In this paper, we study the approximability of the discrete Fréchet distance. Building on a recent result by Bringmann [FOCS 2014], we present a new conditional lower bound showing that strongly subquadratic algorithms for the discrete Fréchet distance are unlikely to exist, even in the one-dimensional case and even if the solution may be approximated up to a factor of 1.399.</p><p>This raises the question of how well we can approximate the Fréchet distance (of two given -dimensional point sequences of length ) in strongly subquadratic time. Previously, no general results were known. We present the first such algorithm by analysing the approximation ratio of a simple, linear-time greedy algorithm to be . Moreover, we design an -approximation algorithm that runs in time , for any . Hence, an -approximation of the Fréchet distance can be computed in strongly subquadratic time, for any \varepsilon > 0.</p
Approximating -center clustering for curves
The Euclidean -center problem is a classical problem that has been
extensively studied in computer science. Given a set of
points in Euclidean space, the problem is to determine a set of
centers (not necessarily part of ) such that the maximum
distance between a point in and its nearest neighbor in
is minimized. In this paper we study the corresponding
-center problem for polygonal curves under the Fr\'echet distance,
that is, given a set of polygonal curves in ,
each of complexity , determine a set of polygonal curves
in , each of complexity , such that the maximum Fr\'echet
distance of a curve in to its closest curve in is
minimized. In this paper, we substantially extend and improve the known
approximation bounds for curves in dimension and higher. We show that, if
is part of the input, then there is no polynomial-time approximation
scheme unless . Our constructions yield different
bounds for one and two-dimensional curves and the discrete and continuous
Fr\'echet distance. In the case of the discrete Fr\'echet distance on
two-dimensional curves, we show hardness of approximation within a factor close
to . This result also holds when , and the -hardness
extends to the case that , i.e., for the problem of computing the
minimum-enclosing ball under the Fr\'echet distance. Finally, we observe that a
careful adaptation of Gonzalez' algorithm in combination with a curve
simplification yields a -approximation in any dimension, provided that an
optimal simplification can be computed exactly. We conclude that our
approximation bounds are close to being tight.Comment: 24 pages; results on minimum-enclosing ball added, additional author
added, general revisio
- âŠ