459 research outputs found
Approximate F_2-Sketching of Valuation Functions
We study the problem of constructing a linear sketch of minimum dimension that allows approximation of a given real-valued function f : F_2^n - > R with small expected squared error. We develop a general theory of linear sketching for such functions through which we analyze their dimension for most commonly studied types of valuation functions: additive, budget-additive, coverage, alpha-Lipschitz submodular and matroid rank functions. This gives a characterization of how many bits of information have to be stored about the input x so that one can compute f under additive updates to its coordinates.
Our results are tight in most cases and we also give extensions to the distributional version of the problem where the input x in F_2^n is generated uniformly at random. Using known connections with dynamic streaming algorithms, both upper and lower bounds on dimension obtained in our work extend to the space complexity of algorithms evaluating f(x) under long sequences of additive updates to the input x presented as a stream. Similar results hold for simultaneous communication in a distributed setting
Subdeterminant Maximization via Nonconvex Relaxations and Anti-concentration
Several fundamental problems that arise in optimization and computer science
can be cast as follows: Given vectors and a
constraint family , find a set that
maximizes the squared volume of the simplex spanned by the vectors in . A
motivating example is the data-summarization problem in machine learning where
one is given a collection of vectors that represent data such as documents or
images. The volume of a set of vectors is used as a measure of their diversity,
and partition or matroid constraints over are imposed in order to ensure
resource or fairness constraints. Recently, Nikolov and Singh presented a
convex program and showed how it can be used to estimate the value of the most
diverse set when corresponds to a partition matroid. This result was
recently extended to regular matroids in works of Straszak and Vishnoi, and
Anari and Oveis Gharan. The question of whether these estimation algorithms can
be converted into the more useful approximation algorithms -- that also output
a set -- remained open.
The main contribution of this paper is to give the first approximation
algorithms for both partition and regular matroids. We present novel
formulations for the subdeterminant maximization problem for these matroids;
this reduces them to the problem of finding a point that maximizes the absolute
value of a nonconvex function over a Cartesian product of probability
simplices. The technical core of our results is a new anti-concentration
inequality for dependent random variables that allows us to relate the optimal
value of these nonconvex functions to their value at a random point. Unlike
prior work on the constrained subdeterminant maximization problem, our proofs
do not rely on real-stability or convexity and could be of independent interest
both in algorithms and complexity.Comment: in FOCS 201
On Generalizations of Network Design Problems with Degree Bounds
Iterative rounding and relaxation have arguably become the method of choice
in dealing with unconstrained and constrained network design problems. In this
paper we extend the scope of the iterative relaxation method in two directions:
(1) by handling more complex degree constraints in the minimum spanning tree
problem (namely, laminar crossing spanning tree), and (2) by incorporating
`degree bounds' in other combinatorial optimization problems such as matroid
intersection and lattice polyhedra. We give new or improved approximation
algorithms, hardness results, and integrality gaps for these problems.Comment: v2, 24 pages, 4 figure
Matroidal Degree-Bounded Minimum Spanning Trees
We consider the minimum spanning tree (MST) problem under the restriction
that for every vertex v, the edges of the tree that are adjacent to v satisfy a
given family of constraints. A famous example thereof is the classical
degree-constrained MST problem, where for every vertex v, a simple upper bound
on the degree is imposed. Iterative rounding/relaxation algorithms became the
tool of choice for degree-bounded network design problems. A cornerstone for
this development was the work of Singh and Lau, who showed for the
degree-bounded MST problem how to find a spanning tree violating each degree
bound by at most one unit and with cost at most the cost of an optimal solution
that respects the degree bounds.
However, current iterative rounding approaches face several limits when
dealing with more general degree constraints. In particular, when several
constraints are imposed on the edges adjacent to a vertex v, as for example
when a partition of the edges adjacent to v is given and only a fixed number of
elements can be chosen out of each set of the partition, current approaches
might violate each of the constraints by a constant, instead of violating all
constraints together by at most a constant number of edges. Furthermore, it is
also not clear how previous iterative rounding approaches can be used for
degree constraints where some edges are in a super-constant number of
constraints.
We extend iterative rounding/relaxation approaches both on a conceptual level
as well as aspects involving their analysis to address these limitations. This
leads to an efficient algorithm for the degree-constrained MST problem where
for every vertex v, the edges adjacent to v have to be independent in a given
matroid. The algorithm returns a spanning tree T of cost at most OPT, such that
for every vertex v, it suffices to remove at most 8 edges from T to satisfy the
matroidal degree constraint at v
- …