Limits on Computationally Efficient VCG-Based Mechanisms for Combinatorial Auctions and Public Projects

• Main Author: Buchfuhrer, David Isaac
• Format: Others
• Published: 2011
• Online Access: https://thesis.library.caltech.edu/6424/4/buchfuhrer_phd_thesis-final.pdf; Buchfuhrer, David Isaac (2011) Limits on Computationally Efficient VCG-Based Mechanisms for Combinatorial Auctions and Public Projects. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/N0M7-C473. https://resolver.caltech.edu/CaltechTHESIS:05242011-112814785 <https://resolver.caltech.edu/CaltechTHESIS:05242011-112814785>

<p>A natural goal in designing mechanisms for auctions and public projects is to maximize the social welfare while incentivizing players to bid truthfully. If these are the only concerns, the problem is easily solved by use of the VCG mechanism. Unfortunately, this mechanism is not computationally efficient in general and there are currently no other general methods for designing truthful mechanisms. However, it is possible to design computationally efficient VCG-based mechanisms which approximately maximize the social welfare.</p> <p>We explore the design space of computationally efficient VCG-based mechanisms under submodular valuations and show that the achievable approximation guarantees are poor, even compared to efficient non-truthful algorithms. Some of these approximation hardness results stem from an asymmetry in the information available to the players versus that available to the mechanism. We develop an alternative Instance Oracle model which reduces this asymmetry by allowing the mechanism to access some computational capabilities of the players. By building assumptions about player computation into the model, a more realistic study of mechanism design can be undertaken.</p> <p>Finally, we give VCG-based mechanisms for some problems in the Instance Oracle model which achieve provably better approximations than the best VCG-based mechanism in the standard model. However, for other problems we give reductions in the Instance Oracle model which prove inapproximability results as strong as those shown in the standard model. These provide more robust hardness results that are not simply artifacts of the asymmetry in the standard model.</p>