229 research outputs found
A deterministic truthful PTAS for scheduling related machines
Scheduling on related machines () is one of the most important
problems in the field of Algorithmic Mechanism Design. Each machine is
controlled by a selfish agent and her valuation can be expressed via a single
parameter, her {\em speed}. In contrast to other similar problems, Archer and
Tardos \cite{AT01} showed that an algorithm that minimizes the makespan can be
truthfully implemented, although in exponential time. On the other hand, if we
leave out the game-theoretic issues, the complexity of the problem has been
completely settled -- the problem is strongly NP-hard, while there exists a
PTAS \cite{HS88,ES04}.
This problem is the most well studied in single-parameter algorithmic
mechanism design. It gives an excellent ground to explore the boundary between
truthfulness and efficient computation. Since the work of Archer and Tardos,
quite a lot of deterministic and randomized mechanisms have been suggested.
Recently, a breakthrough result \cite{DDDR08} showed that a randomized truthful
PTAS exists. On the other hand, for the deterministic case, the best known
approximation factor is 2.8 \cite{Kov05,Kov07}.
It has been a major open question whether there exists a deterministic
truthful PTAS, or whether truthfulness has an essential, negative impact on the
computational complexity of the problem. In this paper we give a definitive
answer to this important question by providing a truthful {\em deterministic}
PTAS
Budget feasible mechanisms on matroids
Motivated by many practical applications, in this paper we study budget feasible mechanisms where the goal is to procure independent sets from matroids. More specifically, we are given a matroid =(,) where each ground (indivisible) element is a selfish agent. The cost of each element (i.e., for selling the item or performing a service) is only known to the element itself. There is a buyer with a budget having additive valuations over the set of elements E. The goal is to design an incentive compatible (truthful) budget feasible mechanism which procures an independent set of the matroid under the given budget that yields the largest value possible to the buyer. Our result is a deterministic, polynomial-time, individually rational, truthful and budget feasible mechanism with 4-approximation to the optimal independent set. Then, we extend our mechanism to the setting of matroid intersections in which the goal is to procure common independent sets from multiple matroids. We show that, given a polynomial time deterministic blackbox that returns -approximation solutions to the matroid intersection problem, there exists a deterministic, polynomial time, individually rational, truthful and budget feasible mechanism with (3+1) -approximation to the optimal common independent set
New bounds for truthful scheduling on two unrelated selfish machines
We consider the minimum makespan problem for tasks and two unrelated
parallel selfish machines. Let be the best approximation ratio of
randomized monotone scale-free algorithms. This class contains the most
efficient algorithms known for truthful scheduling on two machines. We propose
a new formulation for , as well as upper and lower bounds on
based on this formulation. For the lower bound, we exploit pointwise
approximations of cumulative distribution functions (CDFs). For the upper
bound, we construct randomized algorithms using distributions with piecewise
rational CDFs. Our method improves upon the existing bounds on for small
. In particular, we obtain almost tight bounds for showing that
.Comment: 28 pages, 3 tables, 1 figure. Theory Comput Syst (2019
The Anarchy of Scheduling Without Money
We consider the scheduling problem on n strategic unrelated machines when no payments are allowed, under the objective of minimizing the makespan. We adopt the model introduced in [Koutsoupias 2014] where a machine is bound by her declarations in the sense that if she is assigned a particular job then she will have to execute it for an amount of time at least equal to the one she reported, even if her private, true processing capabilities are actually faster. We provide a (non-truthful) randomized algorithm whose pure Price of Anarchy is arbitrarily close to 1 for the case of a single task and close to n if it is applied independently to schedule many tasks, which is asymptotically optimal for the natural class of anonymous, task-independent algorithms. Previous work considers the constraint of truthfulness and proves a tight approximation ratio of (n+1)/2 for one task which generalizes to n(n+1)/2 for many tasks. Furthermore, we revisit the truthfulness case and reduce the latter approximation ratio for many tasks down to n, asymptotically matching the best known lower bound. This is done via a detour to the relaxed, fractional version of the problem, for which we are also able to provide an optimal approximation ratio of 1. Finally, we mention that all our algorithms achieve optimal ratios of 1 for the social welfare objective
An Improved Randomized Truthful Mechanism for Scheduling Unrelated Machines
We study the scheduling problem on unrelated machines in the mechanism design
setting. This problem was proposed and studied in the seminal paper (Nisan and
Ronen 1999), where they gave a 1.75-approximation randomized truthful mechanism
for the case of two machines. We improve this result by a 1.6737-approximation
randomized truthful mechanism. We also generalize our result to a
-approximation mechanism for task scheduling with machines, which
improve the previous best upper bound of $0.875m(Mu'alem and Schapira 2007)
- …