거의 안정적인 매칭을 상수 시간에 찾기

초록

가일-샤플리 알고리즘의 제안‑수락 라운드 수와 매칭된 인원 대비 차단 쌍 수의 비율이 선형적으로 증가한다는 사실을 이용해, 각 참가자가 자신의 제한된 선호 이웃만 알면 상수 라운드만에 거의 안정적인 매칭을 얻을 수 있음을 보였다. 이 결과는 선호 리스트에 동점이 있어도 적용 가능하며, 이를 바탕으로 이분 그래프의 최대 가중치 매칭에 대한 (2+ε)-근사 분산 알고리즘과 안정 매칭 크기 추정을 위한 무작위 상수 시간 근사 스킴을 제시한다.

상세 분석

논문은 전통적인 안정 결혼 문제에서 가일‑샤플리 알고리즘이 수행하는 제안‑수락 라운드가 증가함에 따라 매칭된 사람 수와 차단 쌍 수 사이의 비율이 선형적으로 성장한다는 정량적 관계를 증명한다. 이 관계식은 “라운드 t에서 매칭된 인원 ≥ c·t·(전체 차단 쌍 수)” 형태로 표현되며, 여기서 c는 상수이다. 중요한 점은 이 비율이 전체 선호 정보가 아니라 각 개인이 알고 있는 ‘국소 이웃’—즉, 자신이 허용하는 파트너 집합—에만 의존한다는 점이다. 따라서 각 참가자가 자신의 인접 리스트만을 교환하면, 전체 네트워크가 동기화된 상수 수의 통신 라운드만에 차단 쌍이 거의 사라진 ‘거의 안정적인’ 매칭을 얻을 수 있다. 논문은 이 결과를 두 가지 확장에 적용한다. 첫째, 선호 리스트에 동점(ties)이 존재하는 경우에도 동일한 선형 성장 관계가 유지됨을 보이며, 이는 기존의 안정 매칭 이론에서 동점 처리에 대한 복잡성을 크게 완화한다. 둘째, 이론을 이용해 이분 그래프에서 최대 가중치 매칭을 (2+ε) 근사하는 분산 알고리즘을 설계한다. 여기서는 각 정점이 상수 개의 허용 이웃만을 갖는 제한된 차수 조건 하에, 상수 라운드 내에 근사 매칭을 구축한다. 또한, 중앙 집중식 환경에서는 무작위 샘플링을 통해 안정 매칭의 크기를 상수 시간에 추정하는 근사 스킴을 제시한다. 전체적으로 논문은 ‘라운드 수 ↔ 차단 쌍 감소’라는 새로운 관점을 도입함으로써, 전통적인 전역 정보 의존형 알고리즘을 국소 정보 기반의 초고속 알고리즘으로 전환하는 방법론적 전환을 제시한다.