Polylogarithmic Approximation Algorithms for Weighted-ℱ-deletion Problems

Let F be a family of graphs. A canonical vertex deletion problem corresponding to F is defined as follows: given an n-vertex undirected graph G and a weight function w : V (G)→ R, find a minimum weight subset S ⊆ V (G) such that G− S belongs to F . This is known as Weighted F Vertex Deletion problem. In this paper we devise a recursive scheme to obtain O(logO(1) n)-approximation algorithms for such problems, building upon the classic technique of finding balanced separators in a graph. Roughly speaking, our scheme applies to those problems, where an optimum solution S together with a well-structured set X, form a balanced separator of the input graph. In this paper, we obtain the first O(logO(1) n)approximation algorithms for the following vertex deletion problems. • We give an O(log n)-factor approximation algorithm for Weighted Chordal Vertex Deletion (WCVD), the vertex deletion problem to the family of chordal graphs. On the way to this algorithm, we also obtain a constant factor approximation algorithm for Multicut on chordal graphs. • We give an O(log n)-factor approximation algorithm for Weighted Distance Hereditary Vertex Deletion (WDHVD), also known as Weighted Rankwidth-1 Vertex Deletion (WR-1VD). This is the vertex deletion problem to the family of distance hereditary graphs, or equivalently, the family of graphs of rankwidth 1. Our methods also allow us to obtain in a clean fashion a O(log n)-approximation algorithm for the Weighted F Vertex Deletion problem when F is a minor closed family excluding at least one planar graph. For the unweighted version of the problem constant factor approximation algorithms are were known [Fomin et al., FOCS 2012], while for the weighted version considered here an O(log n log log n)-approximation algorithm follows from [Bansal et al. SODA 2017]. We believe that our recursive scheme can be applied to obtain O(logO(1) n)-approximation algorithms for many other problems as well. ∗The research leading to these results received funding from the European Research Council under the European Unions Seventh Framework Programme (FP/2007-2013) / ERC Grant Agreement no. 306992. †University of Bergen, Bergen, Norway. akanksha.agrawal@uib.no. ‡University of Bergen, Bergen, Norway. daniello@ii.uib.no. §Institute of Mathematical Sciences, Chennai, India. pranabendu@imsc.res.in. ¶University of Bergen, Bergen, Norway. The Institute of Mathematical Sciences HBNI, Chennai, India. saket@imsc.res.in. ‖University of Bergen, Bergen, Norway. meirav.zehavi@uib.no. ar X iv :1 70 7. 04 90 8v 1 [ cs .D S] 1 6 Ju l 2 01 7

[1]  Saket Saurabh,et al.  Feedback Vertex Set Inspired Kernel for Chordal Vertex Deletion , 2017, SODA.

[2]  Shuji Tsukiyama,et al.  A New Algorithm for Generating All the Maximal Independent Sets , 1977, SIAM J. Comput..

[3]  Fedor V. Fomin,et al.  Hitting Forbidden Minors: Approximation and Kernelization , 2010, SIAM J. Discret. Math..

[4]  Craig A. Tovey,et al.  Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families , 1992, Algorithmica.

[5]  Nikhil Bansal,et al.  LP-Based Robust Algorithms for Noisy Minor-Free and Bounded Treewidth Graphs , 2017, SODA.

[6]  Peter L. Hammer,et al.  Completely separable graphs , 1990, Discret. Appl. Math..

[7]  Sang-il Oum,et al.  Approximating rank-width and clique-width quickly , 2005, TALG.

[8]  John M. Lewis,et al.  The Node-Deletion Problem for Hereditary Properties is NP-Complete , 1980, J. Comput. Syst. Sci..

[9]  James R. Lee,et al.  Improved approximation algorithms for minimum-weight vertex separators , 2005, STOC '05.

[10]  Samuel Fiorini,et al.  Hitting Diamonds and Growing Cacti , 2009, IPCO.

[11]  Éva Tardos,et al.  Algorithm design , 2005 .

