An improved FPT algorithm for Almost Forest Deletion problem

Abstract Almost Forest Deletion problem (AFD) is a generalization of the Feedback Vertex Set problem, which decides whether there exist at most k vertices in a given graph G whose removal from G results in an l-forest, where k and l are two given non-negative integers, and an l-forest is a graph which can be transformed into a forest by deleting at most l edges. Based on the iterative compression technique, we study the iterative version of the AFD problem, called Almost Forest Deletion Disjoint Compression problem (AFDDC), which asks for a new l-forest deletion set X ′ of size at most k for a given graph G that is disjoint with a given l-forest deletion set X of graph G for two given non-negative integers k and l. For the AFDDC problem, we develop some reduction rules to simplify a given instance, and give a new branching algorithm for the problem. A new branching measure is presented to evaluate the efficiency of the algorithm, which results in an algorithm of running time O ⁎ ( 4 k + l ) . Based on the proposed algorithm for the AFDDC problem, a parameterized algorithm for the AFD problem with running time O ⁎ ( 5 k 4 l ) is presented, improving the previous result O ⁎ ( 5.0024 ( k + l ) ) .

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

[2]  Geevarghese Philip,et al.  On Parameterized Independent Feedback Vertex Set , 2012, Theor. Comput. Sci..

[3]  Michael R. Fellows,et al.  Parameterized Complexity , 1998 .

[4]  Jianer Chen,et al.  Deeper local search for parameterized and approximation algorithms for maximum internal spanning tree , 2017, Inf. Comput..

[5]  Rolf Niedermeier,et al.  Parameterized computational complexity of Dodgson and Young elections , 2010, Inf. Comput..

[6]  Fedor V. Fomin,et al.  Vertex Cover Structural Parameterization Revisited , 2016, WG.

[7]  Reuven Bar-Yehuda,et al.  Randomized Algorithms for the Loop Cutset Problem , 2000, J. Artif. Intell. Res..

[8]  Yota Otachi,et al.  A Faster Parameterized Algorithm for Pseudoforest Deletion , 2016, IPEC.

[9]  Jianer Chen,et al.  Improved algorithms for feedback vertex set problems , 2008, J. Comput. Syst. Sci..

[10]  Jianer Chen,et al.  Partition on trees with supply and demand: Kernelization and algorithms , 2017, Theor. Comput. Sci..

[11]  Jianxin Wang,et al.  Dealing with 4-Variables by Resolution: An Improved MaxSAT Algorithm , 2015, WADS.

[12]  Hiroshi Nagamochi,et al.  An Improved Exact Algorithm for Undirected Feedback Vertex Set , 2013, COCOA.

[13]  Geevarghese Philip,et al.  Generalized Pseudoforest Deletion: Algorithms and Uniform Kernel , 2015, MFCS.

[14]  Fedor V. Fomin,et al.  Finding a Minimum Feedback Vertex Set in Time O (1.7548n) , 2006, IWPEC.

[15]  Geevarghese Philip,et al.  FPT algorithms for Connected Feedback Vertex Set , 2009, Journal of Combinatorial Optimization.

[16]  Vishwani D. Agrawal,et al.  An exact algorithm for selecting partial scan flip-flops , 1995, J. Electron. Test..

[17]  Rolf Niedermeier,et al.  Invitation to Fixed-Parameter Algorithms , 2006 .

[18]  Hong Shen,et al.  Efficient Approximation Algorithms for Multi-Antennae Largest Weight Data Retrieval , 2015, IEEE Transactions on Mobile Computing.

[19]  M. P. J. Bart,et al.  Parameter ecology for Feedback Vertex Set , 2014 .

[20]  Jianer Chen,et al.  On Feedback Vertex Set: New Measure and New Structures , 2010, Algorithmica.

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

[22]  Saket Saurabh,et al.  Bivariate Complexity Analysis of Almost Forest Deletion , 2015, COCOON.

[23]  Jianxin Wang,et al.  Dealing with several parameterized problems by random methods , 2018, Theor. Comput. Sci..

[24]  Michal Pilipczuk,et al.  Solving Connectivity Problems Parameterized by Treewidth in Single Exponential Time , 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science.

[25]  Feng Shi,et al.  Approximating Maximum Agreement Forest on Multiple Binary Trees , 2016, Algorithmica.

[26]  Jianer Chen,et al.  Improved kernel results for some FPT problems based on simple observations , 2017, Theor. Comput. Sci..

[27]  Bruce A. Reed,et al.  Finding odd cycle transversals , 2004, Oper. Res. Lett..

[28]  Georg Gottlob,et al.  Fixed-parameter complexity in AI and nonmonotonic reasoning , 1999, Artif. Intell..

[29]  Marcin Pilipczuk,et al.  Faster deterministic Feedback Vertex Set , 2013, Inf. Process. Lett..

[30]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[31]  Dan Geiger,et al.  Optimization of Pearl's Method of Conditioning and Greedy-Like Approximation Algorithms for the Vertex Feedback Set Problem , 1996, Artif. Intell..

[32]  Jennifer Widom,et al.  Database Systems: The Complete Book , 2001 .

[33]  Rolf Niedermeier,et al.  Compression-based fixed-parameter algorithms for feedback vertex set and edge bipartization , 2006, J. Comput. Syst. Sci..

[34]  Abraham Silberschatz,et al.  Operating System Concepts , 1983 .

[35]  Jianxin Wang,et al.  Parameterized algorithms for Edge Biclique and related problems , 2017, Theor. Comput. Sci..