Abstract
Within the field of phylogenetics there is great interest in distance measures to quantify the dissimilarity of two trees. Recently, a new distance measure has been proposed: the Maximum Parsimony (MP) distance. This is based on the difference of the parsimony scores of a single character on both trees under consideration, and the goal is to find the character which maximizes this difference. Here we show that computation of MP distance on two binary phylogenetic trees is NP-hard. This is a highly nontrivial extension of an earlier NP-hardness proof for two multifurcating phylogenetic trees, and it is particularly relevant given the prominence of binary trees in the phylogenetics literature. As a corollary to the main hardness result we show that computation of MP distance is also hard on binary trees if the number of states available is bounded. In fact, via a different reduction we show that it is hard even if only two states are available. Finally, as a first response to this hardness we give a simple Integer Linear Program (ILP) formulation which is capable of computing the MP distance exactly for small trees (and for larger trees when only a small number of character states are available) and which is used to computationally verify several auxiliary results required by the hardness proofs.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Alimonti P., Kann V.: Some APX-completeness results for cubic graphs. Theoret. Comput. Sci. 237(1-2), 123–134 (2000)
Bordewich M., Semple C.: On the computational complexity of the rooted subtree prune and regraft distance. Ann. Combin. 8(4), 409–423 (2005)
Diestel R.: Graph Theory. Springer-Verlag, Berlin (2005)
Archie, J., Day, W., Felsenstein, J., Maddison, W., Meacham, C., Rohlf, F., Swofford, D.: The newick tree format. (2000) http://evolution.genetics.washington.edu/phylip/newicktree.html
Fischer M., Kelk S.: On the maximum parsimony distance between phylogenetic trees. Ann. Combin. 20(1), 87–113 (2016)
Fischer M., Thatte B.: Revisiting an equivalence between maximum parsimony and maximum likelihood methods in phylogenetics. Bull. Math. Biol. 72(1), 208–220 (2010)
Fitch W.: Toward defining the course of evolution: minimum change for a specific tree topology. Syst. Zool. 20(4), 406–416 (1971)
Hartigan J.A.: Minimum mutation fits to a given tree. Biometrics 29(1), 53–65 (1973)
Haws, D., Hodge, T., Yoshida, R.: Phylogenetic tree reconstruction: geometric approaches. In: Robeva, R., Hodge, T. (eds.)Mathematical Concepts andMethods inModern Biology: Using Modern Discrete Models, pp. 307–342. Elsevier, Dublin (2013)
Holyer I.: The NP-completeness of edge-coloring. SIAM J. Comput. 10(4), 718–720 (1981)
Huson D., Steel M.: Distances that perfectly mislead. Syst. Biol. 53(2), 327–332 (2004)
van Iersel L., Kelk S., Lekić N., Scornavacca C.: A practical approximation algorithm for solving massive instances of hybridization number for binary and nonbinary trees. BMC Bioinformatics 15, 127–138 (2013)
Kelk, S., Fischer, M.: Maximum parsimony distance integer linear program (MPDIST). ”http://skelk.sdf-eu.org/mpdistbinary/” (2014)
Maddison W.: Reconstructing character evolution on polytomous cladograms. Cladistics 5(4), 365–377 (1989)
Papadimitriou C.H., Yannakakis M.: Optimization, approximation, and complexity classes. J. Comput. System Sci. 43(3), 425–440 (1991)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kelk, S., Fischer, M. On the Complexity of Computing MP Distance Between Binary Phylogenetic Trees. Ann. Comb. 21, 573–604 (2017). https://doi.org/10.1007/s00026-017-0361-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00026-017-0361-1