[논문 리뷰] A Collection of Constraint Programming Models for the Three-Dimensional Stable Matching Problem with Cyclic Preferences

Chris Unsworth, Patrick Prosser|arXiv (Cornell University)|2013. 08. 01.

Constraint Satisfaction and Optimization참고 문헌 8인용 수 5

한 줄 요약

이 논문은 안정 결혼 문제에 대해 안정성과 이중 결혼 방지를 보장하는 효율적인 n-항 제약 조건 SM2N을 소개한다. 이 제약 조건은 각 인스턴스당 하나의 제약 조건만을 사용하며, 간선 일致성에 대해 최적의 O(n²) 시간 복잡도를 달성한다. 기존 부울 인코딩보다 빠른 속도와 더 나은 공간 효율성을 확보하여 대규모 인스턴스(최대 n=2000)의 해결이 가능해지고, 더 큰 최적화 문제(예: 성별 균형 안정 결혼 문제)에의 통합도 지원한다.

ABSTRACT

We introduce five constraint models for the 3-dimensional stable matching problem with cyclic preferences and study their relative performances under diverse configurations. While several constraint models have been proposed for variants of the two-dimensional stable matching problem, we are the first to present constraint models for a higher number of dimensions. We show for all five models how to capture two different stability notions, namely weak and strong stability. Additionally, we translate some well-known fairness notions (i.e. sex-equal, minimum regret, egalitarian) into 3-dimensional matchings, and present how to capture them in each model. Our tests cover dozens of problem sizes and four different instance generation methods. We explore two levels of commitment in our models: one where we have an individual variable for each agent (individual commitment), and another one where the determination of a variable involves pairing the three agents at once (group commitment). Our experiments show that the suitability of the commitment depends on the type of stability we are dealing with. Our experiments not only led us to discover dependencies between the type of stability and the instance generation method, but also brought light to the role that learning and restarts can play in solving this kind of problems.

연구 동기 및 목표

• 기존 부울 인코딩보다 더 효율적이고 실용적인 제약 조건 인코딩을 개발하기 위해.
• 안정 결혼 제약 조건을 더 큰, 더 복잡한 제약 만족 문제 내에서 사용할 수 있도록 하기 위해.
• 성별 균형 안정 결혼 문제(SESMP)에 대한 첫 번째 제약 기반 연구를 지원하기 위해.
• 이전 인코딩에 비해 공간과 계산 시간을 크게 줄이며 최적의 시간 복잡도를 달성하기 위해.

제안 방법

• n명의 남성과 n명의 여성 간의 안정성과 비이중 결혼을 보장하는 특화된 n-항 제약 조건인 SM2N을 제안한다. 이는 선호도 목록을 기반으로 한다.
• 제약 조건 전파 중 선호도 순위에 O(1) 접근을 가능하게 하기 위해 역선호도 목록(mPw, wPm)을 사용한다.
• 표준 제약 프로그래밍 원리(예: getMin, getMax, setMax, setVal, remVal, AC5 또는 AC3를 통한 간선 일치성 전파)를 사용하여 제약 조건을 구현한다.
• 도메인 변경이 발생할 때만 제약 조건 전파를 트리거하기 위해 콜 스택 메커니즘을 활용하여 효율성을 확보한다.
• 최소 인코딩을 확장하여 검색 및 더 큰 문제에의 통합을 가능하게 하기 위해 남성 중심과 여성 중심의 게일-샤플리 목록을 유지하기 위해 최소한의 코드를 추가한다.
• 남성과 여성의 총 매칭 점수 간 절대 차이를 최소화하는 방식으로 성별 균형 안정 결혼 문제를 해결하기 위해 제약 조건을 적용한다.

실험 결과

연구 질문

• RQ1 단일 n-항 제약 조건이 안정 결혼 문제에서 간선 일치성에 대해 최적의 O(n²) 시간 복잡도를 달성할 수 있는가?
• RQ2 SM2N 제약 조건은 [3]의 부울 인코딩에 비해 성능과 공간 효율성 면에서 어떻게 비교되는가?
• RQ3 SM2N 제약 조건은 검색 및 더 큰, 더 복잡한 제약 문제 내에서 효과적으로 사용될 수 있는가?
• RQ4 SM2N 제약 조건은 대규모 안정 결혼 인스턴스(예: n=2000)를 효율적으로 해결할 수 있는가?
• RQ5 SM2N 제약 조건은 성별 균형 안정 결혼 문제(SESMP)를 효과적으로 모델링하고 해결하는 데 사용될 수 있는가?

주요 결과

• SM2N 제약 조건은 간선 일치성에 대해 O(n²)의 시간 복잡도를 달성하며, 이는 [3]의 부울 인코딩의 이론적 최적 성능와 동일하지만 실질적인 성능가 훨씬 뛰어나다.
• n=2000일 때, 표준 안정 결혼 문제의 모든 해를 SM2N 모델은 평균 20.19초 만에 해결한 반면, 부울 인코딩은 n=300에서 실패했다.
• SM2N 모델은 O(n)개의 변수와 O(n²)개의 제약 조건을 필요로 하는 반면, 부울 모델은 O(n²)개의 변수와 O(n²)개의 제약 조건을 필요로 하여 SM2N가 훨씬 공간 효율성이 뛰어나다.
• SM2N 제약 조건은 n=2000에서 성별 균형 안정 결혼 문제(SESMP)를 평균 22.44초 만에 해결하여 복잡한 최적화 확장의 실현 가능성을 입증했다.
• n=1000일 때 SM2N 제약 조건은 SM2 모델보다 15배 이상 빠른 성능을 보이며 시간과 공간 효율성 면에서의 열등성을 확인했다.
• 이 제약 조건은 주요 제약 프로그래밍 툴킷들(예: Choco, JSolver, Koalog)과 네이티브로 호환되어 광범위한 적용 가능성을 확보했다.