[논문 리뷰] Approximately Stable Matchings with General Constraints

Yasushi Kawase, Atsushi Iwasaki|arXiv (Cornell University)|2019. 07. 09.

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

한 줄 요약

이 논문은 카디널리티, 덧셈형 또는 하위모듈러형 유틸리티 함수를 갖는 일반적인 제약 조건—예를 들어 매트로이드 교차 및 다차원 캐리어 백크래프트—을 가진 이원적, 한 명에서 다수로의 매칭 시장에서 약한 안정성 매칭을 위한 프레임워크를 제안한다. 안정성 검증이 패킹 문제를 해결하는 것과 동치임을 입증하고, α-competitive 온라인 패킹 알고리즘이 제공될 경우 α-안정 매칭을 달성하는 일반화된 연기된 수락 알고리즘을 제공하며, NP-완전 및 Σ₂^P-완전 문제로의 감소를 통해 날카로운 근사 한계를 증명한다.

ABSTRACT

This paper focuses on two-sided matching where one side (a hospital or firm) is matched to the other side (a doctor or worker) so as to maximize a cardinal objective under general feasibility constraints. In a standard model, even though multiple doctors can be matched to a single hospital, a hospital has a responsive preference and a maximum quota. However, in practical applications, a hospital has some complicated cardinal preference and constraints. With such preferences (e.g., submodular) and constraints (e.g., knapsack or matroid intersection), stable matchings may fail to exist. This paper first determines the complexity of checking and computing stable matchings based on preference class and constraint class. Second, we establish a framework to analyze this problem on packing problems and the framework enables us to access the wealth of online packing algorithms so that we construct approximately stable algorithms as a variant of generalized deferred acceptance algorithm. We further provide some inapproximability results.

연구 동기 및 목표

• 일반적인 유틸리티 함수를 갖는 제약 조건이 있는 이원적 매칭 시장에서 안정 매칭의 존재하지 않는 문제를 다루기 위해.
• 병원이 승수 유틸리티 향상이 있을 경우에만 매칭을 변경하는 약한 안정성의 형식화를 위해.
• 다양한 유틸리티 및 제약 유형 하에서 안정성 검증 및 안정 매칭 존재 여부의 계산 복잡도를 규명하기 위해.
• α-competitive 온라인 패킹 알고리즘을 사용할 경우 α-안정 매칭을 도출하는 일반화된 연기된 수락 알고리즘을 개발하기 위해.
• k-매트로이드 교차 및 ρ-차원 캐리어 백크래프트 제약 조건 하에서 α-안정 매칭의 근사 비율에 대한 날카로운 하한을 설정하기 위해.

제안 방법

• 독립 시스템 제약 조건의 구조를 활용하여 안정성 검증 문제를 동치의 오프라인 패킹 문제로 감소시킨다.
• NP-완전인 DisjointMatching 및 Σ₂^P-완전인 ∃∀3DM/∃∀SubsetSum 문제로부터의 감소를 통해 경제적 하한 결과를 입증한다.
• 병원이 온라인 패킹 알고리즘을 사용하여 매칭을 업데이트하는 일반화된 연기된 수락(GDA) 프레임워크를 도입한다.
• 온라인 패킹 알고리즘의 α-근사 보장 조건을 활용하여 결과 매칭에서 α-안정성을 확보한다.
• 정리 8을 적용하여 타당한 집합과 유틸리티 향상 분석을 통해 일반적인 근사 비율 하한을 유도한다.
• k-매트로이드 교차 및 ρ-차원 캐리어 백크래프트 제약 조건 하에서 덧셈형 유틸리티를 갖는 경우에 대해 명시적 구성으로 날카로운 하한을 증명한다.

실험 결과

연구 질문

• RQ1 일반적인 제약 조건과 카디널리티 유틸리티를 갖는 이원적 매칭 시장에서 안정 매칭이 존재하는 조건은 무엇인가?
• RQ2 다양한 유틸리티 및 제약 유형 하에서 주어진 매칭이 안정적인지 확인하는 계산 복잡도는 무엇인가?
• RQ3 정확한 안정성이 달성되지 않을 경우 약한 안정 매칭을 보장하는 알고리즘을 설계할 수 있는가?
• RQ4 k-매트로이드 교차 및 ρ-차원 캐리어 백크래프트 제약 조건 하에서 α-안정 매칭의 근사 비율은 어떻게 도출되는가?
• RQ5 유틸리티 함수 및 제약 유형에 따라 복잡도 클래스(P, NP-완전, Σ₂^P-완전)는 어떻게 변화하는가?

주요 결과

• 유틸리티가 카디널리티 또는 덧셈형이고 제약 조건이 용량 또는 매트로이드일 경우 안정성 검증은 다항식 시간 내에 해결 가능하지만, 그 외의 경우 coNP-완전이다.
• 안정 매칭의 존재 여부는 카디널리티 및 덧셈형 유틸리티와 용량 또는 매트로이드 제약 조건을 갖는 경우에만 다항식 시간 내에 해결 가능하며, 그 외의 경우 NP-완전 또는 Σ₂^P-완전이다.
• 덧셈형 유틸리티를 갖는 k-매트로이드 교차 제약 조건 하에서, 어떤 α < k 이하인 α-안정 알고리즘도 존재하지 않으며, 이는 하한이 정확히 k임을 의미한다.
• 덧셈형 유틸리티와 용량의 (1−ε) 이내의 무게 제약 조건을 갖는 ρ-차원 캐리어 백크래프트 제약 조건 하에서, α < ρ/(2ε) 이면 α-안정 알고리즘이 존재하지 않으며, 이는 하한이 정확히 ρ/(2ε)임을 의미한다.
• α-competitive 온라인 패킹 알고리즘이 존재할 경우, 일반화된 연기된 수락 프레임워크를 통해 α-안정 매칭을 구성할 수 있다.
• 논문은 덧셈형 유틸리티를 갖는 k-매트로이드 교차 또는 캐리어 백크래프트 제약 조건 하에서 안정 매칭 존재 여부 검증 문제가 Σ₂^P-완전함을 증명한다 (k ≥ 3, ρ ≥ 2).