Abstract
We study the problem of truthfully scheduling m tasks to n selfish unrelated machines, under the objective of makespan minimization, as was introduced in the seminal work of Nisan and Ronen [NR99]. Closing the current gap of [2.618, n] on the approximation ratio of deterministic truthful mechanisms is a notorious open problem in the field of algorithmic mechanism design. We provide the first such improvement in more than a decade, since the lower bounds of 2.414 (for \(n=3\)) and 2.618 (for \(n\rightarrow \infty \)) by Christodoulou et al. [CKV07] and Koutsoupias and Vidali [KV07], respectively. More specifically, we show that the currently best lower bound of 2.618 can be achieved even for just \(n=4\) machines; for \(n=5\) we already get the first improvement, namely 2.711; and allowing the number of machines to grow arbitrarily large we can get a lower bound of 2.755.
Supported by the Alexander von Humboldt Foundation with funds from the German Federal Ministry of Education and Research (BMBF). Yiannis Giannakopoulos is an associated researcher with the Research Training Group GRK 2201 “Advanced Optimization in a Networked Economy”, funded by the German Research Foundation (DFG). A full version of this paper is available at https://arxiv.org/abs/2005.10054.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ashlagi, I., Dobzinski, S., Lavi, R.: Optimal lower bounds for anonymous scheduling mechanisms. Math. Oper. Res. 37(2), 244–258 (2012). https://doi.org/10.1287/moor.1110.0534
Auletta, V., De Prisco, R., Penna, P., Persiano, G.: The power of verification for one-parameter agents. J. Comput. Syst. Sci. 75(3), 190–211 (2009). https://doi.org/10.1016/j.jcss.2008.10.001
Archer, A., Tardos, É.: Truthful mechanisms for one-parameter agents. In: Proceedings of the 42nd IEEE Symposium on Foundations of Computer Science (FOCS), pp. 482–491 (2001). https://doi.org/10.1109/sfcs.2001.959924
Chen, X., Du, D., Zuluaga, L.F.: Copula-based randomized mechanisms for truthful scheduling on two unrelated machines. Theory Comput. Syst. 57(3), 753–781 (2015). https://doi.org/10.1007/s00224-014-9601-5
Chawla, S., Hartline, J.D., Malec, D., Sivan, B.: Prior-independent mechanisms for scheduling. In: Proceedings of the 45th Annual ACM Symposium on Theory of Computing (STOC), pp. 51–60 (2013). https://doi.org/10.1145/2488608.2488616
Christodoulou, G., Kovács, A.: A deterministic truthful PTAS for scheduling related machines. SIAM J. Comput. 42(4), 1572–1595 (2013). https://doi.org/10.1137/120866038
Christodoulou, G., Koutsoupias, E., Kovács, A.: Mechanism design for fractional scheduling on unrelated machines. ACM Trans. Algorithms 6(2), 1–18 (2010). https://doi.org/10.1145/1721837.172185410.1145/1721837.1721854
Christodoulou, G., Koutsoupias, E., Kovács, A.: On the Nisan-Ronen conjecture for submodular valuations. In: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing (STOC), pp.1086–1096 (2020). https://doi.org/10.1145/3357713.3384299
Christodoulou, G., Koutsoupias, E., Vidali, A.: A lower bound for scheduling mechanisms. In: Proceedings of the 18th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1163–1170 (2007). https://doi.org/10.5555/1283383.1283508
Christodoulou, G., Koutsoupias, E., Vidali, A.: A lower bound for scheduling mechanisms. Algorithmica 55(4), 729–740 (2009). https://doi.org/10.1007/s00453-008-9165-3
Dhangwatnotai, P., Dobzinski, S., Dughmi, S., Roughgarden, T.: Truthful approximation schemes for single-parameter agents. SIAM J. Comput. 40(3), 915–933 (2011). https://doi.org/10.1137/080744992
Daskalakis, C., Weinberg, S.M.: Bayesian truthful mechanisms for job scheduling from bi-criterion approximation algorithms. In: Proceedings of the 26th annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1934–1952 (2015). https://doi.org/10.1137/1.9781611973730.130
Filos-Ratsikas, A., Giannakopoulos, Y., Lazos, P.: The Pareto frontier of inefficiency in mechanism design. In: Caragiannis, I., Mirrokni, V., Nikolova, E. (eds.) WINE 2019. LNCS, vol. 11920, pp. 186–199. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-35389-6_14
Giannakopoulos, Y., Hammerl, A., Poças, D.: A new lower bound for deterministic truthful scheduling. CoRR, abs/2005.10054 (2020). arXiv:2005.10054
Giannakopoulos, Y., Kyropoulou, M.: The VCG mechanism for Bayesian scheduling. ACM Trans. Econ. Comput. 5(4), 191–1916 (2017). https://doi.org/10.1145/3105968. arXiv:1509.07455
Giannakopoulos, Y., Koutsoupias, E., Kyropoulou, M.: The anarchy of scheduling without money. Theoret. Comput. Sci. 778, 19–32 (2019). https://doi.org/10.1016/j.tcs.2019.01.022. arXiv:1607.03688
Hall, L.A.: Approximation algorithms for scheduling. In: Hochbaum, D.S. (ed.) Approximation Algorithms for NP-Hard Problems, pp. 1–45. PWS Publishing Company (1997)
Koutsoupias, E.: Scheduling without payments. Theory Comput. Syst. 54(3), 375–387 (2013). https://doi.org/10.1007/s00224-013-9473-0
Koutsoupias, E., Vidali, A.: A lower bound of \(1+ \phi \) for truthful scheduling mechanisms. In: Proceedings of Mathematical Foundations of Computer Science (MFCS), pp. 454–464 (2007). https://doi.org/10.1007/978-3-540-74456-6_41
Koutsoupias, E., Vidali, A.: A lower bound of 1+\(\phi \) for truthful scheduling mechanisms. Algorithmica 66(1), 211–223 (2013). https://doi.org/10.1007/s00453-012-9634-6
Kuryatnikova, O., Vera, J.C.: New bounds for truthful scheduling on two unrelated selfish machines. Theory Comput. Syst. 64(2), 199–226 (2019). https://doi.org/10.1007/s00224-019-09927-x
Lavi, R., Swamy, C.: Truthful mechanism design for multidimensional scheduling via cycle monotonicity. Games Econ. Behav. 67(1), 99–124 (2009). https://doi.org/10.1016/j.geb.2008.08.001
Lenstra, J.K., Shmoys, D.B., Tardos, É.: Approximation algorithms for scheduling unrelated parallel machines. Math. Program. 46(1), 259–271 (1990). https://doi.org/10.1007/bf01585745
Lu, P.: On 2-player randomized mechanisms for scheduling. In: Leonardi, S. (ed.) WINE 2009. LNCS, vol. 5929, pp. 30–41. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-10841-9_5
Lu, P., Yu, C.: An improved randomized truthful mechanism for scheduling unrelated machines. In: Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science (STACS), pp. 527–538 (2008). https://doi.org/10.4230/LIPIcs.STACS.2008.1314
Lu, P., Yu, C.: Randomized truthful mechanisms for scheduling unrelated machines. In: Papadimitriou, C., Zhang, S. (eds.) WINE 2008. LNCS, vol. 5385, pp. 402–413. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-92185-1_46
Mu’alem, A., Schapira, M.: Setting lower bounds on truthfulness. Games Econ. Behav. 110, 174–193 (2018). https://doi.org/10.1016/j.geb.2018.02.001
Nisan, N.: Introduction to mechanism design (for computer scientists). In: Nisan, N., Roughgarden, T., Tardos, É., Vazirani, V. (eds.) Algorithmic Game Theory, Chapter 9. Cambridge University Press (2007). https://doi.org/10.1017/cbo9780511800481.011
Nisan, N., Ronen, A.: Algorithmic mechanism design (extended abstract). In: The 31st Annual ACM symposium on Theory of Computing (STOC), pp. 129–140 (1999)
Nisan, N., Ronen, A.: Algorithmic mechanism design. Games Econ. Behav. 35(1/2), 166–196 (2001). https://doi.org/10.1006/game.1999.0790
Penna, P., Ventre, C.: Optimal collusion-resistant mechanisms with verification. Games Econ. Behav. 86, 491–509 (2014). https://doi.org/10.1016/j.geb.2012.09.002
Saks, M., Yu, L.: Weak monotonicity suffices for truthfulness on convex domains. In Proceedings of the 6th ACM Conference on Electronic Commerce (EC), pp. 286–293 (2005). https://doi.org/10.1145/1064009.1064040
Vazirani, V.V.: Approximation Algorithms. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-662-04565-7
Ventre, C.: Truthful optimization using mechanisms with verification. Theoret. Comput. Sci. 518, 64–79 (2014). https://doi.org/10.1016/j.tcs.2013.07.034
Yu, C.: Truthful mechanisms for two-range-values variant of unrelated scheduling. Theoret. Comput. Sci. 410(21–23), 2196–2206 (2009). https://doi.org/10.1016/j.tcs.2009.02.001
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Giannakopoulos, Y., Hammerl, A., Poças, D. (2020). A New Lower Bound for Deterministic Truthful Scheduling. In: Harks, T., Klimm, M. (eds) Algorithmic Game Theory. SAGT 2020. Lecture Notes in Computer Science(), vol 12283. Springer, Cham. https://doi.org/10.1007/978-3-030-57980-7_15
Download citation
DOI: https://doi.org/10.1007/978-3-030-57980-7_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-57979-1
Online ISBN: 978-3-030-57980-7
eBook Packages: Computer ScienceComputer Science (R0)