New Fixed-Parameter Algorithms for the Minimum Quartet Inconsistency Problem

Theory of Computing Systems - Tập 47 - Trang 342-367 - 2009
Maw-Shang Chang1, Chuang-Chieh Lin1, Peter Rossmanith2
1Department of Computer Science and Information Engineering, National Chung Cheng University, Ming-Hsiung, Taiwan
2Department of Computer Science, RWTH Aachen University, Aachen, Germany

Tóm tắt

Let S be a set of n taxa. Given a parameter k and a set of quartet topologies Q over S such that there is exactly one topology for every subset of four taxa, the parameterized Minimum Quartet Inconsistency (MQI) problem is to decide whether we can find an evolutionary tree inducing a set of quartet topologies that differs from the given set in at most k quartet topologies. The best fixed-parameter algorithm devised so far for the parameterized MQI problem runs in time O(4 k n+n 4). In this paper, first we present an O(3.0446 k n+n 4) fixed-parameter algorithm and an O(2.0162 k n 3+n 5) fixed-parameter algorithm for the parameterized MQI problem. Finally, we give an O *((1+ε) k ) fixed-parameter algorithm, where ε>0 is an arbitrarily small constant.

Tài liệu tham khảo