skip to main content
10.1145/2484239.2484262acmconferencesArticle/Chapter ViewAbstractPublication PagespodcConference Proceedingsconference-collections
research-article

Efficient distributed source detection with limited bandwidth

Published: 22 July 2013 Publication History

Abstract

Given a simple graph G=(V,E) and a set of sources SV, denote for each node ν ε V by Lν(∞) the lexicographically ordered list of distance/source pairs (d(s,v),s), where sS. For integers d,k ∈ N∪{∞}, we consider the source detection, or (S,d,k)-detection task, requiring each node v to learn the first k entries of Lν(∞) (if for all of them d(s,v) ≤ d) or all entries (d(s,v),s) ∈ Lν(∞) satisfying that d(s,v) ≤ d (otherwise). Solutions to this problem provide natural generalizations of concurrent breadth-first search (BFS) tree constructions. For example, the special case of k=∞ requires each source sS to build a complete BFS tree rooted at s, whereas the special case of d=∞ and S=V requires constructing a partial BFS tree comprising at least k nodes from every node in V.
In this work, we give a simple, near-optimal solution for the source detection task in the CONGEST model, where messages contain at most O(log n) bits, running in d+k rounds. We demonstrate its utility for various routing problems, exact and approximate diameter computation, and spanner construction. For those problems, we obtain algorithms in the CONGEST model that are faster and in some cases much simpler than previous solutions.

References

[1]
D. Aingworth, C. Chekuri, P. Indyk, and R. Motwani. Fast estimation of diameter and shortest paths (without matrix multiplication). SIAM Journal on Computing, 28(4):1167--1181, 1999.
[2]
P. Almeida, C. Baquero, and A. Cunha. Fast distributed computation of distances in networks. In Proc. 51st Conf. on Decision and Control (CDC), pages 5215--5220, 2012.
[3]
J. Antonio, G. Huang, and W. Tsai. A fast distributed shortest path algorithm for a class of hierarchically clustered data networks. IEEE Transactions on Computers, 41:710--724, 1992.
[4]
S. Baswana and T. Kavitha. Faster algorithms for approximate distance oracles and all-pairs small stretch paths. In Proc. 47th Symp. on Foundations of Computer Science (FOCS), pages 591--602, 2006.
[5]
S. Baswana, T. Kavitha, K. Mehlhorn, and S. Pettie. Additive spanners and (α, β)-spanners. ACM Transactions on Algorithms, 7(1), 2010. Article No. 5.
[6]
S. Baswana and S. Sen. Approximate distance oracles for unweighted graphs in expected O(n2) time. ACM Transactions on Algorithms, 2:557--577, 2006.
[7]
S. Chechik. New additive spanners. In Proc. 24th Symp. on Discrete Algorithms (SODA), 2013.
[8]
S. Cicerone, G. D'Angelo, G. Di Stefano, D. Frigioni, and A. Petricola. Partially dynamic algorithms for distributed shortest paths and their experimental evaluation. Journal on Computers, 2:16--26, 2007.
[9]
D. Dor, S. Halperin, and U. Zwick. All-pairs almost shortest paths. SIAM Journal on Computing, 29(5):1740--1759, 2000.
[10]
M. Elkin. Computing almost shortest paths. ACM Transactions on Algorithms, 1:283--323, 2005.
[11]
M. Elkin and D. Peleg. (1 ε, β)-spanner constructions for general graphs. SIAM Journal on Computing, 33(3):608--631, 2004.
[12]
S. Frischknecht, S. Holzer, and R. Wattenhofer. Networks cannot compute their diameter in sublinear time. In Proc. 23rd Symp. on Discrete Algorithms (SODA), pages 1150--1162, 2007.
[13]
C. Gavoille and D. Peleg. Compact and localized distributed data structures. Distributed Computing, 16:111--120, 2003.
[14]
S. Haldar. An 'all pairs shortest paths' distributed algorithm using 2n2 messages. Journal of Algorithms, 24(1):20--36, 1997.
[15]
S. Holzer and R. Wattenhofer. Optimal distributed all pairs shortest paths and applications. In Proc. 31st Symp. on the Principles of Distributed Computing (PODC), pages 355--364, 2012.
[16]
S. Kanchi and D. Vineyard. An optimal distributed algorithm for all-pairs shortest-path. International Journal Information Theories and Applications, 11(2):141--146, 2004.
[17]
T. Kavitha. Faster algorithms for all-pairs small stretch distances in weighted graphs. In Proc. 27th Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), pages 328--339, 2007.
[18]
B. Patt-Shamir and C. Lenzen. Fast Routing Table Construction Using Small Messages {Extended Abstract}. In Proc. 45th Symposium on the Theory of Computing (STOC), 2013. Full version at http://arxiv.org/abs/1210.5774.
[19]
D. Peleg. Distributed Computing: A Locality-Sensitive Approach. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 2000.
[20]
D. Peleg, L. Roditty, and E. Tal. Distributed algorithms for network diameter and girth. In Proc. 39th Colloquium on Automata, Languages, and Programming (ICALP), pages 660--672, 2012.
[21]
L. Roditty, M. Thorup, and U. Zwick. Deterministic constructions of approximate distance oracles and spanners. In Proc. 32nd Colloquium on Automata, Languages, and Programming (ICALP), pages 261--272, 2005.
[22]
L. Roditty and V. Williams. Approximating the diameter of a graph. CoRR, abs/1207.3622, 2012.
[23]
A. Segall. Distributed network protocols. IEEE Transactions on Information Theory, 29:23--35, 1983.
[24]
M. Thorup and U. Zwick. Approximate distance oracles. Journal of the ACM, 52:1--24, 2005.
[25]
M. Thorup and U. Zwick. Spanners and emulators with sublinear distance errors. In Proc. 17th Symp. on Discrete Algorithms (SODA), pages 802--809, 2006.

Cited By

View all

Index Terms

  1. Efficient distributed source detection with limited bandwidth

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Conferences
      PODC '13: Proceedings of the 2013 ACM symposium on Principles of distributed computing
      July 2013
      422 pages
      ISBN:9781450320658
      DOI:10.1145/2484239
      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

      Sponsors

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 22 July 2013

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. additive spanners
      2. all-to-all shortest paths
      3. bellmann-ford
      4. compact routing
      5. concurrent incomplete breadth-first search
      6. distance and diameter computation

      Qualifiers

      • Research-article

      Conference

      PODC '13
      Sponsor:
      PODC '13: ACM Symposium on Principles of Distributed Computing
      July 22 - 24, 2013
      Québec, Montréal, Canada

      Acceptance Rates

      PODC '13 Paper Acceptance Rate 37 of 145 submissions, 26%;
      Overall Acceptance Rate 740 of 2,477 submissions, 30%

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)14
      • Downloads (Last 6 weeks)1
      Reflects downloads up to 28 Dec 2024

      Other Metrics

      Citations

      Cited By

      View all

      View Options

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media