[논문 리뷰] Pairwise preferences in the stable marriage problem

Ágnes Cseh, Attila Juhos|arXiv (Cornell University)|2018. 09. 30.

Game Theory and Voting Systems인용 수 1

한 줄 요약

이 논문은 일반화된 쌍별 선호도 하에 안정적인 결혼 문제를 조사하며, 완전히 순환하지 않는 것에서 엄격한 순서 리스트에 이르기까지 여섯 단계의 선호도 순서도를 도입한다. 다항 시간 알고리즘 세 개와 NP-완전성 증명 두 가지를 제시하여, 다양한 선호도 구조에서 약한, 강한, 초강력 안정성에 대한 다항 시간 가능과 NP-완전 사례의 정확한 경계를 규명한다. 이는 이 분야에서 오랫동안 남아 있던 복잡도 문제를 해결한다.

ABSTRACT

We study the classical, two-sided stable marriage problem under pairwise preferences. In the most general setting, agents are allowed to express their preferences as comparisons of any two of their edges and they also have the right to declare a draw or even withdraw from such a comparison. This freedom is then gradually restricted as we specify six stages of orderedness in the preferences, ending with the classical case of strictly ordered lists. We study all cases occurring when combining the three known notions of stability---weak, strong and super-stability---under the assumption that each side of the bipartite market obtains one of the six degrees of orderedness. By designing three polynomial algorithms and two NP-completeness proofs we determine the complexity of all cases not yet known, and thus give an exact boundary in terms of preference structure between tractable and intractable cases.

연구 동기 및 목표

• 선호도가 엄격한 순서를 초월해 쌍별 비교, 동등성, 비교 불가능성을 允허하는 일반화된 선호도 하에서 안정적인 결합 문제의 계산 복잡도를 분석하는 것.
• 비대칭 관계에서 부분순서집합(posets)과 엄격한 순서 리스트에 이르기까지 다양한 선호도 순서도 수준이 안정적인 매칭의 존재성과 계산에 어떤 영향을 미치는지 조사하는 것.
• 이러한 일반화된 선호도 모델 하에서 약한, 강한, 초강력 안정성에 대해 다항 시간 가능 사례와 NP-완전 사례의 정확한 경계를 규명하는 것.
• 기존의 안정성 개념(약한, 강한, 초강력)을 부분순서집합과 비대칭 관계를 포함한 더 넓은 선호도 구조로 확장하는 것.
• 안정적인 매칭의 구조적 성질을 탐색하며, 특히 농촌 병원 정리의 타당성과 일반화된 선호도 하에서 분배 격자(distributive lattice)의 존재 여부를 조사하는 것.

제안 방법

• 비대칭 관계(전순서가 없음)에서 엄격한 순서 리스트에 이르기까지 선호도 표현력의 계층을 형성하는 여섯 단계의 선호도 순서도를 도입한다.
• 쌍별 비교에 기반한 세 가지 안정성 개념—약한, 강한, 초강력 안정성—을 정의하며, 차단 조건이 전체 순서가 아닌 상호 선호도 비교에 의존함을 명시한다.
• 부분순서집합과 비대칭 관계에서 초강력 매칭을 다항 시간 내에 계산하는 알고리즘을 설계하며, 동적 참여 업데이트를 포함한 수정된 갈-셰일리 스타일의 제안 메커니즘을 사용한다.
• 상대적 선호도 순위에 기반해 참여를 유지하는 제안 기반 알고리즘을 구현하며, 현재 참여보다 엄격히 더 나은 것이 아닌 제안은 기각한다.
• 3-SAT 문제에서의 감소를 통해 순환하지 않는 쌍별 선호도 하에서 초강력 매칭의 NP-완전성을 증명한다. 이는 각 에이전트가 최대 네 명의 후보만 수용할 수 있는 제한된 차수(≤4) 조건 하에서도 성립한다.
• 농촌 병원 정리를 사용하여, 일반화된 쌍별 설정에서도 모든 안정적인 매칭에서 매칭된 에이전트 집합이 동일함을 보인다.

실험 결과

연구 질문

• RQ1 선호도가 부분순서집합 또는 비대칭 관계로 표현될 경우, 초강력 매칭의 존재성을 판단하는 문제의 계산 복잡도는 어떻게 되는가?
• RQ2 선호도 구조가 점점 더 순서가 없어지면서 엄격한 리스트에서 부분순서집합과 비대칭 관계로 이르게 될 경우, 안정적인 결합 문제의 복잡도는 어떻게 변화하는가?
• RQ3 선호도가 부분순서집합을 초월해 일반화되었을 때, 초강력 매칭의 분배 격자(distributive lattice) 구조가 유지되는가?
• RQ4 순환하지 않는 쌍별 선호도 하에서 강력한 안정성 매칭 문제는 다항 시간 내에 해결 가능한가, 아니면 NP-완전한가?
• RQ5 농촌 병원 정리와 같은 구조적 성질이 일반화된 쌍별 선호도 모델에서 어느 정도 성립하는가?

주요 결과

• 선호도가 순환하지 않는 쌍별 관계로 표현될 경우, 초강력 매칭의 존재성 판단 문제는 NP-완전하다. 이는 각 에이전트가 최대 네 명의 후보만 수용할 수 있는 조건 하에서도 성립한다.
• 비대칭 선호도 관계에서도 문제의 복잡도는 그대로 유지되며, 이는 부분순서집합보다 더 구조가 덜 된 관계이지만, 복잡도의 근본 원인은 전이 폐쇄의 부재에서 비롯됨을 시사한다.
• 선호도가 부분순서집합으로 표현될 경우, 초강력 매칭을 계산하는 다항 시간 알고리즘을 제시하며, 이는 기존 결과를 더 일반적인 선호도 구조로 확장한 것이다.
• 비대칭 관계나 부분순서집합을 포함한 쌍별 선호도 하에서도, 약한, 강한, 초강력 안정성의 세 안정성 개념에 대해 농촌 병원 정리가 성립하며, 이는 모든 안정적인 매칭에서 매칭된 에이전트 집합이 동일함을 의미한다.
• 선호도가 부분순서집합으로 주어질 경우 초강력 매칭의 집합은 분배 격자를 이룬다. 그러나 비대칭 관계와 같은 더 일반적인 선호도 유형에는 이 구조가 확장되지 않는다.
• 본 연구는 정확한 복잡도 경계를 규명한다: 부분순서집합에서는 초강력 매칭이 다항 시간 내에 해결 가능하지만, 전이성이 없는 순환하지 않는 쌍별 선호도가 允허되는 순간부터 NP-완전이 된다.