The Libraries will be performing routine maintenance on UWSpace on July 15th-16th, 2025. UWSpace will be available, though users may experience service lags during this time. We recommend all users avoid submitting new items to UWSpace until maintenance is completed.
 

Testing Submodularity

Loading...
Thumbnail Image

Date

2017-09-28

Authors

Bommireddi, Venkata Abhinav

Advisor

Blais, Eric

Journal Title

Journal ISSN

Volume Title

Publisher

University of Waterloo

Abstract

We show that for any constants $\epsilon > 0$ and $p \ge 1$, given oracle access to an unknown function $f : \{0,1\}^n \to [0,1]$ it is possible to determine if the function is submodular or is $\epsilon$-far from every submodular function, in $\ell_p$ distance, with a \emph{constant} number of queries to the oracle. We refer to the process of determining if an unknown function has a property, or is far from every function having the property, as \emph{property testing}, and we refer to the algorithm that does that as a tester or a testing algorithm. A function $f : \{0,1\}^n \to [0,1]$ is a \emph{$k$-junta} if there is a set $J \subseteq [n]$ of cardinality $|J| \le k$ such that the value of $f$ on any input $x$ is completely determined by the values $x_i$ for $i \in J$. For any constant $\epsilon > 0$ and a set of $k$-juntas $\mathcal{F}$, we give an algorithm which determines if an unknown function $f : \{0,1\}^n \to [0,1]$ is $\frac{\epsilon}{10^6}$-close to some function in $\mathcal{F}$ or is $\epsilon$-far from every function in $\mathcal{F}$, in $\ell_2$ distance, with a constant number of queries to the unknown function. This result, combined with a recent junta theorem of Feldman and \Vondrak (2016) in which they show every submodular function is $\epsilon$-close, in $\ell_2$ distance, to another submodular function which is a $\tilde{O}(\frac{1}{\epsilon^2})$-junta, yields the constant-query testing algorithm for submodular functions. We also give constant-query testing algorithms for a variety of other natural properties of valuation functions, including fractionally additive (XOS) functions, OXS functions, unit demand functions, coverage functions, and self-bounding functions.

Description

Keywords

Property testing, Submodular functions, Juntas

LC Subject Headings

Citation