200 research outputs found
Computational Efficiency Requires Simple Taxation
We characterize the communication complexity of truthful mechanisms. Our
departure point is the well known taxation principle. The taxation principle
asserts that every truthful mechanism can be interpreted as follows: every
player is presented with a menu that consists of a price for each bundle (the
prices depend only on the valuations of the other players). Each player is
allocated a bundle that maximizes his profit according to this menu. We define
the taxation complexity of a truthful mechanism to be the logarithm of the
maximum number of menus that may be presented to a player.
Our main finding is that in general the taxation complexity essentially
equals the communication complexity. The proof consists of two main steps.
First, we prove that for rich enough domains the taxation complexity is at most
the communication complexity. We then show that the taxation complexity is much
smaller than the communication complexity only in "pathological" cases and
provide a formal description of these extreme cases.
Next, we study mechanisms that access the valuations via value queries only.
In this setting we establish that the menu complexity -- a notion that was
already studied in several different contexts -- characterizes the number of
value queries that the mechanism makes in exactly the same way that the
taxation complexity characterizes the communication complexity.
Our approach yields several applications, including strengthening the
solution concept with low communication overhead, fast computation of prices,
and hardness of approximation by computationally efficient truthful mechanisms
On Simultaneous Two-player Combinatorial Auctions
We consider the following communication problem: Alice and Bob each have some
valuation functions and over subsets of items,
and their goal is to partition the items into in a way that
maximizes the welfare, . We study both the allocation
problem, which asks for a welfare-maximizing partition and the decision
problem, which asks whether or not there exists a partition guaranteeing
certain welfare, for binary XOS valuations. For interactive protocols with
communication, a tight 3/4-approximation is known for both
[Fei06,DS06].
For interactive protocols, the allocation problem is provably harder than the
decision problem: any solution to the allocation problem implies a solution to
the decision problem with one additional round and additional bits of
communication via a trivial reduction. Surprisingly, the allocation problem is
provably easier for simultaneous protocols. Specifically, we show:
1) There exists a simultaneous, randomized protocol with polynomial
communication that selects a partition whose expected welfare is at least
of the optimum. This matches the guarantee of the best interactive, randomized
protocol with polynomial communication.
2) For all , any simultaneous, randomized protocol that
decides whether the welfare of the optimal partition is or correctly with probability requires
exponential communication. This provides a separation between the attainable
approximation guarantees via interactive () versus simultaneous () protocols with polynomial communication.
In other words, this trivial reduction from decision to allocation problems
provably requires the extra round of communication
Mechanisms for Risk Averse Agents, Without Loss
Auctions in which agents' payoffs are random variables have received
increased attention in recent years. In particular, recent work in algorithmic
mechanism design has produced mechanisms employing internal randomization,
partly in response to limitations on deterministic mechanisms imposed by
computational complexity. For many of these mechanisms, which are often
referred to as truthful-in-expectation, incentive compatibility is contingent
on the assumption that agents are risk-neutral. These mechanisms have been
criticized on the grounds that this assumption is too strong, because "real"
agents are typically risk averse, and moreover their precise attitude towards
risk is typically unknown a-priori. In response, researchers in algorithmic
mechanism design have sought the design of universally-truthful mechanisms ---
mechanisms for which incentive-compatibility makes no assumptions regarding
agents' attitudes towards risk.
We show that any truthful-in-expectation mechanism can be generically
transformed into a mechanism that is incentive compatible even when agents are
risk averse, without modifying the mechanism's allocation rule. The transformed
mechanism does not require reporting of agents' risk profiles. Equivalently,
our result can be stated as follows: Every (randomized) allocation rule that is
implementable in dominant strategies when players are risk neutral is also
implementable when players are endowed with an arbitrary and unknown concave
utility function for money.Comment: Presented at the workshop on risk aversion in algorithmic game theory
and mechanism design, held in conjunction with EC 201
Implementation in Advised Strategies: Welfare Guarantees from Posted-Price Mechanisms When Demand Queries Are NP-Hard
State-of-the-art posted-price mechanisms for submodular bidders with
items achieve approximation guarantees of [Assadi and
Singla, 2019]. Their truthfulness, however, requires bidders to compute an
NP-hard demand-query. Some computational complexity of this form is
unavoidable, as it is NP-hard for truthful mechanisms to guarantee even an
-approximation for any [Dobzinski and
Vondr\'ak, 2016]. Together, these establish a stark distinction between
computationally-efficient and communication-efficient truthful mechanisms.
We show that this distinction disappears with a mild relaxation of
truthfulness, which we term implementation in advised strategies, and that has
been previously studied in relation to "Implementation in Undominated
Strategies" [Babaioff et al, 2009]. Specifically, advice maps a tentative
strategy either to that same strategy itself, or one that dominates it. We say
that a player follows advice as long as they never play actions which are
dominated by advice. A poly-time mechanism guarantees an -approximation
in implementation in advised strategies if there exists poly-time advice for
each player such that an -approximation is achieved whenever all
players follow advice. Using an appropriate bicriterion notion of approximate
demand queries (which can be computed in poly-time), we establish that (a
slight modification of) the [Assadi and Singla, 2019] mechanism achieves the
same -approximation in implementation in advised
strategies
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
- …