The k-leaf spanning tree problem admits a klam value of 39

Research output: Contribution to journalArticlepeer-review

Abstract

The klam value of an algorithm that runs in time O(f(k)) is the maximal value k such that f(k)<1020. Given a graph G and a parameter k, the k-LEAF SPANNING TREE (k-LST) problem asks if G contains a spanning tree with at least k leaves. This problem has been extensively studied over the past three decades. In 2000, Fellows et al. (2000) asked whether it admits a klam value of 50. A steady progress towards an affirmative answer continued until 5 years ago, when an algorithm of klam value 37 was discovered. Our contribution is twofold. First, we present an O(3.188k)-time parameterized algorithm for k-LST, which shows that the problem admits a klam value of 39. Second, we rely on an application of the bounded search trees technique where the correctness of rules crucially depends on the history of previously applied rules in a non-standard manner, encapsulated in a “dependency claim”. Similar claims may be used to capture the essence of other complex algorithms in a compact, useful manner.

Original languageEnglish
Pages (from-to)175-203
Number of pages29
JournalEuropean Journal of Combinatorics
Volume68
DOIs
StatePublished - 1 Feb 2018
Externally publishedYes

Fingerprint

Dive into the research topics of 'The k-leaf spanning tree problem admits a klam value of 39'. Together they form a unique fingerprint.

Cite this