Recognizing k-leaf powers in polynomial time, for constant k

10/28/2021
by   Manuel Lafond, et al.
0

A graph G is a k-leaf power if there exists a tree T whose leaf set is V(G), and such that uv ∈ E(G) if and only if the distance between u and v in T is at most k. The graph classes of k-leaf powers have several applications in computational biology, but recognizing them has remained a challenging algorithmic problem for the past two decades. The best known result is that 6-leaf powers can be recognized in polynomial time. In this paper, we present an algorithm that decides whether a graph G is a k-leaf power in time O(n^f(k)) for some function f that depends only on k (but has the growth rate of a power tower function). Our techniques are based on the fact that either a k-leaf power has a corresponding tree of low maximum degree, in which case finding it is easy, or every corresponding tree has large maximum degree. In the latter case, large degree vertices in the tree imply that G has redundant substructures which can be pruned from the graph. In addition to solving a longstanding open problem, we hope that the structural results presented in this work can lead to further results on k-leaf powers.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/11/2019

A polynomial kernel for 3-leaf power deletion

A graph G is an ℓ-leaf power of a tree T if V(G) is equal to the set of ...
research
10/04/2018

Polynomial-time Recognition of 4-Steiner Powers

The kth-power of a given graph G=(V,E) is obtained from G by adding an e...
research
08/21/2023

Computing Optimal Leaf Roots of Chordal Cographs in Linear Time

A graph G is a k-leaf power, for an integer k >= 2, if there is a tree T...
research
10/13/2020

Optimal Low-Degree Hardness of Maximum Independent Set

We study the algorithmic task of finding a large independent set in a sp...
research
05/26/2021

On Alternative Models for Leaf Powers

A fundamental problem in computational biology is the construction of ph...
research
09/24/2019

Decreasing maximum average degree by deleting independent set or d-degenerate subgraph

The maximum average degree mad(G) of a graph G is the maximum average de...
research
02/22/2019

Characterizing PSPACE with shallow non-confluent P systems

In P systems with active membranes, the question of understanding the po...

Please sign up or login with your details

Forgot password? Click here to reset