Implementation in Advised Strategies: Welfare Guarantees from Posted-Price Mechanisms when Demand Queries are NP-hard

State-of-the-art posted-price mechanisms for submodular bidders with $m$ items achieve approximation guarantees of $O((\log \log m)^3)$ [Assadi and Singla, 2019]. Their truthfulness, however, requires bidders to compute an NP-hard demand-query. Some computational complexity of this form is unavoidable, as it is NP-hard for truthful mechanisms to guarantee even an $m^{1/2-\varepsilon}$-approximation for any $\varepsilon > 0$ [Dobzinski and Vondr\'ak, 2016]. Together, these establish a stark distinction between computationally-efficient and communication-efficient truthful mechanisms. We show that this distinction disappears with a mild relaxation of truthfulness, which we term implementation in advised strategies, and that has been previously studied in relation to "Implementation in Undominated Strategies" [Babaioff et al, 2009]. Specifically, advice maps a tentative strategy either to that same strategy itself, or one that dominates it. We say that a player follows advice as long as they never play actions which are dominated by advice. A poly-time mechanism guarantees an $\alpha$-approximation in implementation in advised strategies if there exists poly-time advice for each player such that an $\alpha$-approximation is achieved whenever all players follow advice. Using an appropriate bicriterion notion of approximate demand queries (which can be computed in poly-time), we establish that (a slight modification of) the [Assadi and Singla, 2019] mechanism achieves the same $O((\log \log m)^3)$-approximation in implementation in advised strategies.

[1]  Nikhil R. Devanur,et al.  Simple Auctions with Simple Strategies , 2015, EC.

[2]  Inbal Talgam-Cohen,et al.  Settling the Communication Complexity of Combinatorial Auctions with Two Subadditive Buyers , 2019, 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS).

[3]  E. H. Clarke Multipart pricing of public goods , 1971 .

[4]  Chaitanya Swamy,et al.  Truthful and near-optimal mechanism design via linear programming , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[5]  Christos H. Papadimitriou,et al.  On the Hardness of Being Truthful , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[6]  Yaron Singer,et al.  Inapproximability of Combinatorial Public Projects , 2008, WINE.

[7]  Sahil Singla,et al.  Improved Truthful Mechanisms for Combinatorial Auctions with Submodular Bidders , 2019, 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS).

[8]  Shahar Dobzinski,et al.  The computational complexity of truthfulness in combinatorial auctions , 2012, EC '12.

[9]  Uriel Feige,et al.  On maximizing welfare when utility functions are subadditive , 2006, STOC '06.

[10]  Moshe Babaioff,et al.  Impersonation-Based Mechanisms , 2006, AAAI.

[11]  Clifford Stein,et al.  Approximating Disjoint-Path Problems Using Greedy Algorithms and Packing Integer Programs ( Extended Abstract ) , 1998 .

[12]  Dave Buchfuhrer,et al.  A Theory of Robust Hardness for Truthful Mechanism Design , 2011 .

[13]  William Vickrey,et al.  Counterspeculation, Auctions, And Competitive Sealed Tenders , 1961 .

[14]  Jan Vondrák,et al.  Optimal approximation for submodular and supermodular optimization with bounded curvature , 2013, SODA.

[15]  Berthold Vöcking,et al.  Online Mechanism Design (Randomized Rounding on the Fly) , 2012, ICALP.

[16]  Shahar Dobzinski,et al.  Impossibility Results for Truthful Combinatorial Auctions with Submodular Valuations , 2010, J. ACM.

[17]  Joseph Naor,et al.  A Tight Linear Time (1/2)-Approximation for Unconstrained Submodular Maximization , 2015, SIAM J. Comput..

[18]  Moshe Babaioff,et al.  Single-value combinatorial auctions and implementation in undominated strategies , 2006, SODA '06.

[19]  Elchanan Mossel,et al.  Inapproximability for VCG-based combinatorial auctions , 2010, SODA '10.

[20]  Shahar Dobzinski Breaking the Logarithmic Barrier for Truthful Combinatorial Auctions with Submodular Bidders , 2021, SIAM J. Comput..

[21]  Gal Shahaf,et al.  Inapproximability of Truthful Mechanisms via Generalizations of the VC Dimension , 2014, STOC.

[22]  Vahab S. Mirrokni,et al.  Tight information-theoretic lower bounds for welfare maximization in combinatorial auctions , 2008, EC '08.

[23]  Shahar Dobzinski,et al.  Computational Efficiency Requires Simple Taxation , 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS).

[24]  Berthold Vöcking,et al.  Approximation techniques for utilitarian mechanism design , 2005, STOC '05.

[25]  Peter Troyan,et al.  Obvious Dominance and Random Priority , 2019, EC.

[26]  Michal Feldman,et al.  Combinatorial Auctions via Posted Prices , 2014, SODA.

[27]  David Buchfuhrer,et al.  Computation and incentives in combinatorial public projects , 2010, EC '10.

[28]  Moran Feldman,et al.  Guess Free Maximization of Submodular and Linear Sums , 2018, Algorithmica.

[29]  Amin Karbasi,et al.  Submodular Maximization Beyond Non-negativity: Guarantees, Fast Algorithms, and Applications , 2019, ICML.

[30]  Daniel Lehmann,et al.  Combinatorial auctions with decreasing marginal utilities , 2001, EC '01.

[31]  S. Matthew Weinberg,et al.  On Simultaneous Two-player Combinatorial Auctions , 2017, SODA.

[32]  Paul Dütting,et al.  Prophet Inequalities Made Easy: Stochastic Optimization by Pricing Non-Stochastic Inputs , 2016, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS).

[33]  Jan Vondrák,et al.  Optimal approximation for the submodular welfare problem in the value oracle model , 2008, STOC.

[34]  Moshe Babaioff,et al.  Single-value combinatorial auctions and algorithmic implementation in undominated strategies , 2009, JACM.

[35]  Shahar Dobzinski,et al.  Two Randomized Mechanisms for Combinatorial Auctions , 2007, APPROX-RANDOM.

[36]  Uriel Feige,et al.  Demand Queries with Preprocessing , 2014, ICALP.

[37]  Shahar Dobzinski,et al.  From query complexity to computational complexity , 2012, STOC '12.

[38]  Noam Nisan,et al.  Truthful randomized mechanisms for combinatorial auctions , 2006, STOC '06.

[39]  Noam Nisan,et al.  Approximation algorithms for combinatorial auctions with complement-free bidders , 2005, STOC '05.

[40]  Noam Nisan,et al.  Approximation Algorithms for Combinatorial Auctions with Complement-Free Bidders , 2009 .

[41]  M. L. Fisher,et al.  An analysis of approximations for maximizing submodular set functions—I , 1978, Math. Program..