Approximating the Smallest 2-Vertex-Connected Spanning Subgraph via Low-High Orders
Let G = (V, E) be a 2-vertex-connected directed graph with m edges and n vertices. We consider the problem of approximating the smallest 2-vertex connected spanning subgraph (2VCSS) of G, and provide new efficient algorithms for this problem based on a clever use of low-high orders. The best previously known algorithms were able to compute a 3/2-approximation in O(m n+n 2) time, or a 3-approximation faster in linear time. In this paper, we present a linear-time algorithm that achieves a better approximation ratio of 2, and another algorithm that matches the previous 3/2-approximation in O(m n + n 2 ) time. We conducted a thorough experimental evaluation of all the above algorithms on a variety of input graphs. The experimental results show that both our two new algorithms perform well in practice. In particular, in our experiments the new 3/2-approximation algorithm was always faster than the previous 3/2-approximation algorithm, while their two approximation ratios were close. On the other side, our new linear-time algorithm yielded consistently better approximation ratios than the previously known linear-time algorithm, at the price of a small overhead in the running time.
2-vertex connectivity
approximation algorithms
directed graphs
9:1-9:16
Regular Paper
Loukas
Georgiadis
Loukas Georgiadis
Giuseppe F.
Italiano
Giuseppe F. Italiano
Aikaterini
Karanasiou
Aikaterini Karanasiou
10.4230/LIPIcs.SEA.2017.9
S. Alstrup, D. Harel, P. W. Lauridsen, and M. Thorup. Dominators in linear time. SIAM Journal on Computing, 28(6):2117-32, 1999.
S. Baswana, K. Choudhary, and L. Roditty. Fault tolerant reachability for directed graphs. In Yoram Moses, editor, Distributed Computing, volume 9363 of Lecture Notes in Computer Science, pages 528-543. Springer Berlin Heidelberg, 2015.
S. Baswana, K. Choudhary, and L. Roditty. Fault tolerant reachability subgraph: Generic and optimal. In Proc. Symposium on Theory of Computing, pages 509-518, 2016.
A. L. Buchsbaum, L. Georgiadis, H. Kaplan, A. Rogers, R. E. Tarjan, and J. R. Westbrook. Linear-time algorithms for dominators and other path-evaluation problems. SIAM Journal on Computing, 38(4):1533-1573, 2008.
J. Cheriyan and R. Thurimella. Approximating minimum-size k-connected spanning subgraphs via matching. SIAM J. Comput., 30(2):528-560, 2000.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451-490, 1991.
D. Delling, A. V. Goldberg, I. Razenshteyn, and R. F. Werneck. Graph partitioning with natural cuts. In 25th International Parallel and Distributed Processing Symposium (IPDPS'11), 2011.
C. Demetrescu, A. V. Goldberg, and D. S. Johnson. 9th DIMACS Implementation Challenge: Shortest Paths, 2007. URL: http://www.dis.uniroma1.it/~challenge9/.
http://www.dis.uniroma1.it/~challenge9/
J. Fakcharoenphol and B. Laekhanukit. An O(log²k)-approximation algorithm for the k-vertex connected spanning subgraph problem. In Proc. Symposium on Theory of Computing, STOC'08, pages 153-158, New York, NY, USA, 2008. ACM.
D. R. Ford and D. R. Fulkerson. Flows in Networks. Princeton University Press, Princeton, NJ, USA, 2010.
L. Georgiadis. Approximating the smallest 2-vertex connected spanning subgraph of a directed graph. In Proc. European Symposium on Algorithms, pages 13-24, 2011.
L. Georgiadis, G. F. Italiano, A. Karanasiou, C. Papadopoulos, and N. Parotsidis. Sparse subgraphs for 2-connectivity in directed graphs. In Proc. Symposium on Experimental Algorithms, (SEA 2016), pages 150-166, 2016.
L. Georgiadis, G. F. Italiano, C. Papadopoulos, and N. Parotsidis. Approximating the smallest spanning subgraph for 2-edge-connectivity in directed graphs. In Proc. European Symposium on Algorithms, pages 582-594, 2015.
L. Georgiadis and R. E. Tarjan. Dominator tree certification and divergent spanning trees. ACM Transactions on Algorithms, 12(1):11:1-11:42, November 2015.
L. Georgiadis and R. E. Tarjan. Addendum to "Dominator tree certification and divergent spanning trees". ACM Transactions on Algorithms, 12(4):56:1-56:3, August 2016.
L. Georgiadis, R. E. Tarjan, and R. F. Werneck. Finding dominators in practice. Journal of Graph Algorithms and Applications (JGAA), 10(1):69-94, 2006.
A. V. Goldberg and R. E. Tarjan. A new approach to the maximum-flow problem. Journal of the ACM, 35:921-940, October 1988.
J. E. Hopcroft and R. M. Karp. An n^5/2 algorithm for maximum matchings in bipartite graphs. SIAM Journal on Computing, 2:225-231, 1973.
G. F. Italiano, L. Laura, and F. Santaroni. Finding strong bridges and strong articulation points in linear time. Theoretical Computer Science, 447:74-84, 2012.
S. Khuller, B. Raghavachari, and N. E. Young. Approximating the minimum equivalent digraph. SIAM J. Comput., 24(4):859-872, 1995. Announced at SODA 1994, 177-186.
G. Kortsarz and Z. Nutov. Approximating minimum cost connectivity problems. Approximation Algorithms and Metaheuristics, 2007.
Jérôme Kunegis. KONECT: the Koblenz network collection. In 22nd International World Wide Web Conference, WWW'13, Rio de Janeiro, Brazil, May 13-17, 2013, Companion Volume, pages 1343-1350, 2013.
J. Leskovec and A. Krevl. SNAP Datasets: Stanford large network dataset collection. http://snap.stanford.edu/data, June 2014.
http://snap.stanford.edu/data
R. E. Tarjan. Depth-first search and linear graph algorithms. SIAM Journal on Computing, 1(2):146-160, 1972.
T. Tholey. Linear time algorithms for two disjoint paths problems on directed acyclic graphs. Theoretical Computer Science, 465:35-48, 2012.
J. Zhao and S. Zdancewic. Mechanized verification of computing dominators for formalizing compilers. In Proc. 2nd International Conference on Certified Programs and Proofs, pages 27-42. Springer, 2012.
L. Zhao, H. Nagamochi, and T. Ibaraki. A linear time 5/3-approximation for the minimum strongly-connected spanning subgraph problem. Information Processing Letters, 86(2):63-70, 2003.
Creative Commons Attribution 3.0 Unported license
https://creativecommons.org/licenses/by/3.0/legalcode