Skip to main content
Log in

New Fixed-Parameter Algorithms for the Minimum Quartet Inconsistency Problem

  • Published:
Theory of Computing Systems Aims and scope Submit manuscript

Abstract

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(4k n+n 4). In this paper, first we present an O(3.0446k n+n 4) fixed-parameter algorithm and an O(2.0162k 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Ben-Dor, A., Chor, B., Graur, D., Ophir, R., Pelleg, D.: From four-taxon trees to phylogenies: the case of mammalian evolution. In: Proceedings of the RECOMB, pp. 9–19 (1998)

  2. Bandelt, H.J., Dress, A.: Reconstructing the shape of a tree from observed dissimilarity data. Adv. Appl. Math. 7, 309–343 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  3. Berry, V., Jiang, T., Kearney, P.E., Li, M., Wareham, H.T.: Quartet cleaning: Improved algorithms and simulations. In: Proceedings of the 7th Annual European Symposium on Algorithms (ESA 99). Lecture Notes in Comput. Sci., vol. 1643, pp. 313–324. Springer, Berlin (1999)

    Google Scholar 

  4. Cho, B.: From quartets to phylogenetic trees. In: Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM). Lecture Notes in Comput. Sci., vol. 1521, pp. 36–53. Springer, Berlin (1998)

    Google Scholar 

  5. Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, Berlin (1999)

    Google Scholar 

  6. Erdős, P., Steel, M., Székely, L., Warnow, T.: A few logs suffice to build (almost) all trees (Part 1). Random Struct. Algorithms 14, 153–184 (1999)

    Article  Google Scholar 

  7. Greene, D.H., Knuth, D.E.: Mathematics for the Analysis of Algorithms, 2nd edn. Progress in Computer Science. Birkhäuser, Boston (1982)

    Google Scholar 

  8. Gramm, J., Niedermeier, R.: A fixed-parameter algorithm for minimum quartet inconsistency. J. Comput. Syst. Sci. 67, 723–741 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  9. Jiang, T., Kearney, P.E., Li, M.: Some open problems in computational molecular biology. J. Algorithms 34, 194–201 (2000)

    Article  MathSciNet  Google Scholar 

  10. Jiang, T., Kearney, P.E., Li, M.: A polynomial time approximation scheme for inferring evolutionary tree from quartet topologies and its application. SIAM J. Comput. 30, 1942–1961 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  11. Steel, M.: The complexity of reconstructing trees from qualitative characters and subtrees. J. Classif. 9, 91–116 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  12. Niedermeier, R.: Invitation to Fixed-Parameter Algorithms. Oxford University Press, London (2006)

    Book  MATH  Google Scholar 

  13. Niedermeier, R., Rossmanith, P.: A general method to speed up fixed-parameter algorithms. Inf. Process. Lett. 73, 125–129 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  14. Wu, G., You, J.-H., Lin, G.: A lookahead branch-and-bound algorithm for the maximum quartet consistency problem. In: Proceedings of WABI 2005. Lecture Notes in Comput. Sci., vol. 3692, pp. 65–76. Springer, Berlin (2005)

    Google Scholar 

  15. Wu, G., You, J.-H., Lin, G.: A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors. Inf. Process. Lett. 100, 167–171 (2006)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Chuang-Chieh Lin.

Additional information

This research was supported by NSC-DAAD Sandwich Program and partially supported by the National Science Council of Taiwan under grant no. NSC 96-2221-E-194-045-MY3, and was carried out at RWTH Aachen University, Germany. A preliminary version of this paper appeared in the Proceedings of the 3rd International Workshop on Parameterized and Exact Computation (IWPEC), Lecture Notes in Computer Science, vol. 5018, pp. 66–77.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Chang, MS., Lin, CC. & Rossmanith, P. New Fixed-Parameter Algorithms for the Minimum Quartet Inconsistency Problem. Theory Comput Syst 47, 342–367 (2010). https://doi.org/10.1007/s00224-009-9165-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00224-009-9165-y

Keywords

Navigation