TY - GEN

T1 - Near-Optimal Spanners for General Graphs in (Nearly) Linear Time

AU - Le., Hung

AU - Solomon, Shay

N1 - Publisher Copyright:
Copyright © 2022 by SIAM.

PY - 2022

Y1 - 2022

N2 - Let G = (V, E, w) be a weighted undirected graph on |V| = n vertices and |E| = m edges, let k ≥ 1 be any integer, and let ? < 1 be any parameter. We present the following results on fast constructions of spanners with near-optimal sparsity and lightness,1 which culminate a long line of work in this area. (By near-optimal we mean optimal under Erdos' girth conjecture and disregarding the ?-dependencies.) There are (deterministic) algorithms for constructing (2k-1)(1 + ?)-spanners for G with a near-optimal sparsity of O(n1/k · log(1/?)/?)). The first algorithm can be implemented in the pointer-machine model within time O(mα(m, n) · log(1/?)/?)+ SORT(m)), where α(·,·) is the two-parameter inverse-Ackermann function and SORT(m) is the time needed to sort m integers. The second algorithm can be implemented in the Word RAM model within time O(m log(1/?)/?)). There is a (deterministic) algorithm for constructing a (2k-1)(1 + ?)-spanner for G that achieves a near-optimal bound of O(n1/k ·poly(1/?)) on both sparsity and lightness. This algorithm can be implemented in the pointer-machine model within time O(mα(m,n) · poly(1/?) + SORT(m)) and in the Word RAM model within time O(mα(m,n) · poly(1/?)). The previous fastest constructions of (2k-1)(1 + ?)-spanners with near-optimal sparsity incur a runtime of is O(min{m(n1+1/k) + n log n, k · n2+1/k}), even regardless of the lightness. Importantly, the greedy spanner for stretch 2k-1 has sparsity O(n1/k) - with no ?-dependence whatsoever, but its runtime is O(m(n1+1/k + n log n)). Moreover, the state-of-the-art lightness bound of any (2k-1)-spanner (including the greedy spanner) is poor, even regardless of the sparsity and runtime.

AB - Let G = (V, E, w) be a weighted undirected graph on |V| = n vertices and |E| = m edges, let k ≥ 1 be any integer, and let ? < 1 be any parameter. We present the following results on fast constructions of spanners with near-optimal sparsity and lightness,1 which culminate a long line of work in this area. (By near-optimal we mean optimal under Erdos' girth conjecture and disregarding the ?-dependencies.) There are (deterministic) algorithms for constructing (2k-1)(1 + ?)-spanners for G with a near-optimal sparsity of O(n1/k · log(1/?)/?)). The first algorithm can be implemented in the pointer-machine model within time O(mα(m, n) · log(1/?)/?)+ SORT(m)), where α(·,·) is the two-parameter inverse-Ackermann function and SORT(m) is the time needed to sort m integers. The second algorithm can be implemented in the Word RAM model within time O(m log(1/?)/?)). There is a (deterministic) algorithm for constructing a (2k-1)(1 + ?)-spanner for G that achieves a near-optimal bound of O(n1/k ·poly(1/?)) on both sparsity and lightness. This algorithm can be implemented in the pointer-machine model within time O(mα(m,n) · poly(1/?) + SORT(m)) and in the Word RAM model within time O(mα(m,n) · poly(1/?)). The previous fastest constructions of (2k-1)(1 + ?)-spanners with near-optimal sparsity incur a runtime of is O(min{m(n1+1/k) + n log n, k · n2+1/k}), even regardless of the lightness. Importantly, the greedy spanner for stretch 2k-1 has sparsity O(n1/k) - with no ?-dependence whatsoever, but its runtime is O(m(n1+1/k + n log n)). Moreover, the state-of-the-art lightness bound of any (2k-1)-spanner (including the greedy spanner) is poor, even regardless of the sparsity and runtime.

UR - http://www.scopus.com/inward/record.url?scp=85130695068&partnerID=8YFLogxK

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85130695068

T3 - Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms

SP - 3332

EP - 3361

BT - ACM-SIAM Symposium on Discrete Algorithms, SODA 2022

PB - Association for Computing Machinery

T2 - 33rd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2022

Y2 - 9 January 2022 through 12 January 2022

ER -