Abstract:We propose polynomial-time algorithms that sparsify planar and bounded-genus graphs while preserving optimal or near-optimal solutions to Steiner problems. Our main contribution is a polynomial-time algorithm that, given an unweighted undirected graph G embedded on a surface of genus g and a designated face f bounded by a simple cycle of length k , uncovers a set F ⊆ E ( G ) of size polynomial in g and k that contains an optimal Steiner tree for any set of terminals that is a subset of the vertices of f . We apply this general theorem to prove that: — Given an unweighted graph G embedded on a surface of genus g and a terminal set S ⊆ V ( G ), one can in polynomial time find a set F ⊆ E ( G ) that contains an optimal Steiner tree T for S and that has size polynomial in g and | E ( T )|. — An analogous result holds for an optimal Steiner forest for a set S of terminal pairs. — Given an unweighted planar graph G and a terminal set S ⊆ V ( G ), one can in polynomial time find a set F ⊆ E ( G ) that contains an optimal (edge) multiway cut C separating S (i.e., a cutset that intersects any path with endpoints in different terminals from S ) and that has size polynomial in | C |. In the language of parameterized complexity, these results imply the first polynomial kernels for S teiner T ree and S teiner F orest on planar and bounded-genus graphs (parameterized by the size of the tree and forest, respectively) and for (E dge ) M ultiway C ut on planar graphs (parameterized by the size of the cutset). Additionally, we obtain a weighted variant of our main contribution: a polynomial-time algorithm that, given an undirected plane graph G with positive edge weights, a designated face f bounded by a simple cycle of weight w ( f ), and an accuracy parameter ε > 0, uncovers a set F ⊆ E ( G ) of total weight at most poly(ε -1 ) w ( f ) that, for any set of terminal pairs that lie on f , contains a Steiner forest within additive error ε w ( f ) from the optimal Steiner forest.

A subexponential parameterized algorithm for Directed Subset Traveling Salesman Problem on planar graphs

Scheduling on a Graph with Release Times

The k-Delivery Traveling Salesman Problem - Revisited.

On approximating a new generalization of traveling salesman problem

Constant-factor approximations for asymmetric TSP on nearly-embeddable graphs

Travelling on Graphs with Small Highway Dimension

Average Case Subquadratic Exact and Heuristic Procedures for the Traveling Salesman 2-OPT Neighborhood

A Linear Time Gap-ETH-Tight Approximation Scheme for TSP in the Euclidean Plane

On the Approximability of the Traveling Salesman Problem with Line Neighborhoods

Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs

The Geometric Maximum Traveling Salesman Problem

Polylogarithmic Approximation for Robust s-t Path

On Polynomial Kernels for Traveling Salesperson Problem and its Generalizations

Probabilistic bounds on the $k-$Traveling Salesman Problem and the Traveling Repairman Problem

Algorithmic strategies for finding the best TSP 2-OPT move in average sub-quadratic time

A $(\frac32+\frac1{\mathrm{e}})$-Approximation Algorithm for Ordered TSP

Routing on Sparse Graphs with Non-metric Costs for the Prize-collecting Travelling Salesperson Problem

Toward Solving the Steiner Travelling Salesman Problem on Urban Road Maps Using the Branch Decomposition of Graphs

A Near Optimal Approach for Symmetric Traveling Salesman Problem in Euclidean Space

From Directed Steiner Tree to Directed Polymatroid Steiner Tree in Planar Graphs

Approximating TSP walks in subcubic graphs