[論文レビュー] Approximately Stable Matchings with Budget Constraints

Yasushi Kawase, Atsushi Iwasaki|arXiv (Cornell University)|Nov 17, 2017

Game Theory and Voting Systems被引用数 6

ひとこと要約

本稿は、予算制約付き二面マッチングのための新規フレームワークを提示する。病院は定額給与予算を有するが、定員制限ではない。2つのメカニズムを提案する。1つは戦略的不正を犠牲にして、$rac{1}{1 - ¯{s}}$ の最良の近似比を達成する。もう1つは比例的ユーティリティ市場において医師に対して戦略的不正を回避可能であり、近似比が有界である。両者とも、契約サイズの順序に基づく逐次選択関数を用いて、近似的に安定なマッチングを効率的に計算する。

ABSTRACT

This paper considers two-sided matching with budget constraints where one side (firm or hospital) can make monetary transfers (offer wages) to the other (worker or doctor). In a standard model, while multiple doctors can be matched to a single hospital, a hospital has a maximum quota: the number of doctors assigned to a hospital cannot exceed a certain limit. In our model, a hospital instead has a fixed budget: the total amount of wages allocated by each hospital to doctors is constrained. With budget constraints, stable matchings may fail to exist and checking for the existence is hard. To deal with the nonexistence of stable matchings, we extend the "matching with contracts" model of Hatfield and Milgrom, so that it handles approximately stable matchings where each of the hospitals' utilities after deviation can increase by factor up to a certain amount. We then propose two novel mechanisms that efficiently return such a stable matching that exactly satisfies the budget constraints. In particular, by sacrificing strategy-proofness, our first mechanism achieves the best possible bound. Furthermore, we find a special case such that a simple mechanism is strategy-proof for doctors, keeping the best possible bound of the general case.

研究の動機と目的

• 予算制約下での二面マッチング市場における安定マッチングの非存在性を解決すること。
• マッチング・コントラクト枠組みを拡張し、乗法的ユーティリティ向上下での近似的に安定なマッチングを扱えるようにすること。
• 予算制約を正確に満たすとともに、ブロッキング連合からの最大ユーティリティ増加を最小化する効率的なメカニズムを設計すること。
• 予算制約付きマッチングにおける戦略的不正性と近似品質のトレードオフを調査すること。
• 一般および比例的ユーティリティ設定における近似比のタイトな境界を確立すること。

提案手法

• 安定性の緩和として$\alpha$-近似を導入し、病院がユーティリティが$\alpha$倍以上に向上しない限り逸脱しないようにする。
• 非戦略的不正メカニズムのためのアルゴリズム2およびアルゴリズム4を提案。これらは、予算制約下でサイズ順に契約を選択する選択関数を用いる。
• アルゴリズム5を設計。これは逐次的で順序不変かつサイズ単調性を満たす選択関数であり、契約をサイズの小さい順に選択することで予算の利用を最大化する。
• これらの選択関数を用いて一般化された遅延受け入れ（DA）メカニズムを適用し、多項式時間で近似的に安定なマッチングを計算する。
• アルゴリズム5における選択関数が$\frac{1}{1 - \overline{s}}$-近似であることを証明。ここで$\overline{s}$は、契約の給与が病院の予算に占める最大割合を表す。
• アルゴリズム5を用いることで、比例的ユーティリティケースにおいて医師に対して戦略的不正を回避可能であり、同時に近似比が有界であることを確立。

実験結果

リサーチクエスチョン

• RQ1 正確な予算制約を満たしつつ、近似的に安定なマッチングを計算するメカニズムを設計できるか？
• RQ2 加法的ユーティリティ設定において戦略的不正を放棄した場合、達成可能な最良の近似比は何か？
• RQ3 比例的ユーティリティ市場において、医師に対して戦略的不正を回避しつつも、近似比が有界であるメカニズムは存在するか？
• RQ4 選択関数の構造（例：サイズ単調性、逐次性）が近似保証に与える影響は何か？
• RQ5 一般および比例的ユーティリティモデルにおける近似比のタイトな上限および下限を導出できるか？

主な発見

• 非戦略的不正メカニズムは、近似比$\frac{1}{1 - \overline{s}}$を達成しており、これは最適であり、下界と一致する。
• 比例的ユーティリティ市場において、戦略的不正メカニズムは近似比$\frac{1}{1 - \overline{s}}$を達成しており、既知の最良の上界と一致する。
• 比例的ケースでは、別個のメカニズムにより、より良い近似比1.62を達成でき、これは上限と下限の両方が1.62であるためタイトである。
• アルゴリズム5で定義される選択関数は、逐次的で、順序不変であり、サイズ単調性を満たし、かつ$\frac{1}{1 - \overline{s}}$-近似であることが証明された。
• アルゴリズム5を用いた一般化DAメカニズムは、医師に対して戦略的不正を回避可能であり、$O(|X|\log|X|)$の時間で実行される。
• 本稿では、一般加法的ケースにおいて、$\frac{1}{1 - \overline{s}}$の境界がタイトであり、同じ条件下でこれより良い境界は得られないことが確立された。