ABSTRACT
We consider a task of scheduling with a common deadline on a single machine. Every player reports to a scheduler the length of his job and the scheduler needs to finish as many jobs as possible by the deadline. For this simple problem, there is a truthful mechanism that achieves maximum welfare in dominant strategies. The new aspect of our work is that in our setting players are uncertain about their own job lengths, and hence are incapable of providing truthful reports (in the strict sense of the word). For a probabilistic model for uncertainty we show that even with relatively little uncertainty, no mechanism can guarantee a constant fraction of the maximum welfare. To remedy this situation, we introduce a new measure of economic efficiency, based on a notion of a fair share of a player, and design mechanisms that are Ω(1)-fair. In addition to its intrinsic appeal, our notion of fairness implies good approximation of maximum welfare in several cases of interest. In our mechanisms the machine is sometimes left idle even though there are jobs that want to use it. We show that this unfavorable aspect is unavoidable, unless one gives up other favorable aspects (e.g., give up Ω(1)-fairness). We also consider a qualitative approach to uncertainty as an alternative to the probabilistic quantitative model. In the qualitative approach we break away from solution concepts such as dominant strategies (they are no longer well defined), and instead suggest an axiomatic approach, which amounts to listing desirable properties for mechanisms. We provide a mechanism that satisfies these properties.
Supplemental Material
- Noga Alon, Michal Feldman, Ariel Procaccia, and Moshe Tennenholtz. Strategyproof approximation of the minimax on networks. Math. Oper. Res., 35(3), 2010.Google Scholar
- Nir Andelman, Yossi Azar, and Motti Sorani. Truthful approximation mechanisms for scheduling selfish related machines. Theory Comput. Syst., 40(4):423--436, 2007. Google ScholarDigital Library
- Aaron Archer and Éva Tardos. Truthful mechanisms for one-parameter agents. In FOCS, pages 482--491, 2001. Google ScholarDigital Library
- Itai Ashlagi, Felix Fischer, Ian Kash, and Ariel Procaccia. Mix and match. In ACM Conference on Electronic Commerce, pages 305--314, 2010. Google ScholarDigital Library
- R. Axelrod. The Evolution of Cooperation. New York: Basic Books, 1984.Google Scholar
- Nikhil Bansal and Maxim Sviridenko. The santa claus problem. In STOC, pages 31--40, 2006. Google ScholarDigital Library
- Steven J. Brams and Alan D. Taylor. Fair Division - From cake-cutting to dispute resolution. Cambridge University Press, 1996.Google Scholar
- George Christodoulou, Elias Koutsoupias, and Angelina Vidali. A lower bound for scheduling mechanisms. Algorithmica, 55(4):729--740, 2009. Google ScholarDigital Library
- E. Clarke. Multipart pricing of public goods. Public Choice, 18:19--33, 1971.Google Scholar
- H. Cres and H. Moulin. Scheduling with opting out: improving upon random priority. Operations Research, 49:565--577, 2001. Google ScholarDigital Library
- Peerapong Dhangwatnotai, Shahar Dobzinski, Shaddin Dughmi, and Tim Roughgarden. Truthful approximation schemes for single-parameter agents. In FOCS, pages 15--24, 2008. Google ScholarDigital Library
- Shahar Dobzinski, Noam Nisan, and Michael Schapira. Truthful randomized mechanisms for combinatorial auctions. In STOC, pages 644--652, 2006. Google ScholarDigital Library
- Uriel Feige, Nicole Immorlica, Vahab Mirrokni, and Hamid Nazerzadeh. Pass approximation. In APPROX-RANDOM, pages 111--124, 2009. Google ScholarDigital Library
- T. Groves. Incentives in teams. Econometrica, 41:617--631, 1973.Google ScholarCross Ref
- R. Holzman, N. Kfir-Dahav, D. Monderer, and M. Tennenholtz. Bundling Equilibrium in Combinatorial Auctions. Games and Economic Behavior, 47:104--123, 2004.Google ScholarCross Ref
- Elias Koutsoupias and Christos Papadimitriou. Worst-case equilibria. In STACS, pages 404--413, 1999. Google ScholarDigital Library
- Ron Lavi and Chaitanya Swamy. Truthful and near-optimal mechanism design via linear programming. In FOCS, pages 595--604, 2005. Google ScholarDigital Library
- Ron Lavi and Chaitanya Swamy. Truthful mechanism design for multi-dimensional scheduling via cycle monotonicity. In ACM Conference on Electronic Commerce, pages 252--261, 2007. Google ScholarDigital Library
- Daniel J. Lehmann, Liadan O'Callaghan, and Yoav Shoham. Truth revelation in approximately efficient combinatorial auctions. Journal of the ACM, 49(5):577--602, 2002. Google ScholarDigital Library
- P. Milgrom. Auction and bidding: a primer. Journal of Economic Perspectives, 3(3):3--22, 1989.Google ScholarCross Ref
- Noam Nisan and Amir Ronen. Algorithmic mechanism design. Games and Economic Behavior, 35:166--196, 2001.Google ScholarCross Ref
- Ryan Porter. Mechanism design for online real-time scheduling. In ACM Conference on Electronic Commerce, pages 61--70, 2004. Google ScholarDigital Library
- Ryan Porter, Amir Ronen, Yoav Shoham, and Moshe Tennenholtz. Fault tolerant mechanism design. Artif. Intell., 172(15):1783--1799, 2008. Google ScholarDigital Library
- Ariel Procaccia and Moshe Tennenholtz. Approximate mechanism design without money. In ACM Conference on Electronic Commerce, pages 177--186, 2009. Google ScholarDigital Library
- R. Selten. A reexamination of the perfectness concept for equilibrium points in extensive games. International Journal of Game Theory, 66:466--480, 1975.Google Scholar
- A. Vasalou and A. Hopfensitz and J. Pitt. In praise of forgiveness: Ways of repairing trust breakdowns in one-off online interactions. International Journal of Human-Computer Studies, 66:466--480, 2008. Google ScholarDigital Library
- W. Vickrey. Counterspeculations, auctions, and competitive sealed tenders. Journal of Finance, 16:15--27, 1961.Google ScholarCross Ref
Index Terms
- Mechanism design with uncertain inputs: (to err is human, to forgive divine)
Recommendations
Mixed Pfair/ERfair scheduling of asynchronous periodic tasks
AbstractPfair scheduling was proposed by Baruah, Cohen, Plaxton, and Varvel as a non-work-conserving way of optimally and efficiently scheduling periodic tasks on a multiprocessor. In this paper, we introduce a work-conserving variant of Pfair scheduling ...
Mechanism design for online real-time scheduling
EC '04: Proceedings of the 5th ACM conference on Electronic commerceFor the problem of online real-time scheduling of jobs on a single processor, previous work presents matching upper and lower bounds on the competitive ratio that can be achieved by a deterministic algorithm. However, these results only apply to the non-...
A coordination mechanism for a scheduling game with parallel-batching machines
In this paper we consider the scheduling problem with parallel-batching machines from a game theoretic perspective. There are m parallel-batching machines each of which can handle up to b jobs simultaneously as a batch. The processing time of a batch is ...
Comments