[논문 리뷰] From Matching with Diversity Constraints to Matching with Regional Quotas

Haris Aziz, Serge Gaspers외 2명|arXiv (Cornell University)|2020. 02. 17.

Global trade and economics인용 수 28

한 줄 요약

이 논문은 다양성 제약 조건이 있는 학교 선택 문제를 지역 할당이 있는 병원-의사 매칭 문제로 다항 시간 내에 환원하는 방법을 제시하며, 변환 과정에서 매칭의 타당성과 안정성이 유지됨을 증명한다. 주요 기여는 두 모델 간에 복잡도 결과와 알고리즘적 해결책을 이전할 수 있는 공식적인 연결 고리를 제공하는 것으로, 한쪽에서 NP-완전성이 입증되면 다른 쪽에서도 동일하게 NP-완전성이 성립하며, 한쪽에서의 긍정적 결과는 다른 쪽에서도 해당 결과를 유도함을 보여준다.

ABSTRACT

In the past few years, several new matching models have been proposed and studied that take into account complex distributional constraints. Relevant lines of work include (1) school choice with diversity constraints where students have (possibly overlapping) types and (2) hospital-doctor matching where various regional quotas are imposed. In this paper, we present a polynomial-time reduction to transform an instance of (1) to an instance of (2) and we show how the feasibility and stability of corresponding matchings are preserved under the reduction. Our reduction provides a formal connection between two important strands of work on matching with distributional constraints. We then apply the reduction in two ways. Firstly, we show that it is NP-complete to check whether a feasible and stable outcome for (1) exists. Due to our reduction, these NP-completeness results carry over to setting (2). In view of this, we help unify some of the results that have been presented in the literature. Secondly, if we have positive results for (2), then we have corresponding results for (1). One key conclusion of our results is that further developments on axiomatic and algorithmic aspects of hospital-doctor matching with regional quotas will result in corresponding results for school choice with diversity constraints.

연구 동기 및 목표

• 다른 두 매칭 모델 간에 수학적 공식 연결 고리를 구축하는 것: 다양성 제약 조건이 있는 학교 선택 모델과 지역 할당이 있는 병원-의사 매칭 모델.
• 한 모델에서 다른 모델으로의 다항 시간 환원 과정에서 매칭의 타당성과 안정성이 유지됨을 보여주는 것.
• 다양성 제약 조건이 있는 학교 선택 모델에서 타당성과 안정성 결과의 존재 여부를 확인하는 것이 NP-완전임을 입증하면, 이 결과가 지역 할당이 있는 병원-의사 매칭 모델로도 이행됨을 보여주는 것.
• 지역 할당 모델에서의 긍정적 알고리즘 결과(예: 안정적 결과를 위한 다항 시간 알고리즘)를 다양성 제약 조건 모델로 이전할 수 있도록 하는 것.
• 연구 문헌을 통합하여 한 모델에서의 발전이 다른 모델에서 직접적으로 해당 발전을 이끌어냄을 드러내는 것.

제안 방법

• 다양성 제약 조건이 있는 학교 선택 인스턴스의 각 학교를 지역 할당이 있는 병원-의사 매칭 인스턴스의 병원 집합으로 매핑하는 환원을 구성하며, 유형별 할당량을 지역적 제한으로 유지한다.
• 학교 선택 모델의 학생 유형을 병원-의사 모델의 지역 배정으로 매핑하여, 지역 할당량이 유형별 제약 조건을 반영하도록 한다.
• 원래의 학교 선택 모델에서 사용하는 마스터 리스트와 일치하는 우선순위 순서를 환원된 인스턴스에 적용함으로써 안정성을 유지한다.
• 각 학교의 수용 능력과 유형별 할당량을 동일 지역 내 병원의 지역 제약 조건으로 모델링하여 타당성을 유지한다.
• 환원을 통해 복잡도 결과를 이전: 한 모델에서 타당성과 안정성 확인이 NP-완전이면, 다른 모델에서도 동일하게 NP-완전임을 보여준다.
• 환원을 적용하여, 예를 들어 시리얼 딕타토르십을 통한 안정적 결과 존재성 등의 긍정적 결과가 지역 할당 모델에서 다양성 제약 조건 모델로 이전됨을 보여준다.

실험 결과

연구 질문

• RQ1 다양성 제약 조건이 있는 학교 선택 모델과 지역 할당이 있는 병원-의사 매칭 모델 간에 공식적인 수학적 연결 고리가 존재하는가?
• RQ2 한 모델에서 타당성과 안정성 결과의 존재 여부를 다른 모델로 환원할 수 있으며, 이 과정에서 타당성과 안정성이 유지되는가?
• RQ3 다양성 제약 조건이 있는 학교 선택 모델에서 타당성과 안정성 결과의 존재 여부를 확인하는 것이 NP-완전이면, 이는 지역 할당이 있는 병원-의사 매칭 모델로도 동일하게 적용되는가?
• RQ4 지역 할당 모델에서의 긍정적 알고리즘 결과(예: 안정적 결과를 위한 다항 시간 알고리즘)를 다양성 제약 조건 모델로 이전할 수 있는가?
• RQ5 이 환원은 슬롯 기반 우선순위 또는 부드러운 할당량과 같은 더 복잡한 변형으로 일반화될 수 있는가?

주요 결과

• 다양성 제약 조건이 있는 학교 선택 문제에서 지역 할당이 있는 병원-의사 매칭 문제로의 환원 과정에서 매칭의 타당성과 안정성이 유지된다.
• 다양성 제약 조건이 있는 학교 선택 문제에서 타당하고 안정적인 결과의 존재 여부를 확인하는 것은 NP-완전이며, 이 결과는 지역 할당이 있는 병원-의사 매칭 문제로도 그대로 이행된다.
• 지역 할당 모델에서의 긍정적 결과(예: 시리얼 딕타토르십을 통한 안정적 결과 존재성)는 다양성 제약 조건 모델에서도 해당 결과를 유도한다.
• 환원을 통해 알고리즘적 해결책을 이전할 수 있다: 예를 들어, 환원된 인스턴스에 대해 시리얼 딕타토르십을 적용하면 원래의 학교 선택 모델에서 마스터 리스트 기반의 타당하고 낭비가 없는 공정한 결과를 도출할 수 있다.
• 공식적인 연결 고리는 두 개의 이전에는 별개로 간주되던 연구 분야를 통합하며, 축약된 모델 간의 축약 원리와 알고리즘 통찰을 교환할 수 있게 한다.
• 환원은 슬롯 기반 우선순위 및 부드러운 다양성 제약 조건과 같은 고급 변형으로 일반화될 수 있으며, 이 과정에서 두 모델 간의 매핑 관계가 유지된다.