Egerváry Research Group on Combinatorial Optimization Primal-dual Approach for Directed Vertex Connectivity Augmentation and Generalizations Primal-dual Approach for Directed Vertex Connectivity Augmentation and Generalizations

In their seminal paper, Frank and Jordán show that a large class of optimization problems including certain directed edge augmentation ones fall into the class of covering supermodular functions over pairs of sets. They also give an algorithm for such problems, however that relies on the ellipsoid method. Prior to our result, combinatorial algorithms existed only for the 0-1 valued problem. Our key result is a combinatorial algorithm for the general problem that includes directed vertex or S - T connectivity augmentation. The algorithm is based on the second author's previous algorithm for the 0-1 valued case.Our algorithm uses a primal-dual scheme for finding covers of partially ordered sets that satisfy natural abstract properties as in Frank and Jordán. For an initial (possibly greedy) cover the algorithm searches for witnesses for the necessity of each element in the cover. If no two (weighted) witnesses have a common cover, the solution is optimal. As long as this is not the case, the witnesses are gradually exchanged by smaller ones. Each witness change defines an appropriate change in the solution; these changes are finally unwound in a shortest path manner to obtain a solution of size one less.

[1]  D. R. Fulkerson,et al.  Flows in Networks. , 1964 .

[2]  Richard M. Karp,et al.  A n^5/2 Algorithm for Maximum Matchings in Bipartite Graphs , 1971, SWAT.

[3]  Richard M. Karp,et al.  A n^5/2 Algorithm for Maximum Matchings in Bipartite Graphs , 1971, SWAT.

[4]  Martin Grötschel,et al.  The ellipsoid method and its consequences in combinatorial optimization , 1981, Comb..

[5]  Daniel J. Kleitman,et al.  An Algorithm for Covering Polygons with Rectangles , 1986, Inf. Control..

[6]  Ervin Györi,et al.  A minimax theorem on intervals , 1984, J. Comb. Theory, Ser. B.

[7]  Guo-Ray Cai,et al.  The minimum augmentation of any graph to a K-edge-connected graph , 1989, Networks.

[8]  András Frank Augmenting Graphs to Meet Edge-Connectivity Requirements , 1992, SIAM J. Discret. Math..

[9]  Ravindra K. Ahuja,et al.  Network Flows: Theory, Algorithms, and Applications , 1993 .

[10]  Tibor Jordán,et al.  Incresing the Vertex-Connectivity in Directed Graphs , 1993, ESA.

[11]  Harold N. Gabow,et al.  Efficient splitting off algorithms for graphs , 1994, STOC '94.

[12]  Tibor Jordán,et al.  On the Optimal Vertex-Connectivity Augmentation , 1995, J. Comb. Theory B.

[13]  András Frank,et al.  Minimal Edge-Coverings of Pairs of Sets , 1995, J. Comb. Theory B.

[14]  David P. Williamson,et al.  Primal-Dual Approximation Algorithms for Integral Flow and Multicut in Trees, with Applications to Matching and Set Cover , 1993, ICALP.

[15]  Donald E. Knuth Irredundant intervals , 1996, JEAL.

[16]  András Frank,et al.  Finding minimum weighted generators of a path system , 1997, Contemporary Trends in Discrete Mathematics.

[17]  David R. Karger,et al.  Augmenting undirected edge connectivity in Õ(n2) time , 2000, SODA '98.

[18]  David R. Karger,et al.  Finding maximum flows in undirected graphs seems easier than bipartite matching , 1998, STOC '98.

[19]  András A. Benczúr,et al.  Parallel and fast sequential algorithms for undirected edge connectivity augmentation , 1999, Math. Program..

[20]  Tibor Jordán,et al.  Directed vertex-connectivity augmentation , 1999, Math. Program..

[21]  András A. Benczúr,et al.  Dilworth's Theorem and Its Application for Path Systems of a Cycle - Implementation and Analysis , 1999, ESA.

[22]  András Frank,et al.  Finding Minimum Generators of Path Systems' , 1999, J. Comb. Theory, Ser. B.

[23]  Bill Jackson,et al.  Independence free graphs and vertex connectivity augmentation , 2001, J. Comb. Theory, Ser. B.

[24]  András A. Benczúr,et al.  Pushdown-reduce: an algorithm for connectivity augmentation and poset covering problems , 2003, Discret. Appl. Math..

[25]  Bill Jackson,et al.  Independence free graphs and vertex connectivity augmentation , 2005, J. Comb. Theory, Ser. B.