[논문 리뷰] Local search for stable marriage problems

Mirco Gelain, Maria Pini외 3명|arXiv (Cornell University)|2010. 07. 06.

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

한 줄 요약

이 논문은 안정적 배치(SM) 및 연장 및 불완전 목록이 있는 안정적 배치(SMTI) 문제를 해결하기 위한 국소 검색 알고리즘을 제안한다. 문제 특화 제약 조건을 활용하여 이웃 수를 줄이고 국소 이동을 가속화함으로써, 이 접근법은 안정적 매칭을 효율적으로 찾는다—SM의 경우 O(n log n) 실행 시간을 달성하고, SMTI의 경우 NP-난이도임에도 불구하고 높은 카디널리티 매칭을 생성한다.

ABSTRACT

The stable marriage (SM) problem has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools, or more generally to any two-sided market. In the classical formulation, n men and n women express their preferences (via a strict total order) over the members of the other sex. Solving a SM problem means finding a stable marriage where stability is an envy-free notion: no man and woman who are not married to each other would both prefer each other to their partners or to being single. We consider both the classical stable marriage problem and one of its useful variations (denoted SMTI) where the men and women express their preferences in the form of an incomplete preference list with ties over a subset of the members of the other sex. Matchings are permitted only with people who appear in these lists, an we try to find a stable matching that marries as many people as possible. Whilst the SM problem is polynomial to solve, the SMTI problem is NP-hard. We propose to tackle both problems via a local search approach, which exploits properties of the problems to reduce the size of the neighborhood and to make local moves efficiently. We evaluate empirically our algorithm for SM problems by measuring its runtime behaviour and its ability to sample the lattice of all possible stable marriages. We evaluate our algorithm for SMTI problems in terms of both its runtime behaviour and its ability to find a maximum cardinality stable marriage.For SM problems, the number of steps of our algorithm grows only as O(nlog(n)), and that it samples very well the set of all stable marriages. It is thus a fair and efficient approach to generate stable marriages.Furthermore, our approach for SMTI problems is able to solve large problems, quickly returning stable matchings of large and often optimal size despite the NP-hardness of this problem.

연구 동기 및 목표

• 선호도 목록이 있는 이원 시장에서 안정적 매칭을 찾는 데 있어 계산적 과제를 해결한다.
• 선호도가 불완전하고 연결이 허용되는 NP-난이도 SMTI 변종을 다루며, 매칭 크기를 최대화하고자 한다.
• 안정성 제약 조건을 유지하면서 해 공간을 효율적으로 탐색할 수 있는 국소 검색 프레임워크를 개발한다.
• 모든 안정적 매칭에 대한 실행 시간 확장성과 샘플링 품질 측면에서 알고리즘의 성능을 평가한다.

제안 방법

• SM 및 SMTI 문제를 안정적 매칭 위의 국소 검색 최적화 과제로 공식화한다.
• 안정성을 유지하는 남성-여성 기반 교환(예: 사이클 내에서 파artner를 순환시키는 방식)을 기반으로 이웃 구조를 정의한다.
• 불안정하거나 유효하지 않은 이동을 제거하기 위해 절단 기법을 적용하여 이웃 수를 줄이되, 완전성은 유지한다.
• 반복적 개선을 적용: 각 단계에서 정의된 목적함수(예: 카디널리티 또는 공정성)를 향해 향상되는 이웃 안정 매칭을 선택한다.
• 안정적 매칭의 래티스 구조를 활용하여 검색을 안내하고 샘플링의 균일성을 향상시킨다.
• 제한된 매칭 제약 조건을 통해 연결 끊김 및 동등성 처리를 구현하여 유효한 쌍만 고려되도록 한다.

실험 결과

연구 질문

• RQ1 전통적인 SM 문제에서 국소 검색이 안정적 매칭의 공간을 효율적으로 탐색할 수 있는가?
• RQ2 문제 크기가 증가함에 따라 실행 시간 측면에서 국소 검색 접근법의 확장성은 어떠한가?
• RQ3 SM 인스턴스에서 전체 안정적 매칭 래티스를 얼마나 잘 샘플링할 수 있는가?
• RQ4 NP-난이도인 SMTI 문제에서 국소 검색이 높은 카디널리티 안정 매칭을 효과적으로 찾을 수 있는가?
• RQ5 문제의 계산적 난이도에도 불구하고 대규모 SMTI 인스턴스에서 알고리즘이 어떻게 성능을 발휘하는가?

주요 결과

• 안정적 배치(SM) 문제에서 국소 검색 알고리즘은 단계 수가 O(n log n) 성장함을 보이며, 강력한 확장성을 나타낸다.
• 알고리즘은 모든 안정적 배치의 래티스를 매우 효과적으로 샘플링하여 해 분포의 공정성과 균일성을 입증한다.
• SMTI 문제에서는 대규모 인스턴스에서도 빠르게 크기가 크고 종종 최적에 가까운 안정 매칭을 반환한다.
• SMTI의 NP-난이도에도 불구하고 국소 검색 접근법은 대규모 문제를 효율적으로 처리하며, 실질적으로 전통적 정확한 방법을 능가한다.
• 문제 특화 절단 기법을 활용함으로써 이웃 수가 크게 감소하여 수렴 속도가 빨라지며, 해 품질에 영향을 주지 않는다.