[논문 리뷰] Computing Relaxations for the Three-Dimensional Stable Matching Problem with Cyclic Preferences

Ágnes Cseh, Escamocher, Guillaume외 1명|arXiv (Cornell University)|2022. 01. 01.

Game Theory and Voting Systems인용 수 3

한 줄 요약

이 논문은 순환적 선호를 가진 3차원 안정적 매칭 문제에서 인기 매칭의 존재성과 복잡도를 조사하며, 새로운 난이도 결과와 특성화를 제안한다. 연구는 완전한 선호 목록이 존재함에도 불구하고 인기 매칭이 존재하지 않을 수 있음을 증명하고, 한 쪽 집단에서 마스터 리스트를 사용할 경우 강력한 인기 매칭에 대해 선형 시간 특성화를 제공한다. 이는 마스터 리스트 사례에서 안정적 매칭의 풍부함과 대조된다.

ABSTRACT

Constraint programming has proven to be a successful framework for determining whether a given instance of the three-dimensional stable matching problem with cyclic preferences (3dsm-cyc) admits a solution. If such an instance is satisfiable, constraint models can even compute its optimal solution for several different objective functions. On the other hand, the only existing output for unsatisfiable 3dsm-cyc instances is a simple declaration of impossibility. In this paper, we explore four ways to adapt constraint models designed for 3dsm-cyc to the maximum relaxation version of the problem, that is, the computation of the smallest part of an instance whose modification leads to satisfiability. We also extend our models to support the presence of costs on elements in the instance, and to return the relaxation with lowest total cost for each of the four types of relaxation. Empirical results reveal that our relaxation models are efficient, as in most cases, they show little overhead compared to the satisfaction version.

연구 동기 및 목표

• 순환적 선호를 가진 3차원 매칭 사례에서 인기 매칭의 존재성과 복잡도를 조사하기.
• 3D 환경에서 순환적 선호를 가진 안정성, 인기성 및 그 강력한 변형 간의 관계를 탐색하기.
• 마스터 리스트 구조가 인기 매칭 및 강력한 인기 매칭의 존재성과 계산에 미치는 영향을 분석하기.
• 완전한 목록을 가진 3D 사례에서 인기 매칭을 찾는 복잡도에 대한 열린 질문들을 해결하기.

제안 방법

• 완전한 목록이 있는 3D 순환 선호 사례에서 인기 매칭 존재 여부를 결정하는 것이 NP-완전임을 증명하기 위해 감소 기반 접근법을 제안한다.
• 매칭을 비교하고 인기성을 평가하기 위해 선호도 수를 세는 방식으로 순환 이동 연산을 도입한다.
• 이전 연구에서 제안된 경계 가짜 에이전트 개념을 완전성 제약 조건 분석에 적용하지만, 이 개념을 인기성에 적용하는 데에는 한계가 있음을 지적한다.
• 1개 마스터 리스트 사례에서 강력한 인기 매칭을 특성화하며, 모든 비마스터 에이전트가 자신의 최우선 선택에 매칭되어야 한다는 조건을 도출한다.
• 매칭 간 투표 기반 비교를 통해 인기성을 정의하며, 더 많은 에이전트가 M을 M′보다 선호할 경우 M이 더 인기 있는 매칭으로 간주한다.
• 사례 분석과 대칭성 추론을 활용하여 비마스터 집단에서 최우선 선택 매칭에서의 탈선이 강력한 인기성을 파괴한다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 완전한 목록이 있는 3D 안정적 매칭 사례에서 순환적 선호를 가진 인기 매칭이 항상 존재하는가?
• RQ2 완전한 순환적 선호를 가진 3D 사례에서 인기 매칭이 존재하는지 여부를 결정하는 계산 복잡도는 무엇인가?
• RQ3 마스터 리스트가 있는 3D 사례에서 강력한 인기 매칭을 특성화하고 효율적으로 계산할 수 있는가?
• RQ4 마스터 리스트 구조는 3D 순환 선호 설정에서 인기 매칭의 존재성과 구조에 어떻게 영향을 미치는가?
• RQ5 3D 순환 매칭 문제에서 안정성과 인기성 간의 관계는 무엇인가?

주요 결과

• 완전한 목록이 있는 3D 순환 선호 사례에서는 인기 매칭이 존재하지 않을 수 있으며, 일반적으로 안정적 매칭이 존재하지 않는다는 점과도 무관하게 발생할 수 있다.
• 3개 마스터 리스트에서 유도된 3D 사례에서 n ≥ 5일 경우, 순환 이동 증명을 통해 최소 2n−2명의 에이전트가 개선됨을 보여주며, 인기 매칭이 존재하지 않음을 입증한다.
• 2개 마스터 리스트 사례에서 n ≥ 5일 경우, 유사한 순환 이동으로 최소 2n−2명의 에이전트가 개선되고 최대 n+2명이 악화됨을 보여주며, 인기 매칭이 존재하지 않음을 입증한다.
• 1개 마스터 리스트 사례에서 매칭이 강력한 인기 매칭이 되기 위한 필요충분조건은 비마스터 클래스에 속한 모든 에이전트가 자신의 최우선 선택에 매칭되어야 하며, 이 조건은 선형 시간 내에 확인 가능하다.
• 3개 마스터 리스트 사례에서는 지수적으로 많은 안정적 매칭이 존재하는 반면, n ≥ 5일 경우 인기 매칭이 존재하지 않음을 보여주며, 안정성과 인기성 간의 근본적인 괴리가 드러난다.
• 불완전한 목록을 가진 A∪B-인기 매칭을 검증하는 복잡도는 여전히 열려 있으며, 이에 대해 NP-완전일 것이라 추측한다.