# 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…
215 Citations

## Figures from this paper

### More Compact Oracles for Approximate Distances in Planar Graphs

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

• Computer Science, Mathematics
SODA
• 2021
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

• Computer Science, Mathematics
SODA
• 2013
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

• Computer Science, Mathematics
2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS)
• 2017
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

• Computer Science
SODA
• 2012
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

• Mathematics, Computer Science
STOC
• 2017
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

• Mathematics, Computer Science
2009 50th Annual IEEE Symposium on Foundations of Computer Science
• 2009
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 ∗

• Computer Science, Mathematics
• 2022
It is shown that there is no polynomial tradeo ﬀ 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

• Computer Science
SOSA
• 2022
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

• Computer Science
ESA
• 2020
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

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.

### Computing Shortest Paths and Distances in Planar Graphs

• Computer Science
ICALP
• 1991
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
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

• Computer Science
Algorithmica
• 1998
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

• Computer Science, Mathematics
ESA
• 1996
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.

### 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

• Computer Science, Mathematics
STOC '00
• 2000
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

• Computer Science, Mathematics
SODA '01
• 2001