Abstract:Constrained Forest Problems (CFPs) as introduced by Goemans and Williamson in 1995 capture a wide range of network design problems with edge subsets as solutions, such as Minimum Spanning Tree, Steiner Forest, and Point-to-Point Connection. While individual CFPs have been studied extensively in individual computational models, a unified approach to solving general CFPs in multiple computational models has been lacking. Against this background, we present the shell-decomposition algorithm, a model-agnostic meta-algorithm that efficiently computes a $(2+\epsilon)$-approximation to CFPs for a broad class of forest functions. To demonstrate the power and flexibility of this result, we instantiate our algorithm for 3 fundamental, NP-hard CFPs in 3 different computational models. For example, for constant $\epsilon$, we obtain the following $(2+\epsilon)$-approximations in the Congest model: 1. For Steiner Forest specified via input components, where each node knows the identifier of one of $k$ disjoint subsets of $V$, we achieve a deterministic $(2+\epsilon)$-approximation in $O(\sqrt{n}+D+k)$ rounds, where $D$ is the hop diameter of the graph. 2. For Steiner Forest specified via symmetric connection requests, where connection requests are issued to pairs of nodes, we leverage randomized equality testing to reduce the running time to $O(\sqrt{n}+D)$, succeeding with high probability. 3. For Point-to-Point Connection, we provide a $(2+\epsilon)$-approximation in $O(\sqrt{n}+D)$ rounds. 4. For Facility Placement and Connection, a relative of non-metric Facility Location, we obtain a $(2+\epsilon)$-approximation in $O(\sqrt{n}+D)$ rounds. We further show how to replace the $\sqrt{n}+D$ term by the complexity of solving Partwise Aggregation, achieving (near-)universal optimality in any setting in which a solution to Partwise Aggregation in near-shortcut-quality time is known.

2-Approximation for Prize-Collecting Steiner Forest

Prize-Collecting Steiner Tree: A 1.79 Approximation

Approximation Schemes for Steiner Forest on Planar Graphs and Graphs of Bounded Treewidth

Approximating Prize-Collecting Variants of TSP

Approximation algorithms for node-weighted prize-collecting Steiner tree problems on planar graphs

A 4-approximation algorithm for k-prize collecting Steiner tree problems

Approximation Algorithms for Interdiction Problem with Packing Constraints

A PTAS for the Steiner Forest Problem in Doubling Metrics

Bicriterial Approximation for the Incremental Prize-Collecting Steiner-Tree Problem

Parameterized Approximation Schemes for Steiner Trees with Small Number of Steiner Vertices

Parameterized Algorithms for Steiner Forest in Bounded Width Graphs

Tight Approximation for Variants of Directed Steiner Tree Via State-Tree Decomposition and Linear Programming Rounding.

An approximation algorithm for the prize-collecting connected dominating set problem

Approximation algorithm for prize-collecting vertex cover with fairness constraints

A Polylogarithmic Approximation for Directed Steiner Forest in Planar Digraphs

An improved approximation guarantee for Prize-Collecting TSP

Model-Agnostic Approximation of Constrained Forest Problems

3/2-Approximation for the Forest Augmentation Problem

Largest common subgraph of two forests

A 2-approximation for the bounded treewidth sparsest cut problem in $$\textsf{FPT}$$ Time

FIXED RATIO POLYNOMIAL TIME APPROXIMATION ALGORITHM FOR THE PRIZE-COLLECTING ASYMMETRIC TRAVELING SALESMAN PROBLEM