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.

Pruning Algorithms for Pretropisms of Newton Polytopes

On the Simplex Method for 0/1-Polytopes

Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning

Real tropicalization and negative faces of the Newton polytope

Shortest paths on polymatroids and hypergraphic polytopes

The Lawn Mowing Problem: From Algebra to Algorithms

Combinatorics of pruned Hurwitz numbers

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

A polynomial resultant approach to algebraic constructions of extremal graphs

Quantitative Indicators for Strength of Inequalities with Respect to a Polyhedron, Part II: Applications and Computational Evidence

Stretching Newton polygons using pure polynomials

Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

Optimization of trigonometric polynomials with crystallographic symmetry and spectral bounds for set avoiding graphs

Computing Nonsimple Polygons of Minimum Perimeter

Combining realization space models of polytopes

On Steiner Trees of the Regular Simplex

Trimming of Graphs, with Application to Point Labeling

Simplification paths in the Pachner graphs of closed orientable 3-manifold triangulations

Invariance principles for pruning processes of Galton-Watson trees

Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology

Some cases of Oort's conjecture about Newton polygons