Shortest Paths in Multimode Graphs

TL;DR

This paper investigates shortest path problems in multimode graphs, providing approximation algorithms for diameter and radius, and establishing tight lower bounds under fine-grained complexity hypotheses.

Contribution

It introduces new approximation algorithms for multimode graph parameters and develops the first extension of the Hitting Set Hypothesis for parameterized lower bounds.

Findings

Linear time 3-approximation for 2-mode diameter in undirected graphs

Extension of approximation algorithms to 2 and 2.5-approximate diameter

Conditional lower bounds matching algorithm performance under complexity hypotheses

Abstract

In this work we study shortest path problems in multimode graphs, a generalization of the min-distance measure introduced by Abboud, Vassilevska W. and Wang in [SODA'16]. A multimode shortest path is the shortest path using one of multiple `modes' of transportation that cannot be combined. This represents real-world scenarios where different modes are not combinable, such as flights operated by different airlines. More precisely, a $k$-multimode graph is a collection of $k$ graphs on the same vertex set and the $k$-mode distance between two vertices is defined as the minimum among the distances computed in each individual graph. We focus on approximating fundamental graph parameters on these graphs, specifically diameter and radius. In undirected multimode graphs we first show an elegant linear time 3-approximation algorithm for 2-mode diameter. We then extend this idea into a general subroutine that can be used as a part of any $\alpha$-approximation, and use it to construct a 2 and 2.5 approximation algorithm for 2-mode diameter. For undirected radius, we introduce a general scheme that can compute a 3-approximation of the $k$-mode radius for any $k$. In the directed case we develop novel techniques to construct a linear time algorithm to determine whether the diameter is finite. We also develop many conditional fine-grained lower bounds for various multimode diameter and radius approximation problems. We are able to show that many of our algorithms are tight under popular fine-grained complexity hypotheses, including our linear time 3-approximation for $3$-mode undirected diameter and radius. As part of this effort we propose the first extension to the Hitting Set Hypothesis [SODA'16], which we call the $\ell$-Hitting Set Hypothesis. We use this hypothesis to prove the first parameterized lower bound tradeoff for radius approximation algorithms.