[논문 리뷰] Stable Matchings, Robust Solutions, and Distributive Lattices

Tung Mai, Vijay V. Vazirani|arXiv (Cornell University)|2018. 04. 16.

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

한 줄 요약

이 논문은 기저 안정 매칭 인스턴스 A와 각각에 하나의 오류가 있는 선호 리스트를 가진 |S|개의 변형된 인스턴스들 사이에서 안정적인 매칭을 계산하기 위한 O(|S| p(n)) 알고리즘을 제시한다. 이 방법은 안정 매칭의 분배 띠(분배 띠)의 새로운 구조적 성질과 부분 띠에 대한 일반화된 버크호프 정리의 활용을 통해, |S|가 다항적으로 유계일 경우 다항 시간 내에 강건한 해를 도출할 수 있게 한다.

ABSTRACT

A stable matching instance $A$ is transmitted over a channel which introduces {\em one error} from a super-exponentially large set, $T$; the error consists of arbitrarily permuting the preference list of any one boy or any one girl. An arbitrary set $S \subseteq T$ is specified. We give an $O(|S| p(n))$ time algorithm for finding a matching that is stable for $A$ and for each of the $|S|$ instances that result by introducing one error from $S$, where $p$ is a polynomial function. In particular, if $S$ is polynomial sized, then our algorithm runs in polynomial time. Our algorithm is based on new, non-trivial structural properties of the lattice of stable matchings. A second ingredient of our algorithm is a generalization of Birkhoff's Theorem for finite distributive lattices which states that corresponding to such a lattice, $\mathcal{L}$, there is a partial order, say $\Pi$, such that the lattice of closed sets of $\Pi$, $L(\Pi)$, is isomorphic to $\mathcal{L}$. Our generalization shows that corresponding to each sublattice $\mathcal{L}'$ of $\mathcal{L}$, there is a partial order $\Pi'$ that can be obtained from $\Pi$ (via a specified operation) such that $L(\Pi') \cong \mathcal{L}'$. This generalization is of independent interest.

연구 동기 및 목표

• 기저 안정 매칭 인스턴스와 각각에 하나의 오류가 있는 선호 리스트를 가진 다수의 변형된 변형들에 대해 안정적인 단일 매칭을 효율적으로 계산하는 알고리즘을 개발하는 것.
• 단일 리스트 오류에 대한 강건성을 보장하는 안정 매칭 격자의 구조적 성질을 규명하는 것.
• 유한 분배 띠에 대한 버크호프 정리를 부분 띠로 일반화하여, 부분 띠와 유도된 부분 순서 간의 대응 관계를 설정하는 것.
• 변형된 인스턴스의 수 |S|가 다항적으로 유계일 경우 알고리즘이 다항 시간 내에 실행되도록 보장하는 것.

제안 방법

• 안정 매칭의 분배 띠 구조를 활용하여 오류가 있는 상황에서도 안정성의 모델링과 분석을 수행하는 것.
• 기존 안정 매칭 격자에서 부분 순서 Π를 정의하여, Π의 닫힌 집합의 격자가 원래 격자와 동형임을 보장하는 것.
• 기존 격자 L의 임의의 부분 띠 L′에 대해, L′과 동형인 Π′의 닫힌 집합 격자를 가지는 유도된 부분 순서 Π′가 존재함을 보여주는 버크호프 정리의 일반화.
• 격자 닫힘과 부분 띠 성질을 활용하여, 기저 인스턴스와 각 |S|개의 오류 영향을 받은 인스턴스들 간의 안정성 검사를 다항 시간 내에 수행하는 알고리즘을 구축하는 것.
• 일반화된 격자 동형성을 활용하여, 집합 S에 속한 모든 인스턴스들에 대해 공통된 안정 매칭을 효율적으로 계산하는 것.
• S가 다항 크기일 경우, 전체 실행 시간이 O(|S| p(n))이 되도록 알고리즘을 적용하여 다항 시간 복잡도를 확보하는 것.

실험 결과

연구 질문

• RQ1 기저 안정 매칭 인스턴스와 선호 리스트에 하나의 오류가 있는 다수의 변형 인스턴스들 사이에서 안정적인 단일 매칭을 계산할 수 있는가?
• RQ2 안정 매칭의 격자에서 단일 리스트 오류에 대한 강건성을 보장하는 구조적 성질은 무엇인가?
• RQ3 유한 분배 띠에 대한 버크호프 정리는 어떻게 부분 띠로 일반화할 수 있으며, 그 결과로 도출되는 부분 순서의 구성 방식은 무엇인가?
• RQ4 어떤 조건에서 알고리즘이 강건한 매칭 계산에 대해 다항 시간 복잡도를 확보하는가?

주요 결과

• 알고리즘은 기저 인스턴스 A와 각각에 하나의 오류가 있는 |S|개의 변형 인스턴스들에 대해 안정적인 매칭을 O(|S| p(n)) 시간 내에 계산한다.
• 이 방법은 기존 띠의 부분 띠와 동형인, 유도된 부분 순서 Π′의 닫힌 집합 격자 간의 띠 동형성을 보장하는 새로운 버크호프 정리의 일반화에 기반한다.
• |S|가 다항적으로 유계일 경우 알고리즘이 다항 시간 내에 실행되어 실용적인 오류 집합에 대해 강건한 안정 매칭 계산이 계산적으로 가능해진다.
• 안정 매칭의 분배 띠의 구조적 성질이 단일 리스트 오류에 대해 강건함을 입증하여, 공통된 안정 매칭을 효율적으로 탐색할 수 있음을 보여준다.
• 유도된 부분 순서 Π′는 원래 Π로부터 특정 연산을 통해 구성되며, 이는 Π′의 닫힌 집합 격자가 목표 부분 띠와 동형임을 보장한다.
• 이 프레임워크는 불확실성 또는 통신 오류가 존재하는 매칭 시장에서 강건한 알고리즘 설계의 기초를 제공한다.