Compact oracles for reachability and approximate distances in planar digraphs

@article{Thorup2001CompactOF,
  title={Compact oracles for reachability and approximate distances in planar digraphs},
  author={Mikkel Thorup},
  journal={Proceedings 2001 IEEE International Conference on Cluster Computing},
  year={2001},
  pages={242-251}
}
  • M. Thorup
  • Published 14 October 2001
  • Computer Science, Mathematics
  • Proceedings 2001 IEEE International Conference on Cluster Computing
It is shown that a planar digraph can be preprocessed in near-linear time, producing a near-linear space distance oracle that can answer reachability queries in constant time. The oracle can be distributed as an O(log n) space label for each vertex and then we can determine if one vertex can reach another considering their two labels only. The approach generalizes to approximate distances in weighted planar digraphs where we can then get a (1+/spl epsi/) approximation distance in O(log log /spl… 

Figures from this paper

More Compact Oracles for Approximate Distances in Planar Graphs

TLDR
This paper gives the first improvements on the space-querytime tradeoff for planar graphs, improving upon Thorup's oracle both in terms of eps and n and believes that the dependency on eps may be almost optimal.

Planar Reachability Under Single Vertex or Edge Failures

TLDR
An efficient reachability oracle under single-edge or single-vertex failures for planar directed graphs is presented and new data structures which generalize dominator trees and previous data structures for strong-connectivity under failures are presented.

More Compact Oracles for Approximate Distances in Undirected Planar Graphs

TLDR
The polynomial dependency on e−1 and log n is reduced, getting the first improvement in the query time--space tradeoff, and an oracle with space O(n) and query time O(e−1 is obtained.

Fast and Compact Exact Distance Oracle for Planar Graphs

TLDR
An O(n 5/3)-space distance oracle which answers exact distance queries in O(log n) time for n-vertex planar edge-weighted digraphs is introduced.

Exact distance oracles for planar graphs

TLDR
New and improved data structures that answer exact node-to-node distance queries in planar graphs and an exact distance oracle of space O(n) such that for any pair of nodes at distance l the query time is O(min{l, √ n}).

Decremental single-source reachability in planar digraphs

TLDR
These results constitute the first almost optimal (up to polylogarithmic factors) algorithms for both directed planar graphs for non-trivial reachability-type problems, for which only polynomial bounds are known in general graphs.

Distance Oracles for Sparse Graphs

TLDR
A new lower bound for approximate distance oracles in the cell-probe model is given, which holds even for sparse (polylog(n)-degree) graphs, and it is not an "incompressibility" bound: it is a three-way tradeoff between space, stretch, and query time.

Almost Optimal Exact Distance Oracles for Planar Graphs ∗

TLDR
It is shown that there is no polynomial tradeo ff between time and space and that it is possible to simultaneously achieve almost optimal space n 1+ o (1) and almost optimal query time n o ( 1) .

A Simple Algorithm for Multiple-Source Shortest Paths in Planar Digraphs

TLDR
This paper presents a data structure which can answer any query for the shortest path distance in G from u to v or from v to u in O (log n ) time, provided u is on f .

Single-Source Shortest Paths and Strong Connectivity in Dynamic Planar Graphs

TLDR
To the best of the knowledge, this is the first fully dynamic strong-connectivity algorithm achieving both sublinear update time and polylogarithmic query time for an important class of digraphs.
...

References

SHOWING 1-10 OF 40 REFERENCES

On-Line Algorithms for Shortest Path Problems on Planar Digraphs

TLDR
Efficient algorithms for answering shortest path queries in digraphs with small separators and, in particular, in planarDigraphs are described, for any class ofdigraphs for which an O(√n) separator theorem holds.

Dynamic Reachability in Planar Digraphs with One Source and One Sink

Computing Shortest Paths and Distances in Planar Graphs

TLDR
Efficient sequential and parallel solutions to the problem of answer on-line queries requesting the shortest distance between any two vertices in G, based on the hammock decomposition of a planar digraph and the use of separators for computing quickly internal distances in the graph.

Shortcutting Planar Digraphs

  • M. Thorup
  • Mathematics
    Combinatorics, Probability and Computing
  • 1995
TLDR
A constructive proof that for any planar digraph G on p vertices, there exists a subset S of the transitive closure of G such that the number of arcs in S is less than or equal to the numberOf arcs in G, and the diameter of G ∪ S is O.

A Fully Dynamic Approximation Scheme for Shortest Paths in Planar Graphs

TLDR
The approximation algorithm is based upon a novel technique for approximately representing all-pairs shortest paths among a selected subset of the nodes by a sparse substitute graph, and is guaranteed to be accurate to within a 1+ $\epsilon$ factor.

Planar Spanners and Approximate Shortest Path Queries among Obstacles in the Plane

TLDR
A family of algorithms are given that achieve logarithmic length query time, after subquadratic time and space preprocessing and an interesting trade-off between the stretch factor, the query time and the preprocessing bounds.

A Separator Theorem for Graphs of Bounded Genus

Preprocessing an undirected planar network to enable fast approximate distance queries

We describe a method for preprocessing a weighted planar undirected graph and representing the results of the preprocessing so as to facilitate subsequent approximate distance queries. For any 0 < ε

Shortest path queries in planar graphs

TLDR
This paper presents a new scheme, called frame search, that exploits the graph planari ty in a novel fashion and reduces the previously best query t ime by a factor of up to O(n 1/4) if the same amount of space is used.

Distance labeling in graphs