The minimum spanning strong subdigraph problem is fixed parameter tractable

A digraph D is strong if it contains a directed path from x to y for every choice of vertices x, y in D. We consider the problem (MSSS) of finding the minimum number of arcs in a spanning strong subdigraph of a strong digraph. It is easy to see that every strong digraph D on n vertices contains a spanning strong subdigraph on at most 2n - 2 arcs. By reformulating the MSSS problem into the equivalent problem of finding the largest positive integer k n - 2 so that D contains a spanning strong subdigraph with at most 2n - 2 - k arcs, we obtain a problem which we prove is fixed parameter tractable. Namely, we prove that there exists an O( f (k)nc) algorithm for deciding whether a given strong digraph D on n vertices contains a spanning strong subdigraph with at most 2n - 2 - k arcs. We furthermore prove that if k 1 and D has no cut vertex then it has a kernel of order at most (2k - 1)2. We finally discuss related problems and conjectures. c 2008 Elsevier B.V. All rights reserved.

• Type: Journal
• Year: 2008
• Where: DAM
• Authors: Jørgen Bang-Jensen, Anders Yeo
• Keywords: DAM 2008, Directed Path, Strong Digraph, Strong Subdigraph