Rank Reduction of Directed Graphs by Vertex and Edge Deletions

In this paper we continue our study of graph modification problems defined by reducing the rank of the adjacency matrix of the given graph, and extend our results from undirected graphs to directed graphs. An instance of a graph modification problem takes as input a graph G, a positive integer k and the objective is to delete k vertices (edges) so that the resulting graph belongs to a particular family, \(\mathcal F\), of graphs. Given a fixed positive integer r, we define \(\mathcal{F}_r\) as the family of directed graphs where for each \(G\in \mathcal{F}_r\), the rank of the adjacency matrix of G is at most r. Using the family \(\mathcal{F}_r\) we do algorithmic study, both in classical and parameterized complexity, of the following graph modification problems: \(r\)-Rank Vertex Deletion, \(r\)-Rank Edge Deletion. We first show that both the problems are NP-Complete. Then we show that these problems are fixed parameter tractable (FPT) by designing an algorithm with running time \(2^{\mathcal{O}(k \log r)}n^{\mathcal{O}(1)}\) for \(r\)-Rank Vertex Deletion, and an algorithm for \(r\)-Rank Edge Deletion running in time \(2^{\mathcal{O}(f(r) \sqrt{k} \log k )}n^{\mathcal{O}(1)}\). We complement our FPT result by designing polynomial kernels for these problems. Our main structural result, which is the fulcrum of all our algorithmic results, is that for a fixed integer r the size of any “reduced graph” in \(\mathcal{F}_r\) is upper bounded by \(3^r\). This result is of independent interest and generalizes a similar result of Kotlov and Lovasz regarding reduced undirected graphs of rank r.

[1]  Faisal N. Abu-Khzam,et al.  A kernelization algorithm for d-Hitting Set , 2010, J. Comput. Syst. Sci..

[2]  Fedor V. Fomin,et al.  Subexponential parameterized algorithm for minimum fill-in , 2011, SODA.

[3]  László Lovász,et al.  The rank and size of graphs , 1996 .

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

[5]  Yixin Cao Unit Interval Editing is Fixed-Parameter Tractable , 2015, ICALP.

[6]  Yixin Cao,et al.  Interval Deletion Is Fixed-Parameter Tractable , 2012, SODA.

[7]  Yixin Cao,et al.  Chordal Editing is Fixed-Parameter Tractable , 2014, Algorithmica.

[8]  Saket Saurabh,et al.  Reducing Rank of the Adjacency Matrix by Graph Modification , 2015, COCOON.

[9]  Blair D. Sullivan,et al.  On the Threshold of Intractability , 2015, ESA.

[10]  René Peeters,et al.  The maximum edge biclique problem is NP-complete , 2003, Discret. Appl. Math..

[11]  Michal Pilipczuk,et al.  Parameterized Algorithms , 2015, Springer International Publishing.

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

[13]  Toshihiro Fujito,et al.  A unified approximation algorithm problems ” , 1998 .

[14]  Michal Pilipczuk,et al.  Exploring Subexponential Parameterized Complexity of Completion Problems , 2013, STACS.

[15]  Mihalis Yannakakis,et al.  Node-and edge-deletion NP-complete problems , 1978, STOC.

[16]  Fahad Panolan,et al.  Faster Parameterized Algorithms for Deletion to Split Graphs , 2012, Algorithmica.

[17]  Yixin Cao,et al.  Linear Recognition of Almost Interval Graphs , 2014, SODA.

[18]  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.

[19]  Meena Mahajan,et al.  On the Complexity of Matrix Rank and Rigidity , 2007, Theory of Computing Systems.

[20]  Michal Pilipczuk,et al.  A Subexponential Parameterized Algorithm for Proper Interval Completion , 2014, ESA.

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

[22]  Carsten Lund,et al.  On the hardness of approximating minimization problems , 1994, JACM.

[23]  Michal Pilipczuk,et al.  A Polynomial Kernel for Trivially Perfect Editing , 2015, ESA.

[24]  Fedor V. Fomin,et al.  Subexponential parameterized algorithm for interval completion , 2016, SODA 2016.

[25]  Barry O'Sullivan,et al.  Finding small separators in linear time via treewidth reduction , 2011, TALG.