[논문 리뷰] Exploring Strategy-Proofness, Uniqueness, and Pareto Optimality for the Stable Matching Problem with Couples

Andrew Perrault, Joanna Drummond외 1명|arXiv (Cornell University)|2015. 05. 13.

Game Theory and Voting Systems참고 문헌 11인용 수 3

한 줄 요약

이 논문은 안정 매칭 문제의 커플 버전(SMP-C)에서 모든 안정 매칭을 정확하게 추적하기 위해 SAT 인코딩을 사용하며, 전략 수립 가능성, 유일성, 파레토 최적성에 대한 실증 분석을 가능하게 한다. 연구 결과, 더 큰 시장에서 유일한 안정 매칭이 더 흔해지지는 않지만, 거주민 최적 안정 매칭은 시장 규모가 커질수록 확률 1에 수렴하며, 또한 고유한 안정 매칭이 존재하는 경우에도 거주자가 여전히 전략적 보고를 통해 이득을 볼 수 있음을 밝혀냈다.

ABSTRACT

The Stable Matching Problem with Couples (SMP-C) is a ubiquitous real-world extension of the stable matching problem (SMP) involving complementarities. Although SMP can be solved in polynomial time, SMP-C is NP-Complete. Hence, it is not clear which, if any, of the theoretical results surrounding the canonical SMP problem apply in this setting. In this paper, we use a recently-developed SAT encoding to solve SMP-C exactly. This allows us to enumerate all stable matchings for any given instance of SMP-C. With this tool, we empirically evaluate some of the properties that have been hypothesized to hold for SMP-C. We take particular interest in investigating if, as the size of the market grows, the percentage of instances with unique stable matchings also grows. While we did not find this trend among the random problem instances we sampled, we did find that the percentage of instances with an resident optimal matching seems to more closely follow the trends predicted by previous conjectures. We also define and investigate resident Pareto optimal stable matchings, finding that, even though this is important desideratum for the deferred acceptance style algorithms previously designed to solve SMP-C, they do not always find one. We also investigate strategy-proofness for SMP-C, showing that even if only one stable matching exists, residents still have incentive to misreport their preferences. However, if a problem has a resident optimal stable matching, we show that residents cannot manipulate via truncation.

연구 동기 및 목표

• 고전적 안정 매칭 문제의 이론적 성질(예: 유일성, 거주자 최적성)이 NP-완전인 커플이 있는 안정 매칭 문제(SMP-C)로까지 확장되는지 조사하기 위해.
• SMP-C 사례에서 시장 규모가 증가함에 따라 고유한 안정 매칭과 거주자 최적 안정 매칭의 경험적 빈도를 평가하기 위해.
• 기존의 연기 수락 스타일 알고리즘(RP99, KPR 등)이 안정 매칭 및 거주자 최적 매칭을 찾는 데서의 성능과 한계를 평가하기 위해.
• 특히 고유 또는 거주자 최적 안정 매칭이 존재할 경우 전략 수립 가능성의 성립 여부를 탐구하기 위해.
• 모든 안정 매칭을 추적하고 거주자 파레토 최적 해를 보장하는 데에 유용한 개선된 SAT 인코딩을 개발하고 적용하기 위해.

제안 방법

• 최근 개발된 SMP-C를 위한 SAT 인코딩(SAT-E)에 추가 제약 조건을 도입하여, 주어진 인스턴스에 대해 모든 안정 매칭을 추적할 수 있도록 확장하였다.
• 확장된 SAT 인코딩에는 주어진 안정 매칭이 거주자 파레토 최적인지 확인하고, 그렇지 않다면 더 나은 매칭을 찾는 데에 사용되는 제약 조건이 포함되어 있다.
• 이 방법을 통해 모든 안정 매칭과 거주자 파레토 최적 매칭을 정확하게 계산할 수 있으며, 불완전한 DA 스타일 알고리즘의 한계를 극복할 수 있다.
• 실제 세계 조건을 시뮬레이션하고 이론적 추측을 테스트하기 위해 다양한 시장 규모와 커플 비율을 가진 무작위 문제 인스턴스를 생성하였다.
• 거주자가 선호도 목록을 잘라내는 방식으로 이득을 볼 수 있는지 확인함으로써, 전략 수립 가능성의 체계적 평가가 가능해졌다.
• DA 스타일 알고리즘(RP99 및 KPR)의 성능을 SAT 기반 추적 결과와 비교하여, 그 완전성과 최적성 수준을 평가하였다.

실험 결과

연구 질문

• RQ1 SMP-C에서 고유한 안정 매칭의 확률이 시장 규모가 커질수록 1에 수렴하는가? 이는 고전적 SMP 결과에 기반한 추측과 일치하는가?
• RQ2 SMP-C에서 거주자 최적 안정 매칭의 확률이 시장 규모가 커질수록 1에 수렴하는가? 이는 문제의 NP-완전성에도 불구하고 성립하는가?
• RQ3 고유한 안정 매칭이 존재하는 경우에도 거주자가 선호도 목록을 잘라내는 방식으로 매칭 결과를 조작할 수 있는가?
• RQ4 기존의 연기 수락 스타일 알고리즘(RP99, KPR 등)이 SMP-C에서 실제로 안정 매칭이나 거주자 최적 매칭을 신뢰성 있게 찾을 수 있는가?
• RQ5 DA 스타일 알고리즘이 실패하거나 최적 해를 놓칠 수 있는 경우에도 SAT 기반 추적 방법이 모든 안정 매칭과 거주자 파레토 최적 매칭을 식별할 수 있는가?

주요 결과

• 고유한 안정 매칭을 가진 SMP-C 인스턴스 비율은 시장 규모가 증가함에 따라 증가하지 않으며, 이는 고전적 SMP 결과에 기반한 추측과 정면으로 배치된다.
• 거주자 최적 안정 매칭을 가진 인스턴스 비율은 시장 규모가 커질수록 증가하며, 이는 이 비율이 시장 규모가 커질수록 1에 수렴한다는 새로운 추측을 지지한다.
• 고유한 안정 매칭이 존재하는 경우에도 거주자는 여전히 선호도를 위조 보고함으로써 이득을 볼 수 있으며, 이는 SMP-C가 전략 수립 가능함을 보여준다.
• RP99 알고리즘은 KPR보다 거주자 최적 매칭을 찾는 데 성공률이 높지만, 전체 실패율(20% 커플일 때 36.25%)은 KPR(20% 커플일 때 5.75%)보다 현저히 높다.
• 10% 이하의 커플 비율을 가진 시장에서는 KPR이 대부분의 문제 인스턴스를 해결하는 데에 성공률가 0.25% 이하로 매우 낮은 실패율을 기록하며 RP99를 능가한다.
• SAT 기반 방법은 DA 스타일 알고리즘이 실패하거나 최적 해를 놓칠 수 있는 경우에도 모든 안정 매칭을 정확히 추적하고 모든 거주자 파레토 최적 매칭을 식별하는 데 성공했다.