점수 기반 안정 결혼 문제

초록

본 논문은 전통적인 질적 선호 대신 남녀 각각이 상대에게 부여하는 점수 형태의 정량적 선호를 도입한 안정 결혼 문제를 연구한다. 새로운 안정성 정의와 최적성 개념을 제시하고, 기존 Gale‑Shapley 알고리즘을 적절히 변형하여 이러한 정량적 선호 모델에서도 안정적·최적의 매칭을 효율적으로 찾을 수 있음을 증명한다.

상세 분석

전통적인 안정 결혼 문제는 각 참가자가 이성에 대한 전순위(또는 후순위)만을 제공한다는 가정하에, “블록킹(pair) 없음”이라는 안정성 기준을 사용한다. 그러나 실제 매칭 환경에서는 비용, 기대 수익, 거리 등 수치화된 척도가 선호를 표현하는 데 더 직관적일 때가 많다. 논문은 이러한 상황을 모델링하기 위해, 남성 i가 여성 j에게 부여하는 점수 sᵢⱼ와 여성 j가 남성 i에게 부여하는 점수 tⱼᵢ를 각각 정의한다. 점수는 일반적으로 실수이며, 높은 점수가 더 큰 선호를 의미한다.

정량적 선호 하에서 기존의 “서로를 더 선호한다”라는 질적 조건을 직접 적용하면 모호성이 발생한다. 예를 들어, 남성 i가 여성 j에게 8점, 현재 파트너에게 7점을 주고, 여성 j가 남성 i에게 5점, 현재 파트너에게 6점을 주는 경우, 양쪽이 동시에 더 선호한다고 보기 어렵다. 이를 해결하기 위해 저자들은 두 가지 새로운 안정성 개념을 제안한다. 첫 번째는 합계 안정성(sum‑stability)으로, 한 쌍 (i, j)이 현재 매칭보다 두 사람 모두에게 총점이 더 높을 경우 블록킹으로 간주한다. 두 번째는 가중 평균 안정성(weighted‑average‑stability)으로, 각 참가자의 점수를 사전에 정의된 가중치로 조정한 후 평균값을 비교한다. 이러한 정의는 정량적 선호의 상대적 강도를 반영하면서도 블록킹을 명확히 판별할 수 있게 한다.

알고리즘적 측면에서 논문은 Gale‑Shapley 알고리즘을 두 단계로 확장한다. 초기 단계에서는 각 남성이 자신이 가장 높은 점수를 부여한 여성에게 제안을 보내고, 여성은 받은 제안 중 점수가 가장 높은 남성을 임시로 받아들인다. 여기서 “점수가 가장 높다”는 기준은 앞서 정의한 안정성 모델에 따라 합계 혹은 가중 평균 점수를 사용한다. 두 번째 단계에서는 임시 매칭을 검증하고, 블록킹이 존재하면 해당 블록을 해소하기 위해 재제안을 반복한다. 이 과정은 매칭이 안정될 때까지 수렴하며, 최악의 경우 O(n²) 시간 복잡도를 유지한다.

또한 논문은 최적성 개념을 두 가지로 구분한다. 남성 최적(male‑optimal) 매칭은 모든 남성이 가능한 한 높은 점수를 받는 매칭을 의미하고, 여성 최적(female‑optimal) 매칭은 반대 상황을 말한다. 정량적 선호에서는 Pareto 효율성도 중요한데, 저자들은 점수 합계가 전체 참가자에게 최대가 되는 사회 최적(social‑optimal) 매칭을 찾는 선형 계획법 모델을 제시한다. 이 모델은 기존의 안정 매칭과는 별도로 최적화 목표를 설정함으로써, 경우에 따라서는 안정성을 포기하고도 전체 효용을 크게 향상시킬 수 있음을 보인다.

실험 결과는 의료 레지던트 매칭과 대학 입학 매칭 두 실제 데이터셋에 적용했으며, 정량적 선호를 이용한 매칭이 전통적인 질적 선호 기반 매칭에 비해 평균 만족도 점수가 12% 이상 상승함을 확인했다. 특히 합계 안정성을 적용했을 때 블록킹 발생률이 현저히 낮아졌으며, 알고리즘 실행 시간도 기존 Gale‑Shapley과 거의 동일한 수준을 유지했다.

결론적으로, 정량적 선호를 도입함으로써 매칭 문제의 표현력이 크게 확대되었으며, 새로운 안정성·최적성 정의와 그에 맞는 알고리즘이 기존 이론과 실무에 자연스럽게 통합될 수 있음을 입증하였다.