Abstract
In a recent article, Nakhleh, Ringe and Warnow introduced perfect phylogenetic networks—a model of language evolution where languages do not evolve via clean speciation—and formulated a set of problems for their accurate reconstruction. Their new methodology assumes networks, rather than trees, as the correct model to capture the evolutionary history of natural languages. They proved the NP-hardness of the problem of testing whether a network is a perfect phylogenetic one for characters exhibiting at least three states, leaving open the case of binary characters, and gave a straightforward brute-force parameterized algorithm for the problem of running time O(3k n), where k is the number of bidirectional edges in the network and n is its size. In this paper, we first establish the NP-hardness of the binary case of the problem. Then we provide a more efficient parameterized algorithm for this case running in time O(2k n 2). The presented algorithm is very simple, and utilizes some structural results and elegant operations developed in this paper that can be useful on their own in the design of heuristic algorithms for the problem. The analysis phase of the algorithm is very elegant using amortized techniques to show that the upper bound on the running time of the algorithm is much tighter than the upper bound obtained under a conservative worst-case scenario assumption. Our results bear significant impact on reconstructing evolutionary histories of languages—particularly from phonological and morphological character data, most of which exhibit at most two states (i.e., are binary), as well as on the design and analysis of parameterized algorithms.
Similar content being viewed by others
References
Bodlaender, H., Fellows, M., Warnow, T.: Two strikes against perfect phylogeny. In: Proceedings of ICALP’92. Lecture Notes in Computer Science, pp. 273–283. Springer, New York (1992)
Chen, J., Kanj, I., Xia, G.: Labeled search trees and amortized analysis: improved upper bounds for NP-hard problems. In: ISAAC’03. Lecture Notes in Computer Science, vol. 2906, pp. 148–157. Springer, New York (2003)
Dobson, A.J.: Unrooted trees for numerical taxonomy. Unpublished manuscript
Dobson, A.J.: Lexicostatistical grouping. Anthr. Linguist. 11, 216–221 (1969)
Downey, R., Fellows, M.: Parameterized Complexity. Springer, New York (1999)
Felsenstein, J.: Numerical methods for inferring evolutionary trees. Q. Rev. Biol. 57, 379–404 (1982)
Gleason, H.A.: Counting and calculating for historical reconstruction. Anthr. Linguist. 1, 22–32 (1959)
Gray, R.D., Atkinson, Q.D.: Language-tree divergence times support the Anatolian theory of Indo-European origin. Nature 426(6965), 435–439 (2003), November
Labov, W.: Principles of Language Change, vol. 1: Internal Factors. Blackwell, Oxford (1994)
Nakhleh, L.: Phylogenetic networks. Ph.D. thesis, The University of Texas at Austin (2004)
Nakhleh, L., Ringe, D., Warnow, T.: Perfect phylogenetic networks: a new methodology for reconstructing the evolutionary history of natural languages. Language 81(2), 382–420 (2005)
Ringe, D., Warnow, T., Taylor, A.: Indo-European and computational cladistics. Trans. Philol. Soc. 100(1), 59–129 (2002)
Ringe, D., Warnow, T., Taylor, A., Michailov, A., Levison, L.: Computational cladistics and the position of Tocharian. In: Mair, V. (ed.) The Bronze Age and Early Iron Age Peoples of Eastern Central Asia, pp. 391–414 (1998)
Ross, M.: Social networks and kinds of speech-community events. In: Blench, R., Spriggs, M. (eds.) Archaeology and Language I: Theoretical and Methodological Orientations, pp. 209–261. Routledge, London (1997)
Taylor, A., Warnow, T., Ringe, D.: Character-based reconstruction of a linguistic cladogram. In: Smith, J.C., Bentley, D. (eds.) Historical Linguistics 1995, Volume I: General Issues and Non-Germanic Languages, pp. 393–408. Benjamins, Amsterdam (2000)
Warnow, T.: Mathematical approaches to comparative linguistics. Proc. Natl. Acad. Sci. 94, 6585–6590 (1997)
Warnow, T., Ringe, D., Taylor, A.: Reconstructing the evolutionary history of natural languages. Technical Report 95-16, Institute for Research in Cognitive Science, Univ. of Pennsylvania (1995)
Warnow, T., Ringe, D., Taylor, A.: Reconstructing the evolutionary history of natural languages. In: ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 314–322 (1996)
Author information
Authors and Affiliations
Corresponding author
Additional information
Research of I.A. Kanj was supported in part by DePaul University Competitive Research Grant.
Rights and permissions
About this article
Cite this article
Kanj, I.A., Nakhleh, L. & Xia, G. The Compatibility of Binary Characters on Phylogenetic Networks: Complexity and Parameterized Algorithms. Algorithmica 51, 99–128 (2008). https://doi.org/10.1007/s00453-007-9046-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-007-9046-1