A Cubic-Vertex Kernel for Flip Consensus Tree

被引:5
作者
Komusiewicz, Christian [1 ]
Uhlmann, Johannes [1 ]
机构
[1] TU Berlin, Inst Softwaretech & Theoret Informat, D-10587 Berlin, Germany
关键词
Computational phylogenetics; Perfect phylogeny; NP-hard problem; Edge-modification problem; Fixed-parameter tractability; Polynomial-time preprocessing; ALGORITHMS; DECOMPOSITION; COMPLEXITY;
D O I
10.1007/s00453-012-9663-1
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Given a bipartite graph G=(V (c) ,V (t) ,E) and a nonnegative integer k, the NP-complete Minimum-Flip Consensus Tree problem asks whether G can be transformed, using up to k edge insertions and deletions, into a graph that does not contain an induced P (5) with its first vertex in V (t) (a so-called M-graph or I -graph) pound. This problem plays an important role in computational phylogenetics, V (c) standing for the characters and V (t) standing for taxa. Chen et al. (IEEE/ACM Trans. Comput. Biol. Bioinform. 3:165-173, 2006). showed that Minimum-Flip Consensus Tree is NP-complete and presented a parameterized algorithm with running time O(6 (k) a <...|V (t) |a <...|V (c) |). Subsequently, Bocker et al. (ACM Trans. Algorithms 8:7:1-7:17, 2012) presented a refined search tree algorithm with running time O(4.42 (k) (|V (t) |+|V (c) |)+|V (t) |a <...|V (c) |). We continue the study of Minimum-Flip Consensus Tree parameterized by k. Our main contribution are polynomial-time executable data reduction rules yielding a problem kernel with O(k (3)) vertices. In addition, we present an improved search tree algorithm with running time O(3.68 (k) a <...|V (c) |(2)|V (t) |).
引用
收藏
页码:81 / 108
页数:28
相关论文
共 35 条
  • [11] Chimani M., 2010, P 1 ACM INT C BIOINF, P147, DOI [10.1145/1854776.1854800, DOI 10.1145/1854776.1854800]
  • [12] Parameterized enumeration, transversals, and imperfect phylogeny reconstruction
    Damaschke, P
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 351 (03) : 337 - 350
  • [13] Downey R. G., 1999, MG COMP SCI
  • [14] Fellows M, 2007, LECT NOTES COMPUT SC, V4639, P312
  • [15] Fellows MR, 2006, LECT NOTES COMPUT SC, V4169, P276
  • [16] Graph-based data clustering with overlaps
    Fellows, Michael R.
    Guo, Jiong
    Komusiewicz, Christian
    Niedermeier, Rolf
    Uhlmann, Johannes
    [J]. DISCRETE OPTIMIZATION, 2011, 8 (01) : 2 - 17
  • [17] Flum J., 2006, TEXT THEORET COMP S
  • [18] Graph-modeled data clustering:: Exact algorithms for clique generation
    Gramm, J
    Guo, J
    Hüffner, F
    Niedermeier, R
    [J]. THEORY OF COMPUTING SYSTEMS, 2005, 38 (04) : 373 - 392
  • [19] Fixed-parameter algorithms in phylogenetics
    Gramm, Jens
    Nickelsen, Arfst
    Tantau, Till
    [J]. COMPUTER JOURNAL, 2008, 51 (01) : 79 - 101
  • [20] Guillemot S., 2012, ALGORITHMIC IN PRESS