[论文解读] Stable Nash Equilibria in the Gale-Shapley Matching Game

Sushmita Gupta, Kazuo Iwama+1 more|arXiv (Cornell University)|Sep 14, 2015

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

一句话总结

本文引入并表征了Gale-Shapley匹配博弈中的$P$-稳定纳什均衡，其中女性对其偏好列表的操纵必须在她的真实偏好$P$下产生一个稳定匹配。作者提出了一种$O(n^4)$算法，用于测试给定策略配置是否为$P$-稳定纳什均衡，确保操纵不会导致不稳定的后果，从而避免进一步被利用。

ABSTRACT

In this article we study the stable marriage game induced by the men-proposing Gale-Shapley algorithm. Our setting is standard: all the lists are complete and the matching mechanism is the men-proposing Gale-Shapley algorithm. It is well known that in this setting, men cannot cheat, but women can. In fact, Teo, Sethuraman and Tan \cite{TST01}, show that there is a polynomial time algorithm to obtain, for a given strategy (the set of all lists) $Q$ and a woman $w$, the best partner attainable by changing her list. However, what if the resulting matching is not stable with respect to $Q$? Obviously, such a matching would be vulnerable to further manipulation, but is not mentioned in \cite{TST01}. In this paper, we consider (safe) manipulation that implies a stable matching in a most general setting. Specifically, our goal is to decide for a given $Q$, if w can manipulate her list to obtain a strictly better partner with respect to the true strategy $P$ (which may be different from $Q$), and also the outcome is a stable matching for $P$.

研究动机与目标

• 填补博弈论分析中稳定匹配的空白，此前的研究（如Teo等）未确保操纵后的匹配在真实偏好下仍保持稳定。
• 形式化$P$-稳定纳什均衡的概念，即女性的操纵在真实偏好$P$下导致稳定匹配，防止进一步的策略性利用。
• 设计一种高效算法，判断给定策略配置是否为$P$-稳定纳什均衡，确保策略操纵既有利可图又保持稳定。
• 证明对于任意女性和目标男性，通过$P$-稳定操纵产生的稳定匹配是唯一的，从而支持算法验证。
• 提供一个计算框架，将真实偏好$P$整合到策略行为分析中，符合标准博弈论假设——真实偏好与陈述偏好可能不同。

提出的方法

• 利用Teo等（TST01）的算法1作为子程序，计算女性$w$及其陈述偏好列表$Q(w)$下，可通过$P$-稳定操纵与之匹配的男性集合$N_w(Q)$。
• 对每位女性$w$，计算其在真实偏好$P(w)$下优于当前配偶的男性集合$N'_w(Q)$，并检查所有此类潜在匹配。
• 对每个此类男性$m \in N'_w(Q)$，构造一个修改后的偏好列表$Q(m,I;w)$，将$m$置于$w$的列表首位，并计算由此产生的策略配置$(Q(-w), Q(m,I;w))$的男性最优稳定匹配$\mu$。
• 使用Gale-Shapley算法测试该结果匹配$\mu$是否为$P$-稳定（即相对于真实偏好$P$的稳定性）。
• 利用一个关键引理，证明对于任何导致女性$w$与男性$\overline{m}$匹配的操纵策略，所产生的稳定匹配是唯一的，从而支持确定性计算。
• 在算法1中采用递归探索过程，高效探索所有可能的操纵路径，以在$P$下获得更优配偶。

实验结果

研究问题

• RQ1 女性能否通过操纵其偏好列表，在真实偏好$P$下获得严格更优的配偶，同时确保结果匹配为$P$-稳定？
• RQ2 是否存在一种高效算法，用于测试给定策略配置$Q$是否为$P$-稳定纳什均衡，即没有任何女性可通过$P$-稳定操纵改善其结果？
• RQ3 在男性提议的Gale-Shapley设定中，确定$P$-稳定纳什均衡的计算复杂度是多少？
• RQ4 由$P$-稳定操纵产生的稳定匹配的唯一性如何影响验证算法的设计？
• RQ5 真实偏好$P$在确保操纵不仅有利可图，而且对进一步策略响应具有鲁棒性方面起什么作用？

主要发现

• 本文确立了$P$-稳定纳什均衡是这样一种策略配置：没有任何女性能通过导致$P$-稳定匹配的操纵，在真实偏好$P$下改善其配偶。
• 提出一种$O(n^4)$算法，用于测试给定策略配置$Q$是否为$P$-稳定纳什均衡，显著扩展了先前工作，确保在真实偏好下保持稳定性。
• 该算法通过验证结果匹配在真实偏好$P$下是否稳定，正确识别出$P$-稳定操纵，从而防止进一步的不稳定性被利用。
• 关键引理证明，对于任何将女性$w$匹配至男性$\overline{m}$的操纵策略，所产生的稳定匹配是唯一的，从而确保算法的确定性和正确性。
• 该算法在多项式时间内运行，每位女性使用算法1耗时$O(n^3)$，所有$n$位女性总耗时$O(n^4)$，适用于实际应用。
• 本文表明，$P$-稳定操纵不仅有利可图，而且安全，因为它避免了被他人进一步操纵的风险，而此类不稳定操纵可能被利用。