[論文レビュー] No Stable Matching Mechanism is Obviously Strategy-Proof

Itai Ashlagi, Yannai A. Gonczarowski|arXiv (Cornell University)|Nov 2, 2015

Game Theory and Voting Systems参考文献 16被引用数 4

ひとこと要約

この論文は、男性最適な安定マッチングを実装する安定マッチングメカニズムが、すべての男性に対して明白に戦略証明可能でないことを証明している。これは、遅延選択アルゴリズムがすべての男性に対して戦略証明可能であるにもかかわらず、その事実が明確でないことを示しており、参加者がメカニズムを信頼するために複雑な認知的推論を要することを意味する。その結果、実世界の応用において、メカニズムの実用的簡便性と透明性が損なわれる。

ABSTRACT

The (men-proposing) deferred acceptance algorithm, which finds the men-optimal stable matching in a two-sided marriage market, is known to be for all men. This algorithm is now used extensively by many centralized matching markets. Although applicants are being advised that it is in their best interest to state their true preferences, empirical evidence suggests that a significant fraction are nonetheless attempting to strategically misreport their preferences. We show that while for all men, no mechanism implementing the men-optimal stable matching is strategy-proof for all men, a term recently defined by Li (2015). Consequently, no stable matching mechanism is obviously for all men. This implies that in any implementation of the men-optimal stable matching, significant cognitive effort and contingent reasoning are needed to be convinced that no strategic opportunities exist for any man.

研究の動機と目的

• すべての男性に対して明白に戦略証明可能な安定マッチングメカニズムが、男性最適な安定マッチングを実装できるかどうかを調査すること。
• 中央集権型マッチング市場において、このようなメカニズムに依存する参加者にかかる認知的負担を評価すること。
• 男性最適な遅延選択アルゴリズムが、その単純さゆえに実用的に戦略証明可能であるという仮定を疑うこと。
• 希望の申告が不正にされる可能性がある実世界のマッチングシステムにおける戦略的複雑性の影響を分析すること。

提案手法

• 二面的マッチング市場における戦略証明可能性と明白な戦略証明可能性の理論的分析。
• Li (2015) が導入した「明白に戦略証明可能」の形式的定義と、安定マッチングメカニズムへの適用。
• 男性最適な安定マッチングを実装するいかなるメカニズムにも、すべての男性に対して明白な戦略証明可能性を満たせないことを背理法で証明。
• 戦略的インcentiveを分析するためのベンチマークとして、男性提案型遅延選択アルゴリズムの使用。
• 安定マッチングの構造と希望申告行動に基づく論理的帰納。

実験結果

リサーチクエスチョン

• RQ1 男性最適な安定マッチングを実装する安定マッチングメカニズムのうち、すべての男性に対して明白に戦略証明可能なものはあるか？
• RQ2 このようなメカニズムにおいて、真実の申告が最適であると確信を持つために、男性がどの程度の認知的努力を要するか？
• RQ3 男性最適な遅延選択アルゴリズムがすべての男性に対して戦略証明可能であるにもかかわらず、なぜ応募者が依然として希望を不正に申告するのか？
• RQ4 明白な戦略証明可能性の欠如が、安定マッチングメカニズムの実用的利用可能性にどの程度まで影響を及ぼすか？

主な発見

• 男性最適な安定マッチングを実装する安定マッチングメカニズムのうち、すべての男性に対して明白に戦略証明可能なものは存在しない。
• 遅延選択アルゴリズムがすべての男性に対して戦略証明可能であるにもかかわらず、明白に戦略証明可能ではなく、その正当性を検証するには複雑な推論を要する。
• 戦略的不正申告に利益がないと確信を持つためには、参加者が顕著な条件的推論を実施する必要がある。
• 明白な戦略証明可能性の欠如は、実際のユーザーが戦略的機会があると感じてしまう可能性を示しており、実際にはそのような機会が存在しない場合でも同様である。