Caterpillars on three and four leaves are sufficient to reconstruct normal networks

02/02/2020
by   Simone Linz, et al.
0

While every rooted binary phylogenetic tree is determined by its set of displayed rooted triples, such a result does not hold for an arbitrary rooted binary phylogenetic network. In particular, there exist two non-isomorphic rooted binary temporal normal networks that display the same set of rooted triples. Moreover, without any structural constraint on the rooted phylogenetic networks under consideration, similarly negative results have also been established for binets and trinets which are rooted subnetworks on two and three leaves, respectively. Hence, in general, piecing together a rooted phylogenetic network from such a set of small building blocks appears insurmountable. In contrast to these results, in this paper, we show that a rooted binary normal network is determined by its sets of displayed caterpillars (particular type of subtrees) on three and four leaves. The proof is constructive and realises a polynomial-time algorithm that takes the sets of caterpillars on three and four leaves displayed by a rooted binary normal network and, up to isomorphism, reconstructs this network.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/01/2020

An improved algorithm to reconstruct a binary tree from its inorder and postorder traversals

In this paper, we present InPos, an improved algorithm, to reconstruct ...
research
11/12/2022

Hypercubes and Hamiltonian Cycles of Display Sets of Rooted Phylogenetic Networks

In the context of reconstructing phylogenetic networks from a collection...
research
09/23/2021

An algorithm for reconstructing level-2 phylogenetic networks from trinets

Evolutionary histories for species that cross with one another or exchan...
research
10/30/2017

Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently

It is known that the first-order theory of rewriting is decidable for gr...
research
05/24/2023

Rooted Almost-binary Phylogenetic Networks for which the Maximum Covering Subtree Problem is Solvable in Linear Time

Phylogenetic networks are a flexible model of evolution that can represe...
research
08/04/2020

Proof complexity and the binary encoding of combinatorial principles

We consider Proof Complexity in light of the unusual binary encoding of ...
research
06/25/2020

Density of Binary Disc Packings: Playing with Stoichiometry

We consider the packings in the plane of discs of radius 1 and √(2)-1 wh...

Please sign up or login with your details

Forgot password? Click here to reset