[논문 리뷰] No Stable Matching Mechanism is Obviously Strategy-Proof

Itai Ashlagi, Yannai A. Gonczarowski|arXiv (Cornell University)|2015. 11. 02.

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.

연구 동기 및 목표

• 남성 최적의 안정적 매칭을 실현하는 어떤 안정적 매칭 메커니즘도 모든 남성에게 명백히 전략적으로 유리한가를 조사하는 것.
• 중앙집중식 매칭 시장에서 이러한 메커니즘에 의존할 경우 참가자들이 짐을 지는 인지적 부담을 평가하는 것.
• 남성 최적의 연기된 수락 알고리즘이 단순성 덕분에 실질적으로 전략적으로 유리하다는 가정을 도전하는 것.
• 지원자들이 선호를 잘못 보고할 가능성이 있는 실생활 매칭 시스템에서의 전략적 복잡성의 영향을 분석하는 것.

제안 방법

• 이중 매칭 시장에서의 전략적 유리성과 명백한 전략적 유리성에 대한 이론적 분석.
• Li(2015)가 도입한 '명백한 전략적 유리성'의 형식적 정의 및 안정적 매칭 메커니즘에의 적용.
• 남성 최적의 안정적 매칭을 실현하는 메커니즘이 모든 남성에게 명백한 전략적 유리성을 만족시킬 수 없다는 모순에 의한 증명.
• 전략적 유인 분석을 위한 기준으로서 남성 제안 기반 연기된 수락 알고리즘의 사용.
• 안정적 매칭의 구조와 선호 보고 행동에 기반한 논리적 추론.

실험 결과

연구 질문

• RQ1 남성 최적의 안정적 매칭을 실현하는 어떤 안정적 매칭 메커니즘도 모든 남성에게 명백히 전략적으로 유리한가?
• RQ2 이러한 메커니즘에서 정직한 보고가 최적임을 신뢰하기 위해 남성들이 얼마나 많은 인지적 노력을 기울여야 하는가?
• RQ3 남성 최적의 연기된 수락 알고리즘이 모든 남성에게 전략적으로 유리함에도 불구하고, 왜 지원자들은 여전히 선호를 잘못 보고하는가?
• RQ4 명백한 전략적 유리성의 부재가 안정적 매칭 메커니즘의 실용적 사용성에 얼마나 깊이 영향을 미치는가?

주요 결과

• 남성 최적의 안정적 매칭을 실현하는 어떤 안정적 매칭 메커니즘도 모든 남성에게 명백히 전략적으로 유리하지 않다.
• 비록 연기된 수락 알고리즘이 모든 남성에게 전략적으로 유리하지만, 명백한 전략적 유리성은 아니며, 이를 검증하기 위해 복잡한 추론이 필요하다.
• 전략적 오보가 이득을 주지 않는다는 데 확신을 가질 수 있도록 참가자들은 상당한 조건부 추론을 수행해야 한다.
• 명백한 전략적 유리성의 부재는 실생활 사용자가 전략적 기회가 존재한다고 여길 수 있음을 암시하며, 실제로는 그러한 기회가 없을 수도 있다.