[논문 리뷰] Coalition manipulations of the Gale-Shapley algorithm

Yuan Deng, Weiran Shen외 1명|arXiv (Cornell University)|2015. 02. 27.

Game Theory and Voting Systems인용 수 3

한 줄 요약

이 논문은 갈-셰플리 알고리즘에서 연합 조작을 연구하며, 선호도 목록을 전략적으로 수정하여 더 나은 매칭을 달성하고자 하는 여성들이 모여 구성하는 그룹(거짓말쟁이들)에 초점을 맞춘다. 비완전한 선호도 목록 설정에서 강한 내쉬 균형이 항상 존재하고, 모든 거짓말쟁이들에게 유일하고 강하게 파레토 우월한 결과를 초래함을 증명한다. 이 결과는 각 여성의 단일 에이전트 조작에서의 최선의 결과와 동일한 파artner와 매칭됨을 의미한다.

ABSTRACT

It is well-known that the Gale-Shapley algorithm is not truthful for all agents. Previous studies on this front mostly focus on blacklist manipulations by a single woman and by the set of all women. Little is known about manipulations by a coalition of women or other types of manipulations, such as manipulation by permuting preference lists. In this paper, we consider the problem of finding an equilibrium for a coalition of women (aka. liars) in the Gale-Shapley algorithm. We restrict attentions on manipulations that induce stable matchings. For the incomplete preference list setting, where liars can truncate their preference lists, we show that a strong Nash equilibrium always exists and the matching from such equilibria is unique. The equilibrium outcome is strongly Pareto dominant for all liars among the set of matchings achievable by manipulation: every woman is matched with the same man as the one she matches in her best single-agent manipulation. For the complete preference list setting where liars can permute their preference list, we first show that a coalition of women can get worse off by manipulating jointly than each performing a single-agent manipulation, thus a strongly Pareto-dominant outcome may not exist by manipulation. We then put forward an efficient algorithm to compute a strong Nash equilibrium that is strongly Pareto-optimal for all liars. We derive connections between the stable marriage problem and stable roommate problem, and use tools there to prove our results for this part. This approach is highly nontrivial and of independent interest.

연구 동기 및 목표

• 여성들의 연합이 갈-셰플리 알고리즘을 조작하여 더 나은 매칭을 달성하는 전략적 행동을 연구하는 것.
• 여성들의 연합 조작이 개별 조작과 비교해 파레토 우월한 결과를 초래할 수 있는지 여부를 규명하는 것.
• 비완전 및 완전한 선호도 목록 설정에서 강한 내쉬 균형을 효율적으로 계산하는 알고리즘을 개발하는 것.
• 완전한 선호도 목록 설정에서 안정적인 배부 문제와 안정적인 방학 문제 간의 연결 고리를 설정하여 결과를 증명하는 것.

제안 방법

• 비완전한 선호도 목록에서의 절단 조작을 분석하여 강한 내쉬 균형의 존재를 증명한다.
• 완전한 선호도 목록 설정에서 거짓말쟁이들이 자신의 목록을 순열화할 수 있도록 하여 안정적인 방학 문제의 도구를 활용한다.
• 완전한 목록 케이스에서 모든 거짓말쟁이들에게 강하게 파레토 최적인 강한 내쉬 균형을 효율적으로 계산하는 알고리즘을 제안한다.
• 안정적인 매칭과 균형 조건의 구조적 분석을 통해 결과의 유일성과 최적성을 증명한다.
• 기존의 안정적인 방학 문제 결과를 활용하여 안정적인 배부 문제 맥락에서 새로운 이론적 결과를 도출한다.
• 비완전한 목록 모델에서 균형 결과가 모든 거짓말쟁이들에게 고유하게 결정되고, 파레토 우월하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 여성들의 연합이 선호도 목록 절단을 통해 갈-셰플리 알고리즘을 조작할 때 강한 내쉬 균형이 존재하는가?
• RQ2 여성들의 연합 조작이 개별 조작과 비교해 강하게 파레토 우월한 매칭을 초래할 수 있는가?
• RQ3 완전한 선호도 목록 설정에서 모든 거짓말쟁이들에게 파레토 최적인 강한 내쉬 균형을 효율적으로 계산할 수 있는 알고리즘이 존재하는가?
• RQ4 안정적인 배부 문제와 안정적인 방학 문제 간의 관계는 연합 조작 맥락에서 어떻게 연결되는가?
• RQ5 연합 조작이 개별 조작보다 악화된 결과를 초래할 수 있으며, 만약 그렇다면 어떤 조건에서 그러한 결과가 발생하는가?

주요 결과

• 비완전한 선호도 목록 설정에서 강한 내쉬 균형이 항상 존재하며, 이를 통해 고유한 매칭 결과를 도출한다.
• 비완전한 목록 모델에서의 균형 매칭은 모든 거짓말쟁이에게 강하게 파레토 우월하며, 각 여성은 자신의 최선의 단일 에이전트 조작에서와 동일한 파artner와 매칭된다.
• 완전한 선호도 목록 설정에서 연합 조작은 개별 조작보다 악화된 결과를 초래할 수 있으므로, 강하게 파레토 우월한 결과가 존재하지 않을 수 있다.
• 완전한 목록 케이스에서 모든 거짓말쟁이들에게 강하게 파레토 최적인 강한 내쉬 균형을 효율적으로 계산하는 알고리즘이 제시된다.
• 논문은 안정적인 배부 문제와 안정적인 방학 문제 간의 비틀린 연결 고리를 설정하여 완전한 목록 설정에서의 결과를 증명한다.
• 결과는 갈-셰플리 알고리즘에서의 연합 조작이 전략적으로 복잡하며, 결과가 허용된 조작 유형에 따라 크게 달라진다는 점을 보여준다.