31 research outputs found
Welfare Maximization and Truthfulness in Mechanism Design with Ordinal Preferences
We study mechanism design problems in the {\em ordinal setting} wherein the
preferences of agents are described by orderings over outcomes, as opposed to
specific numerical values associated with them. This setting is relevant when
agents can compare outcomes, but aren't able to evaluate precise utilities for
them. Such a situation arises in diverse contexts including voting and matching
markets.
Our paper addresses two issues that arise in ordinal mechanism design. To
design social welfare maximizing mechanisms, one needs to be able to
quantitatively measure the welfare of an outcome which is not clear in the
ordinal setting. Second, since the impossibility results of Gibbard and
Satterthwaite~\cite{Gibbard73,Satterthwaite75} force one to move to randomized
mechanisms, one needs a more nuanced notion of truthfulness.
We propose {\em rank approximation} as a metric for measuring the quality of
an outcome, which allows us to evaluate mechanisms based on worst-case
performance, and {\em lex-truthfulness} as a notion of truthfulness for
randomized ordinal mechanisms. Lex-truthfulness is stronger than notions
studied in the literature, and yet flexible enough to admit a rich class of
mechanisms {\em circumventing classical impossibility results}. We demonstrate
the usefulness of the above notions by devising lex-truthful mechanisms
achieving good rank-approximation factors, both in the general ordinal setting,
as well as structured settings such as {\em (one-sided) matching markets}, and
its generalizations, {\em matroid} and {\em scheduling} markets.Comment: Some typos correcte
Mechanism Design for Team Formation
Team formation is a core problem in AI. Remarkably, little prior work has
addressed the problem of mechanism design for team formation, accounting for
the need to elicit agents' preferences over potential teammates. Coalition
formation in the related hedonic games has received much attention, but only
from the perspective of coalition stability, with little emphasis on the
mechanism design objectives of true preference elicitation, social welfare, and
equity. We present the first formal mechanism design framework for team
formation, building on recent combinatorial matching market design literature.
We exhibit four mechanisms for this problem, two novel, two simple extensions
of known mechanisms from other domains. Two of these (one new, one known) have
desirable theoretical properties. However, we use extensive experiments to show
our second novel mechanism, despite having no theoretical guarantees,
empirically achieves good incentive compatibility, welfare, and fairness.Comment: 12 page
House Markets with Matroid and Knapsack Constraints
Classical online bipartite matching problem and its generalizations are central algorithmic optimization problems. The second related line of research is in the area of algorithmic mechanism design, referring to the broad class of house allocation or assignment problems. We introduce a single framework that unifies and generalizes these two streams of models. Our generalizations allow for arbitrary matroid constraints or knapsack constraints at every object in the allocation problem. We design and analyze approximation algorithms and truthful mechanisms for this framework. Our algorithms have best possible approximation guarantees for most of the special instantiations of this framework, and are strong generalizations of the previous known results
Size versus truthfulness in the House Allocation problem
We study the House Allocation problem (also known as the Assignment problem),
i.e., the problem of allocating a set of objects among a set of agents, where
each agent has ordinal preferences (possibly involving ties) over a subset of
the objects. We focus on truthful mechanisms without monetary transfers for
finding large Pareto optimal matchings. It is straightforward to show that no
deterministic truthful mechanism can approximate a maximum cardinality Pareto
optimal matching with ratio better than 2. We thus consider randomised
mechanisms. We give a natural and explicit extension of the classical Random
Serial Dictatorship Mechanism (RSDM) specifically for the House Allocation
problem where preference lists can include ties. We thus obtain a universally
truthful randomised mechanism for finding a Pareto optimal matching and show
that it achieves an approximation ratio of . The same bound
holds even when agents have priorities (weights) and our goal is to find a
maximum weight (as opposed to maximum cardinality) Pareto optimal matching. On
the other hand we give a lower bound of on the approximation
ratio of any universally truthful Pareto optimal mechanism in settings with
strict preferences. In the case that the mechanism must additionally be
non-bossy with an additional technical assumption, we show by utilising a
result of Bade that an improved lower bound of holds. This
lower bound is tight since RSDM for strict preference lists is non-bossy. We
moreover interpret our problem in terms of the classical secretary problem and
prove that our mechanism provides the best randomised strategy of the
administrator who interviews the applicants.Comment: To appear in Algorithmica (preliminary version appeared in the
Proceedings of EC 2014