Parametric maximum closure on precedence forests
The Maximum Closure Problem asks for a maximum-weight closed subset of a precedence-constrained set of vertices; when vertex weights depend affinely on a scalar parameter $λ$, as in open-pit mine scheduling, the goal becomes computing the optimal closed set for every value of $λ$ at once. We address this problem when the precedence graph is a directed forest. We present two algorithms (Peel-and-Contract, PaC, and its dual DPaC) that compute the full parametric solution -- a canonical sequence of disjoint closure layers inducing the nested optimal closures -- by iteratively aggregating vertices along precedence arcs, with time-complexity $\mathcal{O}(n^2)$ for general forests and space-complexity $\mathcal{O}(n)$; heap-based implementations (HPaC, DHPaC) have a worse time-complexity of $\mathcal{O}(n^2\log n)$, but on random instances their computing times empirically grow as $n\log n$. When the forest is restricted to in-trees or out-trees, specialized heap-based variants (HIPaC, HOPaC) achieve time-complexity $\mathcal{O}(n\log n)$. We then present a further aggregation-based algorithm (Rake-and-Compress, RaC) with time- and space-complexity $\mathcal{O}(n\log n)$ also for general forests, which matches the $Ω(n\log n)$ lower bound for comparison-based algorithms. Computational experiments on random and structured forests with up to $10^5$ vertices characterize the practical behavior of the proposed algorithms, identify the topologies on which HPaC and RaC are preferable, and compare HPaC with the public implementation of the fully parametric pseudoflow algorithm, the state of the art for arbitrary precedence graphs, which it outperforms on forests by one to more than three orders of magnitude.