Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/32328
Title: A unified approach to truthful scheduling on related machines
Authors: Van Stee, Rob
Epstein, Leah
Levin, Asaf
First Published: 2015
Publisher: INFORMS (Institute for Operations Research and Management Sciences)
Citation: Mathematics of Operations Research, 2015, in press
Abstract: We present a unified framework for designing deterministic monotone polynomial time approximation schemes (PTAS’s) for a wide class of scheduling problems on uniformly related machines. This class includes (among others) minimizing the makespan, maximizing the minimum load, and minimizing the lp-norm of the machine loads vector. Previously, this kind of result was only known for the makespan objective. Monotone algorithms have the property that an increase in the speed of a machine cannot decrease the amount of work assigned to it. The idea of our novel method is to show that for goal functions that are sufficiently well-behaved functions of the machine loads, it is possible to compute in polynomial time a highly structured nearly optimal schedule. An interesting aspect of our approach is that, in contrast to all known approximation schemes, we avoid rounding any job sizes or speeds throughout. We can therefore find the exact best structured schedule using dynamic programming. The state space encodes a sufficient amount of information such that no postprocessing is needed, allowing an elegant and relatively simple analysis without any special cases. The monotonicity is a consequence of the fact that we find the best schedule in a specific collection of schedules. In the game-theoretical setting of these scheduling problems, there is a social goal, which is one of the objective functions that we study. Each machine is controlled by a selfish single-parameter agent. The private information of an agent is its cost of processing a unit-sized job, which is also the inverse of the speed of its machine. Each agent wishes to maximize its own profit, defined as the payment it receives from the mechanism minus its cost for processing all jobs assigned to it, and places a bid which corresponds to its private information. Monotone approximation schemes have an important role in the emerging area of algorithmic mechanism design, as in the case of single-parameter agents, a necessary and sufficient condition for truthfulness with respect to the bids is that the allocation algorithm be monotone. For each one of the problems, we show that we can calculate payments that guarantee truthfulness in an efficient manner. Thus, there exists a dominant strategy where agents report their true speeds, and we show the existence of a truthful mechanism which can be implemented in polynomial time, where the social goal is approximated within a factor of 1 + ε for every ε > 0.
DOI Link: TBA
ISSN: 0364-765X
eISSN: 1526-5471
Links: x
http://hdl.handle.net/2381/32328
Embargo on file until: 1-Jan-10000
Version: Post-print
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © 2015, INFORMS (Institute for Operations Research and Management Sciences). Deposited with reference to the publisher’s archiving policy available on the SHERPA/RoMEO website.
Description: 12 mth embargo
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
monotone_PTAS_MOR_revised5-1.pdfPost-review (final submitted)295.98 kBUnknownView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.