Optimal-stretch name-independent compact routing in doubling metrics

We consider the problem of name-independent routing in doubling metrics. A doubling metric is a metric space whose doubling dimension is a constant, where the doubling dimension of a metric space is the least value α such that any ball of radius <i>r</i> can be covered by at most 2<sup>α</sup> balls of radius <i>r</i>/2.Given any δ>0 and a weighted undirected network <i>G</i> whose shortest path metric <i>d</i> is a doubling metric with doubling dimension α, we present a name-independent routing scheme for <i>G</i> with (9+δ)-stretch, (2+1<over>δ)<sup>O(α)</sup> (log δ)<sup>2</sup> (log <i>n</i>)-bit routing information at each node, and packet headers of size <i>O</i>(log <i>n</i>), where δ is the ratio of the largest to the smallest shortest path distance in <i>G</i>.In addition, we prove that for any ε ∈ (0,8), there is a doubling metric network <i>G</i> with <i>n</i> nodes, doubling dimension α ≤ 6 - log ε, and Δ=<i>O</i>(2<sup>1/ε</sup><i>n</i>) such that any name-independent routing scheme on <i>G</i> with routing information at each node of size <i>o</i>(<i>n</i><sup>(ε/60)<sup>2</sup></sup>)-bits has stretch larger than 9-ε. Therefore assuming that Δ is bounded by a polynomial on <i>n</i>, our algorithm basically achieves optimal stretch for name-independent routing in doubling metrics with packet header size and routing information at each node both bounded by a polylogarithmic function of <i>n</i>.

[1]  Aleksandrs Slivkins Distance estimation and object location via rings of neighbors , 2006, Distributed Computing.

[2]  Robert Krauthgamer,et al.  Navigating nets: simple algorithms for proximity search , 2004, SODA '04.

[3]  Hui Zhang,et al.  Predicting Internet network distance with coordinates-based approaches , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[4]  D. Malkhi,et al.  LAND: stretch (1 + ε) locality-aware networks for DHTs , 2004, SODA '04.

[5]  Aleksandrs Slivkins,et al.  Distributed approaches to triangulation and embedding , 2005, SODA '05.

[6]  Jon M. Kleinberg,et al.  Triangulation and embedding using small sets of beacons , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[7]  Ittai Abraham,et al.  Compact Routing for Graphs Excluding a Fixed Minor , 2005, DISC.

[8]  Robert Krauthgamer,et al.  Measured Descent: A New Embedding Method for Finite Metrics , 2004, FOCS.

[9]  Baruch Awerbuch,et al.  Routing with Polynomial Communication-Space Trade-Off , 1992, SIAM J. Discret. Math..

[10]  Ittai Abraham,et al.  Name independent routing for growth bounded networks , 2005, SPAA '05.

[11]  Andrew V. Goldberg,et al.  Routing in Networks with Low Doubling Dimension , 2006, 26th IEEE International Conference on Distributed Computing Systems (ICDCS'06).

[12]  Sariel Har-Peled,et al.  Fast construction of nets in low dimensional metrics, and their applications , 2004, SCG.

[13]  David R. Karger,et al.  Finding nearest neighbors in growth-restricted metrics , 2002, STOC '02.

[14]  Kunal Talwar,et al.  Bypassing the embedding: algorithms for low dimensional metrics , 2004, STOC '04.

[15]  Robert Krauthgamer,et al.  Bounded geometries, fractals, and low-distortion embeddings , 2003, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..

[16]  Ittai Abraham,et al.  Object location using path separators , 2006, PODC '06.

[17]  Ittai Abraham,et al.  Compact routing on euclidian metrics , 2004, PODC '04.

[18]  Ittai Abraham,et al.  Routing with Improved Communication-Space Trade-Off , 2004, DISC.

[19]  Bruce M. Maggs,et al.  On hierarchical routing in doubling metrics , 2005, SODA '05.

[20]  Mikkel Thorup Compact oracles for reachability and approximate distances in planar digraphs , 2004, JACM.

[21]  David Peleg,et al.  Sparse communication networks and efficient routing in the plane , 2001, Distributed Computing.