Abstract
A long-standing open question in algorithmic mechanism design is whether there exist computationally efficient truthful mechanisms for combinatorial auctions, with performance guarantees close to those possible without considerations of truthfulness. In this article, we answer this question negatively: the requirement of truthfulness can impact dramatically the ability of a mechanism to achieve a good approximation ratio for combinatorial auctions.
More precisely, we show that every universally truthful randomized mechanism for combinatorial auctions with submodular valuations that approximates optimal social welfare within a factor of m1/2−ϵ must use exponentially many value queries, where m is the number of items. Furthermore, we show that there exists a class of succinctly represented submodular valuation functions, for which the existence of a universally truthful polynomial-time mechanism that provides an m1/2−ϵ-approximation would imply NP = RP. In contrast, ignoring truthfulness, there exist constant-factor approximation algorithms for this problem, and ignoring computational efficiency, the VCG mechanism is truthful and provides optimal social welfare. These are the first hardness results for truthful polynomial-time mechanisms for any type of combinatorial auctions, even for deterministic mechanisms.
Our approach is based on a novel direct hardness technique that completely skips the notoriously hard step of characterizing truthful mechanisms. The characterization step was the main obstacle for proving impossibility results in algorithmic mechanism design so far.
- Patrick Briest, Piotr Krysta, and Berthold Vöcking. 2005. Approximation techniques for utilitarian mechanism design. In Proceedings of the ACM STOC Conference. 39--48. Google ScholarDigital Library
- Dave Buchfuhrer, Shaddin Dughmi, Hu Fu, Robert Kleinberg, Elchanan Mossel, Christos Papadimitriou, Michael Schapira, Yaron Singer, and Chris Umans. 2010a. Inapproximability for VCG-based combinatorial auctions. In Proceedings of the ACM-SIAM SODA Conference. 518--536. Google ScholarDigital Library
- David Buchfuhrer, Michael Schapira, and Yaron Singer. 2010b. Computation and incentives in combinatorial public projects. In Proceedings of the ACM EC Conference. 33--42. Google ScholarDigital Library
- Gruia Călinescu, Chandra Chekuri, Martin Pál, and Jan Vondrák. 2011. Maximizing a monotone submodular function subject to a matroid constraint. SIAM Journal on Computing 40, 6, 1740--1766. Google ScholarDigital Library
- Deeparnab Chakrabarty and Gagan Goel. 2010. On the approximability of budgeted allocations and improved lower bounds for submodular welfare maximization and GAP. SIAM Journal on Computing 39, 6, 2189--2211. Google ScholarDigital Library
- George Christodoulou and Annamária Kovács. 2013. A deterministic truthful PTAS for scheduling related machines. SIAM Journal on Computing 42, 4, 1572--1595.Google ScholarCross Ref
- Shahar Dobzinski. 2007. Two randomized mechanisms for combinatorial auctions. In Proceedings of the APPROX Workshop. 89--103. Google ScholarDigital Library
- Shahar Dobzinski. 2011. An impossibility result for truthful combinatorial auctions with submodular valuations. In Proceedings of the ACM STOC Conference. 139--148. Google ScholarDigital Library
- Shahar Dobzinski and Noam Nisan. 2011a. Limitations of VCG-based mechanisms. Combinatorica 31, 4, 379--396. Google ScholarDigital Library
- Shahar Dobzinski and Noam Nisan. 2011b. Multi-unit auctions: Beyond Roberts. In Proceedings of the ACM EC Conference. 233--242. Google ScholarDigital Library
- Shahar Dobzinski, Noam Nisan, and Michael Schapira. 2010. Approximation algorithms for combinatorial auctions with complement-free bidders. Mathematics of Operations Research 35, 1, 1--13. Google ScholarDigital Library
- Shahar Dobzinski, Noam Nisan, and Michael Schapira. 2012. Truthful randomized mechanisms for combinatorial auctions. Journal of Computer and System Sciences 78, 1, 15--25. Google ScholarDigital Library
- Shahar Dobzinski and Michael Schapira. 2006. An improved approximation algorithm for combinatorial auctions with submodular bidders. In Proceedings of the ACM-SIAM SODA Conference. 1064--1073. Google ScholarDigital Library
- Shahar Dobzinski and Mukund Sundararajan. 2008. On characterizations of truthful mechanisms for combinatorial auctions and scheduling. In Proceedings of the ACM EC Conference. 38--47. Google ScholarDigital Library
- Shahar Dobzinski and Jan Vondrák. 2012. The computational complexity of truthfulness in combinatorial auctions. In Proceedings of the ACM EC Conference. 405--422. Google ScholarDigital Library
- Shaddin Dughmi, Tim Roughgarden, and Qiqi Yan. 2011. From convex optimization to randomized mechanisms: Toward optimal combinatorial auctions for submodular bidders. In Proceedings of the ACM STOC Conference. 149--158. Google ScholarDigital Library
- Shaddin Dughmi and Jan Vondrák. 2011. Limitations of randomized mechanisms for combinatorial auctions. In Proceedings of the IEEE FOCS Conference. 502--511. Google ScholarDigital Library
- Uriel Feige. 2006. On maximizing welfare when the utility functions are subadditive. In Proceedings of the ACM STOC Conference. 41--50. Google ScholarDigital Library
- Uriel Feige, Vahab S. Mirrokni, and Jan Vondrák. 2011. Maximizing non-monotone submodular functions. SIAM Journal on Computing 40, 4, 1133--1153. Google ScholarDigital Library
- Uriel Feige and Jan Vondrák. 2010. Approximation algorithms for allocation problems: Improving the factor of 1-1/e. Theory of Computation 6, 247--290.Google ScholarCross Ref
- Satoru Iwata, Lisa Fleischer, and Satoru Fujishige. 2001. A combinatorial strongly polynomial algorithm for minimizing submodular functions. Journal of the ACM 48, 4, 761--777. Google ScholarDigital Library
- Subhash Khot, Richard J. Lipton, Evangelos Markakis, and Aranyak Mehta. 2008. Inapproximability results for combinatorial auctions with submodular utility functions. Algorithmica 52, 1, 3--18. Google ScholarDigital Library
- Piotr Krysta and Berthold Vöcking. 2012. Online mechanism design (randomized rounding on the fly). In Proceedings of the ICALP Conference. 636--647. Google ScholarDigital Library
- Ron Lavi, Ahuva Mu’alem, and Noam Nisan. 2003. Towards a characterization of truthful combinatorial auctions. In Proceedings of the IEEE FOCS Conference. 574--583. Google ScholarDigital Library
- Benny Lehmann, Daniel Lehmann, and Noam Nisan. 2001. Combinatorial auctions with decreasing marginal utilities. In Proceedings of the ACM EC Conference. 18--28. Google ScholarDigital Library
- Benny Lehmann, Daniel J. Lehmann, and Noam Nisan. 2006. Combinatorial auctions with decreasing marginal utilities. Games and Economic Behavior 55, 2, 270--296.Google ScholarCross Ref
- Daniel Lehmann, Liadan Ita O’Callaghan, and Yoav Shoham. 2002. Truth revelation in approximately efficient combinatorial auctions. Journal of the ACM 49, 5, 577--602. Google ScholarDigital Library
- Vahab Mirrokni, Michael Schapira, and Jan Vondrák. 2008. Tight information-theoretic lower bounds for welfare maximization in combinatorial auctions. In Proceedings of the ACM EC Conference. 70--77. Google ScholarDigital Library
- Rajeev Motwani and Prabhakar Raghavan. 1996. Randomized algorithms. ACM Computing Surveys 28, 1, 33--37. DOI:http://dx.doi.org/10.1145/234313.234327 Google ScholarDigital Library
- Noam Nisan. 2007. Introduction to mechanism design (for computer scientists). In Algorithmic Game Theory, N. Nisan, T. Roughgarden, E. Tardos, and V. Vazirani (Eds.). Cambridge University Press, Cambridge, MA, 209.Google Scholar
- Noam Nisan and Amir Ronen. 1999. Algorithmic mechanism design. In Proceedings of the ACM STOC Conference. 129--140. Google ScholarDigital Library
- Christos Papadimitriou, Michael Schapira, and Yaron Singer. 2008. On the hardness of being truthful. In Proceedings of the IEEE FOCS Conference. 250--259. Google ScholarDigital Library
- Kevin Roberts. 1979. The characterization of implementable choice rules. In Aggregation and Revelation of Preferences (Studies in Public Economics), Jean-Jacques Laffont (Ed.). North-Holland, 321--349.Google Scholar
- Alexander Schrijver. 2000. A combinatorial algorithm minimizing submodular functions in strongly polynomial time. Journal of Combinatorial Theory, Series B 80, 2, 346--355. Google ScholarDigital Library
- Jan Vondrák. 2008. Optimal approximation for the submodular welfare problem in the value oracle model. In Proceedings of the ACM STOCConference. 67--74. Google ScholarDigital Library
Index Terms
- Impossibility Results for Truthful Combinatorial Auctions with Submodular Valuations
Recommendations
An impossibility result for truthful combinatorial auctions with submodular valuations
STOC '11: Proceedings of the forty-third annual ACM symposium on Theory of computingWe show that every universally truthful randomized mechanism for combinatorial auctions with submodular valuations that provides an approximation ratio of m1/ 2 -ε must use exponentially many value queries, where m is the number of items. In contrast, ...
Improved truthful mechanisms for combinatorial auctions with submodular bidders
A longstanding open problem in Algorithmic Mechanism Design is to design computationally-efficient truthful mechanisms for (approximately) maximizing welfare in combinatorial auctions with submodular bidders. The first such mechanism was obtained by ...
Truthful fair division
SAGT'10: Proceedings of the Third international conference on Algorithmic game theoryWe address the problem of fair division, or cake cutting, with the goal of finding truthful mechanisms. In the case of a general measure space ("cake") and non-atomic, additive individual preference measures - or utilities - we show that there exists a ...
Comments