🤖 AI Summary
This work proposes a linear-time single-source shortest path algorithm tailored for Euclidean graphs satisfying specific geometric conditions. Existing linear-time algorithms struggle to generalize beyond planar graphs, leaving a gap in efficient solutions for broader Euclidean graph classes. The key insight lies in proving that the contracted graphs of such Euclidean instances admit sublinear separators. By integrating graph contraction techniques with sublinear separator theory, this study establishes the first general criterion enabling linear-time single-source shortest path computation on a substantially wider family of Euclidean graphs. This result significantly extends the applicability of linear-time shortest path algorithms beyond planar settings, offering a unified and efficient approach for geometrically structured graphs that meet the prescribed conditions.
📝 Abstract
In the celebrated paper of Henzinger, Klein, Rao and Subramanian (1997), it was shown that planar graphs admit a linear time single-source shortest path algorithm. Their algorithm unfortunately does not extend to Euclidean graph classes. We give criteria and prove that any Euclidean graph class satisfying the criteria admits a linear time single-source shortest path algorithm. As a main ingredient, we show that the contracted graphs of these Euclidean graph classes admit sublinear separators.