A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors
Information Processing Letters
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Application of smodels in quartet based phylogeny construction
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
A lookahead branch-and-bound algorithm for the maximum quartet consistency problem
WABI'05 Proceedings of the 5th International conference on Algorithms in Bioinformatics
Hi-index | 0.00 |
Evolution is an important sub-area of study in biological science, where given a set of species, the goal is to reconstruct their evolutionary history, or phylogeny. Many kinds of data associated with the species can be deployed for this task and many reconstruction methods have been proposed and examined in the literature. One very recent approach is to build a local phylogeny for every subset of 4 species, which is called a quartet for these 4 species, and then to assemble a phylogeny for the whole set of species satisfying these predicted quartets. In general, those predicted quartets might not always agree each other; and thus the objective function becomes to satisfy a maximum number of predicted quartets. This is the well known Maximum Quartet Consistency (MQC) problem, which is studied by a lot of researchers in the last two decades. In this paper, we present a new equivalent representation for the MQC problem, that is, to search for an ultrametric matrix to satisfy the maximum number of those predicted quartets. We examine a few number of structural properties of the MQC problem in this new representation, through formulating it into Answer Set Programming (ASP), a recent powerful logic programming tool for modeling and solving searching problems. The efficiency and usefulness of our approach are confirmed by our computational experiments on the artificial data as well as two real datasets.