56 research outputs found

    Faster Fr\'echet Distance Approximation through Truncated Smoothing

    Full text link
    The Fr\'echet distance is a popular distance measure for curves. Computing the Fr\'echet distance between two polygonal curves of nn vertices takes roughly quadratic time, and conditional lower bounds suggest that even approximating to within a factor 33 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 et al.\textit{et al.} (SODA, 2023) presented an O((n2/α)log⁥3n)O((n^2 / \alpha) \log^3 n) time α\alpha-approximate algorithm for curves in arbitrary dimensions, for any α∈[1,n]\alpha \in [1, n]. Our main contribution is an approximation algorithm for curves in one dimension, with a significantly faster running time of O(nlog⁥3n+(n2/α3)log⁥2nlog⁥log⁥n)O(n \log^3 n + (n^2 / \alpha^3) \log^2 n \log \log n). 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 O((n2/α)log⁥2n)O((n^2 / \alpha) \log^2 n). Both of our algorithms rely on a linear-time simplification procedure that in one dimension reduces the complexity of the reachable free space to O(n2/α)O(n^2 / \alpha) without making sacrifices in the asymptotic approximation factor.Comment: 27 pages, 11 figure

    Computing a Subtrajectory Cluster from c-packed Trajectories

    Full text link
    We present a near-linear time approximation algorithm for the subtrajectory cluster problem of cc-packed trajectories. The problem involves finding mm subtrajectories within a given trajectory TT such that their Fr\'echet distances are at most (1+Δ)d(1 + \varepsilon)d, and at least one subtrajectory must be of length~ll or longer. A trajectory TT is cc-packed if the intersection of TT and any ball BB with radius rr is at most c⋅rc \cdot r in length. Previous results by Gudmundsson and Wong \cite{GudmundssonWong2022Cubicupperlower} established an Ω(n3)\Omega(n^3) lower bound unless the Strong Exponential Time Hypothesis fails, and they presented an O(n3log⁥2n)O(n^3 \log^2 n) time algorithm. We circumvent this conditional lower bound by studying subtrajectory cluster on cc-packed trajectories, resulting in an algorithm with an O((c2n/Δ2)log⁥(c/Δ)log⁥(n/Δ))O((c^2 n/\varepsilon^2)\log(c/\varepsilon)\log(n/\varepsilon)) time complexity

    Approximating the Packedness of Polygonal Curves

    Get PDF
    In 2012 Driemel et al. \cite{DBLP:journals/dcg/DriemelHW12} introduced the concept of cc-packed curves as a realistic input model. In the case when cc is a constant they gave a near linear time (1+Δ)(1+\varepsilon)-approximation algorithm for computing the Fr\'echet distance between two cc-packed polygonal curves. Since then a number of papers have used the model. In this paper we consider the problem of computing the smallest cc for which a given polygonal curve in Rd\mathbb{R}^d is cc-packed. We present two approximation algorithms. The first algorithm is a 22-approximation algorithm and runs in O(dn2log⁥n)O(dn^2 \log n) time. In the case d=2d=2 we develop a faster algorithm that returns a (6+Δ)(6+\varepsilon)-approximation and runs in O((n/Δ3)4/3polylog(n/Δ)))O((n/\varepsilon^3)^{4/3} polylog (n/\varepsilon))) 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 cc-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

    Get PDF
    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

    (1+Δ)(1+\varepsilon)-ANN Data Structure for Curves via Subspaces of Bounded Doubling Dimension

    Full text link
    We consider the (1+Δ)(1+\varepsilon)-Approximate Nearest Neighbour (ANN) Problem for polygonal curves in dd-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 (1+Δ)(1+\varepsilon)-ANN problem for any set of parametrized polygonal curves. The expected preprocessing time needed to construct the data-structure is F(d,k,S,Δ)nlog⁥nF(d,k,S,\varepsilon)n\log n and the space used is F(d,k,S,Δ)nF(d,k,S,\varepsilon)n, with a query time of F(d,k,S,Δ)log⁥n+F(d,k,S,Δ)−log⁥(Δ)F(d,k,S,\varepsilon)\log n + F(d,k,S,\varepsilon)^{-\log(\varepsilon)}, where F(d,k,S,Δ)=O(2O(d)kΊ(S)Δ−1)kF(d,k,S,\varepsilon)=O\left(2^{O(d)}k\Phi(S)\varepsilon^{-1}\right)^k and Ί(S)\Phi(S) denotes the spread of the set of vertices and edges of the curves in SS. We extend these results to the realistic class of cc-packed curves and show improved bounds for small values of cc.Comment: submitted to Computing in Geometry and Topolog

    Approximability of the Discrete {Fr\'echet} Distance

    No full text
    <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 dd-dimensional point sequences of length nn) 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 2Θ(n)2^{\Theta(n)}. Moreover, we design an α\alpha-approximation algorithm that runs in time O(nlog⁥n+n2/α)O(n\log n + n^2/\alpha), for any α∈[1,n]\alpha\in [1, n]. Hence, an nΔn^\varepsilon-approximation of the Fréchet distance can be computed in strongly subquadratic time, for any \varepsilon > 0.</p

    Approximating (k,ℓ)(k,\ell)-center clustering for curves

    Get PDF
    The Euclidean kk-center problem is a classical problem that has been extensively studied in computer science. Given a set G\mathcal{G} of nn points in Euclidean space, the problem is to determine a set C\mathcal{C} of kk centers (not necessarily part of G\mathcal{G}) such that the maximum distance between a point in G\mathcal{G} and its nearest neighbor in C\mathcal{C} is minimized. In this paper we study the corresponding (k,ℓ)(k,\ell)-center problem for polygonal curves under the Fr\'echet distance, that is, given a set G\mathcal{G} of nn polygonal curves in Rd\mathbb{R}^d, each of complexity mm, determine a set C\mathcal{C} of kk polygonal curves in Rd\mathbb{R}^d, each of complexity ℓ\ell, such that the maximum Fr\'echet distance of a curve in G\mathcal{G} to its closest curve in C\mathcal{C} is minimized. In this paper, we substantially extend and improve the known approximation bounds for curves in dimension 22 and higher. We show that, if ℓ\ell is part of the input, then there is no polynomial-time approximation scheme unless P=NP\mathsf{P}=\mathsf{NP}. 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 2.5982.598. This result also holds when k=1k=1, and the NP\mathsf{NP}-hardness extends to the case that ℓ=∞\ell=\infty, 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 33-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
    • 

    corecore