Abstract:Fast algorithms for submodular maximization problems have a vast potential use in applicative settings, such as machine learning, social networks, and economics. Though fast algorithms were known for some special cases, only recently Badanidiyuru and Vondrák (2014) were the first to explicitly look for such algorithms in the general case of maximizing a monotone submodular function subject to a matroid independence constraint. The algorithm of Badanidiyuru and Vondrák matches the best possible approximation guarantee, while trying to reduce the number of value oracle queries the algorithm performs. Our main result is a new algorithm for this general case which establishes a surprising tradeoff between two seemingly unrelated quantities: the number of value oracle queries and the number of matroid independence queries performed by the algorithm. Specifically, one can decrease the former by increasing the latter and vice versa, while maintaining the best possible approximation guarantee. Such a tradeoff is very useful since various applications might incur significantly different costs in querying the value and matroid independence oracles. Furthermore, in case the rank of the matroid is $O(n^c)$, where $n$ is the size of the ground set and $c$ is an absolute constant smaller than $1$, the total number of oracle queries our algorithm uses can be made to have a smaller magnitude compared to that needed by Badanidiyuru and Vondrák. We also provide even faster algorithms for the well studied special cases of a cardinality constraint and a partition matroid independence constraint, both of which capture many real-world applications and have been widely studied both theorically and in practice.

A simple algorithm for checking equivalence of counting functions on free monoids

Efficient computations with counting functions on free groups and free monoids

A Fast Algorithm For Maximizing A Non-Monotone Dr-Submodular Integer Lattice Function

Bases for counting functions on free monoids and groups

Computing the Number of Equivalent Classes on $\mathcal{R}(s,n)/\mathcal{R}(k,n)$

Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic

Computing the Number of Affine Equivalent Classes on ℛ(s,n)/ℛ(k,n)

Enumeration and Unimodular Equivalence of Empty Delta-Modular Simplices

Comparing Apples and Oranges: Query Tradeoff in Submodular Maximization

An automatic system to detect equivalence between iterative algorithms

Circuit equivalence in 2-nilpotent algebras

On the rational subsets of the monogenic free inverse monoid

On Equivalence Checking of Nondeterministic Finite Automata

Classification des entiers monomialement irr{é}ductibles et g{é}n{é}ralisations

Congruences modulo powers of $5$ for odd ranks

On The Number of Inequivalent Monotone Boolean Functions of 9 Variables

Computational complexity of counting coincidences

Counting Unimodular Lattices in $\R^{r,s}$

On the equational theory of finite modular lattices

Algebraic Algorithms for Fractional Linear Matroid Parity via Non-commutative Rank

Ehrenfeucht-Fraisse games on a class of scattered linear orders