트리에서 최단 증강 경로 길이의 최적 O(n log n) 상한

초록

본 논문은 온라인 이분 트리에서 새롭게 도착하는 검은 정점에 대해 최단 증강 경로를 선택하는 알고리즘이 전체 증강 경로 길이의 합을 Θ(n log n) 이하로 제한한다는 것을 증명한다. 기존 O(n log² n) 결과를 개선한 최초의 정확한 상한이다.

상세 분석

이 연구는 온라인 이분 매칭 문제를 트리 구조에 한정하고, 각 라운드마다 검은 정점이 하나씩 추가되는 모델을 채택한다. 핵심 아이디어는 “mini‑max 게임”이라는 두 사람 게임을 정의하여, 최악의 매칭 상황에서도 알고리즘이 선택할 수 있는 최단 증강 경로의 길이를 상한한다는 점이다. 먼저, 루트가 지정된 트리 T에 대해 각 정점의 “수익(mini‑max value)”을 재귀적으로 정의한다. 검은 정점은 자식 중 최소 수익을 선택하고, 흰 정점은 최대 수익을 선택하도록 설계했으며, 이를 통해 각 정점에서 흰 잎까지의 최단·최악 거리(dist와 sec‑dist)를 계산한다. 중요한 관찰은 dist와 sec‑dist가 시간 t에 대해 비감소(monotone)라는 점이다. 이는 새 정점이 추가될 때 기존 수익이 감소하지 않음을 의미한다.

다음으로 “dead vertex” 개념을 도입한다. 검은 정점이 Hall 조건을 깨면 sec‑dist가 무한대가 되며, 이를 “dead”라 정의한다. 흰 정점은 dist가 무한대일 때 dead가 된다. 논문은 dead 정점이 살아있는 정점과 어떻게 상호작용하는지를 정리한 일련의 관찰과 보조 정리를 제시한다. 특히, 살아있는 정점 집합 Aₜ와 dead 집합 Dₜ를 정의하고, 매 라운드마다 어떤 정점이 죽는지를 정확히 파악한다. Lemma 7은 살아있는 정점에서 시작한 mini‑max 경로가 전부 살아있는 정점만을 방문한다는 사실을 증명함으로써, 실제 알고리즘이 탐색하는 증강 경로가 dead 영역을 침범하지 않음을 보인다.

주요 증명 흐름은 다음과 같다. 1) Lemma 3을 통해 어떤 매칭이 주어지더라도 최단 증강 경로의 길이가 distₜ(bₜ) 이하임을 보인다. 2) Lemma 4와 Corollary 5를 이용해 dist가 무한대인 경우 증강 경로가 존재하지 않음을 확인한다. 3) Lemma 8과 추가 보조 정리를 통해 새 검은 정점이 Hall 조건을 깨지 않을 경우 최소 하나의 살아있는 이웃을 갖는다는 사실을 확보한다. 4) 이러한 구조적 특성을 바탕으로 각 라운드에서 발생하는 dist 값들의 증가를 로그 스케일로 제한할 수 있음을 보이며, 전체 라운드에 걸친 Σ|πₜ| = O(n log n)임을 최종적으로 도출한다.

이러한 접근법은 기존의 “증강 경로 길이” 분석이 어려웠던 이유인 경로 구조의 복잡성을 게임 이론적 관점으로 단순화하고, dead/alive 구분을 통해 불필요한 탐색을 배제함으로써 상한을 크게 개선한다. 또한, 트리라는 제한된 그래프 클래스에서도 최악의 도착 순서에 대해 O(n log n)이라는 최적에 도달했으며, 이는 일반 이분 그래프에 대한 동일한 상한을 얻기 위한 중요한 발판이 된다.