[논문 리뷰] A Generalization of Birkhoff's Theorem for Distributive Lattices, with Applications to Robust Stable Matchings.

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

Game Theory and Voting Systems인용 수 5

한 줄 요약

이 논문은 부분 순서에 대한 압축 개념을 도입하여 분배 격자에 대한 Birkhoff의 정리를 일반화한다. 이를 통해 안정 매칭 문제에서 부분 격자의 효율적 특성화가 가능해지며, 선호도 목록의 변동에 대해 강건한 안정 매칭을 계산하는 알고리즘을 제시한다. 이는 여러 변형된 인스턴스에서 안정성을 유지하는 완전 강건 매칭을 포함한다.

ABSTRACT

Birkhoff's theorem, which has also been called {\em the fundamental theorem for finite distributive lattices}, states that the elements of any such lattice $\cal L$ are isomorphic to the closed sets of a partial order, say $\Pi$. We generalize this theorem to showing that each sublattice of $\cal L$ is isomorphic to a distinct partial order that can be obtained from $\Pi$ via the operation of {\em compression}, defined in this paper. Let $A$ be an instance of stable matching, with $\cal L$ being its lattice of stable matchings, and let $B$ be the instance obtained by permuting the preference list of any one boy or any one girl. Let $\mathcal{M}_A$ and $\mathcal{M}_B$ be their sets of stable matchings. Our results are the following: - We show that $\mathcal{M}_A \cap \mathcal{M}_B$ is a sublattice of $\mathcal{L}$ and $\mathcal{M}_{A} \setminus \mathcal{M}_{B}$ is a semi-sublattice of $\mathcal{L}$. - Using our generalization of Birkhoff's Theorem, we give an efficient algorithm for finding the compression of $\Pi$ that is isomorphic to the lattice of $\mathcal{M}_A \cap \mathcal{M}_B$. - Given a polynomial sized domain $D$ of such errors (of permuting one of the preference lists), we give an efficient algorithm that checks if there is a stable matching for $A$ that is stable for each such resulting instance $B$. We call this a {\em fully robust stable matching}. - If yes, the set of all such matchings forms a sublattice of $\cal L$ and our algorithm finds its partial order as well. Using the latter, we can obtain a matching that optimizes (maximizes or minimizes) the weight among all fully robust stable matchings.

연구 동기 및 목표

• 유한 분배 격자에 대한 Birkhoff의 기본 정리를 부분 순서에 대한 새로운 압축 연산을 통해 부분 격자로 확장한다.
• 한 명의 에이전트의 선호도 목록이 순열된 경우 안정 매칭의 구조를 분석하여, 안정 매칭의 교집합이 부분 격자를 이룬다는 것을 보인다.
• 원래 인스턴스와 변형된 인스턴스에서 공통된 안정 매칭의 부분 격자에 대응하는 부분 순서를 효율적으로 계산하는 알고리즘을 개발한다.
• 주어진 다항식 크기의 변형된 선호도 목록 집합에서 완전 강건 안정 매칭(모든 변형된 인스턴스에서 안정성 유지)이 존재하는지 판단하고, 이를 효율적으로 계산한다.

제안 방법

• 부분 순서 Π에 대한 압축 연산을 도입하여 원래 분배 격자의 임의의 부분 격자와 동형인 새로운 부분 순서를 유도한다.
• 원래 인스턴스 A와 한 에이전트의 선호도 목록이 순열된 변형 인스턴스 B의 공통된 안정 매칭 집합이 원래 격자 L의 부분 격자를 이룬다는 것을 증명한다.
• 일반화된 Birkhoff 정리를 활용하여 부분 격자 M_A ∩ M_B에 대응하는 압축된 부분 순서를 효율적으로 계산한다.
• 주어진 다항식 크기의 변형 인스턴스 도메인에서 완전 강건 안정 매칭이 존재하는지 확인하는 다항식 시간 알고리즘을 설계한다.
• 해당 매칭이 존재할 경우, 모든 완전 강건 매칭의 집합이 부분 격자를 이룬다는 것을 보이고, 그 생성 부분 순서를 효율적으로 계산한다.
• 계산된 부분 순서를 활용하여 주어진 가중치 함수를 최대화하거나 최소화하는 완전 강건 매칭을 찾는다.

실험 결과

연구 질문

• RQ1 부분 순서에 대한 새로운 압축 연산을 통해 분배 격자의 부분 격자를 특성화하기 위해 Birkhoff의 정리를 어떻게 일반화할 수 있는가?
• RQ2 원래 안정 매칭 인스턴스와 한 개의 선호도 목록이 순열된 인스턴스 간의 안정 매칭 교집합의 격자 이론적 구조는 어떠한가?
• RQ3 선호도 목록의 변동 후 공통된 안정 매칭의 부분 격자에 대응하는 부분 순서를 효율적으로 계산할 수 있는 알고리즘을 구성할 수 있는가?
• RQ4 주어진 다항식 크기의 선호도 목록 변동 집합에서, 모든 결과 인스턴스에서 안정성을 유지하는 완전 강건 안정 매칭이 존재하는지 효율적으로 판단할 수 있는가?
• RQ5 해당 매칭이 존재할 경우, 모든 완전 강건 안정 매칭의 전체 부분 격자를 효율적으로 계산하고, 이를 최적화할 수 있는가?

주요 결과

• 원래 인스턴스 A와 한 에이전트의 선호도 목록이 순열된 변형 인스턴스 B 사이의 안정 매칭 M_A ∩ M_B는 원래 격자 L의 부분 격자를 이룬다.
• M_A ∖ M_B는 L의 준부분격자(semi-sublattice)를 이룬다. 이는 변동에 따른 격자의 구조적 분해를 나타낸다.
• 일반화된 Birkhoff 정리를 활용하여 부분 격자 M_A ∩ M_B와 동형인 압축된 부분 순서를 효율적으로 계산할 수 있는 알고리즘이 존재한다.
• 모든 다항식 크기의 선호도 목록 변동 도메인 D에 대해, 완전 강건 안정 매칭(모든 변형된 인스턴스에서 안정성 유지)을 효율적으로 결정할 수 있다.
• 완전 강건 안정 매칭이 존재할 경우, 그 모든 매칭의 집합은 L의 부분 격자를 이루며, 그 생성 부분 순서도 효율적으로 계산할 수 있다.
• 계산된 부분 순서를 활용하여 주어진 가중치 함수를 최대화하거나 최소화하는 완전 강건 매칭을 찾을 수 있다.