다중 직책 비밀비서 문제와 안정 매칭 차단쌍 최적화

초록

본 논문은 지원자(비밀비서)가 순차적으로 도착하고, 고정된 여러 비동질 직책에 배정되는 온라인 매칭 모델을 제안한다. 직책과 지원자는 각각 선호 순서를 가지고 있으며, 매칭의 품질을 “차단쌍(blocking pair)”이 발생하지 않는 정도, 즉 만족된 직책·지원자·매칭쌍의 수로 측정한다. 무작위 도착과 적대적 도착 두 경우에 대해 상·하한을 구하고, 가중치가 부여된 버전도 분석한다. 주요 결과는 무작위 도착에서는 직책·지원자를 Ω(1) 비율로 만족시킬 수 있지만 매칭쌍은 O(1/√n) 이하로 제한되며, 적대적 도착에서는 모든 기준이 O(1/√n) 이하(매칭쌍은 최악의 경우 1)로 떨어진다는 것이다.

상세 분석

이 연구는 전통적인 비밀비서 문제를 “다대다” 매칭 상황으로 확장한다는 점에서 혁신적이다. 기존 모델은 하나의 직책에 여러 지원자를 경쟁시키거나, 여러 동일 직책에 지원자를 배정하는 정도에 머물렀지만, 여기서는 직책마다 매력도가 다르고, 지원자와 직책 모두가 서로에 대한 순위(선호)를 갖는 완전 순서 집합을 가정한다. 온라인 알고리즘은 지원자가 도착할 때마다 현재까지 매칭되지 않은 직책 중 하나에 즉시 배정하거나 포기해야 하며, 이 결정은 되돌릴 수 없다.

품질 평가는 안정 매칭 이론의 “차단쌍” 개념을 차용한다. (g,b) 쌍이 차단쌍이 되려면 서로 현재 매칭된 상대보다 서로를 더 선호해야 한다. 따라서 차단쌍에 포함되지 않은 직책(또는 지원자)을 “만족된”이라 정의하고, 세 가지 목표 함수를 설정한다: C_g(만족된 직책 수), C_b(만족된 지원자 수), C_p(만족된 매칭쌍 수). 가중치 버전에서는 C_wg, C_wb 로 확장한다.

기술적 기여는 크게 두 부분으로 나뉜다. 첫째, “보수적(conservative)” 알고리즘 개념을 도입해, 매칭 크기가 최적(최대)인 경우에만 약한 매칭 행동을 수행하지 않도록 설계한다. 이를 통해 C_wb와 C_p에 대해 최적 보수적 근사 알고리즘이 존재함을 보인다(정리 2.1). 둘째, 무작위 도착과 적대적 도착 각각에 대해 상·하한을 정밀히 분석한다. 무작위 도착에서는 정리 3.1을 통해 C_g와 C_b에서 Ω(1) 비율(즉, Θ(n)개의 직책·지원자를 만족)하는 알고리즘을 제시하고, 정리 3.3을 통해 C_p는 O(1/√n) 이상의 비율을 달성할 수 없음을 증명한다. 적대적 도착에서는 정리 4.3, 4.4가 각각 C_g·C_b·C_p에 대한 O(1/√n)·O(1) 상한을 제시한다.

가중치 모델에서는 가장 무거운 n개의 직책·지원자를 대상으로 최적 안정 매칭의 총 가중치를 기준으로, 정리 5.1이 Ω(1/log n) 비율, 정리 5.2가 Ω(1) 비율을 달성하는 알고리즘을 제공한다. 이는 가중치가 크게 차이 나는 경우에도 일정 수준 이상의 만족을 보장한다는 의미다.

전체적으로 이 논문은 온라인 매칭에서 안정성(차단쌍 최소화)과 다중 비동질 직책이라는 두 복합적인 제약을 동시에 다루는 최초의 연구이며, 기존 온라인 이분 매칭(Karp‑Vazirani‑Vazirani) 문헌과도 자연스럽게 연결된다. 결과는 실무에서 인사 배치, 라이드쉐어 매칭, 학술지 리뷰어 할당 등 순차적 도착과 비동질 자원의 매칭 문제에 직접 적용 가능성을 시사한다.