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.

Fixed-Parameter and Approximation Algorithms for Maximum Agreement Forests of Multifurcating Trees

Approximation Algorithms for Nonbinary Agreement Forests

Algorithms for Maximum Agreement Forest of Multiple General Trees

A 3-factor approximation algorithm for a Maximum Acyclic Agreement Forest on k rooted, binary phylogenetic trees

Split-or-decompose: Improved FPT branching algorithms for maximum agreement forests

A Simple 4-Approximation Algorithm for Maximum Agreement Forests on Multiple Unrooted Binary Trees

Relaxed Agreement Forests

An Improved Algorithm for the Maximum Agreement Subtree Problem

Model-Agnostic Approximation of Constrained Forest Problems

A branch-&-price approach to the unrooted maximum agreement forest problem

A 2-approximation algorithm for the softwired parsimony problem on binary, tree-child phylogenetic networks

Breaching the 2-Approximation Barrier for the Forest Augmentation Problem

Inferring phylogenetic networks from multifurcating trees via cherry picking and machine learning

Agreement forests of caterpillar trees: complexity, kernelization and branching

Improved Parameterized and Exact Algorithms for Cut Problems on Trees

Calculating the Unrooted Subtree Prune-and-Regraft Distance

A Fixed-Parameter Tractable Algorithm for Finding Agreement Cherry-Reduced Subnetworks in Level-1 Orchard Networks

Reflections on kernelizing and computing unrooted agreement forests

A New 2-Approximation Algorithm for rSPR Distance.

An FPT algorithm for node-disjoint subtrees problems parameterized by treewidth

Approximation and Exact Algorithms for Constructing Minimum Ultrametric Trees from Distance Matrices.