Editing Graphs Into Few Cliques: Complexity, Approximation, and Kernelization Schemes

Given an undirected graph G and a positive integer k, the NP-hard Sparse Split Graph Editing problem asks to transform G into a graph that consists of a clique plus isolated vertices by performing at most k edge insertions and deletions; similarly, the \(P_3\)-Bag Editing problem asks to transform G into a graph which is the union of two possibly overlapping cliques. We give a simple linear-time 3-approximation algorithm for Sparse Split Graph Editing, an improvement over a more involved known factor-3.525 approximation. Further, we show that \(P_3\)-Bag Editing is NP-complete. Finally, we present a kernelization scheme for both problems and additionally for the 2-Cluster Editing problem. This scheme produces for each fixed \(\varepsilon \) in polynomial time a kernel of order \(\varepsilon k\). This is, to the best of our knowledge, the first example of a kernelization scheme that converges to a known lower bound.

[1]  Jiong Guo,et al.  A More Effective Linear Kernelization for Cluster Editing , 2007, ESCAPE.

[2]  Pavol Hell,et al.  Graph partitions with prescribed patterns , 2014, Eur. J. Comb..

[3]  Martin G. Everett,et al.  Models of core/periphery structures , 2000, Soc. Networks.

[4]  Wing Xie,et al.  Obstructions to Trigraph Homomorphisms , 2006 .

[5]  David S. Johnson,et al.  Some Simplified NP-Complete Graph Problems , 1976, Theor. Comput. Sci..

[6]  Michal Pilipczuk,et al.  Tight bounds for parameterized complexity of Cluster Editing with a small number of clusters , 2014, J. Comput. Syst. Sci..

[7]  Peter Damaschke,et al.  Editing Simple Graphs , 2014, J. Graph Algorithms Appl..

[8]  Monika Steinová,et al.  On the Clique Editing Problem , 2014, MFCS.

[9]  Henning Fernau,et al.  2 Contents , 1996 .

[10]  Pavol Hell,et al.  On realizations of point determining graphs, and obstructions to full homomorphisms , 2008, Discret. Math..

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

[12]  Michael R. Fellows,et al.  Fundamentals of Parameterized Complexity , 2013 .

[13]  Christian Komusiewicz,et al.  Cluster editing with locally bounded modifications , 2012, Discret. Appl. Math..

[14]  Peter L. Hammer,et al.  The splittance of a graph , 1981, Comb..

[15]  Leizhen Cai,et al.  Fixed-Parameter Tractability of Graph Modification Problems for Hereditary Properties , 1996, Inf. Process. Lett..

[16]  R. Sharan,et al.  Complexity classication of some edge modication problems , 1999 .

[17]  Fedor V. Fomin,et al.  Kernels for feedback arc set in tournaments , 2009, J. Comput. Syst. Sci..

[18]  Venkatesan Guruswami,et al.  Correlation clustering with a fixed number of clusters , 2005, SODA '06.

[19]  Stephen G. Hartke,et al.  Graph classes characterized both by forbidden subgraphs and degree sequences , 2008, J. Graph Theory.

[20]  Henning Fernau,et al.  Kernels: Annotated, Proper and Induced , 2006, IWPEC.

[21]  Roded Sharan,et al.  Complexity classification of some edge modification problems , 1999, Discret. Appl. Math..

[22]  Roded Sharan,et al.  Cluster graph modification problems , 2002, Discret. Appl. Math..

[23]  Bang Ye Wu,et al.  Parameterized Algorithms for the 2-Clustering Problem with Minimum Sum and Minimum Sum of Squares Objective Functions , 2013, Algorithmica.

[24]  Peter Damaschke,et al.  Editing the Simplest Graphs , 2014, WALCOM.