[12]  Neil Robertson,et al.  Graph Minors .XIII. The Disjoint Paths Problem , 1995, J. Comb. Theory B.

[13]  Mihalis Yannakakis,et al.  The Effect of a Connectivity Requirement on the Complexity of Maximum Subgraph Problems , 1979, JACM.

[14]  E. Howorka A CHARACTERIZATION OF DISTANCE-HEREDITARY GRAPHS , 1977 .

[15]  J. Moon,et al.  On cliques in graphs , 1965 .

[16]  B. Mohar,et al.  Graph Minors , 2009 .

[17]  Saket Saurabh,et al.  Polylogarithmic Approximation Algorithms for Weighted-$\mathcal{F}$-Deletion Problems , 2017, ArXiv.

[18]  Mihalis Yannakakis,et al.  Some Open Problems in Approximation , 1994, CIAC.

[19]  Reuven Bar-Yehuda,et al.  A Linear-Time Approximation Algorithm for the Weighted Vertex Cover Problem , 1981, J. Algorithms.

[20]  Leslie E. Trotter,et al.  Properties of vertex packing and independence system polyhedra , 1974, Math. Program..

[21]  Frank Thomson Leighton,et al.  Multicommodity max-flow min-cut theorems and their use in designing approximation algorithms , 1999, JACM.

[22]  Marcin Pilipczuk,et al.  Approximation and Kernelization for Chordal Vertex Deletion , 2016, SODA.

[23]  Fedor V. Fomin,et al.  Bidimensionality and EPTAS , 2010, SODA '11.

[24]  Reuven Bar-Yehuda,et al.  Approximation Algorithms for the Feedback Vertex Set Problem with Applications to Constraint Satisfaction and Bayesian Inference , 1998, SIAM J. Comput..

[25]  Bruno Courcelle,et al.  Upper bounds to the clique width of graphs , 2000, Discret. Appl. Math..

[26]  Carsten Lund,et al.  The Approximation of Maximum Subgraph Problems , 1993, ICALP.

[27]  Piotr Berman,et al.  A 2-Approximation Algorithm for the Undirected Feedback Vertex Set Problem , 1999, SIAM J. Discret. Math..

[28]  Martin Farber,et al.  On diameters and radii of bridged graphs , 1989, Discret. Math..

[29]  Paul D. Seymour,et al.  Graph minors. V. Excluding a planar graph , 1986, J. Comb. Theory B.

[30]  Georg Gottlob,et al.  Width Parameters Beyond Tree-width and their Applications , 2008, Comput. J..

[31]  Paul D. Seymour,et al.  Approximating clique-width and branch-width , 2006, J. Comb. Theory, Ser. B.

[32]  Fedor V. Fomin,et al.  Bidimensionality and geometric graphs , 2011, SODA.

[33]  Fedor V. Fomin,et al.  Planar F-Deletion: Approximation, Kernelization and Optimal FPT Algorithms , 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.

[34]  Mihalis Yannakakis,et al.  Approximate max-flow min-(multi)cut theorems and their applications , 1993, SIAM J. Comput..

[35]  Mohit Singh,et al.  Approximating the k-multicut problem , 2006, SODA '06.

[36]  Bruno Courcelle,et al.  Linear Time Solvable Optimization Problems on Graphs of Bounded Clique Width , 1998, WG.

[37]  Sang-il Oum,et al.  Rank-width and vertex-minors , 2005, J. Comb. Theory, Ser. B.

[38]  Reinhard Diestel,et al.  Graph Theory , 1997 .

[39]  Pasin Manurangsi,et al.  Losing Treewidth by Separating Subsets , 2019, SODA.

[40]  Eun Jung Kim,et al.  A Polynomial Kernel for Distance-Hereditary Vertex Deletion , 2016, Algorithmica.

[41]  M. Golumbic Algorithmic graph theory and perfect graphs , 1980 .

[42]  Dimitrios M. Thilikos,et al.  Bidimensionality and kernels , 2010, SODA '10.