Compact Oracles for Reachability and Approximate Distances in Planar Digraphs

  • Authors:
  • M. Thorup

  • Affiliations:
  • -

  • Venue:
  • FOCS '01 Proceedings of the 42nd IEEE symposium on Foundations of Computer Science
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 + \varepsilon ) approximation distance in 0(\log \log \Delta+ {1 \mathord{\left/ {\vphantom {1 \varepsilon }} \right. \kern-\nulldelimiterspace} \varepsilon }) time where \Delta is the longest finite distance in the graph and weights are assumed to be non-negative integers. Our scheme can be extended to find and route along the short dipaths.Our technique is based on a novel dipath decomposition of planar digraphs that instead of using the standard separator with 0(\sqrt n ) vertices, in effect finds a separator using a constant number of dipaths.