ABSTRACT
We analyze the properties of Small-World networks, where links are much more likely to connect "neighbor nodes" than distant nodes. In particular, our analysis provides new results for Kleinberg's Small-World model and its extensions. Kleinberg adds a number of directed long-range random links to an nxn lattice network (vertices as nodes of a grid, undirected edges between any two adjacent nodes). Links have a non-uniform distribution that favors arcs to close nodes over more distant ones. He shows that the following phenomenon occurs: between any two nodes a path with expected length O(log2n) can be found using a simple greedy algorithm which has no global knowledge of long-range links.We show that Kleinberg's analysis is tight: his algorithm achieves θ(log2n) delivery time. Moreover, we show that the expected diameter of the graph is θlog n), a log n factor smaller. We also extend our results to the general k-dimensional model. Our diameter results extend traditional work on the diameter of random graphs which largely focuses on uniformly distributed arcs. Using a little additional knowledge of the graph, we show that we can find shorter paths: with expected length O(log3/2n) in the basic 2-dimensional model and O(log1+1/k) in the general k-dimensional model (fork≥1).Finally, we suggest a general approach to analyzing a broader class of random graphs with non-uniform edge probabilities. Thus we show expected θ(log n) diameter results for higher dimensional grids, as well as settings with less uniform base structures: where links can be missing, where the probability can vary at different nodes, or where grid-related factors (e.g. the use of lattice distance) has a weaker role or is dismissed, and constraints (such as the uniformness of degree distribution) are relaxed.
- R. Albert, H. Jeong, A.-L. Barabasi, "The diameter of the World Wide Web" Nature 401, 130 (1999).Google ScholarCross Ref
- J. Aspnes, Z. Diamadi, G. Shah, "Fault-tolerant Routing in Peer-to-peer Systems", Proc. 22nd ACM Symp. on Princ. of Dist. Computing, 2002, p. 223--232. Google ScholarDigital Library
- L. Barriere, P. Fraigniaud, E. Kranakis, D. Krizanc, "Efficient Routing in Networks with Long Range Contacts", Proc. 15th Intr. Symp. on Dist. Computing, DISC 01, 2001, p. 270--284. Google ScholarDigital Library
- I. Benjamini and N. Berger, "The Diameter of a Long-Range Percolation Clusters on Finite Cycles" Random Structures and Algorithms, 19, 2:102--111 (2001). Google ScholarDigital Library
- B. Bollobas, "The Diameter of Random Graphs", IEEE Trans. Inform. Theory 36 (1990), no. 2, 285--288.Google Scholar
- B. Bollobas, F.R.K. Chung, "The diameter of a cycle plus a random matching", SIAM J. Discrete Math. 1,328 (1988). Google ScholarDigital Library
- B. Bollobas, Random Graphs (Academic Press, London, 1985).Google Scholar
- F. Chung and L. Lu, "The Diameter of Random Sparse Graphs", Advances in Applied Math. 26 (2001), 257--279. Google ScholarDigital Library
- D. Coppersmith, D. Gamarnik, and M. Sviridenko "The diameter of a long- range percolation graph", Random Structures and Algorithms, 21, 1:1--13 (2002). Google ScholarDigital Library
- P. Dodds, R. Muhamad, and D. Watts, "An experimental study of search in global social networks", Science, 301:827--829, 2003.Google ScholarCross Ref
- D. Kemper, J. Kleinberg, and A. Demers, "Spatial gossip and resource location protocols", in Proc. ACM Symp. Theory of Computing, 163--172, 2001. Google ScholarDigital Library
- P. Fraigniaud, C. Gavoille and Christophe Paul, "Eclecticism Shrinks the World", Technical Report LRI-1376, University Paris-Sud, Nov. 2003. Also, to appear in PODC 2004.Google Scholar
- J. Kleinberg, "Small-World Phenomena and the Dynamics of Information", in Advances in Neural Information Processing Systems (NIPS) 14, 2001.Google Scholar
- J. Kleinberg, "The Small-World Phenomenon: An Algorithmic Perspective", in Proc. 32nd ACM Symp. Theory of Computing, 163--170, 2000. Google ScholarDigital Library
- M. Kochen, Ed., The Small-World (Ablex, Norwood, 1989).Google Scholar
- E. Lebhar and N. Schabanel, "Almost optimal decentralized routing in long-range contact networks", to appear in ICALP 2004, 2004.Google Scholar
- G. S. Manku and M. Naor and U. Wieder, "Know Thy Neighbour's Neighbour: The Role of Lookahead in Randomized P2P Networks", Proc. 36th ACM Symposium on Theory of Computing (STOC 2004). Google ScholarDigital Library
- G. Manku, "Routing Networks for Distributed Hash Tables", Proc. 22nd ACM Symposium on Principles of Distributed Computing, PODC 2003, p. 133--142, June 2003. Google ScholarDigital Library
- Charles Martel and Van Nguyen, "The complexity of message delivery in Kleinberg's Small-world Model", Tech-Report CSE-2003-23, CS-UCDavis, 2003.Google Scholar
- D. Malkhi, M. Naor, D. Ratajczak, "Viceroy: A Scalable and Dynamic Emulation of the Butterfly", Proc. of the 21st ACM Symposium on Principles of Distributed Computing, 2002. Google ScholarDigital Library
- S. Milgram, "The small world problem" Psychology Today 1,61 (1967).Google Scholar
- D. Watts and S. Strogatz, "Collective Dynamics of small-world networks" Nature 393,440 (1998).Google ScholarCross Ref
- Xu, J., Kumar, A., and Yu, X., "On the Fundamental Tradeoffs between Routing Table Size and Network Diameter in Peer-to-Peer Networks", accepted to IEEE Journal on Selected Areas in Communications. Google ScholarDigital Library
- S. Yook, H. Jeong, A.-L. Barabasi, "Modeling the Internet's large-scale topology", Proceedings of the National Academy of Sciences, 99:13382--13386, 2002.Google ScholarCross Ref
- H. Zhang, A. Goel and R. Gividan, "Using the Small-World Model to Improve Freenet Performance" Proc. IEEE Infocom, 2002. Google ScholarDigital Library
Index Terms
- Analyzing Kleinberg's (and other) small-world Models
Recommendations
Greedy routing in small-world networks with power-law degrees
In this paper we study decentralized routing in small-world networks that combine a wide variation in node degrees with a notion of spatial embedding. Specifically, we consider a variant of J. Kleinberg's grid-based small-world model in which (1) the ...
Domination in planar graphs with small diameter
MacGillivray and Seyffarth (J Graph Theory 22 (1996), 213–229) proved that planar graphs of diameter two have domination number at most three and planar graphs of diameter three have domination number at most ten. They also give examples of planar ...
Expected parallel time and sequential space complexity of graph and digraph problems
AbstractThis paper determines upper bounds on the expected time complexity for a variety of parallel algorithms for undirected and directed random graph problems. For connectivity, biconnectivity, transitive closure, minimum spanning trees, and all pairs ...
Comments