Minimum Quartet Inconsistency Is Fixed Parameter Tractable
We study the parameterized complexity of the problem to reconstruct a binary (evolutionary) tree from a complete set of quartet topologies in the case of a limited number of errors. More precisely, we are given n taxa, exactly one topology for every subset of 4 taxa, and a positive integer k (the parameter). Then, the Minimum Quartet In- consistency (MQI) problem is the question of whether we can find an evolutionary tree inducing a set of quartet topologies that differs from the given set in only k quartet topologies. MQI is NP-complete. However, we can compute the required tree in worst case time O(4k. n + n4)— the problem is fixed parameter tractable. Our experimental results show that in practice, also based on heuristic improvements proposed by us, even a much smaller exponential growth can be achieved. We extend the fixed parameter tractability result to weighted versions of the problem. In particular, our algorithm can produce all solutions that resolve at most k errors.
KeywordsSearch Tree Evolutionary Tree Polynomial Time Approximation Scheme Heuristic Improvement Problem Kernel
Unable to display preview. Download preview PDF.
- 4.V. Berry and O. Gascuel. Inferring evolutionary trees with strong combinatorial evidence. Theoretical Computer Science, 240:271–298, 2000. Software available through http://www.lirmm.fr/~vberry/PHYLOQUART/phyloquart.html.MathSciNetzbMATHCrossRefGoogle Scholar
- 5.P. Buneman. The recovery of trees from measures of dissimilarity. In Hodson et al., eds, Anglo-Romanian Conference on Mathematics in the Archaeological and Historical Sciences, pages 387–395, 1971. Edinburgh University Press.Google Scholar
- 6.B. Chor. From quartets to phylogenetic trees. In Proceedings of the 25th SOFSEM, number 1521 in LNCS, pages 36–53, 1998. Springer.Google Scholar
- 7.R.G. Downey and M.R. Fellows. Parameterized Complexity. 1999. Springer.Google Scholar
- 8.M.R. Fellows. Parameterized complexity: new developments and research frontiers. In Downey and Hirschfeldt, eds, Aspects of Complexity, to appear, 2001. De Gruyter.Google Scholar
- 9.J. Felsenstein. PHYLIP (Phylogeny Inference Package) version 3.5c. Distributed by the author. Department of Genetics, University of Washington, Seattle. 1993. Available through http://evolution.genetics.washington.edu/phylip.
- 10.J. Gramm and R. Niedermeier. Minimum Quartet Inconsistency is fixed parameter tractable. Technical Report WSI-2001-3, WSI für Informatik, Universität Tübingen, Fed. Rep. of Germany, January 2001. Report available through http://www-fs.informatik.uni-tuebingen.de/~gramm/publications.
- 12.T. Jiang, P. Kearney, and M. Li. A polynomial time approximation scheme for inferring evolutionary trees from quartet topologies and its application. To appear in SIAM Journal on Computing, 2001.Google Scholar
- 13.R. Niedermeier and P. Rossmanith. An efficient fixed parameter algorithm for 3-Hitting Set. Technical Report WSI-99-18, WSI für Informatik, Universität Tübingen, October 1999. To appear in Journal of Discrete Algorithms.Google Scholar
- 15.K. St. John, T. Warnow, B.M.E. Moret, and L. Vawter. Performance study of phylogenetic methods: (unweighted) quartet methods and neighbor-joining. In Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, pages 196–205, 2001. SIAM Press.Google Scholar
- 18.M. Weiß, Z. Yang, and F. Oberwinkler. Molecular phylogenetic studies in the genus Amanita. Canadian Journal of Botany, 76:1170–1179, 1998.Google Scholar