Universal augmentation schemes for network navigability

  • Authors:
  • Pierre Fraigniaud;Cyril Gavoille;Adrian Kosowski;Emmanuelle Lebhar;Zvi Lotker

  • Affiliations:
  • CNRS and University Paris Diderot, 75205 Paris, France;University of Bordeaux, 33405 Talence, France;Gdansk University of Technology, 80-952 Gdask Wrzeszcz, Poland;CNRS and University Paris Diderot, 75205 Paris, France;Ben Gurion University, Beer-Sheva, Israel

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2009

Quantified Score

Hi-index 5.23

Visualization

Abstract

Augmented graphs were introduced for the purpose of analyzing the ''six degrees of separation between individuals'' observed experimentally by the sociologist Standley Milgram in the 60's. We define an augmented graph as a pair (G,M) where G is an n-node graph with nodes labeled in {1,...,n}, and M is an nxn stochastic matrix. Every node u@?V(G) is given an extra link, called a long range link, pointing to some node v, called the long range contact of u. The head v of this link is chosen at random by Pr{u-v}=M"u","v. In augmented graphs, greedy routing is the oblivious routing process in which every intermediate node chooses from among all its neighbors (including its long range contact) the one that is closest to the target according to the distance measured in the underlying graph G, and forwards to it. The best augmentation scheme known so far ensures that, for any n-node graph G, greedy routing performs in O(n) expected number of steps. Our main result is the design of an augmentation scheme that overcomes the O(n) barrier. Precisely, we prove that for any n-node graph G whose nodes are arbitrarily labeled in {1,...,n}, there exists a stochastic matrix M such that greedy routing in (G,M) performs in O@?(n^1^/^3), where the O@? notation ignores the polylogarithmic factors. We prove additional results when the stochastic matrix M is universal to all graphs. In particular, we prove that the O(n) barrier can still be overcame for large graph classes even if the matrix M is universal. This however requires an appropriate labeling of the nodes. If the node labeling is arbitrary, then we prove that the O(n) barrier cannot be overcome with universal matrices.