[논문 리뷰] On the approximability of the stable marriage problem with one-sided ties

Bauckholt, Felix, Pashkovich, Kanstantsin외 1명|arXiv (Cornell University)|2018. 05. 14.

Game Theory and Voting Systems참고 문헌 12인용 수 5

한 줄 요약

이 논문은 Huang와 Telikepalli의 한쪽 방향 연결이 있는 안정적 시스템 결혼 문제에 대한 근사 알고리즘에 대한 정교한 분석을 제시하며, 이전까지 알려진 19/13보다 더 나은 13/9-근사 비율을 확보함을 증명한다. 분석은 보조 방향 그래프 내에서 '인기 있는 여성'과 '점프'라는 새로운 개념을 도입하여 청구 체계를 강화하고, 정확히 13/9의 비율에 도달하는 구축된 예시를 통해 이 비율이 날카로운지 입증한다.

ABSTRACT

The classical stable marriage problem asks for a matching between a set of men and a set of women with no blocking pairs, which are pairs formed by a man and a woman who would both prefer switching from their current status to be paired up together. When both men and women have strict preferences over the opposite group, all stable matchings have the same cardinality, and the famous Gale-Shapley algorithm can be used to find one. Differently, if we allow ties in the preference lists, finding a stable matching of maximum cardinality is an NP-hard problem, already when the ties are one-sided, that is, they appear only in the preferences of one group. For this reason, many researchers have focused on developing approximation algorithm for this problem. In this paper, we give a refined analysis of an approximation algorithm given by Huang and Telikepalli (IPCO14) for the stable marriage problem with one-sided ties, which shows an improved 13/9 -approximation factor for the problem. Interestingly, our analysis is tight.

연구 동기 및 목표

• 한쪽 성별 집단에서만 선호도가 연결되어 있는 안정적 시스템 결혼 문제에 대해 근사 비율을 향상시키는 것.
• Huang와 Telikepalli(2014)의 조합 알고리즘에 대한 더 엄밀한 분석을 제공하며, 이는 남성이 최대 두 번의 제안을 하고, 여성들이 최대 두 번 수락할 수 있도록 허용한다.
• 대칭 차집합 M ⊕ OPT 내에서 5-증강 경로의 기여도를 더 정확히 반영할 수 있도록 새로운 청구 체계를 개발하는 것.
• 구성된 예시를 통해 13/9-근사 비율이 날카로운지 입증하는 것—즉, 알고리즘의 해가 최적 해의 정확히 13/9배임을 보여주는 인스턴스를 구성하는 것.

제안 방법

• 제안 그래프 G′에서 간선을 방향화하고, 알고리즘의 매칭 M에 속해 있으며 5-증강 경로에 포함되는 간선들을 수축하여 방향 보조 그래프 H를 구성한다.
• 특정한 구조적 특성인 '점프'를 도입하여 증강 경로의 추적과 근사 비율 기여도를 더 정밀하게 추적할 수 있도록 한다.
• 최적 매칭에서 모든 선호 대상에게 거절당하지 않는 여성, 즉 '인기 있는 여성'을 정의함으로써 분석에서 더 나은 청구 분배를 가능하게 한다.
• 각 5-증강 경로를 M ⊕ OPT 내의 구성요소에 매핑하는 정교한 청구 체계를 개발하여, 어떤 구성요소도 과도하게 청구되지 않도록 보장한다.
• 경로 청구와 비인기 청구를 사용하여 각 구성요소 내 여성들의 총 기여도를 바ounds하며, 2ℓq + 5개 간선을 가진 구성요소의 경우 총 청구 합이 최대 3ℓq임을 증명한다.
• 정교한 청구 합을 사용하여 증명된 경로의 총 수와 기여도를 바ounds함으로써 전체 근사 비율이 |OPT| / |M| ≤ 13/9임을 입증한다.

실험 결과

연구 질문

• RQ1 Huang와 Telikepalli의 알고리즘이 한쪽 방향 연결이 있는 안정적 시스템 결혼 문제에 대해 이전에 알려진 19/13의 근사 비율을 초월하여 향상시킬 수 있는가?
• RQ2 알고리즘의 출력과 최적 매칭 간 대칭 차집합의 구조적 특성은 어떻게 분석을 정교화하는 데 활용될 수 있는가?
• RQ3 13/9-근사 비율은 날카로운가? 그리고 이 비율이 정확히 도달되는 구체적인 인스턴스를 구성할 수 있는가?
• RQ4 새로운 개념인 '점프'와 '인기 있는 여성'을 도입함으로써 청구 체계는 어떻게 개선되어 경로 기여도의 과도한 추정을 줄일 수 있는가?

주요 결과

• Huang와 Telikepalli(2014)의 알고리즘이 한쪽 방향 연결이 있는 안정적 시스템 결혼 문제에 대해 13/9-근사 비율을 달성함을 증명하였다. 이는 이전까지의 최선의 근사 비율인 19/13보다 향상된 결과이다.
• 분석은 '점프'와 '인기 있는 여성'이라는 두 가지 핵심 개념을 도입하여, 대칭 차집합 M ⊕ OPT 내 5-증강 경로에 대한 더 엄밀하고 정확한 청구 체계를 가능하게 하였다.
• 13/9-근사 비율이 날카로운 것으로 입증되었으며, 구성된 인스턴스에서 정확히 이 비율이 도달됨을 보여, 동일한 알고리즘으로는 더 이상의 향상이 불가능함을 의미한다.
• 정교한 청구 체계는 어떤 (2ℓ+5)-증강 경로 내 여성들의 총 청구 합이 최대 3ℓ이 되도록 보장하며, 이는 향상된 근사 비율을 증명하는 데 핵심적이다.
• 증명은 5-증강 경로의 수 t가 ℓΣ 이하이고, 더 긴 증강 경로의 수 k도 ℓΣ 이하임을 보여, 여기서 ℓΣ는 M ⊕ OPT 내 모든 구성요소에 대한 ℓq의 합이다.
• 최종적으로, 매칭 크기와 청구 합의 바ounds를 조합함으로써 |OPT| / |M| ≤ 13/9라는 비율이 유도되었으며, 이는 알고리즘의 성능 보장을 확인한다.