Spanners in sparse graphs ∗ Feodor F. Dragan † Fedor V. Fomin ‡ Petr A. Golovach ‡ Abstract A t-spanner of a graph G is a spanning subgraph S in which the distance between every pair of vertices is at most t times their distance in G. If S is required to be a tree then S is called a tree t-spanner of G. In 1998, Fekete and Kremer showed that on unweighted planar graphs the Tree t-Spanner problem (the problem to decide whether G admits a tree t-spanner) is polynomial time solvable for t ≤ 3 and is NP-complete as long as t is part of the input. They also left as an open problem whether the Tree t-Spanner problem is polynomial time solvable for every fixed t ≥ 4. In this work we resolve this open problem and extend the solution in several directions. We show that for every fixed t, it is possible in polynomial time not only to decide if a planar graph G has a tree t-spanner, but also to decide if G has a t-spanner of bounded treewidth. Moreover, for every fixed values of t and k, the problem, for a given planar graph G to decide if G has a t-spanner of treewidth at most k, is not only polynomial time solvable, but is fixed parameter tractable (with k and t being the parameters). In particular, the running time of our algorithm is linear with respect to the size of G. We extend this result from planar to a much more general class of sparse graphs containing graphs of bounded genus. An apex graph is a graph obtained from a planar graph G by adding a vertex and making it adjacent to some vertices of G. We show that the problem of finding a t-spanner of treewidth k is fixed parameter tractable on graphs that do not contain some fixed apex graph as a minor, i.e. on apex-minor-free graphs. We prove that the tractability border of the t-spanner problem cannot be extended beyond the class of apex-minor-free graphs. In particular, for every t ≥ 4, the problem of finding a tree t-spanner is NP-complete on K 6 -minor-free graphs. Thus our results are tight, in a sense that the restriction of input graph being apex-minor-free cannot be replaced by H-minor-free for some non-apex fixed graph H. Graphs of bounded treewidth are sparse graphs and our technique can be used to settle the complexity of the parameterized version of the Sparsest t-Spanner problem, where for given t and m one asks if a given n-vertex graph has a t-spanner with at most n − 1+ m edges. Our results imply that the Sparsest t-Spanner problem is fixed parameter tractable on apex-minor-free graphs with t and m being the parameters. Finally, we show that the optimization version of the Sparsest t-Spanner problem, which asks for a t-spanner with the minimum number of edges, admits PTAS for apex- minor-free graphs. This resolves an open question asked by Duckworth, Wormald, and Zito. ∗ A preliminary version of these results appeared in the proceedings of the 35th International Colloquium on Automata, Languages and Programming (ICALP 2008)[24] and the proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008)[25]. † Department of Computer Science, Kent State University, Kent, Ohio 44242, USA, dragan@cs.kent.edu. This work was partially done while the first author was visiting the Department of Informatics of University of Bergen. ‡ Department of Informatics, University of Bergen, PB 7803, N-5020 Bergen, Norway, {fedor.fomin|petr.golovach}@ii.uib.no. Supported by the Norwegian Research Council. 1