Computing phylogenetic roots with bounded degrees and errors is NP-complete
نویسندگان
چکیده
منابع مشابه
Computing Phylogenetic Roots with Bounded Degrees and Errors
Given a set of species and their similarity data, an important problem in evolutionary biology is how to reconstruct a phylogeny (also called evolutionary tree) so that species are close in the phylogeny if and only if they have high similarity. Assume that the similarity data are represented as a graph G = (V,E) where each vertex represents a species and two vertices are adjacent if they repre...
متن کاملBounded Second-Order Unification Is NP-Complete
Bounded Second-Order Unification is the problem of deciding, for a given second-order equation t ? = u and a positive integer m, whether there exists a unifier σ such that, for every second-order variable F , the terms instantiated for F have at most m occurrences of every bound variable. It is already known that Bounded Second-Order Unification is decidable and NP-hard, whereas general Second-...
متن کاملComputing Bounded-Degree Phylogenetic Roots of Disconnected Graphs
The Phylogenetic kth Root Problem (PRk) is the problem of finding a (phylogenetic) tree T from a given graph G = (V,E) such that (1) T has no degree-2 internal nodes, (2) the external nodes (i.e. leaves) of T are exactly the elements of V , and (3) (u, v) ∈ E if and only if the distance between u and v in tree T is at most k, where k is some fixed threshold k. Such a tree T , if exists, is call...
متن کاملComputing quantum discord is NP-complete
We study the computational complexity of quantum discord (a measure of quantum correlation beyond entanglement), and prove that computing quantum discord is NP-complete. Therefore, quantum discord is computationally intractable: the running time of any algorithm for computing quantum discord is believed to grow exponentially with the dimension of the Hilbert space so that computing quantum disc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2006
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.06.016