[논문 리뷰] Stable Matching: Choosing Which Proposals to Make

Ishan Agarwal, Richard Cole|arXiv (Cornell University)|2022. 04. 08.

Game Theory and Voting Systems인용 수 1

한 줄 요약

이 논문은 상관된 카디널 유용성 하에서 안정 매칭을 연구하여, 대규모 시장에서 대부분의 에이전트가 모든 안정 매칭에서 거의 동일한 유용성을 얻는다는 것을 보여준다. 이는 짧은 O(log n) 길이의 선호 목록을 식별함으로써, 초기 소통 단계를 통해 효율적인 제안 선택이 가능하게 하고, 각 에이전트가 소수의 제안만으로도 ϵ-Bayes-Nash 균형을 달성할 수 있음을 입증한다.

ABSTRACT

To guarantee all agents are matched in general, the classic Deferred Acceptance algorithm needs complete preference lists. In practice, preference lists are short, yet stable matching still works well. This raises two questions: - Why does it work well? - Which proposals should agents include in their preference lists? We study these questions in a model, introduced by Lee [Lee, 2016], with preferences based on correlated cardinal utilities: these utilities are based on common public ratings of each agent together with individual private adjustments. Lee showed that for suitable utility functions, in large markets, with high probability, for most agents, all stable matchings yield similar valued utilities. By means of a new analysis, we strengthen Lee’s result, showing that in large markets, with high probability, for all but the agents with the lowest public ratings, all stable matchings yield similar valued utilities. We can then deduce that for all but the agents with the lowest public ratings, each agent has an easily identified length O(log n) preference list that includes all of its stable matches, addressing the second question above. We note that this identification uses an initial communication phase. We extend these results to settings where the two sides have unequal numbers of agents, to many-to-one settings, e.g. employers and workers, and we also show the existence of an ε-Bayes-Nash equilibrium in which every agent makes relatively few proposals. These results all rely on a new technique for sidestepping the conditioning between the tentative matching events that occur over the course of a run of the Deferred Acceptance algorithm. We complement these theoretical results with an experimental study.

연구 동기 및 목표

• 실제로 짧은 선호 목록을 사용할 때 안정 매칭이 잘 작동하는 이유를 이해하기 위해, 이론적 가정이 완전한 목록을 요구하는 데 비해 실무에서는 왜 잘 작동하는지 분석한다.
• 모든 안정 매칭을 포괄할 수 있도록 에이전트가 선호 목록에 포함시켜야 할 특정 제안들을 특정화한다.
• 이론적 결과인 유용성 집중과 안정 매칭 효율성의 결과를 크기가 다를 수 있는 시장과 다대일 설정으로 확장한다.
• 에이전트가 소수의 제안만으로도 거의 최적의 결과를 유지하면서도 근사 최적의 결과를 달성할 수 있는 ϵ-Bayes-Nash 균형이 존재함을 입증한다.
• 기각 연기 알고리즘에서 일시적 매칭 사건에 조건을 내리지 않는 새로운 분석 기법을 개발한다.

제안 방법

• 에이전트의 유용성이 공개 평점과 사적 조정에 기반하는 리의 모델을 사용하여 상관된 카디널 유용성을 모델링한다.
• 기각 연기 알고리즘에서 일시적 매칭 사건 간의 종속성을 피하기 위해 새로운 분석 프레임워크를 적용한다.
• 이중 단계 접근법을 도입한다: 초기 소통 단계를 통해 수용 가능한 간선를 식별하고, 이후에 잘라낸 선호 목록을 사용해 DA 알고리즘을 실행한다.
• 다양한 레미마와 사건에 걸쳐 실패 확률를 제어하기 위해 농도 부등식과 尾確率 경계를 활용한다.
• 공개 평점과 유용성 분산에 기반한 임계값을 사용하여 수용 가능한 간선 집합의 경계를 유도한다.
• n = 1,000인 일대일 및 다대일 매칭 설정에서 광범위한 수치 시뮬레이션을 통해 이론적 결과를 검증한다.

실험 결과

연구 질문

• RQ1 왜 짧은 선호 목록을 사용함에도 불구하고 안정 매칭이 실무에서 잘 작동하는가?
• RQ2 에이전트가 모든 안정 매칭을 포괄하기 위해 선호 목록에 포함시켜야 할 특정 제안은 무엇인가?
• RQ3 상관된 유용성 하에서 대규모 시장에서 안정 매칭 간의 유용성 분포는 어떻게 행동하는가?
• RQ4 에이전트가 O(log n)개의 제안만으로도 근사 최적의 결과를 유지하면서 ϵ-Bayes-Nash 균형을 달성할 수 있는가?
• RQ5 결과는 비대칭 시장과 다대일 매칭(예: 고용주와 노동자)으로 어떻게 확장되는가?

주요 결과

• 대규모 시장에서 공개 평점이 가장 낮은 분수에 속하지 않은 모든 에이전트에 대해, 모든 안정 매칭이 서로 O(ln n / n^{1/3}) 이내의 유용성을 가지며 고확률로 성립한다.
• 공개 평점의 가장 낮은 분수에 속하지 않은 각 에이전트는 초기 소통 단계를 통해 길이가 O(log n)인 선호 목록을 식별할 수 있으며, 이 목록은 모든 안정 매칭을 포함한다.
• 분석의 실패 확률는 O(n^{-(c+1)})로 경계되며, 이는 큰 n에 대해 O(n^{-c})와 동일하여 고확률 보장을 보장한다.
• 모든 에이전트가 O(log n)개의 제안만으로도 ϵ = Θ(ln n / n^{1/3})인 ϵ-Bayes-Nash 균형이 존재하며, 이는 탈선에 대한 최소한의 유인을 제공한다.
• 에이전트당 수용 가능한 간선 수는 최대 Θ(ln² n)이며, 가장 낮은 Θ((ln n / n)^{1/3}) 분수 외부의 에이전트에 대해서는 Θ(ln n)으로 향상된다.
• n = 1,000인 수치 시뮬레이션은 수용 가능한 간선 집합이 여전히 작고, 특히 공개 평점이 높은 에이전트의 안정적 파artner 유일성이 높다는 것을 확인한다.