그래프 직경 근사 알고리즘의 새로운 한계와 효율적 개선

초록

본 논문은 그래프 직경 D 의 근사값을 구하는 문제에 대해, 기존 (\tilde O(m\sqrt n + n^2)) 알고리즘을 기대 시간 (\tilde O(m\sqrt n)) 으로 개선한 방법을 제시한다. 또한 (O(m^{2-\varepsilon})) 시간 안에 (2/3) 보다 높은 비율의 근사를 얻는 것이 SAT‑SETH와 연관된 어려운 문제임을 증명한다. 마지막으로 직경이 작은 경우와 무방향 그래프에 대해 (4D/5) 정밀도의 근사와 (2h+z) 정밀도의 특수 케이스 알고리즘을 각각 (\tilde O(m^{2/3}n^{4/3})) 시간에 제공한다.

상세 분석

이 논문은 그래프 직경 (D) 을 근사하는 두 가지 주요 축을 제시한다. 첫 번째는 기존 Aingworth‑Chekuri‑Indyk‑Motwani(1999) 알고리즘의 시간 복잡도를 (\tilde O(m\sqrt n)) 으로 기대 시간 안에서 달성한다는 점이다. 핵심 아이디어는 무작위 샘플링과 BFS 트리의 부분적 재구성을 결합해, 모든 정점 쌍에 대해 최악‑경우 (O(n^2)) 연산을 피하고 대신 (O(m\sqrt n)) 정도의 탐색만으로 (\lfloor 2D/3\rfloor) 이상의 하한을 보장한다. 이 과정에서 각 정점에 대해 (\sqrt n) 개의 랜덤 시작점을 선택하고, 이들에 대해 단일 소스 최단 경로를 수행한다. 기대값 분석을 통해 전체 탐색 비용이 (\tilde O(m\sqrt n)) 에 수렴함을 증명한다.

두 번째 축은 복잡도‑하한을 제시한다. 저자들은 (O(m^{2-\varepsilon})) 시간 안에 ((2/3+\varepsilon)D) 이상의 근사를 얻는 알고리즘이 존재한다면, SAT 문제를 (O^*((2-\delta)^n)) 시간에 해결할 수 있음을 보여준다. 이는 강한 지수 시간 가설(Strong Exponential Time Hypothesis, SETH)을 위배하는 결과와 동등하다. 증명은 그래프 직경 근사 문제를 SAT 인스턴스의 구조적 변환으로 매핑하고, 그 변환이 (O(m^{2-\varepsilon})) 시간 안에 수행될 수 있음을 보이는 복합적인 리덕션을 사용한다. 따라서 (2/3) 비율 이하의 근사는 가능하지만, 그보다 높은 비율을 목표로 하면 현재 알려진 복잡도 이론과 충돌한다는 강력한 증거를 제공한다.

마지막으로, 직경이 작은 경우에 대한 특수 알고리즘을 제시한다. 직경이 (D=3h+z) ((h\ge0,;z\in{0,1,2})) 인 경우, 알고리즘은 (\tilde O(\min{m^{2/3}n^{4/3},,m^{2-1/(2h+3)}})) 시간에 (2h+z) 이상의 하한을 반환한다. 특히 (z\neq0) 이면 (3/2) 보다 나은 비율을 얻는다. 무방향 무가중 그래프에 대해서는 (\tilde O(m^{2/3}n^{4/3})) 시간에 (\lfloor4D/5\rfloor) 이상의 근사를 제공한다. 이 결과들은 직경이 상수에 가깝거나 작은 경우에 기존 알고리즘이 겪는 “극단적” 어려움을 완화한다는 점에서 의미가 크다.