Local Computation Mechanism Design

We introduce the notion of local computation mechanism design—designing game-theoretic mechanisms that run in polylogarithmic time and space. Local computation mechanisms reply to each query in polylogarithmic time and space, and the replies to different queries are consistent with the same global feasible solution. When the mechanism employs payments, the computation of the payments is also done in polylogarithmic time and space. Furthermore, the mechanism needs to maintain incentive compatibility with respect to the allocation and payments. We present local computation mechanisms for two classical game-theoretical problems: stable matching and job scheduling. For stable matching, some of our techniques may have implications to the global (non-LCA (Local Computation Algorithm)) setting. Specifically, we show that when the men’s preference lists are bounded, we can achieve an arbitrarily good approximation to the stable matching within a fixed number of iterations of the Gale-Shapley algorithm.

[1]  A. Roth,et al.  The Redesign of the Matching Market for American Physicians: Some Engineering Aspects of Economic Design , 1999, The American economic review.

[2]  Nimrod Megiddo,et al.  A sublinear parallel algorithm for stable matching , 1994, SODA '94.

[3]  André Brinkmann,et al.  Balls into non-uniform bins , 2010, 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS).

[4]  Roger B. Myerson,et al.  Optimal Auction Design , 1981, Math. Oper. Res..

[5]  Nicole Immorlica,et al.  Marriage, honesty, and stability , 2005, SODA '05.

[6]  Rafail Ostrovsky,et al.  On The Communication Complexity of Finding an (Approximate) Stable Marriage , 2014, ArXiv.

[7]  Berthold Vöcking,et al.  How asymmetry helps load balancing , 1999, JACM.

[8]  David Gale,et al.  Some remarks on the stable matching problem , 1985, Discret. Appl. Math..

[9]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[10]  M. Dufwenberg Game theory. , 2011, Wiley interdisciplinary reviews. Cognitive science.

[11]  Si-Qing Zheng,et al.  A Parallel Iterative Improvement Stable Matching Algorithm , 2003, HiPC.

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

[13]  Amos Fiat,et al.  Single valued combinatorial auctions with budgets , 2011, EC '11.

[14]  Barun Chandra,et al.  Greedy local improvement and weighted set packing approximation , 2001, SODA '99.

[15]  Alvin E. Roth,et al.  Two-Sided Matching: A Study in Game-Theoretic Modeling and Analysis , 1990 .

[16]  Yishay Mansour,et al.  A Local Computation Approximation Scheme to Maximum Matching , 2013, APPROX-RANDOM.

[17]  K. Arrow A Difficulty in the Concept of Social Welfare , 1950, Journal of Political Economy.

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

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

[20]  Richard C. T. Lee,et al.  A parallel algorithm to solve the stable marriage problem , 1984, BIT.

[21]  Noam Nisan,et al.  Algorithmic mechanism design (extended abstract) , 1999, STOC '99.

[22]  Noga Alon,et al.  Space-efficient local computation algorithms , 2011, SODA.

[23]  A. Roth The origins, history, and design of the resident match. , 2003, JAMA.

[24]  Tamás Fleiner,et al.  A Fixed-Point Approach to Stable Matchings and Some Applications , 2003, Math. Oper. Res..

[25]  Annamária Kovács,et al.  A deterministic truthful PTAS for scheduling related machines , 2009, SODA '10.

[26]  Michael J. Quinn,et al.  A note on two parallel algorithms to solve the stable marriage problem , 1985, BIT.

[27]  U. Rothblum,et al.  Truncation Strategies in Matching Markets-in Search of Advice for Participants , 1999 .

[28]  Ronitt Rubinfeld,et al.  Fast Local Computation Algorithms , 2011, ICS.

[29]  Udi Wieder,et al.  Balanced allocations with heterogenous bins , 2007, SPAA '07.

[30]  Yishay Mansour,et al.  Converting Online Algorithms to Local Computation Algorithms , 2012, ICALP.

[31]  Daniel S. Hirschberg,et al.  Lower Bounds for the Stable Marriage Problem and its Variants , 1990, SIAM J. Comput..

[32]  Krzysztof Onak,et al.  Constant-Time Approximation Algorithms via Local Improvements , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[33]  Noam Nisan,et al.  Mechanisms for multi-unit auctions , 2007, EC '07.

[34]  Amos Fiat,et al.  Approaching utopia: strong truthfulness and externality-resistant mechanisms , 2013, ITCS '13.

[35]  ConitzerVincent,et al.  The ACM transactions on economics and computation , 2013 .

[36]  Olle Häggström,et al.  Instability of matchings in decentralized markets with various preference structures , 2008, Int. J. Game Theory.

[37]  Yossi Azar,et al.  The competitiveness of on-line assignments , 1992, SODA '92.

[38]  Moshe Babaioff Truthful Mechanisms for One-Parameter Agents , 2016, Encyclopedia of Algorithms.

[39]  Kunal Talwar,et al.  Balanced allocations: the weighted case , 2007, STOC '07.

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

[41]  David B. Shmoys,et al.  A Polynomial Approximation Scheme for Machine Scheduling on Uniform Processors: Using the Dual Approximation Approach , 1986, FSTTCS.

[42]  A. Roth,et al.  Turnaround Time and Bottlenecks in Market Clearing: Decentralized Matching in the Market for Clinical Psychologists , 1997, Journal of Political Economy.

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

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

[45]  Tim Roughgarden,et al.  Algorithmic Game Theory , 2007 .

[46]  G. Brightwell THE STABLE MARRIAGE PROBLEM: STRUCTURE AND ALGORITHMS (Foundations of Computing) , 1991 .

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

[48]  Omer Reingold,et al.  New techniques and tighter bounds for local computation algorithms , 2014, J. Comput. Syst. Sci..

[49]  Parag A. Pathak,et al.  Appendix to "Incentives and Stability in Large Two-Sided Matching Markets" , 2009 .

[50]  Moshe Babaioff,et al.  Truthful mechanisms with implicit payment computation , 2010, EC '10.

[51]  Robert W. Irving,et al.  The Stable marriage problem - structure and algorithms , 1989, Foundations of computing series.

[52]  Eli Upfal,et al.  Balanced Allocations , 1999, SIAM J. Comput..

[53]  J. Gabszewicz,et al.  On Gale and Shapley "college admissions and the stability of marriage" , 2012 .

[54]  Martin Hoefer,et al.  Truthfulness and Stochastic Dominance with Monetary Transfers , 2013, TEAC.

[55]  Berthold Vöcking,et al.  Online Mechanism Design (Randomized Rounding on the Fly) , 2012, ICALP.

[56]  Jeffrey Considine,et al.  Simple Load Balancing for Distributed Hash Tables , 2003, IPTPS.

[57]  L. S. Shapley,et al.  College Admissions and the Stability of Marriage , 2013, Am. Math. Mon..

[58]  Jan Karel Lenstra,et al.  Approximation algorithms for scheduling unrelated parallel machines , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[59]  Valentin Polishchuk,et al.  Almost Stable Matchings by Truncating the Gale–Shapley Algorithm , 2009, Algorithmica.

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