English
Related papers

Related papers: The Complexity of Rooted Phylogeny Problems

200 papers

We perform a refined complexity-theoretic analysis of three classical problems in the context of Hierarchical Task Network Planning: the verification of a provided plan, whether an executable plan exists, and whether a given state can be…

Computational Complexity · Computer Science 2025-01-23 Cornelius Brand , Robert Ganian , Fionn Mc Inerney , Simon Wietheger

Here we study the computational complexity of the constrained synchronization problem for the class of regular commutative constraint languages. Utilizing a vector representation of regular commutative constraint languages, we give a full…

Formal Languages and Automata Theory · Computer Science 2020-09-04 Stefan Hoffmann

We study the problem of consistent query answering under primary key violations. In this setting, the relations in a database violate the key constraints and we are interested in maximal subsets of the database that satisfy the constraints,…

Databases · Computer Science 2014-01-17 Paraschos Koutris , Dan Suciu

The problem of constructing an optimal rooted phylogenetic network from a set of rooted triplets is an NP-hard problem. In this paper, we present a heuristic algorithm called TripNet which tries to construct an optimal rooted phylogenetic…

Data Structures and Algorithms · Computer Science 2012-01-19 Hadi Poormohammadi , Changiz Eslahchi , Ruzbeh Tusserkani

The three-in-a-tree problem asks for an induced tree of the input graph containing three mandatory vertices. In 2006, Chudnovsky and Seymour [Combinatorica, 2010] presented the first polynomial time algorithm for this problem, which has…

Data Structures and Algorithms · Computer Science 2020-07-10 Guilherme C. M. Gomes , Vinicius F. dos Santos , Murilo V. G. da Silva , Jayme L. Szwarcfiter

Given a rooted, binary phylogenetic network and a rooted, binary phylogenetic tree, can the tree be embedded into the network? This problem, called \textsc{Tree Containment}, arises when validating networks constructed by phylogenetic…

Populations and Evolution · Quantitative Biology 2024-02-14 Leo van Iersel , Mark Jones , Mathias Weller

Many important combinatorial problems can be modeled as constraint satisfaction problems. Hence identifying polynomial-time solvable classes of constraint satisfaction problems has received a lot of attention. In this paper, we are…

Data Structures and Algorithms · Computer Science 2017-11-15 Martin Grohe , Dániel Marx

The problem of determining whether a graph $G$ contains another graph $H$ as a minor, referred to as the minor containment problem, is a fundamental problem in the field of graph algorithms. While it is NP-complete when $G$ and $H$ are…

Data Structures and Algorithms · Computer Science 2024-12-06 Tatsuya Gima , Soh Kumabe , Kazuhiro Kurita , Yuto Okada , Yota Otachi

Binets and trinets are phylogenetic networks with two and three leaves, respectively. Here we consider the problem of deciding if there exists a binary level-1 phylogenetic network displaying a given set $\mathcal{T}$ of binary binets or…

Data Structures and Algorithms · Computer Science 2014-11-26 Katharina Huber , Leo van Iersel , Vincent Moulton , Celine Scornavacca , Taoyang Wu

Reconciling gene trees with a species tree is a fundamental problem to understand the evolution of gene families. Many existing approaches reconcile each gene tree independently. However, it is well-known that the evolution of gene families…

Populations and Evolution · Quantitative Biology 2018-06-12 Riccardo Dondi , Manuel Lafond , Celine Scornavacca

Compatibility of unrooted phylogenetic trees is a well studied problem in phylogenetics. It asks to determine whether for a set of k input trees there exists a larger tree (called a supertree) that contains the topologies of all k input…

Discrete Mathematics · Computer Science 2014-03-03 Alexander Grigoriev , Steven Kelk , Nela Lekic

Jansson and Sung showed that, given a dense set of input triplets T (representing hypotheses about the local evolutionary relationships of triplets of species), it is possible to determine in polynomial time whether there exists a level-1…

Populations and Evolution · Quantitative Biology 2007-07-20 Leo van Iersel , Judith Keijsper , Steven Kelk , Leen Stougie

Conjunctive query (CQ) evaluation is NP-complete, but becomes tractable for fragments of bounded hypertreewidth. Approximating a hard CQ by a query from such a fragment can thus allow for an efficient approximate evaluation. While…

Databases · Computer Science 2019-04-02 Pablo Barceló , Miguel Romero , Thomas Zeume

Rooted triples, rooted binary phylogenetic trees on three leaves, are sufficient to encode rooted binary phylogenetic trees. That is, if $\mathcal T$ and $\mathcal T'$ are rooted binary phylogenetic $X$-trees that infers the same set of…

Combinatorics · Mathematics 2020-12-07 Charles Semple , Gerry Toft

Many practical problems in almost all scientific and technological disciplines have been classified as computationally hard (NP-hard or even NP-complete). In life sciences, combinatorial optimization problems frequently arise in molecular…

Data Structures and Algorithms · Computer Science 2015-03-19 H. Jose Antonio Martin

In many combinatorial problems one may need to model the diversity or similarity of assignments in a solution. For example, one may wish to maximise or minimise the number of distinct values in a solution. To formulate problems of this…

Artificial Intelligence · Computer Science 2014-01-17 Emmanuel Hebrard , Dániel Marx , Barry O'Sullivan , Igor Razgon

In the context of reconstructing phylogenetic networks from a collection of phylogenetic trees, several characterisations and subsequently algorithms have been established to reconstruct a phylogenetic network that collectively embeds all…

Combinatorics · Mathematics 2023-08-21 Janosch Döcker , Simone Linz , Charles Semple

What makes a computational problem easy (e.g., in P, that is, solvable in polynomial time) or hard (e.g., NP-hard)? This fundamental question now has a satisfactory answer for a quite broad class of computational problems, so called…

Computational Complexity · Computer Science 2019-09-12 Libor Barto

We show that under mild assumptions for a problem whose solutions admit a dynamic programming-like recurrence relation, we can still find a solution under additional packing constraints, which need to be satisfied approximately. The number…

Data Structures and Algorithms · Computer Science 2025-11-06 Etienne Bamas , Shi Li , Lars Rohwedder

Phase transitions in combinatorial problems have recently been shown to be useful in locating "hard" instances of combinatorial problems. The connection between computational complexity and the existence of phase transitions has been…

Computational Complexity · Computer Science 2016-11-17 Gabriel Istrate