[논문 리뷰] Stability-Preserving, Incentive-Compatible, Time-Efficient Mechanisms for Increasing School Capacity

Tung Mai, Vijay V. Vazirani|arXiv (Cornell University)|2019. 04. 09.

Game Theory and Voting Systems인용 수 3

한 줄 요약

이 논문은 도시가 두 번째 라운드에서 학교 정원을 확장할 수 있는 두 라운드 학교 선택 시스템을 위한 다항식 시간, 안정성 유지, 인센티브 호환성 메커니즘을 제안한다. 비무시적 메커니즘을 도입하여 참가하지 않는 거주자의 영향을 고려하고, 진정성 보장의 나시 균형을 달성함으로써 전략적 참여 회피가 발생하는 동적 전략 환경의 한계를 극복한다.

ABSTRACT

We address the following dynamic version of the school choice question: a city, named City, admits students in two temporally-separated rounds, denoted $\mathcal{R}_1$ and $\mathcal{R}_2$. In round $\mathcal{R}_1$, the capacity of each school is fixed but in round $\mathcal{R}_2$, the City is happy to allocate extra seats to specific schools per the recommendation of the mechanism; in turn, the latter has to meet specified requirements. We study three natural settings of this model, with the requirements getting increasingly more stringent. For Settings I and II, we give pairs of polynomial time mechanisms $(\mathcal{M}_1, \mathcal{M}_2)$ which, besides addressing the specific requirements, find stable matchings, are dominant strategy incentive compatible (DSIC) w.r.t. reporting preference lists of students, and never break, in round $\mathcal{R}_2$, a match created in round $\mathcal{R}_1$. In Setting III, the mechanism needs to deal with residents of the City who try to game the system by not participating in round $\mathcal{R}_1$ and only showing up in round $\mathcal{R}_2$, in addition to gaming by misreporting preference lists. For this setting, we need to introduce the notion of a {\em non-oblivious mechanism:} such a mechanism needs to know the preference lists of {\em all} students who reside in the City, including the ones who don't participate in round $\mathcal{R}_1$. Further, we need to weaken DSIC to mechanisms in which truth-telling is a Nash equilibrium; we call these ICNE mechanisms. After establishing, via two impossibility results, that the strongest result we can hope to obtain for Setting III is a pair of non-oblivious, stability-preserving, ICNE mechanisms, we present such a pair. Both mechanisms of the pair run in polynomial time.

연구 동기 및 목표

• 두 번째 라운드에서 정원이 동적으로 확장되는 두 라운드 학교 선택 시스템에서 안정성과 인센티브를 유지하는 메커니즘을 설계하는 것.
• 거주자가 두 번째 라운드의 정원 증가를 악용하기 위해 참가를 연기하는 전략적 행동을 다루는 것.
• 계산 효율성이 뛰어나면서도 두 라운드 간 매칭의 무결성을 유지하는 메커니즘을 개발하는 것.
• 비참여하는 참가자가 존재하는 동적 환경에서의 인센티브 호환성의 한계를 체계화하고 분석하는 것.
• 모든 거주자 선호도를 고려하는 비무시적 메커니즘을 도입하여 안정성과 나시 균형 진정성 보장을 보장하는 것.

제안 방법

• 첫 번째 라운드에서의 매칭을 유지하는 두 라운드 전용 메커니즘 쌍을 설계하는 것.
• 모든 거주자(첫 번째 라운드에 참가하지 않는 자도 포함)의 선호도를 모두 알고 있는 비무시적 메커니즘의 개념을 도입하는 것.
• 정원 확장을 고려하면서도 둘 다에서 안정 매칭을 계산하는 다항식 시간 알고리즘을 사용하는 것.
• 지배 전략 진정성 보다 약한 조건인 나시 균형 진정성(ICNE) 하에서의 인센티브 호환성 프레임워크를 구축하는 것.
• 불가능성 결과를 활용하여, Setting III에서 비무시적, 안정성 유지, ICNE 메커니즘이 달성 가능한 최강의 결과임을 보여주는 것.
• 이론적 분석을 적용하여 제안된 메커니즘이 안정적이고 효율적이며 특정 제약 조건 하에서 전략적 오용에 저항하는 것을 증명하는 것.

실험 결과

연구 질문

• RQ1 정원이 두 번째 라운드에서 동적으로 증가하는 두 라운드 학교 선택 시스템에 대해 안정적이고 인센티브 호환성 있는 메커니즘을 설계할 수 있는가?
• RQ2 거주자가 두 번째 라운드의 정원 증가를 악용하기 위해 참가를 유예하는 전략적 행동이 존재할 경우, 인센티브 호환성의 한계는 무엇인가?
• RQ3 사전에 선호도를 알지 못하는 상태에서 참가하지 않는 거주자를 어떻게 고려할 수 있는가?
• RQ4 동적 환경에서 안정적이고 효율적이며 계산적으로 실행 가능한 메커니즘을 확보하기 위해 필요한 최소한의 인센티브 호환성 개념은 무엇인가?
• RQ5 비무시적 메커니즘이 전략적 비참여 상황에서도 안정성과 나시 균형 진정성을 달성할 수 있는가?

주요 결과

• 논문은 두 가지 불가능성 결과를 입증하여, Setting III에서 비무시적, 안정성 유지, ICNE 메커니즘이 달성 가능한 최강의 결과임을 규명한다.
• Setting I 및 II에서는 매칭을 깨뜨리지 않는 다항식 시간, 안정성 유지, 지배 전략 인센티브 호환성(DSIC) 메커니즘을 구성한다.
• Setting III에서는 비무시적, 안정성 유지, ICNE 메커니즘 쌍을 제시하며, 계산 효율성이 뛰어나고 두 라운드 간 매칭의 무결성을 유지한다.
• 제안된 메커니즘은 거주자가 전략적으로 참가를 유예하더라도, 진정성 보장이 나시 균형이 되도록 보장한다.
• 메커니즘은 거주자의 선호도 목록 허위 보고와 전략적 비참여를 모두 처리하도록 설계되어 있다.
• 모든 메커니즘은 다항식 시간 내에 실행되어 실세계 적용에 대한 계산 가능성 보장한다.