An improved linear kernel for complementary maximal strip recovery: Simpler and smaller

Abstract We study the Complementary Maximal Strip Recovery problem (CMSR), where the given are two strings S 1 and S 2 of distinct letters, each of which appears either in the positive form or the negative form. The question is whether there are k letters whose deletion results in two matched strings. String S 1 matches string S 2 if there are partitions of S 1 and S 2 such that each component of the partitions contains at least two letters and, moreover, for each component S 1 i of the partition of S 1 , there is a unique component S 2 j in the partition of S 2 which is either equal to S 1 i or can be obtained from S 1 i by firstly reversing the order of the letters and then negating the letters. The CMSR problem is known to be NP-hard and fixed-parameter tractable with respect to k. In particular, a linear kernel of size 74 k + 4 was developed based on 8 reduction rules. Very recently, by imposing 3 new reduction rules to the previous kernelization, the linear kernel has been improved to 58k. We aim to simplify the kernelization, yet obtain an improved kernel. In particular, we study 7 reduction rules which lead to a linear kernel of size 42 k + 24 .

[1]  Christer Bäckström,et al.  Plan Reordering and Parallel Execution - A Parameterized Complexity View , 2017, AAAI.

[2]  Guillaume Fertin,et al.  Tractability and approximability of maximal strip recovery , 2012, Theor. Comput. Sci..

[3]  Wen J. Li,et al.  An Improved Kernel for the Complementary Maximal Strip Recovery Problem , 2015, COCOON.

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

[5]  Michael R. Fellows,et al.  Fixed-Parameter Tractability and Completeness II: On Completeness for W[1] , 1995, Theor. Comput. Sci..

[6]  Haiyan Liu,et al.  A 42k Kernel for the Complementary Maximal Strip Recovery Problem , 2017, FAW.

[7]  Yongjie Yang Towards optimal kernel for edge-disjoint triangle packing , 2014, Inf. Process. Lett..

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

[9]  Jianxin Wang,et al.  Anyone But Them: The Complexity Challenge for A Resolute Election Controller , 2017, AAMAS.

[10]  David Sankoff,et al.  Guided genome halving: hardness, heuristics and the history of the Hemiascomycetes , 2008, ISMB.

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

[12]  Marcin Pilipczuk,et al.  Towards optimal kernel for connected vertex cover in planar graphs , 2013, Discret. Appl. Math..

[13]  Michael R. Fellows,et al.  FIXED-PARAMETER TRACTABILITY AND COMPLETENESS , 2022 .

[14]  Guillaume Fertin,et al.  Maximal strip recovery problem with gaps: Hardness and approximation algorithms , 2013, J. Discrete Algorithms.

[15]  Lusheng Wang,et al.  Exact and approximation algorithms for the complementary maximal strip recovery problem , 2012, J. Comb. Optim..

[16]  Chunfang Zheng,et al.  Pathgroups, a dynamic data structure for genome reconstruction problems , 2010, Bioinform..

[17]  Jianer Chen,et al.  Planar graph vertex partition for linear problem kernels , 2013, J. Comput. Syst. Sci..

[18]  D. Sankoff,et al.  Removing Noise and Ambiguities from Comparative Maps in Rearrangement Analysis , 2007, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[19]  Michael R. Fellows,et al.  Parameterized complexity analysis in computational biology , 1995, Comput. Appl. Biosci..

[20]  Binhai Zhu,et al.  A linear kernel for the complementary maximal strip recovery problem , 2014, J. Comput. Syst. Sci..

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

[22]  Bin Fu,et al.  On recovering syntenic blocks from comparative maps , 2008, J. Comb. Optim..

[23]  Yongjie Yang,et al.  Controlling elections with bounded single-peaked width , 2014, AAMAS.

[24]  Lusheng Wang,et al.  On the Tractability of Maximal Strip Recovery , 2010, J. Comput. Biol..

[25]  Lusheng Wang,et al.  An improved approximation algorithm for the complementary maximal strip recovery problem , 2011, J. Comput. Syst. Sci..

[26]  Minghui Jiang Inapproximability of maximal strip recovery , 2011, Theor. Comput. Sci..

[27]  David Sankoff,et al.  Algorithms for the Extraction of Synteny Blocks from Comparative Maps , 2007, WABI.