96 research outputs found
Bribeproof mechanisms for two-values domains
Schummer (Journal of Economic Theory 2000) introduced the concept of
bribeproof mechanism which, in a context where monetary transfer between agents
is possible, requires that manipulations through bribes are ruled out.
Unfortunately, in many domains, the only bribeproof mechanisms are the trivial
ones which return a fixed outcome.
This work presents one of the few constructions of non-trivial bribeproof
mechanisms for these quasi-linear environments. Though the suggested
construction applies to rather restricted domains, the results obtained are
tight: For several natural problems, the method yields the only possible
bribeproof mechanism and no such mechanism is possible on more general domains.Comment: Extended abstract accepted to SAGT 2016. This ArXiv version corrects
typos in the proofs of Theorem 7 and Claims 28-29 of prior ArXiv versio
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
Partial Verification as a Substitute for Money
Recent work shows that we can use partial verification instead of money to
implement truthful mechanisms. In this paper we develop tools to answer the
following question. Given an allocation rule that can be made truthful with
payments, what is the minimal verification needed to make it truthful without
them? Our techniques leverage the geometric relationship between the type space
and the set of possible allocations.Comment: Extended Version of 'Partial Verification as a Substitute for Money',
AAAI 201
A characterization of 2-player mechanisms for scheduling
We study the mechanism design problem of scheduling unrelated machines and we
completely characterize the decisive truthful mechanisms for two players when
the domain contains both positive and negative values. We show that the class
of truthful mechanisms is very limited: A decisive truthful mechanism
partitions the tasks into groups so that the tasks in each group are allocated
independently of the other groups. Tasks in a group of size at least two are
allocated by an affine minimizer and tasks in singleton groups by a
task-independent mechanism. This characterization is about all truthful
mechanisms, including those with unbounded approximation ratio.
A direct consequence of this approach is that the approximation ratio of
mechanisms for two players is 2, even for two tasks. In fact, it follows that
for two players, VCG is the unique algorithm with optimal approximation 2.
This characterization provides some support that any decisive truthful
mechanism (for 3 or more players) partitions the tasks into groups some of
which are allocated by affine minimizers, while the rest are allocated by a
threshold mechanism (in which a task is allocated to a player when it is below
a threshold value which depends only on the values of the other players). We
also show here that the class of threshold mechanisms is identical to the class
of additive mechanisms.Comment: 20 pages, 4 figures, ESA'0
Mechanism Design without Money via Stable Matching
Mechanism design without money has a rich history in social choice
literature. Due to the strong impossibility theorem by Gibbard and
Satterthwaite, exploring domains in which there exist dominant strategy
mechanisms is one of the central questions in the field. We propose a general
framework, called the generalized packing problem (\gpp), to study the
mechanism design questions without payment. The \gpp\ possesses a rich
structure and comprises a number of well-studied models as special cases,
including, e.g., matroid, matching, knapsack, independent set, and the
generalized assignment problem.
We adopt the agenda of approximate mechanism design where the objective is to
design a truthful (or strategyproof) mechanism without money that can be
implemented in polynomial time and yields a good approximation to the socially
optimal solution. We study several special cases of \gpp, and give constant
approximation mechanisms for matroid, matching, knapsack, and the generalized
assignment problem. Our result for generalized assignment problem solves an
open problem proposed in \cite{DG10}.
Our main technical contribution is in exploitation of the approaches from
stable matching, which is a fundamental solution concept in the context of
matching marketplaces, in application to mechanism design. Stable matching,
while conceptually simple, provides a set of powerful tools to manage and
analyze self-interested behaviors of participating agents. Our mechanism uses a
stable matching algorithm as a critical component and adopts other approaches
like random sampling and online mechanisms. Our work also enriches the stable
matching theory with a new knapsack constrained matching model
- …