Combinatorial auctions with verification are tractable

We study mechanism design for social welfare maximization in combinatorial auctions with general bidders given by demand oracles. It is a major open problem in this setting to design a deterministic truthful auction which would provide the best possible approximation guarantee in polynomial time, even if bidders are double-minded (i.e., they assign positive value to only two sets in their demand collection). On the other hand, there are known such randomized truthful auctions in this setting. In the general model of verification (i.e., some kind of overbidding can be detected) we provide the first deterministic truthful auctions which indeed provide essentially the best possible approximation guarantees achievable by any polynomial-time algorithm even if the complete input data is known. This shows that deterministic truthful auctions have the same power as randomized ones if the bidders withdraw from unrealistic lies. Our truthful auctions are based on greedy algorithms and our approximation guarantee analyses employ linear programming duality based techniques. Finally, our truthfulness analyses are based on applications of the cycle-monotonicity technique which we show to surprisingly couple with the greedy approach.

[1]  Noam Nisan,et al.  Incentive compatible multi unit combinatorial auctions , 2003, TARK '03.

[2]  Carmine Ventre,et al.  Collusion-Resistant Mechanisms with Verification Yielding Optimal Solutions , 2008, TOCT.

[3]  Carmine Ventre,et al.  Truthful optimization using mechanisms with verification , 2014, Theor. Comput. Sci..

[4]  Yoav Shoham,et al.  Truth revelation in approximately efficient combinatorial auctions , 2002, EC '99.

[5]  Noam Nisan,et al.  Limitations of VCG-based mechanisms , 2007, STOC '07.

[6]  Carmine Ventre,et al.  O PTIMAL COLLUSION-RESISTANT MECHANISMS WITH VERIFICATION ∗ , 2007 .

[7]  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).

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

[9]  Amos Fiat,et al.  Competitive generalized auctions , 2002, STOC '02.

[10]  Shahar Dobzinski,et al.  On the Power of Randomization in Algorithmic Mechanism Design , 2009, 2009 50th Annual IEEE Symposium on Foundations of Computer Science.

[11]  Theodore Groves,et al.  Incentives in Teams , 1973 .

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

[13]  Noam Nisan,et al.  Computationally feasible VCG mechanisms , 2000, EC '00.

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

[15]  A. Mas-Colell,et al.  Microeconomic Theory , 1995 .

[16]  Noam Nisan,et al.  Truthful approximation mechanisms for restricted combinatorial auctions , 2008, Games Econ. Behav..

[17]  Moshe Tennenholtz,et al.  Bundling equilibrium in combinatorial auctions , 2002, Games Econ. Behav..

[18]  Daniel Grosu,et al.  A Strategyproof Mechanism for Scheduling Divisible Loads in Linear Networks , 2005 .

[19]  Rakesh V. Vohra,et al.  Paths, Cycles and Mechanism Design , 2007 .

[20]  Carmine Ventre,et al.  New Constructions of Mechanisms with Verification , 2006, ICALP.

[21]  Xiaotie Deng,et al.  Multi-bidding Strategy in Sponsored Keyword Auction , 2008, FAW.

[22]  J. Rochet A necessary and sufficient condition for rationalizability in a quasi-linear context , 1987 .

[23]  Noam Nisan,et al.  The Communication Complexity of Approximate Set Packing and Covering , 2002, ICALP.

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

[25]  Gorkem Celik Mechanism design with weaker incentive compatibility constraints , 2006, Games Econ. Behav..

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

[27]  Daniel Grosu,et al.  A Strategyproof Mechanism for Scheduling Divisible Loads in Bus Networks without Control Processor , 2005 .

[28]  Yoav Shoham,et al.  Asymptotically optimal repeated auctions for sponsored search , 2007, ICEC.

[29]  Paolo Penna,et al.  The power of verification for one-parameter agents , 2009, J. Comput. Syst. Sci..

[30]  Noam Nisan,et al.  Truthful approximation mechanisms for restricted combinatorial auctions: extended abstract , 2002, AAAI 2002.

[31]  Carmine Ventre,et al.  Mechanisms with Verification for Any Finite Domain , 2006, WINE.

[32]  Noam Nisan,et al.  On the Computational Power of Demand Queries , 2009, SIAM J. Comput..

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

[34]  Oded Schwartz,et al.  On the complexity of approximating k-set packing , 2006, computational complexity.

[35]  Daniel Grosu,et al.  A Strategyproof Mechanism for Scheduling Divisible Loads in Distributed Systems , 2005, The 4th International Symposium on Parallel and Distributed Computing (ISPDC'05).

[36]  Carmine Ventre,et al.  Optimal collusion-resistant mechanisms with verification , 2009, EC '09.

[37]  Éva Tardos,et al.  An approximate truthful mechanism for combinatorial auctions with single parameter agents , 2003, SODA '03.

[38]  Noam Nisan,et al.  Algorithmic Mechanism Design , 2001, Games Econ. Behav..

[39]  Piotr Krysta,et al.  Greedy Approximation via Duality for Packing, Combinatorial Auctions and Routing , 2005, MFCS.

[40]  Daniel Grosu,et al.  A strategy proof mechanism for scheduling divisible loads in bus networks without control processors , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[41]  Jerry R. Green,et al.  Partially Verifiable Information and Mechanism Design , 1986 .