A subexponential parameterized algorithm for Interval Completion
Abstract
In the Interval Completion problem we are given a graph G and an integer k, and the task is to turn G using at most k edge additions into an interval graph, i.e., a graph admitting an intersection model of intervals on a line. Motivated by applications in sparse matrix multiplication and molecular biology, Kaplan, Shamir and Tarjan [FOCS 1994; SIAM J. Comput. 1999] asked for a fixed-parameter algorithm solving this problem. This question was answer affirmatively more than a decade later by Villanger at el. [STOC 2007; SIAM J. Comput. 2009], who presented an algorithm with running time . We give the first subexponential parameterized algorithm solving Interval Completion in time . This adds Interval Completion to a very small list of parameterized graph modification problems solvable in subexponential time.
Cite
@article{arxiv.1402.3473,
title = {A subexponential parameterized algorithm for Interval Completion},
author = {Ivan Bliznets and Fedor V. Fomin and Marcin Pilipczuk and Michał Pilipczuk},
journal= {arXiv preprint arXiv:1402.3473},
year = {2014}
}
Comments
v2: An overview of the proof has been added; v3: updated introduction