[논문 리뷰] Manipulation and gender neutrality in stable marriage procedures

Maria Pini, Francesca Rossi외 2명|ArXiv.org|2009. 09. 24.

Game Theory and Voting Systems참고 문헌 19인용 수 10

한 줄 요약

이 논문은 많은 안정적인 배부 절차가 특히 구조화된 선호도 하에서 쉽게 조작 가능하지만, 선호도가 제한이 없을 경우 조작이 NP-난이도인 절차가 존재함을 보여준다. 또한 단일 이월 투표(STV)와 같은 조작이 NP-난이도인 투표 규칙를 사용하여 성별 중립적인 안정 매칭 메커니즘을 제안함으로써 공정성과 전략적 조작에 대한 계산적 저항성을 확보한다.

ABSTRACT

The stable marriage problem is a well-known problem of matching men to women so that no man and woman who are not married to each other both prefer each other. Such a problem has a wide variety of practical applications ranging from matching resident doctors to hospitals to matching students to schools. A well-known algorithm to solve this problem is the Gale-Shapley algorithm, which runs in polynomial time. It has been proven that stable marriage procedures can always be manipulated. Whilst the Gale-Shapley algorithm is computationally easy to manipulate, we prove that there exist stable marriage procedures which are NP-hard to manipulate. We also consider the relationship between voting theory and stable marriage procedures, showing that voting rules which are NP-hard to manipulate can be used to define stable marriage procedures which are themselves NP-hard to manipulate. Finally, we consider the issue that stable marriage procedures like Gale-Shapley favour one gender over the other, and we show how to use voting rules to make any stable marriage procedure gender neutral.

연구 동기 및 목표

• 계산 복잡도가 안정적인 배부 절차에서의 조작을 방어 수단으로 기능할 수 있는지 조사하기.
• Gale-Shapley와 같은 고전적 알고리즘에서 내재된 성별 편향(특정 성별을 유리하게 하는 성향)을 해결하기.
• 성별 중립적이면서도 계산적으로 조작이 어려운 안정적인 배부 절차를 설계하기.
• 투표 이론과 안정 매칭 간의 연관성을 탐색하고, 조작이 어려운 투표 규칙를 활용하여 강력한 매칭 메커니즘을 설계하기.

제안 방법

• 여성의 선호도를 재정렬함으로써 최적의 안정된 파artner를 보장할 수 있는 보편적인 다항시간 조작 계획을 제안하며, 이는 보편적으로 조작 가능한 프로파일에 대해 적용 가능하다.
• 계산은 쉽지만 역행은 NP-난이도인 인위적인 안정적인 배부 절차를 구성함으로써 조작이 NP-완전이 되도록 한다.
• 투표 규칙를 사용하여 가장 선호도가 높은 남성과 여성들이 가장 선호하는 안정 매칭을 선택하는 자연스러운 안정 매칭 절차를 도입한다.
• 단일 이월 투표(STV)와 같이 조작이 NP-난이도로 알려진 투표 규칙를 사용하여, 결과적으로 도출된 안정 매칭 절차가 이 저항성을 물려받도록 한다.
• 성별 중립성을 확보하기 위해 투표 규칙를 활용한 사전 처리 단계를 도입하여 선호도 프로파일에서 성별을 바꾸는 것을 허용한다.
• 투표 규칙가 조작이 NP-난이도일 경우, 결과적으로 도출된 안정 매칭 절차가 성별 중립적이며 동시에 조작이 NP-난이도임을 증명한다.

실험 결과

연구 질문

• RQ1 Gale-Shapley 알고리즘이 쉽게 조작 가능한데도 불구하고, 안정적인 배부 절차를 계산적으로 조작이 어려운 방식으로 설계할 수 있는가?
• RQ2 선호도에 어떤 조건이 존재할 경우 안정적인 배부 절차의 조작이 계산적으로 쉬운가, 어려운가?
• RQ3 조작에 대한 저항성을 포기하지 않고도 안정 매칭에서 성별 중립성을 달성할 수 있는가?
• RQ4 조작이 NP-난이도로 알려진 투표 규칙를 활용하여 공정하고 전략적 조작에 저항하는 안정 매칭 절차를 설계할 수 있는가?

주요 결과

• 여성이 보편적으로 조작 가능한 경우, 어떤 안정적인 배부 절차에 대해서도 보편적인 다항시간 조작 계획이 존재한다.
• 선호도가 제한이 없을 경우, 조작이 NP-난이도인 안정적인 배부 절차가 존재함을 보여주며, 이는 계산 복잡도가 조작 방어 수단이 될 수 있음을 입증한다.
• STV를 사용하여 가장 선호도가 높은 개인들 사이에서 가장 선호되는 안정 매칭을 선택하는 안정 매칭 절차는 성별 중립적이며 동시에 조작이 NP-난이도이다.
• 조작이 NP-난이도로 알려진 투표 규칙(예: STV)을 사용할 경우, 결과적으로 도출된 안정 매칭 절차는 이 저항성을 물려받으며, 공정하고 강력한 메커니즘을 설계할 수 있다.
• 제안된 방법은 성별 중립성을 확보하기 위해 사전 처리 단계를 통해 남성과 여성의 역할을 바꿀 수 있으며, 이 바꿈 결정은 투표 규칙에 의해 안내된다.
• 논문은 다른 조작이 NP-난이도로 알려진 투표 규칙들도 유사하게 사용하여 공정하고 계산적으로 조작에 저항하는 안정 매칭 절차를 생성할 수 있을 것이라 추측한다.