Local computation mechanism design

Avinatan Hassidim, Yishay Mansour, Shai Vardi

Research output: Contribution to journalArticlepeer-review

9 Scopus citations

Abstract

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.

Original languageEnglish
Article number21
JournalACM Transactions on Economics and Computation
Volume4
Issue number4
DOIs
StatePublished - Aug 2016

Bibliographical note

Publisher Copyright:
© 2016 ACM 2167-8375/2016/08-ART21 $15.00.

Keywords

  • Local computation algorithms
  • Mechanism design
  • Stable matching

Fingerprint

Dive into the research topics of 'Local computation mechanism design'. Together they form a unique fingerprint.

Cite this