English

Computational Hardness of the Hylland-Zeckhauser Scheme

Computer Science and Game Theory 2021-07-14 v1 Data Structures and Algorithms

Abstract

We study the complexity of the classic Hylland-Zeckhauser scheme [HZ'79] for one-sided matching markets. We show that the problem of finding an ϵ\epsilon-approximate equilibrium in the HZ scheme is PPAD-hard, and this holds even when ϵ\epsilon is polynomially small and when each agent has no more than four distinct utility values. Our hardness result, when combined with the PPAD membership result of [VY'21], resolves the approximation complexity of the HZ scheme. We also show that the problem of approximating the optimal social welfare (the weight of the matching) achievable by HZ equilibria within a certain constant factor is NP-hard.

Keywords

Cite

@article{arxiv.2107.05746,
  title  = {Computational Hardness of the Hylland-Zeckhauser Scheme},
  author = {Thomas Chen and Xi Chen and Binghui Peng and Mihalis Yannakakis},
  journal= {arXiv preprint arXiv:2107.05746},
  year   = {2021}
}