[論文レビュー] 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

ひとこと要約

この論文は、片側マッチング市場におけるHyland-Zeckhauser（HZ）方式の主要な計算複雑性問題を解決する。0/1効用と二値効用の両方のケースに対して、組合せ的で強多項式時間のアルゴリズムを提示し、非有理均衡の存在を証明してPPADや凸プログラミングの定式化を排除し、FIXP複雑性クラスに属することを確立する。これにより、FIXP-hard性の問題は未解決のまま残る。

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] と完全マッチングアルゴリズムを組み合わせることで、0/1効用ケースに対して組合せ的で強多項式時間のアルゴリズムを開発する。
• 各エージェントの効用が2つの値のいずれかを取るが、エージェント間で異なる二値効用ケースへアルゴリズムを拡張する。
• 4エージェント、4財の例を構築し、唯一非有理均衡しか持たないことを示し、問題がPPADに属さないことを証明する。
• 同じ例で均衡が非連結であることを示し、凸プログラミングの定式化が不可能であることを排除する。
• 代数的技術と均衡の特徴付けを用いて、HZ方式がFIXP複雑性クラスに属することを証明する。
• HZメカニズム下での最適なボリュームタイプ（A–D）を分析し、ケース解析を用いて、あるボリュームが非最適である場合に特定の手順が必ず発火しなければならないことを示し、矛盾に至ることを示す。

実験結果

リサーチクエスチョン

• RQ1 0/1効用ケースを超えて、HZ方式に対して組合せ的で強多項式時間のアルゴリズムが存在するか？
• RQ2 すべての入力パラメータが有理数である場合、HZ方式は常に有理均衡を有するか？
• RQ3 HZ方式は有理数解をもつ凸プログラムとして定式化可能か？
• RQ4 HZ方式はPPAD完全か、FIXP完全か？
• RQ5 HZ均衡の構造的複雑性、特に連結性と有理化可能性の観点から、どのような性質を有するか？

主な発見

• 0/1効用ケースおよびより一般に二値効用に対して、組合せ的で強多項式時間のアルゴリズムが提示された。
• 4エージェントと4財を有する明示的な例が構築され、唯一非有理均衡しか持たないことが示され、問題がPPADに属さないことを証明した。
• 同じ例で均衡が非連結であることが判明し、HZ方式に対して任意の凸プログラミング定式化が不可能であることが排除された。
• HZ方式がFIXP複雑性クラスに属することを証明し、その計算複雑性に対する基礎的な上界を確立した。
• HZ方式がFIXP-hardであるかどうかは未解決のままであり、このクラスにおける完全性の証明の難しさを示している。
• 最適ボリュームタイプ（A–D）およびHZメカニズム下での価格-効用トレードオフの分析により、非最適割り当てが安定しないことを示す構造的制約が明らかになった。