방향성 디스크 그래프를 위한 완화 스패너 설계

본 논문은 상수 차원의 배율을 갖는 메트릭 공간 (V,δ) 위에 정의된 방향성 디스크 그래프 I(V,E,r) 에 대한 스패너 구조를 연구한다. 디스크 그래프는 각 정점 p 에 반경 r(p) 를 할당하고, δ(p,q) ≤ r(p) 이면 (p→q) 라는 방향 간선을 포함한다. 저자들은 먼저 기존에 제시된 Peleg‑Roditty 알고리즘이 만든 (1+ε)‑스패너의 크기가 O(n·ε⁻ᵈ·log M) 임을 상기한다. 여기서 M 은 최대 반경이며, 이 로그‑M 항이 실제로 필요함을 보이기 위해 하한을 구성한다. 하한 구성에서는 두 집합 X={x₁,…,x_n} 와 Y={y₁,…,y_n} 을 정의하고, 각 x_i 의 반경을 1 로 고정한다. 반면 y_i 의 반경은 r(y_i)=2^{i-1}·n 으로 급격히 증가시킨다. 거리 δ(y_i,x_j) 는 r(y_i) 와 동일하게 설정하고, y_i 와 y_{i-1} 사이의 거리는 r(y_i)+ε 로 만든다. 이렇게 하면 y_i 는 모든 x_j 에 향하는 간선을 갖지만, 서로 간에는 간선이 없으며, x_i 들 사이에도 간선이 존재하지 않는다. 결과 그래프 G 는 2n 개의 정점과 Ω(n²) 개의 간선을 가지며, 어느 하나의 간선을 제거하면 해당 방향 거리 가 무한대로 커져 스패너가 그래프 자체가 된다. 이 그래프의 메트릭은 배율 차원이 상수임을 정리 1.1 에서 증명한다(볼 커버링 논증). 따라서 log M = Θ(n) 인 경우, 기존 알고리즘의 O(n·ε⁻ᵈ·log M) 크기는 최적임을 확인한다. 다음으로 저자들은 “완화된 디스크 그래프” 모델을 제안한다. 모든 정점의 반경을 (1+ε) 배로 늘린 r_{1+ε}(p) = (1+ε)·r(p) 를 사용하면, 원래 그래프 I 의 (1+ε)‑스패너를 I′ = I(V,E′,r_{1+ε}) 의 간선만으로도 O(n·ε⁻ᵈ) 크기로 만들 수 있다. 이를 위해 기존의 계층적 파티셔닝 기법을 변형한다. 먼저 반경을