21 research outputs found
Why walking the dog takes time: Frechet distance has no strongly subquadratic algorithms unless SETH fails
The Frechet distance is a well-studied and very popular measure of similarity
of two curves. Many variants and extensions have been studied since Alt and
Godau introduced this measure to computational geometry in 1991. Their original
algorithm to compute the Frechet distance of two polygonal curves with n
vertices has a runtime of O(n^2 log n). More than 20 years later, the state of
the art algorithms for most variants still take time more than O(n^2 / log n),
but no matching lower bounds are known, not even under reasonable complexity
theoretic assumptions.
To obtain a conditional lower bound, in this paper we assume the Strong
Exponential Time Hypothesis or, more precisely, that there is no
O*((2-delta)^N) algorithm for CNF-SAT for any delta > 0. Under this assumption
we show that the Frechet distance cannot be computed in strongly subquadratic
time, i.e., in time O(n^{2-delta}) for any delta > 0. This means that finding
faster algorithms for the Frechet distance is as hard as finding faster CNF-SAT
algorithms, and the existence of a strongly subquadratic algorithm can be
considered unlikely.
Our result holds for both the continuous and the discrete Frechet distance.
We extend the main result in various directions. Based on the same assumption
we (1) show non-existence of a strongly subquadratic 1.001-approximation, (2)
present tight lower bounds in case the numbers of vertices of the two curves
are imbalanced, and (3) examine realistic input assumptions (c-packed curves)
Fast approximation of centrality and distances in hyperbolic graphs
We show that the eccentricities (and thus the centrality indices) of all
vertices of a -hyperbolic graph can be computed in linear
time with an additive one-sided error of at most , i.e., after a
linear time preprocessing, for every vertex of one can compute in
time an estimate of its eccentricity such that
for a small constant . We
prove that every -hyperbolic graph has a shortest path tree,
constructible in linear time, such that for every vertex of ,
. These results are based on an
interesting monotonicity property of the eccentricity function of hyperbolic
graphs: the closer a vertex is to the center of , the smaller its
eccentricity is. We also show that the distance matrix of with an additive
one-sided error of at most can be computed in
time, where is a small constant. Recent empirical studies show that
many real-world graphs (including Internet application networks, web networks,
collaboration networks, social networks, biological networks, and others) have
small hyperbolicity. So, we analyze the performance of our algorithms for
approximating centrality and distance matrix on a number of real-world
networks. Our experimental results show that the obtained estimates are even
better than the theoretical bounds.Comment: arXiv admin note: text overlap with arXiv:1506.01799 by other author