English
Related papers

Related papers: A Polynomial Kernel For Multicut In Trees

200 papers

For a tree $T$, the subtree polynomial of $T$ is the generating polynomial for the number of subtrees of $T$. We show that the complex roots of the subtree polynomial are contained in the disk $\left\{z\in\mathbb{C}\colon\ |z|\leq…

Combinatorics · Mathematics 2018-10-23 Jason I. Brown , Lucas Mol

We study the problem Symmetric Directed Multicut from a parameterized complexity perspective. In this problem, the input is a digraph $D$, a set of cut requests $C=\{(s_1,t_1),\ldots,(s_\ell,t_\ell)\}$ and an integer $k$, and the task is to…

Data Structures and Algorithms · Computer Science 2022-08-22 Eduard Eiben , Clément Rambaud , Magnus Wahlström

A phylogenetic tree shows the evolutionary relationships among species. Internal nodes of the tree represent speciation events and leaf nodes correspond to species. A goal of phylogenetics is to combine such trees into larger trees, called…

Artificial Intelligence · Computer Science 2014-01-16 Neil C. A. Moore , Patrick Prosser

In an edge modification problem, we are asked to modify at most $k$ edges to a given graph to make the graph satisfy a certain property. Depending on the operations allowed, we have the completion problems and the edge deletion problems. A…

Data Structures and Algorithms · Computer Science 2021-04-30 Yixin Cao , Yuping Ke

We show that P2T - the problem of deciding whether the edge set of a simple graph can be partitioned into two trees or not - is NP-complete.

Computational Complexity · Computer Science 2010-02-23 Domotor Palvolgyi

Consider the problem of determining whether there exists a spanning hypertree in a given k-uniform hypergraph. This problem is trivially in P for k=2, and is NP-complete for k>= 4, whereas for k=3, there exists a polynomial-time algorithm…

Computational Complexity · Computer Science 2008-12-19 Sergio Caracciolo , Gregor Masbaum , Alan D. Sokal , Andrea Sportiello

In a directed graph, a kernel is a subset of vertices that is both stable and absorbing. Not all digraphs have a kernel, but a theorem due to Boros and Gurvich guarantees the existence of a kernel in every clique-acyclic orientation of a…

Discrete Mathematics · Computer Science 2018-01-09 Adèle Pass-Lanneau , Ayumi Igarashi , Frédéric Meunier

Kernelization is an important tool in parameterized algorithmics. Given an input instance accompanied by a parameter, the goal is to compute in polynomial time an equivalent instance of the same problem such that the size of the reduced…

Computational Complexity · Computer Science 2018-10-23 Till Fluschnik , George B. Mertzios , André Nichterlein

We describe in this note a new invariant of rooted trees. We argue that the invariant is interesting on it own, and that it has connections to knot theory and homological algebra. However, the real reason that we propose this invariant to…

Combinatorics · Mathematics 2015-12-11 Jozef H. Przytycki

We study the problem of learning a node-labeled tree given independent traces from an appropriately defined deletion channel. This problem, tree trace reconstruction, generalizes string trace reconstruction, which corresponds to the tree…

Computational Complexity · Computer Science 2020-09-22 Sami Davies , Miklos Z. Racz , Cyrus Rashtchian

In this paper, we provide a polynomial time algorithm to calculate the probability of a {\it ranked} gene tree topology for a given species tree, where a ranked tree topology is a tree topology with the internal vertices being ordered. The…

Populations and Evolution · Quantitative Biology 2012-03-02 Tanja Stadler , James H. Degnan

Many graph problems were first shown to be fixed-parameter tractable using the results of Robertson and Seymour on graph minors. We show that the combination of finite, computable, obstruction sets and efficient order tests is not just one…

Computational Complexity · Computer Science 2013-05-15 Michael R. Fellows , Bart M. P. Jansen

For a fixed simple digraph $H$ without isolated vertices, we consider the problem of deleting arcs from a given tournament to get a digraph which does not contain $H$ as an immersion. We prove that for every $H$, this problem admits a…

Data Structures and Algorithms · Computer Science 2022-08-17 Łukasz Bożyk , Michał Pilipczuk

The framework of Bodlaender et al. (ICALP 2008) and Fortnow and Santhanam (STOC 2008) allows us to exclude the existence of polynomial kernels for a range of problems under reasonable complexity-theoretical assumptions. However, there are…

Computational Complexity · Computer Science 2015-03-19 Danny Hermelin , Stefan Kratsch , Karolina Sołtys , Magnus Wahlström , Xi Wu

We define an algorithm k which takes a connected graph G on a totally ordered vertex set and returns an increasing tree R (which is not necessarily a subtree of G). We characterize the set of graphs G such that k(G)=R. Because this set has…

Combinatorics · Mathematics 2007-05-23 Gus Wiseman

The composition technique is a popular method for excluding polynomial-size problem kernels for NP-hard parameterized problems. We present a new technique exploiting triangle-based fractal structures for extending the range of applicability…

Computational Complexity · Computer Science 2017-12-27 Till Fluschnik , Danny Hermelin , André Nichterlein , Rolf Niedermeier

We develop a technique that we call Conflict Packing in the context of kernelization, obtaining (and improving) several polynomial kernels for editing problems on dense instances. We apply this technique on several well-studied problems:…

Data Structures and Algorithms · Computer Science 2014-01-31 Christophe Paul , Anthony Perez , Stéphan Thomassé

Kernels are key in machine learning for modeling interactions. Unfortunately, brute-force computation of the related kernel sums scales quadratically with the number of samples. Recent Fourier-slicing methods lead to an improved linear…

Numerical Analysis · Mathematics 2025-10-14 Nicolaj Rux , Johannes Hertrich , Sebastian Neumayer

Interpreting three-leaf binary trees or {\em rooted triples} as constraints yields an entailment relation, whereby binary trees satisfying some rooted triples must also thus satisfy others, and thence a closure operator, which is known to…

Data Structures and Algorithms · Computer Science 2018-07-03 Matthew P. Johnson

Comparative analyses of phylogenetic trees typically require identical taxon sets, however, in practice, trees often include distinct but overlapping taxa. Pruning non-shared leaves discards phylogenetic signal, whereas tree completion can…

Populations and Evolution · Quantitative Biology 2026-04-28 Aleksandr Koshkarov , Nadia Tahiri