[论文解读] Computational Complexity of the Hylland-Zeckhauser Scheme for One-Sided Matching Markets

Vijay V. Vazirani, Mihalis Yannakakis|arXiv (Cornell University)|Apr 2, 2020

Game Theory and Voting Systems被引用 8

一句话总结

该论文解决了单边匹配市场中 Hylland-Zeckhauser (HZ) 方案的关键计算复杂性问题。它为 0/1 效用和二值效用提出了组合的、强多项式时间算法，证明了存在无理数均衡（从而排除了 PPAD 和凸规划公式化），并确立了该问题属于 FIXP 复杂性类，但 FIXP-难性问题仍待解决。

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.

研究动机与目标

• 解决 Hylland-Zeckhauser (HZ) 方案在单边匹配市场中计算复杂性的长期开放问题。
• 确定 HZ 方案是否具有多项式时间算法、有理数均衡解或凸规划公式化。
• 将该问题在复杂性层级中进行分类，特别是与 PPAD 和 FIXP 的关系。
• 将算法结果从 0/1 效用情况扩展到更广的类别，如二值效用。
• 研究 HZ 均衡的结构性质，包括有理性和连通性。

提出的方法

• 通过结合完美匹配算法与 [DPSV08] 关于线性 Fisher 市场的组合算法，为 0/1 效用情况开发了一种组合的、强多项式时间算法。
• 将该算法扩展至二值效用情况，其中每位代理的效用取两个值之一，但不同代理的取值不同。
• 构造了一个包含四个代理和四类商品的实例，其均衡仅包含无理数解，证明该问题不属于 PPAD，也无法通过有理数凸规划求解。
• 证明该实例中的均衡是不连通的，从而排除了任何凸规划公式的可能性。
• 利用代数技术与均衡特征刻画，证明 HZ 方案属于 FIXP 复杂性类。
• 分析 HZ 机制下最优组合类型（A–D），并通过案例分析表明，若某一组合非最优，则潜在算法中的某些步骤必须被触发，从而导致矛盾。

实验结果

研究问题

• RQ1 在 0/1 效用情况之外，HZ 方案是否存在一种组合的、强多项式时间算法？
• RQ2 当所有输入参数均为有理数时，HZ 方案是否总是存在有理数均衡？
• RQ3 HZ 方案能否被表述为具有有理数解的凸规划？
• RQ4 HZ 方案是否为 PPAD-完全或 FIXP-完全？
• RQ5 HZ 均衡的结构性复杂性如何，特别是其连通性和有理性方面？

主要发现

• 为 0/1 效用情况以及更一般地为二值效用情况提出了一种组合的、强多项式时间算法。
• 构造了一个包含四个代理和四个商品的显式实例，其均衡仅包含无理数解，证明该问题不属于 PPAD。
• 该实例中的均衡是不连通的，从而排除了 HZ 方案的任何凸规划公式化。
• 证明 HZ 方案属于 FIXP 复杂性类，为该问题的计算复杂性建立了基础性上界。
• 该问题是否为 FIXP-难仍未解决，凸显了在该类中证明完全性的难度。
• 对 HZ 机制下最优组合类型（A–D）及价格-效用权衡的分析揭示了结构性约束，防止非最优分配成为稳定状态。