[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/378580.378581acmconferencesArticle/Chapter ViewAbstractPublication PagesspaaConference Proceedingsconference-collections
Article

Compact routing schemes

Published: 03 July 2001 Publication History

Abstract

We describe several compact routing schemes for general weighted undirected networks. Our schemes are simple and easy to implement. The routing tables stored at the nodes of the network are all very small. The headers attached to the routed messages, including the name of the destination, are extremely short. The routing decision at each node takes constant time. Yet, the stretch of these routing schemes, i.e., the worst ratio between the cost of the path on which a packet is routed and the cost of the cheapest path from source to destination, is a small constant. Our schemes achieve a near-optimal tradeoff between the size of the routing tables used and the resulting stretch. More specifically, we obtain:
A routing scheme that uses only O (n 1/2) bits of memory at each node of an n-node network that has stretch 3. The space is optimal, up to logarithmic factors, in the sense that every routing scheme with stretch < 3 must use, on some networks, routing tables of total size Ω(n2), and every routing scheme with stretch < 5 must use, on some networks, routing tables of total size Ω(n3/2). The headers used are only (1 + O(1)) log2> n-bits long and each routing decision takes constant time. A variant of this scheme with [log2 n] -bit headers makes routing decisions in O(log log n) time.
Also, for every integer k > 2, a general handshaking based routing scheme that uses O (n1/k) bits of memory at each node that has stretch 2k - 1. A conjecture of Erdös from 1963, settled for k = 3, 5, implies that the routing tables are of near-optimal size relative to the stretch. The handshaking is similar in spirit to a DNS lookup in TCP/IP. Headers are O(log2 n) bits long and each routing decision takes constant time. Without handshaking, the stretch of the scheme increases to 4k - 5. One ingredient used to obtain the routing schemes mentioned above, may be of independent practical and theoretical interest:
A shortest path routing scheme for trees of arbitrary degree and diameter that assigns each vertex of an n-node tree a (1 + O(1)) log2 n-bit label. Given the label of a source node and the label of a destination it is possible to compute, in constant time, the port number of the edge from the source that heads in the direction of the destination.
The general scheme for k > 2 also uses a clustering technique introduced recently by the authors. The clusters obtained using this technique induce a sparse and low stretch tree cover of the network. This essentially reduces routing in general networks into routing problems in trees that could be solved using the above technique.

References

[1]
S. Abiteboul, T. Milo, and H. Kaplan. Compact labeling schemes for ancestor queries. In Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms, Washington, D.C., pages 547-556, 2001.
[2]
N. Alon and M. Naor. Derandomization, witnesses for boolean matrix multiplication, and construction of perfect hash functions. Algorithmica, 16:434-449, 1996.
[3]
S. Alstrup. Personal communication, SODA 2001.
[4]
B. Awerbuch, A. Bar-Noy, N. Linial, and D. Peleg. Improved routing strategies with succinct tables. Journal of Algorithms, 11(3):307-341, 1990.
[5]
B. Awerbuch and D. Peleg. Routing with polynomial communication-space trade-off. SIAM Journal on Discrete Mathematics, 5(2):151-162, 1992.
[6]
P. Beame and F. Fich. Optimal bounds for the predecessor problem. In Proceedings of the 31th Annual ACM Symposium on Theory of Computing, Atlanta, Georgia, pages 295-304, 1999.
[7]
T. Cover and J. Thomas. Elements of Information Theory. John Wiley, 1991.
[8]
L. Cowen. Compact routing with minimum stretch. Journal of Algorithms, pages 170-183, 2001. Special issue for SODA'99.
[9]
S. Deering and R. Hinden. Internet protocol, version 6 (IPv6), specification. Network Working Group, Request for Comments: 2460, ftp://ftp.ipv6.org/pub/rfc/rfc2460.txt, December 1998.
[10]
D. Dor, S. Halperin, and U. Zwick. All pairs almost shortest paths. SIAM Journal on Computing, 29:1740-1759, 2000.
[11]
T. Eilam, C. Gavoille, and D. Peleg. Compact routing schemes with low stretch factor. In Proceedings of the 17th Annual ACM Symposium on Principles of Distributed Computing, Puerto Vallarta, Mexico, pages 11-20, 1998.
[12]
P. Erdos. Extremal problems in graph theory. In Theory of Graphs and its Applications (Proc. Sympos. Smolenice, 1963), pages 29-36. Publ. House Czechoslovak Acad. Sci., Prague, 1964.
[13]
M. Faloutsos, P. Faloutsos, and C. Faloutsos. On power-law relationships of the internet topology. In Proc. ACM SIGCOMM'99: Conf. Applications, Technologies, Architectures, and Protocols for Computer Communications, pages 251-262, 1999.
[14]
P. Fraigniaud and C. Gavoille. Memory requirements for univesal routing schemes. In Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing, Ontario, Canada, pages 223-230, 1995.
[15]
P. Fraigniaud and C. Gavoille. Interval routing schemes. Algorithmica, 21(2):155-182, 1998.
[16]
M. Fredman, J. Koml~s, and E. Szemer~di. Storing a sparse table with O(1) worst case access time. Journal of the ACM, 31:538-544, 1984.
[17]
C. Gavoille. A survey on interval routing. Theoretical Computer Science, 245(2):217-253, 2000.
[18]
C. Gavoille. Personal communication at SODA, 2001.
[19]
C. Gavoille and M. Gengler. Space-efficiency of routing schemes of stretch factor three. Journal of Parallel and Distributed Computing, 2000. To appear.
[20]
C. Gavoille and S. P~renn~s. Memory requirements for routing in distributed networks. In Proceedings of the 15th Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, pages 125-133, 1996.
[21]
B. Kernighan and D. Ritchie. The C programming language. Prentice Hall, second edition, 1988.
[22]
D. Peleg. Distributed computing - A locality-sensitive approach. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2000.
[23]
D. Peleg and E. Upfal. A trade-off between space and efficiency for routing tables. Journal of the ACM, 36(3):510-530, 1989.
[24]
N. Santoro and R. Khatib. Labelling and implicit routing in networks. The Computer Journal, 28(1):5-8, 1985.
[25]
M. Thorup and U. Zwick. Approximate distance oracles. In Proceedings of the 33th Annual ACM Symposium on Theory of Computing, Crete, Greece, 2001. To appear.
[26]
P. van Emde Boas. Preserving order in a forest in less than logarithmic time and linear space. Information Processing Letters, 6(3):80-82, 1977.
[27]
P. van Emde Boas, R. Kaas, and E. Zijlstra. Design and implementation of an efficient priority queue. Math. Syst. Theory, 10:99-127, 1977.
[28]
J. van Leeuwen and R. Tan. Computer networks with compact routing tables. In G. Rozemberg and A. Salomaa, editors, The book of L, pages 259-273. Springer-Verlag, 1986.

Cited By

View all

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
SPAA '01: Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures
July 2001
340 pages
ISBN:1581134096
DOI:10.1145/378580
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 ACM 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: 03 July 2001

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

SPAA01

Acceptance Rates

SPAA '01 Paper Acceptance Rate 34 of 93 submissions, 37%;
Overall Acceptance Rate 447 of 1,461 submissions, 31%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)167
  • Downloads (Last 6 weeks)41
