[논문 리뷰] Popular Matching with Lower Quotas

Meghana Nasre, Prajakta Nimbhorkar|arXiv (Cornell University)|2017. 04. 25.

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

한 줄 요약

이 논문은 하급제한을 고려한 병원-수련의 문제(HRLQ)를 위한 새로운 알고리즘 프레임워크를 제안하며, 안정적인 매칭이 존재하지 않을 경우에도 모든 가능 매칭 중에서 인기 있는 매칭이 항상 존재함을 증명한다. 이 방법은 하급제한 조건을 반영하도록 특화된 변환을 통해 HRLQ 인스턴스를 표준 병원-수련의 문제로 변환하여, O(|R|(|E| + |H|)) 시간에 최대 카디널리티의 인기 있는 매칭을 효율적으로 계산하고, O(|R|²(|E| + |H|)) 시간에 최대 카디널리티의 가능 매칭들 중에서 인기 있는 매칭을 계산할 수 있다.

ABSTRACT

We consider the well-studied Hospital Residents (HR) problem in the presence of lower quotas (LQ). The input instance consists of a bipartite graph $G = (\mathcal{R} \cup \mathcal{H}, E)$ where $\mathcal{R}$ and $\mathcal{H}$ denote sets of residents and hospitals respectively. Every vertex has a preference list that imposes a strict ordering on its neighbors. In addition, each hospital $h$ has an associated upper-quota $q^+(h)$ and lower-quota $q^-(h)$. A matching $M$ in $G$ is an assignment of residents to hospitals, and $M$ is said to be feasible if every resident is assigned to at most one hospital and a hospital $h$ is assigned at least $q^-(h)$ and at most $q^+(h)$ residents. Stability is a de-facto notion of optimality in a model where both sets of vertices have preferences. A matching is stable if no unassigned pair has an incentive to deviate from it. It is well-known that an instance of the HRLQ problem need not admit a feasible stable matching. In this paper, we consider the notion of popularity for the HRLQ problem. A matching $M$ is popular if no other matching $M'$ gets more votes than $M$ when vertices vote between $M$ and $M'$. When there are no lower quotas, there always exists a stable matching and it is known that every stable matching is popular. We show that in an HRLQ instance, although a feasible stable matching need not exist, there is always a matching that is popular in the set of feasible matchings. We give an efficient algorithm to compute a maximum cardinality matching that is popular amongst all the feasible matchings in an HRLQ instance.

연구 동기 및 목표

• 하급제한이 가능한 매칭을 제약으로 삼는 실용적 과제인 수련의를 병원에 배정할 때, 특히 안정적인 매칭이 존재하지 않을 경우의 문제를 해결한다.
• 안정성 요구 조건을 인기라는 더 강력하고 견고한 공정성 및 집단 만족 개념으로 완화한다.
• 출력되는 매칭이 하급제한 및 상급제한을 모두 준수하는 타당성과 동시에 모든 가능 매칭 중에서 인기 있는 성질을 갖도록 보장한다.
• HRLQ에서 최대 카디널리티의 인기 있는 매칭과 최대 카디널리티의 가능 매칭들 중에서 인기 있는 매칭을 효율적으로 계산하는 알고리즘을 개발한다.
• 선형계획법에 의존하지 않는 조합적이고 비-LP 기반의 인기성 증명을 제시하며, 기존의 안정 매칭 및 HR 문헌의 결과를 일반화하고 확장한다.

제안 방법

• 하급제한 조건을 반영하도록 병원의 선호 목록과 용량을 수정하여 변환된 HR 인스턴스 G′을 구성한다.
• 수련의와 병원을 수준 기반으로 분해하여 매칭 수준을 모델링하고, 교환 경로 및 사이클에서의 핵심 경로 구조를 식별한다.
• 수련의와 병원이 선호 기반 투표를 통해 매칭을 비교하는 투표 규칙을 정의한다: (1,1)은 상호 선호, (−1,−1)은 상호 불만족.
• 변환된 인스턴스 G′에 대해 게일-셰플리 알고리즘을 적용하여 안정 매칭을 계산하고, 이를 원래 HRLQ 인스턴스로 매핑하여 타당한 매칭을 얻는다.
• 최대 카디널리티의 인기 있는 매칭을 구하기 위해, 미배정 수련의를 우선시하도록 선호 우선순위를 수정한 두 번째 HR 인스턴스 G′′로의 감소를 적용한다.
• 경로 분해와 투표 균형 논증을 통해, 매핑된 매칭이 타당성과 인기성을 유지함을 보여주는 구조적 보조정리를 통해 정당성을 입증한다.

실험 결과

연구 질문

• RQ1 안정적인 매칭이 존재하지 않을 경우에도 HRLQ 인스턴스에서 모든 가능 매칭 중에서 인기 있는 타당한 매칭이 항상 존재하는가?
• RQ2 가능한 매칭의 집합에서 최대 카디널리티의 인기 있는 매칭을 HRLQ에서 효율적으로 계산할 수 있는가?
• RQ3 최대 카디널리티의 가능 매칭들 중에서 인기 있는 매칭을 HRLQ에서 계산할 수 있으며, 그 계산 복잡도는 얼마인가?
• RQ4 선형계획법에 의존하지 않고 HRLQ에 대해 인기 개념을 어떻게 적응시킬 수 있으며, 조합적 구조를 유지할 수 있는가?
• RQ5 M ⊕ N에서의 교환 경로 및 사이클의 구조적 성질은 어떤가? 이 성질들이 매칭 M이 인기 있는지를 보장하는가?

주요 결과

• 어떤 HRLQ 인스턴스에서든 안정적인 매칭이 존재하지 않더라도, 모든 가능 매칭 중에서 인기 있는 타당한 매칭이 항상 존재한다.
• O(|R|(|E| + |H|)) 시간 알고리즘이 모든 가능 매칭 중에서 최대 카디널리티의 인기 있는 매칭을 계산한다.
• O(|R|²(|E| + |H|)) 시간 알고리즘이 최대 카디널리티의 가능 매칭들 중에서 인기 있는 매칭을 계산한다.
• 알고리즘은 변환된 HR 인스턴스 G′에서 안정 매칭을 구성하고, 이를 원래 HRLQ 인스턴스로 매핑하여 타당하고 인기 있는 매칭을 생성한다.
• 인기성의 증명은 교환 경로 및 사이클에 대한 투표 균형 논증에 기반하며, (1,1) 간선의 수가 (−1,−1) 간선 수에 수준에 따라 의존하는 오프셋을 더한 것보다 많지 않음을 보여준다.
• 구조적 보조정리(예: 보조정리 13)는 병원과 수련의가 수준에 따라 정확히 분할되며, 수준 간에 유효하지 않은 간선이 존재하지 않음을 보장하여, 타당성과 인기성을 유지한다.