Which Phylogenetic Networks are Merely Trees with Additional Arcs?
Bottom Line: Here, we establish a precise and easily tested criterion (based on "2-SAT") that efficiently determines whether or not any given network can be realized in this way.Moreover, the proof provides a polynomial-time algorithm for finding one or more trees (when they exist) on which the network can be based.A number of interesting consequences are presented as corollaries; these lead to some further relevant questions and observations, which we outline in the conclusion.
Affiliation: Centre for Research in Mathematics, School of Computing, Engineering and Mathematics, University of Western Sydney, Australia;Show MeSH
Related in: MedlinePlus
Mentions: Notice that the (weak) temporal ordering condition in itself implies that must be acyclic, since if is a directed cycle in a tree-based network, then some pair of adjacent vertices in the cycle—say and —forms an arc of the support tree and so . However, since the -values of the vertices in the remainder of the path from to is non-decreasing (by (i) and (ii)′), this would imply that , which is a contradiction. Figure 6 illustrates three tree-based networks that have no strong temporal ordering relative to any valid support tree.
Affiliation: Centre for Research in Mathematics, School of Computing, Engineering and Mathematics, University of Western Sydney, Australia;