51 research outputs found
09451 Abstracts Collection -- Geometric Networks, Metric Space Embeddings and Spatial Data Mining
From November 1 to 6, 2009, the Dagstuhl Seminar 09451 ``Geometric Networks, Metric Space Embeddings and Spatial Data Mining\u27\u27 was held
in Schloss Dagstuhl~--~Leibniz Center for Informatics.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available
Shortest Paths in Geometric Intersection Graphs
This thesis studies shortest paths in geometric intersection graphs, which can model, among others, ad-hoc communication and transportation networks. First, we consider two classical problems in the field of algorithms, namely Single-Source Shortest Paths (SSSP) and All-Pairs Shortest Paths (APSP). In SSSP we want to compute the shortest paths from one vertex of a graph to all other vertices, while in APSP we aim to find the shortest path between every pair of vertices. Although there is a vast literature for these problems in many graph classes, the case of geometric intersection graphs has been only partially addressed.
In unweighted unit-disk graphs, we show that we can solve SSSP in linear time, after presorting the disk centers with respect to their coordinates. Furthermore, we give the first (slightly) subquadratic-time APSP algorithm by using our new SSSP result, bit tricks, and a shifted-grid-based decomposition technique.
In unweighted, undirected geometric intersection graphs, we present a simple and general technique that reduces APSP to static, offline intersection detection. Consequently, we give fast APSP algorithms for intersection graphs of arbitrary disks, axis-aligned line segments, arbitrary line segments, d-dimensional axis-aligned boxes, and d-dimensional axis-aligned unit hypercubes. We also provide a near-linear-time SSSP algorithm for intersection graphs of axis-aligned line segments by a reduction to dynamic orthogonal point location.
Then, we study two problems that have received considerable attention lately. The first is that of computing the diameter of a graph, i.e., the longest shortest-path distance between any two vertices. In the second, we want to preprocess a graph into a data structure, called distance oracle, such that the shortest path (or its length) between any two query vertices can be found quickly. Since these problems are often too costly to solve exactly, we study their approximate versions.
Following a long line of research, we employ Voronoi diagrams to compute a (1+epsilon)-approximation of the diameter of an undirected, non-negatively-weighted planar graph in time near linear in the input size and polynomial in 1/epsilon. The previously best solution had exponential dependency on the latter. Using similar techniques, we can also construct the first (1+epsilon)-approximate distance oracles with similar preprocessing time and space and only O(log(1/\epsilon)) query time.
In weighted unit-disk graphs, we present the first near-linear-time (1+epsilon)-approximation algorithm for the diameter and for other related problems, such as the radius and the bichromatic closest pair. To do so, we combine techniques from computational geometry and planar graphs, namely well-separated pair decompositions and shortest-path separators. We also show how to extend our approach to obtain O(1)-query-time (1+epsilon)-approximate distance oracles with near linear preprocessing time and space. Then, we apply these oracles, along with additional ideas, to build a data structure for the (1+epsilon)-approximate All-Pairs Bounded-Leg Shortest Paths (apBLSP) problem in truly subcubic time
Dynamic Dynamic Time Warping
The Dynamic Time Warping (DTW) distance is a popular similarity measure for
polygonal curves (i.e., sequences of points). It finds many theoretical and
practical applications, especially for temporal data, and is known to be a
robust, outlier-insensitive alternative to the \frechet distance. For static
curves of at most points, the DTW distance can be computed in time
in constant dimension. This tightly matches a SETH-based lower bound, even for
curves in .
In this work, we study \emph{dynamic} algorithms for the DTW distance. Here,
the goal is to design a data structure that can be efficiently updated to
accommodate local changes to one or both curves, such as inserting or deleting
vertices and, after each operation, reports the updated DTW distance. We give
such a data structure with update and query time , where
is the maximum length of the curves.
As our main result, we prove that our data structure is conditionally
\emph{optimal}, up to subpolynomial factors. More precisely, we prove that,
already for curves in , there is no dynamic algorithm to maintain
the DTW distance with update and query time~\makebox{} for
any constant , unless the Negative--Clique Hypothesis fails. In
fact, we give matching upper and lower bounds for various trade-offs between
update and query time, even in cases where the lengths of the curves differ.Comment: To appear at SODA2
LIPIcs, Volume 274, ESA 2023, Complete Volume
LIPIcs, Volume 274, ESA 2023, Complete Volum
A Heuristic Approach for Shortest Path Problem With Rectilinear Obstacles.
This dissertation presents new heuristic search algorithms, the Guided Minimum Detour (GMD) algorithm and the Line-by-Line Guided Minimum Detour (LGMD) algorithm for searching rectilinear (L\sb1) shortest paths in the presence of rectilinear obstacles. The GMD algorithm combines the best features of maze-running algorithms and line-search algorithms. The LGMD algorithm is a modification of the GMD algorithm that improves on efficiency using line-by-line extensions. Our GMD and LGMD algorithms always find a rectilinear shortest path using the guided A\sp* search method without constructing a connection graph that contains a shortest path. The GMD algorithm and the LGMD algorithm can be implemented in )loge) and )loge) time, respectively, and ) space, where m is the total number of searched nodes, e is the number of boundary sides of obstacles, and N is the total number of searched line segments. We consider the problem of finding a shortest path in terms of the number of bends and the combined length and bends
On the power of the semi-separated pair decomposition
A Semi-Separated Pair Decomposition (SSPD), with parameter s > 1, of a set is a set {(A i ,B i )} of pairs of subsets of S such that for each i, there are balls and containing A i and B i respectively such that min ( radius ) , radius ), and for any two points p, q S there is a unique index i such that p A i and q B i or vice-versa. In this paper, we use the SSPD to obtain the following results: First, we consider the construction of geometric t-spanners in the context of imprecise points and we prove that any set of n imprecise points, modeled as pairwise disjoint balls, admits a t-spanner with edges which can be computed in time. If all balls have the same radius, the number of edges reduces to . Secondly, for a set of n points in the plane, we design a query data structure for half-plane closest-pair queries that can be built in time using space and answers a query in time, for any ε> 0. By reducing the preprocessing time to and using space, the query can be answered in time. Moreover, we improve the preprocessing time of an existing axis-parallel rectangle closest-pair query data structure from quadratic to near-linear. Finally, we revisit some previously studied problems, namely spanners for complete k-partite graphs and l
- …