Abstract
We study the problem of designing truthful mechanisms for makespan minimization in scheduling. In particular, we consider randomized mechanisms for a restriction of the general multi-dimensional domain (i.e., unrelated machines). In a sense, our setting is the simplest multi-dimensional setting, where each machine holds privately only a single-bit of information. Some of the impossibility results for deterministic mechanisms carry over our setting as well. We prove a separation between truthful-in-expectation and universally truthful mechanisms for makespan minimization: We first show how to design an optimal truthful-in-expectation mechanism, and then prove lower bounds on the approximation guarantee of universally truthful mechanisms.
Similar content being viewed by others
Notes
Notice that the information missing is just a single bit, much less than that of the related machines case, where the missing information is a positive real number. However, ours is not a single-dimensional domain. We refer the reader to Chapter 9 and 12 of [18] for the precise definition of a single-dimensional domain.
Notice that such a separation was not known for the general problem since, although Lu [14], showed a lower bound higher than 1.5 for universally truthful mechanisms, the result holds only for scale-free mechanisms. This is arguably a very natural assumption, but it is still needed to be proven that it is without loss of generality.
References
Ashlagi, I., Dobzinski, S., Lavi, R.: An optimal lower bound for anonymous scheduling mechanisms. In Proc. of the 10th ACM Conference on Electronic Commerce (EC) (2009)
Archer, A., Tardos, É.: Truthful mechanisms for one-parameter agents. In Proc. of the 42nd Annual Symposium on Foundations of Computer Science (FOCS) (2001)
Bonifaci, V., Wiese, A.: Scheduling Unrelated Machines of Few Different Types. arXiv:1205.0974 (2012)
Christodoulou, G., Kovács, A.: A deterministic truthful PTAS for scheduling related machines. In Proc. of the 21st SIAM Symposium on Discrete Algorithms (SODA) SIAM (2010)
Christodoulou, G., Koutsoupias, E., Kovács, A.: Mechanism design for fractional scheduling on unrelated machines. ACM Trans. Algorithm 6(2) (2010)
Christodoulou, G., Koutsoupias, E., Vidali, A.: A lower bound for scheduling mechanisms. Algorithmica 55(4), 729–740 (2009)
Clarke, E.H.: Multipart pricing of public goods. Public Choice 8 (1971)
Dhangwatnotai, P., Dobzinski, S., Dughmi, S., Roughgarden, T.: Truthful approximation schemes for single-parameter agents. SIAM J. Comput. 40(3), 915–933 (2011)
Epstein, L., Levin, A., van Stee, R.: A unified approach to truthful scheduling on related machines. In Proc. of the 24-th Annual ACM-SIAM Symposium on Discrete Algorithm (SODA) (2013)
Groves, T.: Incentives in teams. Econometrica 41(4), 617–631 (1973)
Koutsoupias, E., Vidali, A.: A lower bound of 1 + ϕ for truthful scheduling mechanisms. In Proc. of the 32-nd Intrnational Symposium on Mathematical Foundations of Computer Science (MFCS) (2007)
Lavi, R., Swamy, C.: Truthful mechanism design for multidimensional scheduling via cycle monotonicity. Games and Econ. Behav. 67(1), 99–124 (2009)
Lu, P.: On 2-player randomized mechanisms for scheduling. In Proc. of the 5th International Workshop on Internet and Network Economics (WINE) (2009)
Lu, P., Yu, C.: An improved randomized truthful mechanism for scheduling unrelated machines. In Proc. of the 25th Annual Symposium on Theoretical Aspects of Computer Science (STACS), volume 1 of LIPIcs (2008)
Lu, P., Yu, C.: Randomized truthful mechanisms for scheduling unrelated machines. In Proc. of the 4th International Workshop on Internet and Network Economics (WINE) (2008)
Mu’alem, A., Schapira, M.: Setting lower bounds on truthfulness. In Proc. of the 18-th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) (2007)
Nisan, N., Ronen, A.: Algorithmic mechanism design. Games and Econ. Behav. 35, 166–196 (2001)
Nisan, N., Roughgarden, T., Tardos, É. , Vazirani, V.V.: Algorithmic Game Theory Cambridge University Press (2007)
Rochet, J.-C.: A necessary and sufficient condition for rationalizability in a quasi-linear context. J. Math. Econ. 16(2), 191–200 (1987)
Vickrey, W.: Counterspeculations, auctions and competitive sealed tenders. J. Financ 16, 8–37 (1961)
Acknowledgments
Part of this work was done while the second author was at the Max-Planck Institute for Informatics, Saarbrücken, while visiting the Università di Salerno, and was also supported by EPSRC grant EP/K01000X/1. Research of the first author partially supported by the PRIN 2011 research project ARS TechnoMedia – Algorithmics for Social Technological Networks, funded by the Italian Ministry of University and Research.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Auletta, V., Christodoulou, G. & Penna, P. Mechanisms for Scheduling with Single-Bit Private Values. Theory Comput Syst 57, 523–548 (2015). https://doi.org/10.1007/s00224-015-9625-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-015-9625-5