남성 최악 매칭을 삭제로 최적으로 전환하는 알고리즘

초록

본 논문은 남성 중심의 Gale‑Shapley 알고리즘에서 얻어지는 남성 최악(남성‑비우월) 매칭을, 특정 페어를 매칭 집합에서 삭제함으로써 남성 최적 매칭으로 변환하는 방법을 제안한다. 점수 기반 평가와 순차·병렬 구현을 제시하고, 최선의 경우 시간 복잡도가 n³ 의 하한을 가진다는 이론적 분석을 제공한다.

상세 분석

이 논문은 안정적 매칭 이론의 핵심인 Gale‑Shapley 알고리즘의 두 가지 극단적 결과, 즉 남성‑우월(남성 최적)과 여성‑우월(남성 최악) 매칭 사이의 관계를 탐구한다. 기존 연구에서는 남성‑우월 매칭을 직접 구하거나, 매칭을 조정하는 과정에서 전략적 조작을 논의했지만, ‘특정 페어를 삭제함으로써 매칭 전체를 개선한다’는 접근은 비교적 새로운 시도이다. 저자는 매칭 집합 M에서 한 페어 (m,w)를 제거하면 남성 m와 여성 w가 각각 새로운 후보군을 탐색하게 되고, 이 과정에서 남성들의 제안 순서가 재조정된다. 특히 점수 기반 접근을 도입해 각 남성‑여성 쌍에 가중치를 부여하고, 삭제된 페어가 전체 점수에 미치는 영향을 최소화하도록 선택한다는 점이 흥미롭다.

알고리즘은 순차 버전과 병렬 버전으로 나뉘며, 순차 버전은 삭제 후보를 탐색하면서 매칭을 재구성하는 O(n³) 시간 복잡도를 갖는다. 병렬 버전은 각 남성의 제안 과정을 독립적으로 수행하고, 삭제 후보 평가를 동시에 진행함으로써 이론적으로는 동일한 차수의 복잡도를 유지하되 실제 실행 시간은 하드웨어 의존적 가속을 기대한다. 그러나 논문은 병렬 구현 시 발생할 수 있는 경쟁 조건과 동기화 비용을 충분히 논의하지 않아, 실제 성능 향상이 어느 정도인지에 대한 실험적 검증이 부족하다.

복잡도 분석에서는 최선의 경우 하한이 n³이라고 주장한다. 이는 기존의 Gale‑Shapley 알고리즘이 O(n²) 시간에 해결되는 점을 고려하면, 삭제 연산이 매칭 전체를 재계산해야 함을 의미한다. 하지만 최악의 경우 복잡도에 대한 언급이 없으며, 평균적인 입력에 대한 기대 복잡도도 제시되지 않아 실용성 평가에 한계가 있다. 또한 ‘점수 기반 접근’이 구체적으로 어떻게 정의되는지, 점수 함수가 매칭 안정성에 미치는 영향이 이론적으로 증명되지 않았다.

연구의 기여는 두 가지로 요약할 수 있다. 첫째, 매칭 집합에서 하나의 페어를 삭제함으로써 전체 매칭을 개선할 수 있다는 새로운 아이디어를 제시했다는 점이다. 둘째, 이를 구현하기 위한 순차·병렬 알고리즘 틀을 제공했다는 점이다. 그러나 실험 설계가 부실하고, 복잡도 분석이 제한적이며, 점수 함수의 설계 원칙과 안정성 보장이 명확히 증명되지 않은 점은 향후 연구에서 보완되어야 할 부분이다. 특히, 삭제된 페어가 실제 응용(예: 대학 입시, 의료 매칭)에서 발생할 수 있는 윤리적·경제적 비용을 정량화하는 모델이 추가된다면, 제안된 방법의 실용성이 크게 향상될 것이다.