183 research outputs found
Entanglements
Robertson and Seymour constructed for every graph G a tree-decomposition that efficiently distinguishes all the tangles in G. While all previous constructions of these decompositions are either iterative in nature or not canonical, we give an explicit one-step construction that is canonical.The key ingredient is an axiomatisation of ‘local properties’ of tangles. Generalisations to locally finite graphs and matroids are also discusse
On Budget-Feasible Mechanism Design for Symmetric Submodular Objectives
We study a class of procurement auctions with a budget constraint, where an
auctioneer is interested in buying resources or services from a set of agents.
Ideally, the auctioneer would like to select a subset of the resources so as to
maximize his valuation function, without exceeding a given budget. As the
resources are owned by strategic agents however, our overall goal is to design
mechanisms that are truthful, budget-feasible, and obtain a good approximation
to the optimal value. Budget-feasibility creates additional challenges, making
several approaches inapplicable in this setting. Previous results on
budget-feasible mechanisms have considered mostly monotone valuation functions.
In this work, we mainly focus on symmetric submodular valuations, a prominent
class of non-monotone submodular functions that includes cut functions. We
begin first with a purely algorithmic result, obtaining a
-approximation for maximizing symmetric submodular functions
under a budget constraint. We view this as a standalone result of independent
interest, as it is the best known factor achieved by a deterministic algorithm.
We then proceed to propose truthful, budget feasible mechanisms (both
deterministic and randomized), paying particular attention on the Budgeted Max
Cut problem. Our results significantly improve the known approximation ratios
for these objectives, while establishing polynomial running time for cases
where only exponential mechanisms were known. At the heart of our approach lies
an appropriate combination of local search algorithms with results for monotone
submodular valuations, applied to the derived local optima.Comment: A conference version appears in WINE 201
Convex and Network Flow Optimization for Structured Sparsity
We consider a class of learning problems regularized by a structured
sparsity-inducing norm defined as the sum of l_2- or l_infinity-norms over
groups of variables. Whereas much effort has been put in developing fast
optimization techniques when the groups are disjoint or embedded in a
hierarchy, we address here the case of general overlapping groups. To this end,
we present two different strategies: On the one hand, we show that the proximal
operator associated with a sum of l_infinity-norms can be computed exactly in
polynomial time by solving a quadratic min-cost flow problem, allowing the use
of accelerated proximal gradient methods. On the other hand, we use proximal
splitting techniques, and address an equivalent formulation with
non-overlapping groups, but in higher dimension and with additional
constraints. We propose efficient and scalable algorithms exploiting these two
strategies, which are significantly faster than alternative approaches. We
illustrate these methods with several problems such as CUR matrix
factorization, multi-task learning of tree-structured dictionaries, background
subtraction in video sequences, image denoising with wavelets, and topographic
dictionary learning of natural image patches.Comment: to appear in the Journal of Machine Learning Research (JMLR
- …