ABSTRACT
The paper presents a deterministic distributed algorithm that, given k ≥ 1, constructs in k rounds a (2k-1,0)-spanner of O(k n1+1/k) edges for every n-node unweighted graph. (If n is not available to the nodes, then our algorithm executes in 3k-2 rounds, and still returns a (2k-1,0)-spanner with O(k n1+1/k) edges.) Previous distributed solutions achieving such optimal stretch-size trade-off either make use of randomization providing performance guarantees in expectation only, or perform in logΩ(1)n rounds, and all require a priori knowledge of n. Based on this algorithm, we propose a second deterministic distributed algorithm that, for every ε > 0, constructs a (1+ε,2)-spanner of O(ε-1 n3/2) edges in O(ε-1) rounds, without any prior knowledge on the graph.
Our algorithms are complemented with lower bounds, which hold even under the assumption that n is known to the nodes. It is shown that any (randomized) distributed algorithm requires k rounds in expectation to compute a (2k-1,0)-spanner of o(n1+1/(k-1)) edges for k ∈ {2,3,5}. It is also shown that for every k>1, any (randomized) distributed algorithm that constructs a spanner with fewer than n1+1/k + ε edges in at most nε expected rounds must stretch some distances by an additive factor of nΩ(ε). In other words, while additive stretched spanners with O(n1+1/k) edges may exist, e.g., for k=2,3, they cannot be computed distributively in a sub-polynomial number of rounds in expectation.
- I. Abraham, C. Gavoille, and D. Malkhi, On space-stretch trade-offs: Upper bounds, in 18th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), ACM Press, July 2006, pp. 207--216. Google ScholarDigital Library
- B. Awerbuch, Complexity of network synchronization, Journal of the ACM, 32 (1985), pp. 804--823. Google ScholarDigital Library
- B. Awerbuch, B. Berger, L. J. Cowen, and D. Peleg, Fast distributed network decompositions and covers, Journal of Parallel and Distributed Computing, 39 (1996), pp. 105--114. Google ScholarDigital Library
- łeavevmoderule height 2pt depth -1.6pt width 23pt, Near-linear time construction of sparse neighborhood covers, SIAM Journal on Computing, 28 (1998), pp. 263--277. Google ScholarDigital Library
- S. Baswana and T. Kavitha, Faster algorithms for approximate distance oracles and all-pairs small stretch paths, in 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS), IEEE Computer Society Press, Oct. 2006, pp. 591--602. Google ScholarDigital Library
- S. Baswana, T. Kavitha, K. Mehlhorn, and S. Pettie, New constructions of (α,β)-spanners and purely additive spanners, in 16th Symposium on Discrete Algorithms (SODA), ACM-SIAM, Jan. 2005, pp. 672--681. Google ScholarDigital Library
- S. Baswana and S. Sen, A simple and linear time randomized algorithm for computing sparse spanners in weighted graphs, Random Structures and Algorithms, 30 (2007), pp. 532--563. Google ScholarDigital Library
- C. T. Benson, Minimal regular graphs of girth eight and twelve, Canadian Journal of Mathematics, 18 (1966), pp. 1091--1094.Google ScholarCross Ref
- B. Bollobás, D. Coppersmith, and M. Elkin, Sparse distance preservers and additive spanners, in 14th Symposium on Discrete Algorithms (SODA), ACM-SIAM, Jan. 2003, pp. 414--423. Google ScholarDigital Library
- J. A. Bondy and M. Simonovits, Cycle of even length in graphs, Journal of Combinatorial Theory, Series B, 16 (1974), pp. 97--105.Google ScholarCross Ref
- D. Coppersmith and M. Elkin, Sparse source-wise and pair-wise distance preservers, in 16th Symposium on Discrete Algorithms (SODA), ACM-SIAM, Jan. 2005, pp. 660--669. Google ScholarDigital Library
- B. Derbel, C. Gavoille, and D. Peleg, Deterministic distributed construction of linear stretch spanners in polylogarithmic time, in $21^st$ International Symposium on Distributed Computing (DISC), vol. 4731 of Lecture Notes in Computer Science, Springer, Sept. 2007, pp. 179--192. Google ScholarDigital Library
- D. Dubhashi, A. Mai, A. Panconesi, J. Radhakrishnan, and A. Srinivasan, Fast distributed algorithms for (weakly) connected dominating sets and linear-size skeletons, Journal of Computer and System Sciences, 71 (2005), pp. 467--479. Google ScholarDigital Library
- M. Elkin, Computing almost shortest paths, ACM Transactions on Algorithms, 1 (2005), pp. 283--323. Google ScholarDigital Library
- ______, A near-optimal fully dynamic distributed algorithm for maintaining sparse spanners, tech. rep., arXiv:cs.DS/0611001v1, Nov. 2006.Google Scholar
- ______, A near-optimal fully dynamic distributed algorithm for maintaining sparse spanners, in 26th Annual ACM Symposium on Principles of Distributed Computing (PODC), ACM Press, Aug. 2007, pp. 195--204. Google ScholarDigital Library
- M. Elkin and D. Peleg, (1 ε,β)-spanner constructions for general graphs, SIAM Journal on Computing, 33 (2004), pp. 608--631. Google ScholarDigital Library
- M. Elkin and J. Zhang, Efficient algorithms for constructing (1 ε,β)-spanners in the distributed and streaming models, in 23rd Annual ACM Symposium on Principles of Distributed Computing (PODC), ACM Press, July 2004, pp. 160--168. Google ScholarDigital Library
- P. Erdös, Extremal problems in graph theory, in Publ. House Cszechoslovak Acad. Sci., Prague, 1964, pp. 29--36.Google Scholar
- P. Erdös and M. Simonovits, Compactness results in extremal graph theory, Combinatorica, 2 (1982), pp. 275--288.Google ScholarCross Ref
- A. M. Farley, A. Proskurowski, D. Zappala, and K. Windisch, Spanners and message distribution in networks, Discrete Applied Mathematics, 137 (2004), pp. 159--171. Google ScholarDigital Library
- Y. Kohayakawa, B. Kreuter, and A. Steger, An extremal problem for random graphs and the number of graphs with large even-girth, Combinatorica, 18 (1998), pp. 101--120.Google ScholarCross Ref
- F. Kuhn, T. Moscibroda, and R. Wattenhofer, On the locality of bounded growth, in 24th Annual ACM Symposium on Principles of Distributed Computing (PODC), ACM Press, July 2005, pp. 60--68. Google ScholarDigital Library
- S. Kutten and D. Peleg, Fast distributed construction of small k-dominating sets and applications, Journal of Algorithms, 28 (1998), pp. 40--66. Google ScholarDigital Library
- F. Lazebnik, V. A. Ustimenko, and A. J. Woldar, A new series of dense graphs of high girth, Bulletin of the American Mathematical Society (New Series), 32 (1995), pp. 73--79.Google Scholar
- N. Linial, Locality in distributed graphs algorithms, SIAM Journal on Computing, 21 (1992), pp. 193--201. Google ScholarDigital Library
- D. Peleg, Distributed Computing: A Locality-Sensitive Approach, SIAM Monographs on Discrete Mathematics and Applications, 2000. Google ScholarDigital Library
- D. Peleg and J. D. Ullman, An optimal synchornizer for the hypercube, SIAM Journal on Computing, 18 (1989), pp. 740--747. Google ScholarDigital Library
- D. Peleg and E. Upfal, A trade-off between space and efficiency for routing tables, Journal of the ACM, 36 (1989), pp. 510--530. Google ScholarDigital Library
- S. Pettie, Low distortion spanners, in 34th International Colloquium on Automata, Languages and Programming (ICALP), vol. 4596 of Lecture Notes in Computer Science, Springer, July 2007, pp. 78--89. Google ScholarDigital Library
- M. Thorup and U. Zwick, Compact routing schemes, in 13th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), ACM Press, July 2001, pp. 1--10. Google ScholarDigital Library
- ______, Approximate distance oracles, Journal of the ACM, 52 (2005), pp. 1--24. Google ScholarDigital Library
- ______, Spanners and emulators with sublinear distance errors, in 17th Symposium on Discrete Algorithms (SODA), ACM-SIAM, Jan. 2006, pp. 802--809. Google ScholarDigital Library
- R. Wenger, Extremal graphs with no C4's, C6's, or C10's, Journal of Combinatorial Theory, Series B, 52 (1991), pp. 113--116. Google ScholarDigital Library
- D. P. Woodruff, Lower bounds for additive spanners, emulators, and more, in 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS), IEEE Computer Society Press, Oct. 2006, pp. 389--398. Google ScholarDigital Library
Index Terms
- On the locality of distributed sparse spanner construction
Recommendations
Polylogarithmic-time deterministic network decomposition and distributed derandomization
STOC 2020: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of ComputingWe present a simple polylogarithmic-time deterministic distributed algorithm for network decomposition. This improves on a celebrated 2 O(√logn)-time algorithm of Panconesi and Srinivasan [STOC’92] and settles a central and long-standing question in ...
Distributed Spanner Approximation
PODC '18: Proceedings of the 2018 ACM Symposium on Principles of Distributed ComputingWe address the fundamental network design problem of constructing approximate minimum spanners. Our contributions are for the distributed setting, providing both algorithmic and hardness results.
Our main hardness result is that an ∝-approximation for ...
Fast deterministic distributed algorithms for sparse spanners
SIROCCO'06: Proceedings of the 13th international conference on Structural Information and Communication ComplexityThis paper concerns the efficient construction of sparse and low stretch spanners for unweighted arbitrary graphs with n nodes. All previous deterministic distributed algorithms, for constant stretch spanner of o(n2) edges, have a running time Ω(nε) for ...
Comments