Abstract
The 2-hop Cover labeling of a graph is currently the best data structure for answering shortest-path distance queries on large-scale networks, since it combines low query times, affordable space occupancy, and reasonable preprocessing effort. Its main limit resides in not being suited for dynamic networks since, after a network change, (1) queries on the distance can return incorrect values and (2) recomputing the labeling from scratch yields unsustainable time overhead.
In this article, we overcome this limit by introducing the first decremental algorithm able to update 2-hop Cover labelings under node/edge removals and edge weight increases. We prove the new algorithm to be (1) correct, i.e., after each update operation queries on the updated labeling return exact values; (2) efficient with respect to the number of nodes that change their distance as a consequence of a graph update; and (3) able to preserve the minimality of the labeling, a desirable property that impacts on both query time and space occupancy.
Furthermore, we provide an extensive experimental study to demonstrate the effectiveness of the new method. We consider it both alone and in combination with the unique known incremental approach (Akiba et al. 2014), thus obtaining the first fully dynamic algorithm for updating 2-hop Cover labelings under general graph updates. Our experiments show that the new dynamic algorithms are orders of magnitude faster than the from-scratch approach while at the same time being able to preserve the quality of the labeling in terms of query time and space occupancy, thus allowing one to employ the 2-hop Cover labeling approach in dynamic networks with practical performance.
- I. Abraham, D. Delling, A. V. Goldberg, and R. F. Werneck. 2012. Hierarchical hub labelings for shortest paths. In 20th European Symposium on Algorithms (ESA’12) (Lecture Notes in Computer Science), Vol. 7501. Springer, 24--35. Google ScholarDigital Library
- T. Akiba, Y. Iwata, and Y. Yoshida. 2013. Fast exact shortest-path distance queries on large networks by pruned landmark labeling. In International Conference on Management of Data (SIGMOD’13). ACM, 349--360. Google ScholarDigital Library
- T. Akiba, Y. Iwata, and Y. Yoshida. 2014. Dynamic and historical shortest-path distance queries on large evolving networks by pruned landmark labeling. In 23rd International World Wide Web Conference (WWW’14). ACM, 237--248. Google ScholarDigital Library
- R. Albert and A.-L. Barabási. 2002. Statistical mechanics of complex network. Reviews of Modern Physics 74 (2002), 47--97.Google ScholarCross Ref
- R. Bauer and D. Wagner. 2009. Batch dynamic single-source shortest-path algorithms: An experimental study. In 8th International Symposium on Experimental Algorithms (SEA’09) (Lecture Notes in Computer Science), Vol. 5526. Springer, 51--62. Google ScholarDigital Library
- S. Boccaletti, V. Latora, Y. Moreno, M. Chavez, and D.-U. Hwang. 2006. Complex networks: Structure and dynamics. Physics Reports 424, 4--5 (2006), 175--308.Google ScholarCross Ref
- F. Bruera, S. Cicerone, G. D’Angelo, G. Di Stefano, and D. Frigioni. 2008. Dynamic multi-level overlay graphs for shortest paths. Mathematics in Computer Science 1, 4 (2008), 709--736.Google ScholarCross Ref
- I. Chabini and S. Lan. 2002. Adaptations of the A* algorithm for the computation of fastest paths in deterministic discrete-time dynamic networks. IEEE Transactions on Intelligent Transportation Systems 3, 1 (2002), 60--74. Google ScholarDigital Library
- J. Cheng and J. X. Yu. 2009. On-line exact shortest distance query processing. In 12th International Conference on Extending Database Technology (EDBT’09). ACM, 481--492. Google ScholarDigital Library
- A. Cionini, G. D’Angelo, M. D’Emidio, D. Frigioni, K. Giannakopoulou, A. Paraskevopoulos, and C. D. Zaroliagis. 2014. Engineering graph-based models for dynamic timetable information systems. In 14th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS’14) (OASICS), Vol. 42. Schloss Dagstuhl, 46--61.Google Scholar
- A. Cionini, G. D’Angelo, M. D’Emidio, D. Frigioni, K. Giannakopoulou, A. Paraskevopoulos, and C. D. Zaroliagis. 2017. Engineering graph-based models for dynamic timetable information systems. Journal of Discrete Algorithms 46--47 (2017), 40--58.Google Scholar
- E. Cohen, E. Halperin, H. Kaplan, and U. Zwick. 2002. Reachability and distance queries via 2-hop labels. In 13th ACM-SIAM Symposium on Discrete Algorithms (SODA’02). ACM/SIAM, 937--946. Google ScholarDigital Library
- A. D’Andrea, M. D’Emidio, D. Frigioni, S. Leucci, and G. Proietti. 2013. Dynamically maintaining shortest path trees under batches of updates. In 20th International Colloquium on Structural Information and Communication Complexity (SIROCCO’13) (Lecture Notes in Computer Science), Vol. 8179. Springer, 286--297.Google Scholar
- A. D’Andrea, M. D’Emidio, D. Frigioni, S. Leucci, and G. Proietti. 2014. Experimental evaluation of dynamic shortest path tree algorithms on homogeneous batches. In 13th International Symposium on Experimental Algorithms (SEA’14) (Lecture Notes in Computer Science), Vol. 8504. Springer, 283--294. Google ScholarDigital Library
- A. D’Andrea, M. D’Emidio, D. Frigioni, S. Leucci, and G. Proietti. 2015. Dynamic maintenance of a shortest-path tree on homogeneous batches of updates: New algorithms and experiments. ACM Journal of Experimental Algorithmics 20 (2015), Article 1.5. Google ScholarDigital Library
- G. D’Angelo, M. D’Emidio, and D. Frigioni. 2014a. Fully dynamic update of arc-flags. Networks 63, 3 (2014), 243--259. Google ScholarDigital Library
- G. D’Angelo, M. D’Emidio, and D. Frigioni. 2014b. A loop-free shortest-path routing algorithm for dynamic networks. Theoretical Computer Science 516 (2014), 1--19. Google ScholarDigital Library
- G. D’Angelo, M. D’Emidio, and D. Frigioni. 2016. Distance queries in large-scale fully dynamic complex networks. In 27th International Workshop on Combinatorial Algorithms (IWOCA’16) (Lecture Notes in Computer Science), Vol. 9843. Springer, 109--121.Google Scholar
- G. D’Angelo, M. D’Emidio, D. Frigioni, and V. Maurizio. 2011. A speed-up technique for distributed shortest paths computation. In Computational Science and Its Applications (ICCSA’11) - International Conference. Proceedings, Part II (Lecture Notes in Computer Science), Vol. 6783. Springer, 578--593. Google ScholarDigital Library
- G. D’Angelo, M. D’Emidio, D. Frigioni, and C. Vitale. 2012. Fully dynamic maintenance of arc-flags in road networks. In 11th International Symposium on Experimental Algorithms (SEA’12) (Lecture Notes in Computer Science), Vol. 7276. Springer, 135--147. Google ScholarDigital Library
- D. Delling, A. V. Goldberg, T. Pajor, and R. F. Werneck. 2011. Customizable route planning. In 10th International Symposium on Experimental Algorithms (SEA’11) (Lecture Notes in Computer Science), Vol. 6630. Springer, 376--387. Google ScholarDigital Library
- D. Delling, A. V. Goldberg, T. Pajor, and R. F. Werneck. 2014a. Robust distance queries on massive networks. In 22th European Symposium on Algorithms (ESA’14) (Lecture Notes in Computer Science), Vol. 8737. Springer, 321--333.Google Scholar
- D. Delling, A. V. Goldberg, R. Savchenko, and R. F. Werneck. 2014b. Hub labels: Theory and practice. In 13th International Symposium on Experimental Algorithms (SEA’14) (Lecture Notes in Computer Science), Vol. 8504. Springer, 259--270. Google ScholarDigital Library
- D. Delling, G. F. Italiano, T. Pajor, and F. Santaroni. 2014c. Better transit routing by exploiting vehicle GPS data. In 7th SIGSPATIAL International Workshop on Computational Transportation Science (IWCTS’14). ACM, 31--40. Google ScholarDigital Library
- A. W.-C. Fu, H. Wu, J. Cheng, and R. C.-W. Wong. 2013. IS-label: An independent-set based labeling scheme for point-to-point distance querying. In Proceedings 39th International Conference on Very Large Databases (VLDB’13), 457--468. Google ScholarDigital Library
- R. Geisberger, P. Sanders, and D. Schultes. 2008. Better approximation of betweenness centrality. In 10th Workshop on Algorithm Engineering and Experiments (ALENEX’08). Society for Industrial and Applied Mathematics, 90--100. Google ScholarDigital Library
- L. Georgiadis, G. F. Italiano, L. Laura, and F. Santaroni. 2012. An experimental study of dynamic dominators. In 20th Annual European Symposium on Algorithms (ESA’12) (Lecture Notes in Computer Science), Vol. 7501. Springer, 491--502. Google ScholarDigital Library
- T. Hayashi, T. Akiba, and K. Kawarabayashi. 2016. Fully dynamic shortest-path distance query acceleration on massive networks. In 25th ACM International on Conference on Information and Knowledge Management (CIKM’16). ACM, 1533--1542. Google ScholarDigital Library
- Y. Hyun, B. Huffaker, D. Andersen, E. Aben, C. Shannon, M. Luckie, and K. C. Claffy. 2014. The CAIDA IPv4 Routed/24 Topology Dataset. Retrieved from http://www.caida.org/data/active/ipv4_routed_24_topology_dataset.xml.Google Scholar
- R. Jin, N. Ruan, Y. Xiang, and V. E. Lee. 2012. A highway-centric labeling approach for answering distance queries on large sparse graphs. In International Conference on Management of Data (SIGMOD’12). ACM, 445--456. Google ScholarDigital Library
- M. Potamias, F. Bonchi, C. Castillo, and A. Gionis. 2009. Fast shortest path distance estimation in large networks. In 18th ACM Conference on Information and Knowledge Management (CIKM’09). ACM, 867--876. Google ScholarDigital Library
- Y. Qin, Q. Z. Sheng, and W. E. Zhang. 2015. SIEF: Efficiently answering distance queries for failure prone graphs. In 18th International Conference on Extending Database Technology (EDBT’15). OpenProceedings.org, 145--156.Google Scholar
- M. V. Vieira, B. M. Fonseca, R. Damazio, P. Braz Golgher, D. Castro Reis, and B. A. Ribeiro-Neto. 2007. Efficient search ranking in social networks. In 16th Conference on Information and Knowledge Management (CIKM’07). ACM, 563--572. Google ScholarDigital Library
- F. Wei. 2010. TEDI: Efficient shortest path query answering on graphs. In International Conference on Management of Data (SIGMOD’10). ACM, 99--110. Google ScholarDigital Library
Index Terms
- Fully Dynamic 2-Hop Cover Labeling
Recommendations
Dynamic and historical shortest-path distance queries on large evolving networks by pruned landmark labeling
WWW '14: Proceedings of the 23rd international conference on World wide webWe propose two dynamic indexing schemes for shortest-path and distance queries on large time-evolving graphs, which are useful in a wide range of important applications such as real-time network-aware search and network evolution analysis. To the best ...
Fast fully dynamic labelling for distance queries
AbstractFinding the shortest-path distance between an arbitrary pair of vertices is a fundamental problem in graph theory. A tremendous amount of research has explored this problem, most of which is limited to static graphs. Due to the dynamic nature of ...
Fully Dynamic (2 + epsilon) Approximate All-Pairs Shortest Paths with Fast Query and Close to Linear Update Time
FOCS '09: Proceedings of the 2009 50th Annual IEEE Symposium on Foundations of Computer ScienceFor any fixed $1 > \eps > 0$ we present a fully dynamic algorithm for maintaining $(2 + \eps)$-approximate all-pairs shortest paths in undirected graphs with positive edge weights. We use a randomized (Las Vegas) update algorithm (but a deterministic ...
Comments