46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05) Truthful and Near-Optimal Mechanism Design via Linear Programming Pittsburgh, Pennsylvania, USA October 23-October 25 ISBN: 0-7695-2468-0
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SFCS.2005.76
We give a general technique to obtain approximation mechanisms that are truthful in expectation. We show that for packing domains, any \alpha-approximation algorithm that also bounds the integrality gap of the LP relaxation of the problem by \alpha can be used to construct an \alpha-approximation mechanism that is truthful in expectation. This immediately yields a variety of new and significantly improved results for various problem domains and furthermore, yields truthful (in expectation) mechanisms with guarantees that match the best known approximation guaranteeswhen truthfulness is not required. In particular, we obtain the first truthful mechanisms with approximation guarantees for a variety of multi-parameter domains. We obtain truthful (in expectation) mechanisms achieving approximation guarantees of O(\sqrt m ) for combinatorial auctions (CAs),(1+ \in) for multiunit CAs with B = \Omega (\log m) copies of each item, and 2 for multi-parameter knapsack problems (multi-unit auctions). Our construction is based on considering an LP relaxation of the problem and using the classic VCG [24, 9, 12] mechanism to obtain a truthful mechanism in this fractional domain. We argue that the (fractional) optimal solution scaled down by \alpha where \alpha is the integrality gap of the problem, can be represented as a convex combination of integer solutions, and by viewing this convex combination as specifying a probability distribution over integer solutions, we get a randomized, truthful in expectation mechanism. Our construction can be seen as a way of exploiting VCG in a computational tractable way even when the underlying social-welfare maximization problem is NP-hard.
Citation:
Ron Lavi, Chaitanya Swamy, "Truthful and Near-Optimal Mechanism Design via Linear Programming," focs, pp.595-604, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05), 2005 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||