Abstract
Let \(G=(V,E)\) be a directed graph. A vertex \(v\in V\) (respectively an edge \(e\in E\)) is a strong articulation point (respectively a strong bridge) if its removal increases the number of strongly connected components of \(G\). We implement and engineer fast algorithms for computing all the strong articulation points and all the strong bridges of a directed graph, based on the linear-time algorithms presented in Italiano et al. (Theor Comput Sci 447:74–84, 2012). Our implementations are tested against real-world graphs taken from several application domains, including social networks, communication graphs, web graphs, peer2peer networks and product co-purchase graphs. The algorithms implemented turn out to be very efficient in practice, and are able to run on large scale graphs, i.e., on graphs with ten million vertices and half billion edges. Our experiments on such graphs highlight some properties of strong articulation points, which might be of independent interest.
Similar content being viewed by others
References
Aho, A.V., Hopcroft, J.E., Ullman, J.D.: On finding lowest common ancestors in trees. SIAM J. Comput. 5(1), 115–32 (1976)
Alstrup, S., Harel, D., Lauridsen, P.W., Thorup, M.: Dominators in linear time. SIAM J. Comput. 28(6), 2117–2132 (1999)
Beldiceanu, N., Flener, P., Lorca, X.: The tree constraint. In: Proceedings of the 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2005), vol. 3524 of LNCS, pp. 64–78. Springer, 30 May–June 1 (2005)
Boldi, P., Vigna, S.: The WebGraph framework I: compression techniques. In: Proceedings of the Thirteenth International World Wide Web Conference (WWW 2004), Manhattan, USA, pp. 595–601. ACM Press (2004)
Buchsbaum, A.L., Georgiadis, L., Kaplan, H., Rogers, A., Tarjan, R.E., Westbrook, J.R.: Linear-time algorithms for dominators and other path-evaluation problems. SIAM J. Comput. 38(4), 1533–1573 (2008)
Buchsbaum, A.L., Kaplan, H., Rogers, A., Westbrook, J.R.: A new, simpler linear-time dominators algorithm. ACM Trans. Program. Lang. Syst. 20(6), 1265–1296 (1998). Corrigendum in 27(3):383–387 (2005)
Cooper, K.D., Harvey, T.J., Kennedy, K.: A simple, fast dominance algorithm. Softw. Pract. Exp. 4, 110 (2001)
Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press, London (2009)
Firmani, D., Italiano, G.F., Laura, L., Orlandi, A., Santaroni, F.: Computing strong articulation points and strong bridges in large scale graphs. In: Proceedings of the 11th International Symposium on Experimental Algorithms (SEA), pp. 195–207 (2012)
Gabow, H.N., Tarjan, R.E.: A linear-time algorithm for a special case of disjoint set union. J. Comput. Syst. Sci. 30(2), 209–221 (1985)
Georgiadis, L.: Testing 2-vertex connectivity and computing pairs of vertex-disjoint s-t paths in digraphs. In: ICALP 10: Proceedings of the 37th International Colloquium on Automata, Languages and Programming, pp. 433–442 (2010)
Georgiadis, L., Laura, L., Parotsidis, N., Tarjan, R.E.: Dominator certification and independent spanning trees: an experimental study. In: Proceedings of the 12th International Symposium on Experimental Algorithms (SEA), pp. 284–295. Springer (2013)
Georgiadis, L., Laura, L., Parotsidis, N., Tarjan, R.E.: Loop nesting forests, dominators, and applications. In: Proceedings of the 13th International Symposium on Experimental Algorithms (SEA), pp. 174–186. Springer (2014)
Georgiadis, L., Tarjan, R.E.: Finding dominators revisited. In: Proceedings of the 15th ACM-SIAM Symposium on Discrete Algorithms, pp. 862–871 (2004)
Georgiadis, L., Tarjan, R.E.: Dominator tree verification and vertex-disjoint paths. In: Proceedings of the 16th ACM-SIAM Symposium on Discrete Algorithms, pp. 433–442 (2005)
Georgiadis, L., Tarjan, R.E.: Dominators, directed bipolar orders, and independent spanning trees. In: Proceedings of the 39th International Colloquium on Automata, Languages, and Programming (ICALP), pp. 375–386. Springer (2012)
Georgiadis, L., Tarjan, R.E., Werneck, R.F.F.: Finding dominators in practice. J. Graph Algorithms Appl. 10(1), 69–94 (2006)
Italiano, G.F., Laura, L., Santaroni, F.: Finding strong bridges and strong articulation points in linear time. Theor. Comput. Sci. 447, 74–84 (2012)
Lengauer, T., Tarjan, R.E.: A fast algorithm for finding dominators in a flowgraph. ACM Trans. Program. Lang. Syst. 1(1), 121–141 (1979)
Mislove, A., Marcon, M., Gummadi, K.P., Druschel, P., Bhattacharjee, B.: Measurement and analysis of online social networks. In: Proceedings of the 7th ACM SIGCOMM Conference on Internet Measurement, IMC’07, New York, NY, USA, pp. 29–42. ACM (2007)
SNAP: Stanford Network Analysis Project. http://snap.stanford.edu/
Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146–59 (1972)
Tarjan, R.E.: Edge-Disjoint Spanning Trees, Dominators, and Depth-First Search. Technical report, Stanford University, Stanford, CA (1974)
Tarjan, R.E.: Efficiency of a good but not linear set union algorithm. J. ACM 22(2), 215–225 (1975)
Tarjan, R.E.: Edge-disjoint spanning trees and depth-first search. Acta Inf. 6, 171–185 (1976)
Tarjan, R.E.: Applications of path compression on balanced trees. J. ACM 26(4), 690–715 (1979)
The WebGraph Framework Home Page. http://webgraph.dsi.unimi.it/
Volkmann, L.: Restricted arc-connectivity of digraphs. Inf. Process. Lett. 103(6), 234–239 (2007)
Acknowledgments
We are indebted to the anonymous referees for their useful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Portions of this paper were presented in a preliminary version at the 11th International Symposium on Experimental Algorithms [9].
Partially supported by MIUR, the Italian Ministry of Education, University and Research, under Project AMANDA (Algorithmics for MAssive and Networked DAta).
Rights and permissions
About this article
Cite this article
Firmani, D., Georgiadis, L., Italiano, G.F. et al. Strong Articulation Points and Strong Bridges in Large Scale Graphs. Algorithmica 74, 1123–1147 (2016). https://doi.org/10.1007/s00453-015-9991-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-015-9991-z