근접가능 안정 매칭: 용인·최적화와 인센티브 분석

초록

본 논문은 다중 파트너십을 허용하는 Stable Fixtures 모델에서, 소수의 용량 수정으로 안정 매칭을 확보하는 ‘근접가능 안정 매칭’ 개념을 제시한다. 용량 변동에 따른 개별·전체 인센티브를 정량화하는 프레임워크를 구축하고, 최소 수정·최소 편향을 동시에 만족하는 알고리즘을 설계한다. 또한, 이러한 수정 전략이 원래 인스턴스의 불안정성을 어떻게 완화시키는지 이론적 경계와 실험을 통해 검증한다.

상세 분석

이 연구는 기존의 안정 매칭 이론을 확장하여, 용량이 제한된 비이분 그래프인 Stable Fixtures(sf) 모델에 ‘근접가능(near‑feasible)’이라는 새로운 패러다임을 도입한다. 먼저 저자는 용량 변동이 발생했을 때 에이전트가 매칭을 탈락하거나 새로운 파트너를 찾고자 하는 동기를 ‘블로킹 엔트리(blocking entry)’라는 비대칭적 개념으로 정량화한다. 이는 전통적인 블로킹 페어(bloking pair)보다 미세한 편향을 포착할 수 있어, 실제 시스템에서 발생하는 부분적 불만을 모델링하는 데 유용하다.

논문은 용량 수정 전략을 크게 여섯 가지 경우(하향 전용, 상향 전용, 양방향 허용 등)로 구분하고, 각 경우에 대해 ‘개인 최적(Individual‑optimal)’과 ‘전체 최적(Aggregate‑optimal)’이라는 두 차원의 최적성을 정의한다. 흥미롭게도, 대부분의 경우에 개인 최적과 전체 최적이 동시에 달성될 수 있음을 증명하고, 이를 위한 선형 시간 알고리즘을 제시한다. 핵심 아이디어는 에이전트의 현재 매칭 수와 용량 차이를 그래프 이론적 구조(예: 최소 커버, 매칭 포화)와 연결시켜, 최소 수정 집합을 효율적으로 추출하는 것이다.

안정성 측면에서는, 용량을 수정하지 않은 상태에서 최소 블로킹 엔트리를 갖는 매칭을 찾는 문제가 NP‑hard임을 보이며, 이는 기존의 거의‑안정(almost‑stable) 매칭 문제와 동일한 복잡도 차원을 공유한다. 그러나 ‘용량 수정이 허용된’ 경우에는, 최적 수정 집합을 먼저 구하고 그 위에 블로킹 엔트리를 최소화하는 매칭을 찾는 두 단계 접근법이 다항 시간에 해결 가능함을 증명한다. 이는 ‘최소 수정 + 최소 편향’이라는 두 목표를 동시에 만족시키는 드문 사례이다.

또한, 저자는 XP(지수적 파라미터) 알고리즘을 포함한 정확 알고리즘을 설계하여, NP‑hard인 변형 문제에 대해서도 실용적인 해법을 제공한다. 실험에서는 합성 데이터셋을 이용해 수정 횟수와 블로킹 엔트리 수가 대부분의 경우 매우 작게 유지된다는 점을 확인했으며, 이는 실제 매칭 플랫폼에서 용량 조정이 큰 비용 없이 시스템 안정성을 회복할 수 있음을 시사한다.

전반적으로 이 논문은 근접가능 안정 매칭이 단순히 ‘용량을 늘리면 된다’는 수준을 넘어, 에이전트별 인센티브와 전체 시스템 효율성을 동시에 고려한 정량적·알고리즘적 프레임워크를 제공한다는 점에서 학문적·실무적 의의가 크다.