Simple and Practically Efficient Fault-tolerant 2-hop Cover Labelings

A labeling scheme is a method to retrieve some global property of a graph by exploiting (in a distributed fashion) the information stored, in the form of (short) labels, at its vertices. A classic question in the area is that of labeling the vertices in order to infer the distance between any pair of them, or alternatively to retrieve a corresponding shortest path. On such purpose, among the various solutions, a 2-hop cover distance/path-reporting labeling scheme is based on the idea of representing the shortest paths in a graph as the concatenation at an intermediate so-called hub vertex of the two shortest paths emanating from the corresponding end vertices. The difficult point here is to find a small-size set of hub vertices covering a shortest path for each pair of vertices in the graph, since in this way the corresponding labeling will be compact, but practical efficient solutions are known in the literature. In this paper, we present a simple and efficient way of enriching this successful scheme in order to make it resilient to the failure of a subset of at most k ≥ 1 edges in the graph, by exploiting the notion of so-called edge-independent spanning trees. Depending on k, we provide different strategies and analyze the corresponding performances. In addition, to assess the practical effectiveness of our method, we provide an experimental evaluation, conducted for the case k = 1. Our data confirms the new method to be really competitive when compared with the performance of the benchmark non-fault-tolerant scheme, equipped with a point-of-failure rerouting policy.

[1]  Alon Itai,et al.  The Multi-Tree Approach to Reliability in Distributed Networks , 1988, Inf. Comput..

[2]  Mattia D'Emidio,et al.  A Speed-Up Technique for Distributed Shortest Paths Computation , 2011, ICCSA.

[3]  Mattia D'Emidio,et al.  A loop-free shortest-path routing algorithm for dynamic networks , 2014, Theor. Comput. Sci..

[4]  S. N. Maheshwari,et al.  Finding Nonseparating Induced Cycles and Independent Spanning Trees in 3-Connected Graphs , 1988, J. Algorithms.

[5]  Chen-Nee Chuah,et al.  Analysis of link failures in an IP backbone , 2002, IMW '02.

[6]  Berthier A. Ribeiro-Neto,et al.  Efficient search ranking in social networks , 2007, CIKM '07.

[7]  Takuya Akiba,et al.  Fast exact shortest-path distance queries on large networks by pruned landmark labeling , 2013, SIGMOD '13.

[8]  Lei Chen,et al.  Distance-Aware Selective Online Query Processing Over Large Distributed Graphs , 2016, Data Science and Engineering.

[9]  Nicola Santoro Design and Analysis of Distributed Algorithms (Wiley Series on Parallel and Distributed Computing) , 2006 .

[10]  Xingxing Yu,et al.  Finding Four Independent Trees , 2006, SIAM J. Comput..

[11]  Andrew V. Goldberg,et al.  Robust Distance Queries on Massive Networks , 2014, ESA.

[12]  Mattia D'Emidio,et al.  Fully Dynamic Maintenance of Arc-Flags in Road Networks , 2012, SEA.

[13]  Mattia D'Emidio,et al.  Path-Fault-Tolerant Approximate Shortest-Path Trees , 2015, SIROCCO.

[14]  Mattia D'Emidio,et al.  Engineering graph-based models for dynamic timetable information systems , 2017, J. Discrete Algorithms.

[15]  Stefano Leucci,et al.  Multiple-Edge-Fault-Tolerant Approximate Shortest-Path Trees , 2016, STACS.

[16]  Andrew V. Goldberg,et al.  Route Planning in Transportation Networks , 2015, Algorithm Engineering.

[17]  Robert E. Tarjan,et al.  A Note on Finding Minimum-Cost Edge-Disjoint Spanning Trees , 1985, Math. Oper. Res..

[18]  Quan Z. Sheng,et al.  SIEF: Efficiently Answering Distance Queries for Failure Prone Graphs , 2015, EDBT.

[19]  Mattia D'Emidio,et al.  Distance Queries in Large-Scale Fully Dynamic Complex Networks , 2016, IWOCA.

[20]  Edith Cohen,et al.  Reachability and distance queries via 2-hop labels , 2002, SODA '02.

[21]  K. Menger Zur allgemeinen Kurventheorie , 1927 .