Algorithms for covering multiple submodular constraints and applications

Abstract

We consider the problem of covering multiple submodular constraints. Given a finite ground set N, a weight function $w: N \rightarrow \mathbb {R}_+$, r monotone submodular functions $f_1,f_2,\ldots ,f_r$ over N and requirements $k_1,k_2,\ldots ,k_r$ the goal is to find a minimum weight subset $S \subseteq N$ such that $f_i(S) \ge k_i$ for $1 \le i \le r$. We refer to this problem as Multi-Submod-Cover and it was recently considered by Har-Peled and Jones (Few cuts meet many point sets. CoRR. arxiv:abs1808.03260Har-Peled and Jones 2018) who were motivated by an application in geometry. Even with $r=1$ Multi-Submod-Cover generalizes the well-known Submodular Set Cover problem (Submod-SC), and it can also be easily reduced to Submod-SC. A simple greedy algorithm gives an $O(\log (kr))$ approximation where $k = \sum _i k_i$ and this ratio cannot be improved in the general case. In this paper, motivated by several concrete applications, we consider two ways to improve upon the approximation given by the greedy algorithm. First, we give a bicriteria approximation algorithm for Multi-Submod-Cover that covers each constraint to within a factor of $(1-1/e-\varepsilon )$ while incurring an approximation of $O(\frac{1}{\epsilon }\log r)$ in the cost. Second, we consider the special case when each $f_i$ is a obtained from a truncated coverage function and obtain an algorithm that generalizes previous work on partial set cover (Partial-SC), covering integer programs (CIPs) and multiple vertex cover constraints Bera et al. (Theoret Comput Sci 555:2–8 Bera et al. 2014). Both these algorithms are based on mathematical programming relaxations that avoid the limitations of the greedy algorithm. We demonstrate the implications of our algorithms and related ideas to several applications ranging from geometric covering problems to clustering with outliers. Our work highlights the utility of the high-level model and the lens of submodularity in addressing this class of covering problems.publishedVersio