Reflects downloads up to 11 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2024)An artificial bee colony algorithm for the minimum edge-dilation K-center problemSoft Computing10.1007/s00500-023-09509-728:13-14(8497-8511)Online publication date: 11-Jul-2024
  • (2024)Distance Labeling for Families of CyclesSOFSEM 2024: Theory and Practice of Computer Science10.1007/978-3-031-52113-3_33(471-484)Online publication date: 7-Feb-2024
  • (2023)Towards a Compact Routed InternetProceedings of the on CoNEXT Student Workshop 202310.1145/3630202.3630226(13-14)Online publication date: 8-Dec-2023
  • (2023)Brief Announcement: Distributed Construction of Near-Optimal Compact Routing Schemes for Planar GraphsProceedings of the 2023 ACM Symposium on Principles of Distributed Computing10.1145/3583668.3594561(67-70)Online publication date: 19-Jun-2023
  • (2023)Secure Computation Meets Distributed Universal Optimality2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS57990.2023.00144(2336-2368)Online publication date: 6-Nov-2023
  • (2023)Approximate distance oracles with improved stretch for sparse graphsTheoretical Computer Science10.1016/j.tcs.2022.11.016943(89-101)Online publication date: Jan-2023
  • (2023)An Iterated Local Search for the Minimum Edge-Dilation K-Center ProblemSN Computer Science10.1007/s42979-023-02226-w4:6Online publication date: 12-Oct-2023
  • (2023)Labelings vs. Embeddings: On Distributed and Prioritized Representations of DistancesDiscrete & Computational Geometry10.1007/s00454-023-00565-2Online publication date: 15-Sep-2023
  • (2022)Deterministic Distributed Sparse and Ultra-Sparse Spanners and Connectivity CertificatesProceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures10.1145/3490148.3538565(1-10)Online publication date: 11-Jul-2022
  • (2022)Shorter Labeling Schemes for Planar GraphsSIAM Journal on Discrete Mathematics10.1137/20M133046436:3(2082-2099)Online publication date: 1-Jan-2022
  • Show More Cited By

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