Current browse context:
cs.GT
Change to browse by:
References & Citations
Computer Science > Computer Science and Game Theory
Title: Computational Complexity of the Hylland-Zeckhauser Scheme for One-Sided Matching Markets
(Submitted on 3 Apr 2020 (v1), last revised 22 Apr 2020 (this version, v6))
Abstract: In 1979, Hylland and Zeckhauser \cite{hylland} gave a simple and general scheme for implementing a one-sided matching market using the power of a pricing mechanism. Their method has nice properties -- it is incentive compatible in the large and produces an allocation that is Pareto optimal -- and hence it provides an attractive, off-the-shelf method for running an application involving such a market. With matching markets becoming ever more prevalant and impactful, it is imperative to finally settle the computational complexity of this scheme.
We present the following partial resolution:
1. A combinatorial, strongly polynomial time algorithm for the special case of $0/1$ utilities.
2. An example that has only irrational equilibria, hence proving that this problem is not in PPAD. Furthermore, its equilibria are disconnected, hence showing that the problem does not admit a convex programming formulation.
3. A proof of membership of the problem in the class FIXP.
We leave open the (difficult) question of determining if the problem is FIXP-hard. Settling the status of the special case when utilities are in the set $\{0, {\frac 1 2}, 1 \}$ appears to be even more difficult.
Submission history
From: Vijay Vazirani [view email][v1] Fri, 3 Apr 2020 02:53:09 GMT (32kb)
[v2] Mon, 6 Apr 2020 18:50:01 GMT (33kb)
[v3] Thu, 9 Apr 2020 17:57:41 GMT (33kb)
[v4] Fri, 10 Apr 2020 12:17:59 GMT (33kb)
[v5] Wed, 15 Apr 2020 04:08:40 GMT (30kb)
[v6] Wed, 22 Apr 2020 23:07:41 GMT (33kb)
Link back to: arXiv, form interface, contact.