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.

Exact Algorithms for the Maximum Planar Subgraph Problem: New Models and Experiments

Cycles to the Rescue! Novel Constraints to Compute Maximum Planar Subgraphs Fast

An Algorithm for Maximum Common Subgraph of Planar Triangulation Graphs

A polynomial-time $\text{OPT}^ε$-approximation algorithm for maximum independent set of connected subgraphs in a planar graph

Exact Algorithms for Clustered Planarity with Linear Saturators

Minimum Scan Cover and Variants -- Theory and Experiments

Constrained Level Planarity is FPT with Respect to the Vertex Cover Number

Quasi-Polynomial Time Approximation Schemes for the Maximum Weight Independent Set Problem in [math]-Free Graphs

The Multi-Maximum and Quasi-Maximum Common Subgraph Problem

The Maximum Clique Problem and Integer Programming Models, Their Modifications, Complexity and Implementation

Efficient Exact Algorithms for Minimum Covering of Orthogonal Polygons with Squares

Maximum Cut Parameterized by Crossing Number

An Experimental Study of ILP Formulations for the Longest Induced Path Problem

Constrained Planarity in Practice -- Engineering the Synchronized Planarity Algorithm

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

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

Efficient Exact Inference in Planar Ising Models

Faster minimum weight subgraph algorithms

Crossing Numbers of Beyond Planar Graphs Re-revisited: A Framework Approach

An Algorithmic Meta-Theorem for Graph Modification to Planarity and FOL

Faster algorithms for sparse ILP and hypergraph multi-packing/multi-cover problems