A Resolution of the Static Formulation Question for the Problem of Computing the History Bound - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE/ACM Transactions on Computational Biology and Bioinformatics Année : 2017

A Resolution of the Static Formulation Question for the Problem of Computing the History Bound

Julia Matsieva
  • Fonction : Auteur
Chris Whidden
  • Fonction : Auteur
Dan Gusfield
  • Fonction : Auteur

Résumé

Evolutionary data has been traditionally modeled via phylogenetic trees; however, branching alone cannot model conflicting phylogenetic signals, so networks are used instead. Ancestral recombination graphs (ARGs) are used to model the evolution of incompatible sets of SNP data, allowing each site to mutate only once. The model often aims to minimize the number of recombinations. Similarly, incompatible cluster data can be represented by a reticulation network that minimizes reticulation events. The ARG literature has traditionally been disjoint from the reticulation network literature. By building on results from the reticulation network literature, we resolve an open question of interest to the ARG community. We explicitly prove that the History Bound, a lower bound on the number of recombinations in an ARG for a binary matrix, which was previously only defined p rocedurally, i s e qual t o t he m inimum number of reticulation nodes in a network for the corresponding cluster data. To facilitate the proof, we give an algorithm that constructs this network using intermediate values from the procedural History Bound definition. We then develop a top-down algorithm for computing the History Bound, which has the same worst-case runtime as the known dynamic program, and show that it is likely to run faster in typical cases.
Fichier principal
Vignette du fichier
Scornavacca_25.pdf (3.23 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02154874 , version 1 (16-12-2019)

Identifiants

Citer

Julia Matsieva, Steven Kelk, Celine Scornavacca, Chris Whidden, Dan Gusfield. A Resolution of the Static Formulation Question for the Problem of Computing the History Bound. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2017, 14 (2), pp.404-417. ⟨10.1109/TCBB.2016.2527645⟩. ⟨hal-02154874⟩
38 Consultations
32 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More