Faster and simpler sketches of valuation functions

Keren Cohavi, Shahar Dobzinski

Research output: Contribution to journalArticlepeer-review

Abstract

We present fast algorithms for sketching valuation functions. Let N (|N| = n) be some ground set and v : 2N → ℝ be a function. We say that ṽ : 2N → ℝ is an α-sketch of v if for every set S we have that v(S)/α ≤ ṽ(S) ≤ v(S) and ṽ can be described in poly(n) bits. Goemans et al. [SODA'09] showed that if v is submodular then there exists an Õ(√n)-sketch that can be constructed using polynomially many value queries (this is essentially the best possible, as Balcan and Harvey [STOC'11] show that no submodular function admits an n1/3-ε-sketch). Based on their work, Balcan et al. [COLT'12] and Badanidiyuru et al. [SODA'12] show that if v is subadditive, then there exists an Õ(√n)-sketch that can be constructed using polynomially many demand queries. All previous sketches are based on complicated geometric constructions. The first step in their constructions is proving the existence of a good sketch by finding an ellipsoid that "approximates" v well (this is done by applying John's theorem to ensure the existence of an ellipsoid that is "close" to the polymatroid that is associated with v). The second step is to show that this ellipsoid can be found efficiently, and this is done by repeatedly solving a certain convex program to obtain better approximations of John's ellipsoid. In this article, we give a significantly simpler, nongeometric proof for the existence of good sketches and utilize the proof to obtain much faster algorithms that match the previously obtained approximation bounds. Specifically, we provide an algorithm that finds Õ(√n)-sketch of a submodular function with only Õ(n3/2) value queries, and we provide an algorithm that finds Õ(√n)-sketch of a subadditive function with O(n) demand and value queries.

Original languageEnglish
Article number30
JournalACM Transactions on Algorithms
Volume13
Issue number3
DOIs
StatePublished - Mar 2017

All Science Journal Classification (ASJC) codes

  • Mathematics (miscellaneous)

Fingerprint

Dive into the research topics of 'Faster and simpler sketches of valuation functions'. Together they form a unique fingerprint.

Cite this