[論文レビュー] Exploring Strategy-Proofness, Uniqueness, and Pareto Optimality for the Stable Matching Problem with Couples

Andrew Perrault, Joanna Drummond+1 more|arXiv (Cornell University)|May 13, 2015

Game Theory and Voting Systems参考文献 11被引用数 3

ひとこと要約

この論文は、カップルを含む安定マッチング問題（SMP-C）におけるすべての安定マッチングを正確に列挙するためにSATエンコーディングを用い、戦略証明性、一意性、パレート最適性の実証的分析を可能にした。その結果、市場規模が拡大しても一意な安定マッチングがより一般的になるとは限らない一方で、住民最適な安定マッチングは市場規模が拡大するにつれて確率1に近づくことが判明した。また、一意な安定マッチングが存在する場合でさえ、住民が戦略的行動を取れる可能性があることが示された。

ABSTRACT

The Stable Matching Problem with Couples (SMP-C) is a ubiquitous real-world extension of the stable matching problem (SMP) involving complementarities. Although SMP can be solved in polynomial time, SMP-C is NP-Complete. Hence, it is not clear which, if any, of the theoretical results surrounding the canonical SMP problem apply in this setting. In this paper, we use a recently-developed SAT encoding to solve SMP-C exactly. This allows us to enumerate all stable matchings for any given instance of SMP-C. With this tool, we empirically evaluate some of the properties that have been hypothesized to hold for SMP-C. We take particular interest in investigating if, as the size of the market grows, the percentage of instances with unique stable matchings also grows. While we did not find this trend among the random problem instances we sampled, we did find that the percentage of instances with an resident optimal matching seems to more closely follow the trends predicted by previous conjectures. We also define and investigate resident Pareto optimal stable matchings, finding that, even though this is important desideratum for the deferred acceptance style algorithms previously designed to solve SMP-C, they do not always find one. We also investigate strategy-proofness for SMP-C, showing that even if only one stable matching exists, residents still have incentive to misreport their preferences. However, if a problem has a resident optimal stable matching, we show that residents cannot manipulate via truncation.

研究の動機と目的

• 古典的安定マッチング問題における理論的性質（一意性、住民最適性など）が、NP完全であるカップルを含む安定マッチング問題（SMP-C）に拡張されるかどうかを調査すること。
• 市場規模の拡大に伴い、SMP-Cインスタンスにおける一意な安定マッチングおよび住民最適な安定マッチングの実証的頻度を評価すること。
• 既存の遅延選択型アルゴリズム（例：RP99、KPR）が安定マッチングおよび住民最適マッチングを実際に見つける性能と限界を評価すること。
• 特に、一意な安定マッチングまたは住民最適な安定マッチングが存在する条件下で、SMP-Cにおける戦略証明性が成立するかどうかを検討すること。
• 安定マッチングの完全列挙を可能にし、住民パレート最適解の同定を保証するように拡張されたSATエンコーディングの開発と適用

提案手法

• SMP-C向けに最近開発されたSATエンコーディング（SAT-E）に、追加制約を追加して、任意のインスタンスに対してすべての安定マッチングを列挙できるように拡張した。
• 拡張されたSATエンコーディングには、与えられた安定マッチングが住民パレート最適でない場合に、より良いマッチングを同定するための制約が含まれている。
• この手法により、すべての安定マッチングおよび住民パレート最適マッチングの正確な計算が可能になり、不完全なDA型アルゴリズムの限界を克服した。
• 実世界の状況を模倣し、理論的仮説を検証するために、市場規模やカップルの割合が異なるランダムな問題インスタンスを生成した。
• 住民が希望順位リストを短縮することで利益を得られるかどうかをチェックすることで、戦略証明性の系統的評価が可能になった。
• DA型アルゴリズム（RP99およびKPR）の性能を、SATベースの列挙結果と比較して、完全性および最適性の評価を実施した。

実験結果

リサーチクエスチョン

• RQ1 市場規模が拡大するにつれて、SMP-Cにおける一意な安定マッチングの確率は、古典的SMPの結果に基づく仮説とは異なり、1に近づくのか？
• RQ2 NP完全性にもかかわらず、市場規模が拡大するにつれて、SMP-Cにおける住民最適な安定マッチングの確率は1に近づくのか？
• RQ3 一意な安定マッチングが存在する場合でさえ、住民が希望順位リストの短縮によってマッチング結果を操作できるのか？
• RQ4 既存のSMP-C向け遅延選択型アルゴリズム（例：RP99、KPR）は、実際の問題において安定マッチングや住民最適マッチングを信頼して見つけられるのか？
• RQ5 DA型アルゴリズムが失敗する場合や最適解を見逃す場合に、SATベースの列挙手法は、すべての安定マッチングおよび住民パレート最適マッチングを同定できるのか？

主な発見

• 一意な安定マッチングを有するSMP-Cインスタンスの割合は、市場規模が拡大しても増加しない。これは、古典的SMPの結果に基づく仮説とは矛盾する。
• 住民最適な安定マッチングを有するインスタンスの割合は、市場規模の拡大に伴い増加し、この確率が市場規模が拡大するにつれて1に近づくという、新たな仮説を支持する。
• 一意な安定マッチングが存在する場合でさえ、住民は戦略的行動のインセンティブを持つことが判明し、SMP-Cが戦略証明でないことを示している。
• RP99アルゴリズムはKPRよりも住民最適マッチングの発見成功率が高いが、20％のカップルがいる場合の全体的な失敗率（36.25％）は、KPRの失敗率（5.75％）よりも顕著に高い。
• 10％以下のカップルがいる市場では、KPRがRP99を上回り、99.75％以上の成功率で問題インスタンスを解ける。
• SATベースの手法は、DA型アルゴリズムが失敗したり最適解を見逃したりした場合でも、すべての安定マッチングを正確に列挙し、すべての住民パレート最適マッチングを同定できた。