[论文解读] 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.

研究动机与目标

• 调查任何实现男性最优稳定匹配的稳定匹配机制是否可以对所有男性实现显然的策略无关性。
• 评估参与者在依赖此类机制的集中式匹配市场中所承受的认知负担。
• 挑战一种假设，即由于其简洁性，男性最优延迟接受算法在实践中是策略无关的。
• 分析在申请人可能虚报偏好的现实匹配系统中，战略复杂性的影响。

提出的方法

• 对双边匹配市场中策略无关性与显然策略无关性的理论分析。
• 正式定义并应用李（2015）提出的“显然策略无关”概念于稳定匹配机制。
• 通过反证法证明，任何实现男性最优稳定匹配的机制都无法对所有男性满足显然策略无关性。
• 以男性提议的延迟接受算法作为分析战略激励的基准。
• 基于稳定匹配的结构和偏好报告行为进行逻辑推导。

实验结果

研究问题

• RQ1 任何实现男性最优稳定匹配的稳定匹配机制是否可以对所有男性实现显然的策略无关性？
• RQ2 男性需要付出多大的认知努力，才能确信在该机制中如实报告偏好是最优的？
• RQ3 为何即使男性最优延迟接受算法对所有男性都是策略无关的，申请人仍会虚报偏好？
• RQ4 显然策略无关性的缺失在多大程度上削弱了稳定匹配机制在实际应用中的可用性？

主要发现

• 任何实现男性最优稳定匹配的稳定匹配机制都无法对所有男性实现显然的策略无关性。
• 尽管延迟接受算法对所有男性是策略无关的，但它并不满足显然策略无关性，需要复杂的推理才能验证。
• 参与者必须进行大量的条件性推理，才能确信策略性虚报不会带来任何收益。
• 显然策略无关性的缺失意味着，即使不存在实际的战略机会，现实用户仍可能感知到战略空间。