Title
Finding Detours is Fixed-Parameter Tractable
Abstract
We consider the following natural above guarantee parameterization of the classical longest path problem: For given vertices s and t of a graph G, and an integer k, the longest detour problem asks for an (s,t)-path in G that is at least k longer than a shortest (s,t)-path. Using insights into structural graph theory, we prove that the longest detour problem is fixed-parameter tractable (FPT) on undirected graphs and actually even admits a single-exponential algorithm, that is, one of running time exp(O(k)) * poly(n). This matches (up to the base of the exponential) the best algorithms for finding a path of length at least k.Furthermore, we study a related problem, exact detour, that asks whether a graph G contains an (s,t)-path that is exactly k longer than a shortest (s,t)-path. For this problem, we obtain a randomized algorithm with running time about 2.746^k * poly(n), and a deterministic algorithm with running time about 6.745^k * poly(n), showing that this problem is FPT as well. Our algorithms for the exact detour problem apply to both undirected and directed graphs.
Year
DOI
Venue
2019
10.1137/17m1148566
international colloquium on automata, languages and programming
DocType
Volume
Issue
Journal
33
4
Citations 
PageRank 
References 
1
0.38
18
Authors
4
Name
Order
Citations
PageRank
Ivona Bezáková114119.66
Radu Curticapean2708.75
Holger Dell322016.74
Fedor V. Fomin43139192.21