Abstract
We consider mechanisms without payments for the problem of scheduling unrelated machines. Specifically, we consider truthful in expectation randomized mechanisms under the assumption that a machine (player) is bound by its reports: when a machine lies and reports value \(\tilde{t}_{ij}\) for a task instead of the actual one t ij , it will execute for time \(\tilde{t}_{ij}\) if it gets the task (unless the declared value \(\tilde{t}_{ij}\) is less than the actual value t ij , in which case, it will execute for time t ij ). Our main technical result is an optimal mechanism for one task and n players which has approximation ratio (n+1)/2. We also provide a matching lower bound, showing that no other truthful mechanism can achieve a better approximation ratio. This immediately gives an approximation ratio of (n+1)/2 and n(n+1)/2 for social cost and makespan minimization, respectively, for any number of tasks. We also study the price of anarchy of natural algorithms.
Similar content being viewed by others
Notes
We may also interpret the probabilities as fractional allocations. Naturally, our results apply to the fractional allocations as well.
Proof: Let \(G(y)=\int_{0}^{y} g(x)\,dx\). Then
References
Alon, N., Feldman, M., Procaccia, A., Tennenholtz, M.: Strategy proof approximation of the minimax on networks. Math. Oper. Res. 35(3), 513–526 (2010)
Angel, E., Bampis, E., Pascual, F., Tchetgnia, A.: On truthfulness and approximation for scheduling selfish tasks. J. Sched. 12(5), 437–445 (2009)
Anshelevich, E., Dasgupta, A., Kleinberg, J., Tardos, E., Wexler, T., Roughgarden, T.: The price of stability for network design with fair cost allocation. In: Proceedings of 45th Annual IEEE Symposium on Foundations of Computer Science, pp. 295–304. IEEE Press, New York (2004)
Auletta, V., De Prisco, R., Penna, P., Persiano, G.: The power of verification for one-parameter agents. Autom. Lang. Program. 63–82 (2004)
Christodoulou, G., Koutsoupias, E., Nanavati, A.: Coordination mechanisms. Autom. Lang. Program. 45–56 (2004)
Christodoulou, G., Gourves, L., Pascual, F.: Scheduling selfish tasks: about the performance of truthful algorithms. In: Computing and Combinatorics, pp. 187–197 (2007)
Christodoulou, G., Koutsoupias, E., Kovács, A.: Mechanism design for fractional scheduling on unrelated machines. Autom. Lang. Program. 40–52 (2007)
Dughmi, S., Ghosh, A.: Truthful assignment without money. In: Proceedings of the 11th ACM Conference on Electronic Commerce, pp. 325–334. ACM, New York (2010)
Fotakis, D., Tzamos, C.: Winner-imposing strategy proof mechanisms for multiple facility location games. In: WINE, pp. 234–245 (2010)
Gibbard, A.: Manipulation of voting schemes: a general result. Econometrica 587–601 (1973)
Guo, M., Conitzer, V.: Strategy-proof allocation of multiple items between two agents without payments or priors. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 881–888. International Foundation for Autonomous Agents and Multiagent Systems (2010)
Koutsoupias, E., Papadimitriou, C.H.: Worst-case equilibria. Comput. Sci. Rev. 3(2), 65–69 (2009). An earlier version appeared in STACS 1999
Koutsoupias, E., Vidali, A.: A lower bound of 1+φ for truthful scheduling mechanisms. Mat. Found. Comput. Sci. 454–464 (2007)
Lu, P., Wang, Y., Zhou, Y.: Tighter bounds for facility games. In: WINE, pp. 137–148 (2009)
Lu, P., Sun, X., Wang, Y., Zhu, Z.: Asymptotically optimal strategy-proof mechanisms for two-facility games. In: Proceedings of the 11th ACM Conference on Electronic Commerce, pp. 315–324. ACM, New York (2010)
Mu’alem, A., Schapira, M.: Setting lower bounds on truthfulness: extended abstract. In: Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1143–1152. Society for Industrial and Applied Mathematics, Philadelphia (2007)
Nisan, N., Ronen, A.: Algorithmic mechanism design (extended abstract). In: Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing, pp. 129–140. ACM, New York (1999)
Nisan, N., Roughgarden, T., Tardos, E., Vazirani, V.: Algorithmic Game Theory. Cambridge Univ. Press, Cambridge (2007)
Nissim, K., Smorodinsky, R., Tennenholtz, M.: Approximately optimal mechanism design via differential privacy (2010). arXiv:1004.2888
Penna, P., Ventre, C.: Collusion-resistant mechanisms with verification yielding optimal solutions. In: Algorithms-ESA 2008, pp. 708–719 (2008)
Penna, P., Ventre, C.: Optimal collusion-resistant mechanisms with verification. Games Econ. Behav. (2012)
Procaccia, A., Tennenholtz, M.: Approximate mechanism design without money. In: Proceedings of the Tenth ACM Conference on Electronic Commerce, pp. 177–186. ACM, New York (2009)
Roberts, K.: The characterization of implementable choice rules. In: Aggregation and Revelation of Preferences, pp. 321–348 (1979)
Satterthwaite, M.: Strategy-proofness and Arrow’s conditions: existence and correspondence theorems for voting procedures and social welfare functions. J. Econ. Theory 10(2), 187–217 (1975)
Author information
Authors and Affiliations
Corresponding author
Additional information
Partially supported by the European Union Seventh Framework Programme FP7, grant 284731 (UaESMC), and by the ESF-NSRF research program Thales (AGT).
Rights and permissions
About this article
Cite this article
Koutsoupias, E. Scheduling Without Payments. Theory Comput Syst 54, 375–387 (2014). https://doi.org/10.1007/s00224-013-9473-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-013-9473-0