소수 마이너 그래프를 위한 고속 분리정리와 응용

초록

이 논문은 $K_h$-마이너가 존재하지 않는 그래프와 얕은 마이너를 제외한 그래프에 대해, $O(\text{poly}(h)n^{5/4+\varepsilon})$ 시간 안에 $O(h\sqrt{n\log n})$ 크기의 분리자를 찾거나 $K_h$-마이너를 찾아내는 알고리즘을 제시한다. 또한 $O(\text{poly}(h)n)$ 시간에 $O(n^{c});(c<1)$ 크기의 분리자를 구하는 최초의 방법을 제안하고, 이를 바탕으로 최단 경로와 최대 매칭 등 여러 응용 문제의 복잡도를 크게 개선한다.

상세 분석

본 연구는 기존의 마이너‑프리 그래프 분리정리들을 시간·크기 측면에서 동시에 개선하려는 시도이다. 알론·세이어링·토마스(1990)의 결과는 $K_h$‑마이너가 없는 그래프에 대해 $h^{3/2}\sqrt{n}$ 크기의 분리자를 $O(\sqrt{hn}m)$ 시간에 찾을 수 있음을 보였지만, $h$에 대한 의존도가 매우 크다. 이후 플롯킨·라오·스미스는 $O(h\sqrt{n\log n})$ 크기의 분리자를 $O(hm\sqrt{n\log n})$ 시간에 구했으며, 카와라바시·리드(2010)는 $h\sqrt{n}$ 크기의 분리자를 $O(n^{1+\varepsilon})$ 시간에 찾을 수 있음을 증명했지만, 실행 시간 안에 $h$가 거듭 제곱되는 “파워 타워” 형태의 의존도가 존재한다.

이 논문은 이러한 비효율성을 해소하기 위해 두 가지 핵심 아이디어를 도입한다. 첫 번째는 아직 처리되지 않은 정점 집합 $V’$에 대해 동적 $O(1)$‑스패너를 유지함으로써, 그래프가 $m=O(n^{1+\varepsilon})$인 경우에도 전체 구조를 빠르게 업데이트할 수 있게 한 것이다. 스패너는 거리 비율을 일정하게 유지하면서도 간선 수를 크게 줄여, 이후 단계에서의 탐색·분할 비용을 감소시킨다. 두 번째는 “부트스트랩” 기법을 이용해 초기에는 큰 $\ell$ 값을 선택해 비교적 큰 분리자를 빠르게 얻고, 이를 기반으로 $r$‑클러스터링(각 클러스터가 $O(r)$ 정점, 경계 정점은 $O(h\sqrt{r})$)을 구성한다. 이렇게 만든 클러스터링은 재귀적으로 더 작은 규모의 분리자를 찾는 데 사용되며, 전체 복잡도는 $O(\text{poly}(h)n^{5/4+\varepsilon})$ 로 수렴한다.

특히, 얕은 마이너(깊이 $L$ 제한) 상황에서는 $\ell$ 과 $h$ 를 조절해 $O(m + n^{2+\varepsilon}/\ell)$ 시간에 깊이 $O(\ell\log n)$ 인 $K_h$‑마이너를 찾거나, 크기 $O(n/\ell + \ell h^{2}\log n)$ 인 분리자를 산출한다. $\ell = \Theta(\sqrt{n}/(h\sqrt{\log n}))$ 로 잡으면 $O(h\sqrt{n\log n})$ 크기의 분리자를 $O(\text{poly}(h)n^{5/4+\varepsilon})$ 시간에 얻을 수 있다.

이러한 알고리즘은 기존의 $O(n)$ 시간에 $O(n^{2/3})$ 크기의 분리자를 제공하던 리드·우드(2005)의 트레이드오프와 비교해, $h$에 대한 다항식 의존성을 유지하면서도 전체 시간 복잡도를 $O(n)$ 수준으로 끌어올린다. 또한, $O(\text{poly}(h)n)$ 시간에 $O(n^{4/5+\varepsilon})$ 크기의 분리자를 구하는 최초의 결과를 제시함으로써, $c<1$ 인 임의의 상수에 대해 선형 시간에 근접한 분리자를 얻을 수 있음을 증명한다.

응용 측면에서는 (1) 비음수 가중치가 있는 마이너‑프리 그래프에 대해 선형 시간 최단 경로 알고리즘을 구현할 수 있게 되었으며, (2) 음수 가중치가 허용되는 경우에도 $\tilde O(\text{poly}(h)n^{4/3}\log L)$ 시간에 단일 출발점 최단 경로를 해결한다. 이는 기존에 $O(\text{poly}(h)n^{1.392}\log L)$ 로 알려진 유스터 알고리즘보다 개선된 복잡도이다. 또한, 최대 매칭 문제에 대해서는 $O(\text{poly}(h)n^{1.239})$ 시간에 해결할 수 있음을 보이며, 이는 이전 $O(\text{poly}(h)n^{1.326})$ 결과를 앞선다.

전체적으로, 이 논문은 마이너‑프리 및 얕은 마이너‑프리 그래프에 대한 분리정리와 그 알고리즘 구현을 새롭게 정립함으로써, 이론적 복잡도와 실제 구현 가능성 사이의 격차를 크게 줄였다.