Efficient submodular function maximization under linear packing constraints

  • Authors:
  • Yossi Azar;Iftah Gamzu

  • Affiliations:
  • Blavatnik School of Computer Science, Tel-Aviv Univ., Israel;Blavatnik School of Computer Science, Tel-Aviv Univ., Israel, Computer Science Division, The Open Univ., Israel

  • Venue:
  • ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part I
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study the problem of maximizing a monotone submodular set function subject to linear packing constraints. An instance of this problem consists of a matrix A∈[0,1]m ×n, a vector b∈[1,∞)m, and a monotone submodular set function f: 2[n]→ℝ+. The objective is to find a set S that maximizes f(S) subject to AxS≤b, where xS stands for the characteristic vector of the set S. A well-studied special case of this problem is when f is linear. This special linear case captures the class of packing integer programs. Our main contribution is an efficient combinatorial algorithm that achieves an approximation ratio of Ω(1 / m1/W), where W= min {bi / Aij : Aij0} is the width of the packing constraints. This result matches the best known performance guarantee for the linear case. One immediate corollary of this result is that the algorithm under consideration achieves constant factor approximation when the number of constraints is constant or when the width of the constraints is sufficiently large. This motivates us to study the large width setting, trying to determine its exact approximability. We develop an algorithm that has an approximation ratio of (1−ε)(1−1/e) when W=Ω(ln m / ε2). This result essentially matches the theoretical lower bound of 1−1/e. We also study the special setting in which the matrix A is binary and k-column sparse. A k-column sparse matrix has at most k non-zero entries in each of its column. We design a fast combinatorial algorithm that achieves an approximation ratio of Ω(1 / (Wk1/W)), that is, its performance guarantee only depends on the sparsity and width parameters.