Space-efficient routing tables for almost all networks and the incompressibility method

被引:7
作者
Buhrman, H
Hoepman, JH
Vitányi, P
机构
[1] Ctr Wiskunde & Informat, NL-1098 SJ Amsterdam, Netherlands
[2] Univ Twente, Dept Comp Sci, NL-7500 AE Enschede, Netherlands
关键词
computer networks; routing algorithms; compact routing tables; Kolmogorov complexity; incompressibility method; random graphs; average-case complexity; space complexity;
D O I
10.1137/S0097539796308485
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We use the incompressibility method based on Kolmogorov complexity to determine the total number of bits of routing information for almost all network topologies. In most models for routing, for almost all labeled graphs, Theta(n(2)) bits are necessary and sufficient for shortest path routing. By "almost all graphs" we mean the Kolmogorov random graphs which constitute a fraction of 1 ? 1/n(c) of all graphs on n nodes, where c > 0 is an arbitrary fixed constant. There is a model for which the average case lower bound rises to Omega(n(2) log n) and another model where the average case upper bound drops to O(n log(2) n). This clearly exposes the sensitivity of such bounds to the model under consideration. If paths have to be short, but need not be shortest (if the stretch factor may be larger than 1), then much less space is needed on average, even in the more demanding models. Full-information routing requires Theta(n(3)) bits on average. For worst-case static networks we prove an Omega(n(2) log n) lower bound for shortest path routing and all stretch factors < 2 in some networks where free relabeling is not allowed.
引用
收藏
页码:1414 / 1432
页数:19
相关论文
共 10 条
[1]   FAST PROBABILISTIC ALGORITHMS FOR HAMILTONIAN CIRCUITS AND MATCHINGS [J].
ANGLUIN, D ;
VALIANT, LG .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 18 (02) :155-193
[2]  
BUHRMAN HM, IN PRESS SIAM J COMP
[3]  
FLAMMINI M, 1995, LECT NOTES COMPUTER, V969, P37
[4]  
Fraigniaud P., 1995, Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, P223, DOI 10.1145/224964.224989
[5]  
Gavoille C., 1996, Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, P125, DOI 10.1145/248052.248075
[6]   3 APPROACHES TO QUANTITATIVE DEFINITION OF INFORMATION [J].
KOLMOGOROV, AN .
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1968, 2 (02) :157-+
[7]  
KRANAKIS E, 1996, LECT NOTES COMPUTER, V1046, P529
[8]  
KRANAKIS E, 1996, P 2 INT C STRUCT INF, V2, P101
[9]  
LI M, 1997, INTRO KOLMOGOROV COM
[10]   A TRADE-OFF BETWEEN SPACE AND EFFICIENCY FOR ROUTING TABLES [J].
PELEG, D ;
UPFAL, E .
JOURNAL OF THE ACM, 1989, 36 (03) :510-530