[논문 리뷰] A Natural Generalization of Stable Matching Solved via New Insights into Ideal Cuts

Tung Mai, Vijay V. Vazirani|arXiv (Cornell University)|2018. 02. 19.

Game Theory and Voting Systems참고 문헌 9인용 수 4

한 줄 요약

이 논문은 방향 비순환 그래프(DAG)에서 최대 무게 이상자르기 문제로의 환원을 통해 최대 무게 안정 매칭 문제에 대한 첫 번째 조합적 다항시간 알고리즘을 제시한다. 주요 기여는 이상자르기 문제에 대한 새로운 조합적 알고리즘과, 최대 무게 안정 매칭의 부분격자에서 효율적으로 탐색할 수 있도록 일반화된 회전 개념인 메타-회전(meta-rotations)의 도입이다.

ABSTRACT

We study a natural generalization of stable matching to the maximum weight stable matching problem and we obtain a combinatorial polynomial time algorithm for it by reducing it to the problem of finding a maximum weight ideal cut in a DAG. We give the first polynomial time algorithm for the latter problem; this algorithm is also combinatorial. The combinatorial nature of our algorithms not only means that they are efficient but also that they enable us to obtain additional structural and algorithmic results: - We show that the set, $\cal M'$, of maximum weight stable matchings forms a sublattice $\cal L'$ of the lattice $\cal L$ of all stable matchings. - We give an efficient algorithm for finding boy-optimal and girl-optimal matchings in $\cal M'$. - We generalize the notion of rotation, a central structural notion in the context of the stable matching problem, to meta-rotation. Just as rotations help traverse the lattice of all stable matchings, macro-rotations help traverse the sublattice over $\cal M'$.

연구 동기 및 목표

• 최대 무게 안정 매칭 문제에 대한 다항시간 조합적 알고리즘을 개발함으로써 고전적 안정 매칭 문제를 일반화한다.
• 이 작업에서 새로이 도입된 문제인 DAG 내 최대 무게 이상자르기 문제를 조합적이고 효율적인 알고리즘으로 해결한다.
• 모든 안정 매칭의 격자 내에서 최대 무게 안정 매칭의 구조를 규명하여, 이들이 부분격자(sublattice)를 이룬다는 것을 보여준다.
• 안정 매칭 이론의 핵심 개념인 회전(rotation)의 개념을 최대 무게 매칭의 부분격자를 탐색할 수 있도록 일반화한 메타-회전(meta-rotations)으로 확장한다.
• 최대 무게 안정 매칭의 부분격자 내에서 소년 최적 및 소녀 최적 매칭을 효율적으로 계산할 수 있도록 한다.

제안 방법

• 회전 순서집합과 닫힌 집합의 성질을 이용하여 최대 무게 안정 매칭 문제를 방향 비순환 그래프(DAG) 내 최대 무게 이상자르기 문제로 환원한다.
• 이상자르기 문제를 선형계획법으로 공식화하고, 항상 정수 최적해를 가짐을 증명함으로써 문제의 P에 속함을 보여준다.
• 이상자르기 다면체(polyhedron)의 정점이 최대 무게 이상자르기임을 규명하고, 간선이 포함관계가 중첩된 집합임을 규명한다.
• 이상자르기 문제의 이중 흐름 공식화를 제안하고 잔여 그래프를 사용한 수정된 최대 유량 알고리즘을 통해 조합적으로 해결한다.
• 유량 문제의 잔여 그래프로부터 최대 무게 이상자르기 문제의 해와 정확히 일치하는 이상자르기를 갖는 축소된 DAG D를 구성한다.
• 잔여 그래프 내 강하게 연결된 성분 기반으로 회전 집합을 분할함으로써 메타-회전 순서집합을 정의하고, 최대 무게 매칭의 부분격자 탐색을 가능하게 한다.

실험 결과

연구 질문

• RQ1 최대 무게 안정 매칭 문제는 선형계획법에 의존하지 않고 조합적으로 다항시간 내에 해결될 수 있는가?
• RQ2 모든 안정 매칭의 격자 내에서 최대 무게 안정 매칭의 집합을 특징짓는 구조적 성질은 무엇인가?
• RQ3 고전적인 회전 개념은 어떻게 최대 무게 매칭의 부분격자를 탐색할 수 있도록 일반화될 수 있는가?
• RQ4 DAG 내 최대 무게 이상자르기 문제는 조합적이고 효율적으로 해결될 수 있는가?
• RQ5 최대 무게 매칭의 구조를 활용하여 이중목표 안정 매칭 문제는 어떻게 해결할 수 있는가?

주요 결과

• 최대 무게 안정 매칭의 집합은 모든 안정 매칭의 격자 L의 부분격자 L′를 이룬다. 여기서 만남(meet)과 합(join) 연산이 유지된다.
• 이 논문의 주요 기여 중 하나는 DAG 내 최대 무게 이상자르기 문제에 대한 조합적 다항시간 알고리즘을 제시한 것이다.
• 최대 무게 안정 매칭은 구성된 DAG 내 최대 무게 이상자르기와 일대일 대응되며, 이는 효율적인 계산을 가능하게 한다.
• 메타-회전—회전의 일반화—은 부분격자 L′를 탐색할 수 있는 메커니즘을 제공하며, 이는 전체 격자 L을 탐색하는 데 사용되는 회전과 유사하다.
• 메타-회전 순서집합 내 특정 닫힌 부분집합을 선택하여 부분격자 L′ 내에서 소년 최적 및 소녀 최적 매칭을 효율적으로 계산할 수 있다.
• 이중목표 안정 매칭 문제는 첫 번째 무게 함수 기반으로 메타-회전 순서집합을 구성한 후, 두 번째 무게 함수 기반으로 최대 무게 이상자르기 문제를 해결함으로써 해결할 수 있으며, 이 경우 해와 자르기 사이에 일대일 대응이 존재한다.