158,908 research outputs found
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
Budget Feasible Mechanism Design: From Prior-Free to Bayesian
Budget feasible mechanism design studies procurement combinatorial auctions
where the sellers have private costs to produce items, and the
buyer(auctioneer) aims to maximize a social valuation function on subsets of
items, under the budget constraint on the total payment. One of the most
important questions in the field is "which valuation domains admit truthful
budget feasible mechanisms with `small' approximations (compared to the social
optimum)?" Singer showed that additive and submodular functions have such
constant approximations. Recently, Dobzinski, Papadimitriou, and Singer gave an
O(log^2 n)-approximation mechanism for subadditive functions; they also
remarked that: "A fundamental question is whether, regardless of computational
constraints, a constant-factor budget feasible mechanism exists for subadditive
functions."
We address this question from two viewpoints: prior-free worst case analysis
and Bayesian analysis. For the prior-free framework, we use an LP that
describes the fractional cover of the valuation function; it is also connected
to the concept of approximate core in cooperative game theory. We provide an
O(I)-approximation mechanism for subadditive functions, via the worst case
integrality gap I of LP. This implies an O(log n)-approximation for subadditive
valuations, O(1)-approximation for XOS valuations, and for valuations with a
constant I. XOS valuations are an important class of functions that lie between
submodular and subadditive classes. We give another polynomial time O(log
n/loglog n) sub-logarithmic approximation mechanism for subadditive valuations.
For the Bayesian framework, we provide a constant approximation mechanism for
all subadditive functions, using the above prior-free mechanism for XOS
valuations as a subroutine. Our mechanism allows correlations in the
distribution of private information and is universally truthful.Comment: to appear in STOC 201
Budget feasible mechanisms on matroids
Motivated by many practical applications, in this paper we study budget feasible mechanisms where the goal is to procure independent sets from matroids. More specifically, we are given a matroid =(,) where each ground (indivisible) element is a selfish agent. The cost of each element (i.e., for selling the item or performing a service) is only known to the element itself. There is a buyer with a budget having additive valuations over the set of elements E. The goal is to design an incentive compatible (truthful) budget feasible mechanism which procures an independent set of the matroid under the given budget that yields the largest value possible to the buyer. Our result is a deterministic, polynomial-time, individually rational, truthful and budget feasible mechanism with 4-approximation to the optimal independent set. Then, we extend our mechanism to the setting of matroid intersections in which the goal is to procure common independent sets from multiple matroids. We show that, given a polynomial time deterministic blackbox that returns -approximation solutions to the matroid intersection problem, there exists a deterministic, polynomial time, individually rational, truthful and budget feasible mechanism with (3+1) -approximation to the optimal common independent set
Budget-Feasible Mechanism Design for Non-Monotone Submodular Objectives: Offline and Online
The framework of budget-feasible mechanism design studies procurement
auctions where the auctioneer (buyer) aims to maximize his valuation function
subject to a hard budget constraint. We study the problem of designing truthful
mechanisms that have good approximation guarantees and never pay the
participating agents (sellers) more than the budget. We focus on the case of
general (non-monotone) submodular valuation functions and derive the first
truthful, budget-feasible and -approximate mechanisms that run in
polynomial time in the value query model, for both offline and online auctions.
Prior to our work, the only -approximation mechanism known for
non-monotone submodular objectives required an exponential number of value
queries.
At the heart of our approach lies a novel greedy algorithm for non-monotone
submodular maximization under a knapsack constraint. Our algorithm builds two
candidate solutions simultaneously (to achieve a good approximation), yet
ensures that agents cannot jump from one solution to the other (to implicitly
enforce truthfulness). Ours is the first mechanism for the problem
where---crucially---the agents are not ordered with respect to their marginal
value per cost. This allows us to appropriately adapt these ideas to the online
setting as well.
To further illustrate the applicability of our approach, we also consider the
case where additional feasibility constraints are present. We obtain
-approximation mechanisms for both monotone and non-monotone submodular
objectives, when the feasible solutions are independent sets of a -system.
With the exception of additive valuation functions, no mechanisms were known
for this setting prior to our work. Finally, we provide lower bounds suggesting
that, when one cares about non-trivial approximation guarantees in polynomial
time, our results are asymptotically best possible.Comment: Accepted to EC 201
Budget Feasible Mechanisms
We study a novel class of mechanism design problems in which the outcomes are
constrained by the payments. This basic class of mechanism design problems
captures many common economic situations, and yet it has not been studied, to
our knowledge, in the past. We focus on the case of procurement auctions in
which sellers have private costs, and the auctioneer aims to maximize a utility
function on subsets of items, under the constraint that the sum of the payments
provided by the mechanism does not exceed a given budget. Standard mechanism
design ideas such as the VCG mechanism and its variants are not applicable
here. We show that, for general functions, the budget constraint can render
mechanisms arbitrarily bad in terms of the utility of the buyer. However, our
main result shows that for the important class of submodular functions, a
bounded approximation ratio is achievable. Better approximation results are
obtained for subclasses of the submodular functions. We explore the space of
budget feasible mechanisms in other domains and give a characterization under
more restricted conditions
- …