41 research outputs found
Auctions with Heterogeneous Items and Budget Limits
We study individual rational, Pareto optimal, and incentive compatible
mechanisms for auctions with heterogeneous items and budget limits. For
multi-dimensional valuations we show that there can be no deterministic
mechanism with these properties for divisible items. We use this to show that
there can also be no randomized mechanism that achieves this for either
divisible or indivisible items. For single-dimensional valuations we show that
there can be no deterministic mechanism with these properties for indivisible
items, but that there is a randomized mechanism that achieves this for either
divisible or indivisible items. The impossibility results hold for public
budgets, while the mechanism allows private budgets, which is in both cases the
harder variant to show. While all positive results are polynomial-time
algorithms, all negative results hold independent of complexity considerations
Mechanism Design for Perturbation Stable Combinatorial Auctions
Motivated by recent research on combinatorial markets with endowed valuations
by (Babaioff et al., EC 2018) and (Ezra et al., EC 2020), we introduce a notion
of perturbation stability in Combinatorial Auctions (CAs) and study the extend
to which stability helps in social welfare maximization and mechanism design. A
CA is if the optimal solution is resilient to
inflation, by a factor of , of any bidder's valuation for any
single item. On the positive side, we show how to compute efficiently an
optimal allocation for 2-stable subadditive valuations and that a Walrasian
equilibrium exists for 2-stable submodular valuations. Moreover, we show that a
Parallel 2nd Price Auction (P2A) followed by a demand query for each bidder is
truthful for general subadditive valuations and results in the optimal
allocation for 2-stable submodular valuations. To highlight the challenges
behind optimization and mechanism design for stable CAs, we show that a
Walrasian equilibrium may not exist for -stable XOS valuations for any
, that a polynomial-time approximation scheme does not exist for
-stable submodular valuations, and that any DSIC mechanism that
computes the optimal allocation for stable CAs and does not use demand queries
must use exponentially many value queries. We conclude with analyzing the Price
of Anarchy of P2A and Parallel 1st Price Auctions (P1A) for CAs with stable
submodular and XOS valuations. Our results indicate that the quality of
equilibria of simple non-truthful auctions improves only for -stable
instances with
Truthful Mechanisms for Matching and Clustering in an Ordinal World
We study truthful mechanisms for matching and related problems in a partial
information setting, where the agents' true utilities are hidden, and the
algorithm only has access to ordinal preference information. Our model is
motivated by the fact that in many settings, agents cannot express the
numerical values of their utility for different outcomes, but are still able to
rank the outcomes in their order of preference. Specifically, we study problems
where the ground truth exists in the form of a weighted graph of agent
utilities, but the algorithm can only elicit the agents' private information in
the form of a preference ordering for each agent induced by the underlying
weights. Against this backdrop, we design truthful algorithms to approximate
the true optimum solution with respect to the hidden weights. Our techniques
yield universally truthful algorithms for a number of graph problems: a
1.76-approximation algorithm for Max-Weight Matching, 2-approximation algorithm
for Max k-matching, a 6-approximation algorithm for Densest k-subgraph, and a
2-approximation algorithm for Max Traveling Salesman as long as the hidden
weights constitute a metric. We also provide improved approximation algorithms
for such problems when the agents are not able to lie about their preferences.
Our results are the first non-trivial truthful approximation algorithms for
these problems, and indicate that in many situations, we can design robust
algorithms even when the agents may lie and only provide ordinal information
instead of precise utilities.Comment: To appear in the Proceedings of WINE 201
Efficiency Guarantees in Auctions with Budgets
In settings where players have a limited access to liquidity, represented in
the form of budget constraints, efficiency maximization has proven to be a
challenging goal. In particular, the social welfare cannot be approximated by a
better factor then the number of players. Therefore, the literature has mainly
resorted to Pareto-efficiency as a way to achieve efficiency in such settings.
While successful in some important scenarios, in many settings it is known that
either exactly one incentive-compatible auction that always outputs a
Pareto-efficient solution, or that no truthful mechanism can always guarantee a
Pareto-efficient outcome. Traditionally, impossibility results can be avoided
by considering approximations. However, Pareto-efficiency is a binary property
(is either satisfied or not), which does not allow for approximations.
In this paper we propose a new notion of efficiency, called \emph{liquid
welfare}. This is the maximum amount of revenue an omniscient seller would be
able to extract from a certain instance. We explain the intuition behind this
objective function and show that it can be 2-approximated by two different
auctions. Moreover, we show that no truthful algorithm can guarantee an
approximation factor better than 4/3 with respect to the liquid welfare, and
provide a truthful auction that attains this bound in a special case.
Importantly, the liquid welfare benchmark also overcomes impossibilities for
some settings. While it is impossible to design Pareto-efficient auctions for
multi-unit auctions where players have decreasing marginal values, we give a
deterministic -approximation for the liquid welfare in this setting
Welfare and Revenue Guarantees for Competitive Bundling Equilibrium
We study equilibria of markets with heterogeneous indivisible goods and
consumers with combinatorial preferences. It is well known that a
competitive equilibrium is not guaranteed to exist when valuations are not
gross substitutes. Given the widespread use of bundling in real-life markets,
we study its role as a stabilizing and coordinating device by considering the
notion of \emph{competitive bundling equilibrium}: a competitive equilibrium
over the market induced by partitioning the goods for sale into fixed bundles.
Compared to other equilibrium concepts involving bundles, this notion has the
advantage of simulatneous succinctness ( prices) and market clearance.
Our first set of results concern welfare guarantees. We show that in markets
where consumers care only about the number of goods they receive (known as
multi-unit or homogeneous markets), even in the presence of complementarities,
there always exists a competitive bundling equilibrium that guarantees a
logarithmic fraction of the optimal welfare, and this guarantee is tight. We
also establish non-trivial welfare guarantees for general markets, two-consumer
markets, and markets where the consumer valuations are additive up to a fixed
budget (budget-additive).
Our second set of results concern revenue guarantees. Motivated by the fact
that the revenue extracted in a standard competitive equilibrium may be zero
(even with simple unit-demand consumers), we show that for natural subclasses
of gross substitutes valuations, there always exists a competitive bundling
equilibrium that extracts a logarithmic fraction of the optimal welfare, and
this guarantee is tight. The notion of competitive bundling equilibrium can
thus be useful even in markets which possess a standard competitive
equilibrium
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
Computing Stable Coalitions: Approximation Algorithms for Reward Sharing
Consider a setting where selfish agents are to be assigned to coalitions or
projects from a fixed set P. Each project k is characterized by a valuation
function; v_k(S) is the value generated by a set S of agents working on project
k. We study the following classic problem in this setting: "how should the
agents divide the value that they collectively create?". One traditional
approach in cooperative game theory is to study core stability with the
implicit assumption that there are infinite copies of one project, and agents
can partition themselves into any number of coalitions. In contrast, we
consider a model with a finite number of non-identical projects; this makes
computing both high-welfare solutions and core payments highly non-trivial.
The main contribution of this paper is a black-box mechanism that reduces the
problem of computing a near-optimal core stable solution to the purely
algorithmic problem of welfare maximization; we apply this to compute an
approximately core stable solution that extracts one-fourth of the optimal
social welfare for the class of subadditive valuations. We also show much
stronger results for several popular sub-classes: anonymous, fractionally
subadditive, and submodular valuations, as well as provide new approximation
algorithms for welfare maximization with anonymous functions. Finally, we
establish a connection between our setting and the well-studied simultaneous
auctions with item bidding; we adapt our results to compute approximate pure
Nash equilibria for these auctions.Comment: Under Revie
Utilitarian Mechanism Design for Multiobjective Optimization
In a classic optimization problem, the complete input data is assumed to be known to the algorithm. This assumption may not be true anymore in optimization problems motivated by the Internet where part of the input data is private knowledge of independent selfish agents. The goal of algorithmic mechanism design is to provide (in polynomial time) a solution to the optimization problem and a set of incentives for the agents such that disclosing the input data is a dominant strategy for the agents. In the case of NP-hard problems, the solution computed should also be a good approximation of the optimum. In this paper we focus on mechanism design for multiobjective optimization problems. In this setting we are given a main objective function and a set of secondary objectives which are modeled via budget constraints. Multiobjective optimization is a natural setting for mechanism design as many economical choices ask for a compromise between different, partially conflicting goals. The main contribution of this paper is showing that two of the main tools for the design of approximation algorithms for multiobjective optimization problems, namely, approximate Pareto sets and Lagrangian relaxation, can lead to truthful approximation schemes. By exploiting the method of approximate Pareto sets, we devise truthful deterministic and randomized multicriteria fully polynomial-time approximation schemes (FPTASs) for multiobjective optimization problems whose exact version admits a pseudopolynomial-time algorithm, as, for instance, the multibudgeted versions of minimum spanning tree, shortest path, maximum (perfect) matching, and matroid intersection. Our construction also applies to multidimensional knapsack and multiunit combinatorial auctions. Our FPTASs compute a -approximate solution violating each budget constraint by a factor . When feasible solutions induce an independence system, i.e., when subsets of feasible solutions are feasible as well, we present a PTAS (not violating any constraint), which combines the approach above with a novel monotone way to guess the heaviest elements in the optimum solution. Finally, we present a universally truthful Las Vegas PTAS for minimum spanning tree with a single budget constraint, where one wants to compute a minimum cost spanning tree whose length is at most a given value . This result is based on the Lagrangian relaxation method, in combination with our monotone guessing step and with a random perturbation step (ensuring low expected running time). This result can be derandomized in the case of integral lengths. All the mentioned results match the best known approximation ratios, which are, however, obtained by nontruthful algorithms
On the Efficiency of All-Pay Mechanisms
We study the inefficiency of mixed equilibria, expressed as the price of
anarchy, of all-pay auctions in three different environments: combinatorial,
multi-unit and single-item auctions. First, we consider item-bidding
combinatorial auctions where m all-pay auctions run in parallel, one for each
good. For fractionally subadditive valuations, we strengthen the upper bound
from 2 [Syrgkanis and Tardos STOC'13] to 1.82 by proving some structural
properties that characterize the mixed Nash equilibria of the game. Next, we
design an all-pay mechanism with a randomized allocation rule for the multi-
unit auction. We show that, for bidders with submodular valuations, the
mechanism admits a unique, 75% efficient, pure Nash equilibrium. The efficiency
of this mechanism outperforms all the known bounds on the price of anarchy of
mechanisms used for multi-unit auctions. Finally, we analyze single-item
all-pay auctions motivated by their connection to contests and show tight
bounds on the price of anarchy of social welfare, revenue and maximum bid.Comment: 26 pages, 2 figures, European Symposium on Algorithms(ESA) 201
Gerir a diversidade: contributos da aprendizagem cooperativa para a construção de salas de aula inclusivas
The action-research we have held at the primary education, in a school placed near the town of Tomar, in 2009-2010, under the master's degree in Special Education, was the starting point for writing this article. The research had as main objective to promote the successful learning of a heterogeneous group of students, where a child considered with longstanding special educational needs is included – diagnosis of galactosaemia and cognitive impairment. Starting from the educational context of a particular classroom of 2nd and 3rd grades, where we were working as special education teacher, we had created an inclusive learning environment for each student in the class. Through effective collaboration between fellow teachers, we generated changes in methodologies, breaking with some traditional practices in the classroom, when regular teachers and special education are in the same learning space. By a systematic implementation of cooperative learning strategies among students, and applying qualitative data gathering techniques of research, before and after the intervention – interview, naturalistic observation, sociometry and documental research –, we have increased the quality and quantity of learning and promoted another way of ‘looking to’ the difference