Polyhedral results for two classes of submodular sets with GUB constraints
Weikang Qian, Keyan Li, Wei-Kun Chen, Yu-Hong Dai
TL;DR
The paper addresses the polyhedral description of two GUB-constrained submodular epigraphs, $X_0$ and $X$, by introducing lifted extended polymatroid inequalities (LEPIs) obtained through sequential lifting. It proves LEPIs are facet-defining for $conv(X_0)$ and $conv(X)$, provides efficient computation (LEPI coefficients in $O(n^2)$ and $O(n)$ for partial ascending permutations), and develops an $O(n\log n)$ separation algorithm, enabling a complete linear description when combined with bounds and GUB constraints. The results extend to $conv(X)$ via a one-to-one correspondence and deliver cutting planes that significantly tighten LP relaxations in branch-and-cut for probabilistic covering location and probabilistic knapsack problems. Empirical tests on MPCLP and MPKP-G show LEPIs substantially outperform EPIs, achieving tighter bounds and faster solution times. These findings enhance practical solvability of submodular GUB problems and offer a path to broader polyhedral characterizations.
Abstract
In this paper, we investigate the polyhedral structure of two submodular sets with generalized upper bound (GUB) constraints, which arise as important substructures in various real-world applications. We derive a class of strong valid inequalities for the two sets using sequential lifting techniques. The proposed lifted inequalities are facet-defining for the convex hulls of two sets and are stronger than the well-known extended polymatroid inequalities (EPIs). We provide a more compact characterization of these inequalities and show that each of them can be computed in linear time. Moreover, the proposed lifted inequalities, together with bound and GUB constraints, can completely characterize the convex hulls of the two sets, and can be separated using a combinatorial polynomial-time algorithm. Finally, computational results on probabilistic covering location and multiple probabilistic knapsack problems demonstrate the superiority of the proposed lifted inequalities over the EPIs within a branch-and-cut framework.
