18 research outputs found
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
Pandora's Box Problem with Order Constraints
The Pandora's Box Problem, originally formalized by Weitzman in 1979, models
selection from set of random, alternative options, when evaluation is costly.
This includes, for example, the problem of hiring a skilled worker, where only
one hire can be made, but the evaluation of each candidate is an expensive
procedure. Weitzman showed that the Pandora's Box Problem admits an elegant,
simple solution, where the options are considered in decreasing order of
reservation value,i.e., the value that reduces to zero the expected marginal
gain for opening the box. We study for the first time this problem when order -
or precedence - constraints are imposed between the boxes. We show that,
despite the difficulty of defining reservation values for the boxes which take
into account both in-depth and in-breath exploration of the various options,
greedy optimal strategies exist and can be efficiently computed for tree-like
order constraints. We also prove that finding approximately optimal adaptive
search strategies is NP-hard when certain matroid constraints are used to
further restrict the set of boxes which may be opened, or when the order
constraints are given as reachability constraints on a DAG. We complement the
above result by giving approximate adaptive search strategies based on a
connection between optimal adaptive strategies and non-adaptive strategies with
bounded adaptivity gap for a carefully relaxed version of the problem
Envy Freedom and Prior-free Mechanism Design
We consider the provision of an abstract service to single-dimensional
agents. Our model includes position auctions, single-minded combinatorial
auctions, and constrained matching markets. When the agents' values are drawn
from a distribution, the Bayesian optimal mechanism is given by Myerson (1981)
as a virtual-surplus optimizer. We develop a framework for prior-free mechanism
design and analysis. A good mechanism in our framework approximates the optimal
mechanism for the distribution if there is a distribution; moreover, when there
is no distribution this mechanism still performs well.
We define and characterize optimal envy-free outcomes in symmetric
single-dimensional environments. Our characterization mirrors Myerson's theory.
Furthermore, unlike in mechanism design where there is no point-wise optimal
mechanism, there is always a point-wise optimal envy-free outcome.
Envy-free outcomes and incentive-compatible mechanisms are similar in
structure and performance. We therefore use the optimal envy-free revenue as a
benchmark for measuring the performance of a prior-free mechanism. A good
mechanism is one that approximates the envy free benchmark on any profile of
agent values. We show that good mechanisms exist, and in particular, a natural
generalization of the random sampling auction of Goldberg et al. (2001) is a
constant approximation
LIPIcs, Volume 244, ESA 2022, Complete Volume
LIPIcs, Volume 244, ESA 2022, Complete Volum
A Polyhedral Study of Mixed 0-1 Set
We consider a variant of the well-known single node fixed charge network flow set with constant capacities. This set arises from the relaxation of more general mixed integer sets such as lot-sizing problems with multiple suppliers. We provide a complete polyhedral characterization of the convex hull of the given set