Abstract

We give the first black-box reduction from approximation algorithms to truthful approximation mechanisms for a non-trivial class of multi-parameter problems. Specifically, we prove that every welfare-maximization problem that admits a fully polynomial-time approximation scheme (FPTAS) and can be encoded as a packing problem also admits a truthful-in-expectation randomized mechanism that is an FPTAS. Our reduction makes novel use of smoothed analysis by employing small perturbations as a tool in algorithmic mechanism design. We develop a “duality” between linear perturbations of the objective function of an optimization problem and of its feasible set, and we use the “primal” and “dual” viewpoints to prove the running time bound and the truthfulness guarantee, respectively, for our mechanism.

Keywords

  1. algorithmic mechanism design
  2. smoothed analysis
  3. black-box reductions

MSC codes

  1. 68Q25
  2. 91A99

Get full access to this article

View all available purchase options and get full access to this article.

References

1.
M. Babaioff, R. Lavi, and E. Pavlov, Single-value combinatorial auctions and algorithmic implementation in undominated strategies, J. ACM, 56 (2009), 4.
2.
X. Bei and Z. Huang, Bayesian incentive compatibility via fractional assignments, in Proceedings of the 22nd ACM Symposium on Discrete Algorithms (SODA), ACM, New York, 2011, pp. 720--733.
3.
R. Beier and B. Vöcking, Typical properties of winners and losers in discrete optimization, SIAM J. Comput., 35 (2006), pp. 855--881.
4.
P. Briest, P. Krysta, and B. Vöcking, Approximation techniques for utilitarian mechanism design, SIAM J. Comput., 40 (2011), pp. 1587--1622.
5.
D. Buchfuhrer, S Dughmi, H. Fu, R. Kleinberg, E. Mossel, C. Papadimitriou, M. Schapira, Y. Singer, and C. Umans, Inapproximability for VCG-based combinatorial auctions, in Proceedings of the 21st ACM Symposium on Discrete Algorithms (SODA), ACM, New York, 2010, pp. 518--536.
6.
S. Dobzinski, An impossibility result for truthful combinatorial auctions with submodular valuations, in Proceedings of the 42nd ACM Symposium on Theory of Computing (STOC), ACM, New York, 2011, pp. 139--148.
7.
S. Dobzinski and S. Dughmi, On the power of randomization in algorithmic mechanism design, in Proceedings of the 50th IEEE Symposium on Foundations of Computer Science (FOCS), IEEE, Washington, DC, 2009, pp. 505--514.
8.
S. Dobzinski and N. Nisan, Mechanisms for multi-unit auctions, in Proceedings of the 8th ACM Conference on Electronic Commerce (EC), ACM, New York, 2007, pp. 346--351.
9.
S. Dobzinski and N. Nisan, Limitations of VCG-based mechanisms, Combinatorica, 31 (2011), pp. 379--396.
10.
S. Dughmi and J. Vondrák, Limitations of randomized mechanisms for combinatorial auctions, in Proceedings of the 52nd IEEE Symposium on Foundations of Computer Science (FOCS), IEEE, Washington, DC, 2011, pp. 502--511.
11.
G. V. Gens and E. V. Levner, Approximate algorithms for certain universal problems in scheduling theory, Soviet J. Comput. System Sci., 6 (1978), pp. 38--43.
12.
G. V. Gens and E. V. Levner, Fast approximation algorithms for knapsack type problems, in Optimization Techniques, Part 2, K. Iracki, K. Malinowski, and S. Walukiewicz, eds., Springer, Berlin, 1980, pp. 185--194.
13.
J. D. Hartline, R. D. Kleinberg, and A. Malekian, Bayesian incentive compatibility via matchings, in Proceedings of the 22nd ACM Symposium on Discrete Algorithms (SODA), ACM, New York, 2011, pp. 734--747.
14.
J. D. Hartline and B. Lucier, Bayesian algorithmic mechanism design, in Proceedings of the 41st ACM Symposium on Theory of Computing (STOC), ACM, New York, 2010, pp. 301--310.
15.
R. Hassin, Approximation schemes for the restricted shortest path problem, Math. Oper. Res., 17 (1992), pp. 36--42.
16.
D. S. Johnson and K. A. Niemi, On knapsacks, partitions, and a new dynamic programming technique for trees, Math. Oper. Res., 8 (1983), pp. 1--14.
17.
J. A. Kelner and D. A. Spielman, A randomized polynomial-time simplex algorithm for linear programming, in Proceedings of the 37th ACM Symposium on Theory of Computing (STOC), ACM, New York, 2006, pp. 51--60.
18.
R. Lavi, Computationally efficient approximation mechanisms, in Algorithmic Game Theory, N. Nisan, T. Roughgarden, É. Tardos, and V. Vazirani, eds., Cambridge University Press, Cambridge, UK, 2007, pp. 301--329.
19.
R. Lavi, A. Mu'alem, and N. Nisan, Towards a characterization of truthful combinatorial auctions, in Proceedings of the 44th IEEE Symposium on Foundations of Computer Science (FOCS), IEEE, Washington, DC, 2003, pp. 574--583.
20.
R. Lavi and C. Swamy, Truthful and near-optimal mechanism design via linear programming, J. ACM, 58 (2011), 25.
21.
M. V. Marathe, R. Ravi, R. Sundaram, S. S. Ravi, D. J. Rosenkrantz, and H. B. Hunt, Bicriteria network design problems, J. Algorithms, 28 (1998), pp. 142--171.
22.
N. Nisan, Introduction to mechanism design (for computer scientists), in Algorithmic Game Theory, N. Nisan, T. Roughgarden, É. Tardos, and V. Vazirani, eds., Cambridge University Press, Cambridge, UK, 2007, pp. 209--241.
23.
N. Nisan and A. Ronen, Algorithmic mechanism design, Games Econom. Behav., 35 (2001), pp. 166--196.
24.
C. Papadimitriou, M. Schapira, and Y. Singer, On the hardness of being truthful, in Proceedings of the 49th IEEE Symposium on Foundations of Computer Science (FOCS), IEEE, Washington, DC, 2008, pp. 250--259.
25.
H. Röglin and S.-H. Teng, Smoothed analysis of multiobjective optimization, in Proceedings of the 50th IEEE Symposium on Foundations of Computer Science (FOCS), IEEE, Washington, DC, 2009, pp. 681--690.
26.
S. Sahni, General techniques for combinatorial approximation, Oper. Res., 25 (1977), pp. 920--936.
27.
D. A. Spielman and S.-H. Teng, Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time, J. ACM, 51 (2004), pp. 385--463.
28.
B. Vöcking, A universally-truthful approximation scheme for multi-unit auctions, in Proceedings of the 23rd ACM Symposium on Discrete Algorithms (SODA), ACM, New York, 2012, pp. 846--855.

Information & Authors

Information

Published In

cover image SIAM Journal on Computing
SIAM Journal on Computing
Pages: 312 - 336
ISSN (online): 1095-7111

History

Submitted: 8 August 2011
Accepted: 5 August 2013
Published online: 20 February 2014

Keywords

  1. algorithmic mechanism design
  2. smoothed analysis
  3. black-box reductions

MSC codes

  1. 68Q25
  2. 91A99

Authors

Affiliations

Metrics & Citations

Metrics

Citations

If you have the appropriate software installed, you can download article citation data to the citation manager of your choice. Simply select your manager software from the list below and click Download.

Cited By

View Options

View options

PDF

View PDF

Figures

Tables

Media

Share

Share

Copy the content Link

Share with email

Email a colleague

Share on social media