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.
combinatorial auctions mechanism design foundation of incentive-compatibility mechanisms with verification