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.

Beyond Windability: Approximability of the Four-Vertex Model

Counting perfect matchings and the eight-vertex model

Approximating the Expected Values for Combinatorial Optimization Problems over Stochastic Points.

Approximability of Poisson structures for the 4-vertex model, and the higher-spin XXX chain, and Yang-Baxter algebras

Model-Agnostic Approximation of Constrained Forest Problems

Minimum Spanning Trees, Perfect Matchings and Cycle Covers over Stochastic Points in Metric Spaces

Improved Approximation Algorithms for Box Contact Representations

An $O(\log OPT)$-approximation for covering and packing minor models of $θ_r$

The Six-Vertex Model with a Non-Standard Boundary Condition

An Approximation Algorithm for Covering Vertices by 4^+-Paths

Six-vertex model with rare corners and random restricted permutations

Six-Vertex Model and Random Matrix Distributions

Approximate Counting via Correlation Decay on Planar Graphs

On Approximating Four Covering and Packing Problems

Improved Approximation Algorithms by Generalizing the Primal-Dual Method Beyond Uncrossable Functions

An Improved Fully Polynomial Randomized Approximation Scheme (FPRAS) for Counting the Number of Hamiltonian Cycles in Dense Digraphs

Tight Approximations for Graphical House Allocation

Approximate Algorithms for Vertex Cover Problems in WSN Topology Design.

On the Approximability of Weighted Model Integration on DNF Structures

An FPTAS for the Hardcore Model on Random Regular Bipartite Graphs

Polyhedral Aspects of Feedback Vertex Set and Pseudoforest Deletion Set