[논문 리뷰] Lower Bounds on Sparse Spanners, Emulators, and Diameter-reducing shortcuts

Shang-En Huang, Seth Pettie|arXiv (Cornell University)|2017. 04. 30.

Complexity and Algorithms in Graphs참고 문헌 19인용 수 3

한 줄 요약

이 논문은 무게 없는 그래프에 대한 Thorup-Zwick의 부분선형 덧셈형 에미레이터가 (β, ϵ)-호프셋으로서 본질적으로 최적임을 보이며, 호프바운드 β와 크기 O(n^{1+1/(2k+1−1)}) 사이의 최고의 무게 조정을 달성한다. 저자들은 약간 수정된 구성 방식을 통해 크기를 k 배 줄여 Abboud, Bodwin, 그리고 Pettie의 하한을 달성하고, 에미레이터 및 스파너의 희박성도 향상시켰다.

ABSTRACT

A $(β,ε)$-$ extit{hopset}$ is, informally, a weighted edge set that, when added to a graph, allows one to get from point $a$ to point $b$ using a path with at most $β$ edges ("hops") and length $(1+ε)\mathrm{dist}(a,b)$. In this paper we observe that Thorup and Zwick's $ extit{sublinear additive}$ emulators are also actually $(O(k/ε)^k,ε)$-hopsets for every $ε>0$, and that with a small change to the Thorup-Zwick construction, the size of the hopset can be made $O(n^{1+\frac{1}{2^{k+1}-1}})$. As corollaries, we also shave "$k$" factors off the size of Thorup and Zwick's sublinear additive emulators and the sparsest known $(1+ε,O(k/ε)^{k-1})$-spanners, due to Abboud, Bodwin, and Pettie.

연구 동기 및 목표

• Thorup-Zwick의 부분선형 덧셈형 에미레이터가 (β, ϵ)-호프셋으로서 보편적으로 최적임을 보이는 것.
• 크기를 k 배 줄여 (1+ϵ, β)-스파너와 부분선형 덧셈형 에미레이터의 희박성을 향상시키는 것.
• 호프셋 구성에 대한 알려진 상한과 하한 사이의 격차를 메우는 것.
• 기존의 우아한 구성 방식을 간단히 수정함으로써, 복잡한 호프셋 구성이 반드시 필요로 하지 않음을 보여주는 것.

제안 방법

• 확률 qi를 사용한 계층적 정점 샘플링을 적용하여 Thorup-Zwick의 에미레이터 구성 방식을 변형함으로써 (β, ϵ)-호프셋을 구성한다.
• 각 정점 v ∈ Vi \ Vi+1 에 대해 B(v)에 있는 정점들과 pi+1(v)에 연결되는 호프셋 간선 Ei를 정의하며, 간선의 가중치는 최단경로 거리와 같다.
• qi = n^{-(2i−1)/(2k+1−1)} · 2^{-(2i−i+1)}로 설정하여 계층 크기를 기하급수적으로 감소시켜 기대 크기를 제어한다.
• 매개변수 r = ⌈4k/ϵ′⌉ 및 µ = d/r^k를 사용하여 재귀적 분석을 수행하고, 덧셈적 스트레치와 호프바운드를 근사한다.
• 공정한 분할 원리(양자원리)를 적용하여 호프셋 하에서 최단경로의 다단계 및 단일단계 세그먼트 수를 근사한다.
• hk < 2(r+1)^k 번의 호프 이내에 G∪H에서의 거리가 원래 거리의 (1+ϵ) 배 이내임을 증명함으로써, (β, ϵ)-호프셋 성질을 확보한다.

실험 결과

연구 질문

• RQ1 Thorup-Zwick의 에미레이터 구성 방식을 최적의 (β, ϵ)-호프셋으로 재사용할 수 있는가?
• RQ2 Thorup-Zwick의 에미레이터 크기를 최적의 스트레치와 호프바운드를 유지하면서 k 배 줄일 수 있는가?
• RQ3 수정된 구성 방식이 Abboud, Bodwin, 그리고 Pettie가 확립한 호프셋 크기 하한을 달성하는가?
• RQ4 이 방법을 (1+ϵ, β)-스파너 및 부분선형 덧셈형 에미레이터의 희박성 향상에 확장할 수 있는가?
• RQ5 이전의 접근 방식보다 복잡성이 낮고 간단하고 우아한 최적의 호프셋 구성 방식이 존재하는가?

주요 결과

• 무게 없는 그래프에 대한 Thorup-Zwick의 에미레이터는 크기 O(n^{1+1/(2k+1−1)})와 β = O((k/ϵ)^k)를 가지며, Abboud-Bodwin-Pettie 하한과 일치하는 (β, ϵ)-호프셋이다.
• 샘플링 확률를 약간 수정함으로써 호프셋 크기를 O(n^{1+1/(2k+1−1)})로 줄여 원래 Thorup-Zwick 구성 대비 k 배 감소시켰다.
• 부분선형 덧셈형 에미레이터 크기는 O(n^{1+1/(2k+1−1)})로 향상되었으며, 스트레치 f(d) = d + (4+o(1))kd^{1−1/k}를 확보하였다.
• (1+ϵ, β)-스파너 크기는 O((k/ϵ)^h n^{1+1/(2k+1−1)})로 향상되었으며, h = (3·2^{k−1} − (k+2))/(2^{k+1}−1) < 3/4이다.
• k = log log n − O(1)일 경우, 호프셋 크기는 선형 O(n)이 되며 β = O((k/ϵ)^k)로 near-optimal한 희박성을 달성한다.
• 크기가 n^{1+1/(2k+1−1)−δ}인 경우, 호프바운드에 대해 Ω(ck/ϵ^{k+1})의 하한을 달성함으로써 최적성의 증명이 완료된다.