Highway Dimension and Provably Efficient Shortest Path Algorithms
Computing driving directions has motivated many shortest path heuristics
that answer queries on continental scale networks, with tens of millions
of intersections, in real time, and with very low storage overhead.
We give the first theoretical analysis of several underlying algorithms on a non-t