Maximizing Nonmonotone Submodular Functions under Matroid or Knapsack Constraints

TLDR

Submodular function maximization is a central NP‑hard problem that generalizes many combinatorial tasks such as Max Cut, constraint satisfaction, entropy sampling, and facility location. We aim to provide the first constant‑factor approximation algorithm for maximizing any nonnegative submodular function under multiple matroid or knapsack constraints. Our algorithm achieves constant‑factor approximations for nonmonotone submodular maximization under k matroid or k knapsack constraints. We obtain a (1/(k+2+1/k+ε))-approximation for k matroid constraints, a (1/5−ε)-approximation for k knapsack constraints, a (1/(k+1+1/(k−1)+ε))-approximation for k≥2 partition matroids, and a (1/(k+ε))-approximation for monotone submodular functions under k≥2 partition matroids, improving previous guarantees.

Abstract

Submodular function maximization is a central problem in combinatorial optimization, generalizing many important problems including Max Cut in directed/undirected graphs and in hypergraphs, certain constraint satisfaction problems, maximum entropy sampling, and maximum facility location problems. Unlike submodular minimization, submodular maximization is NP-hard. In this paper, we give the first constant-factor approximation algorithm for maximizing any nonnegative submodular function subject to multiple matroid or knapsack constraints. We emphasize that our results are for nonmonotone submodular functions. In particular, for any constant k, we present a $(\frac{1}{k+2+\frac{1}{k}+\epsilon})$-approximation for the submodular maximization problem under k matroid constraints, and a $(\frac{1}{5}-\epsilon)$-approximation algorithm for this problem subject to k knapsack constraints ($\epsilon>0$ is any constant). We improve the approximation guarantee of our algorithm to $\frac{1}{k+1+\frac{1}{k-1}+\epsilon}$ for $k\geq2$ partition matroid constraints. This idea also gives a $(\frac{1}{k+\epsilon})$-approximation for maximizing a monotone submodular function subject to $k\geq2$ partition matroids, which is an improvement over the previously best known guarantee of $\frac{1}{k+1}$.