English

Unit Interval Editing is Fixed-Parameter Tractable

Data Structures and Algorithms 2017-01-03 v2

Abstract

Given a graph~GG and integers k1k_1, k2k_2, and~k3k_3, the unit interval editing problem asks whether GG can be transformed into a unit interval graph by at most k1k_1 vertex deletions, k2k_2 edge deletions, and k3k_3 edge additions. We give an algorithm solving this problem in time 2O(klogk)(n+m)2^{O(k\log k)}\cdot (n+m), where k:=k1+k2+k3k := k_1 + k_2 + k_3, and n,mn, m denote respectively the numbers of vertices and edges of GG. Therefore, it is fixed-parameter tractable parameterized by the total number of allowed operations. Our algorithm implies the fixed-parameter tractability of the unit interval edge deletion problem, for which we also present a more efficient algorithm running in time O(4k(n+m))O(4^k \cdot (n + m)). Another result is an O(6k(n+m))O(6^k \cdot (n + m))-time algorithm for the unit interval vertex deletion problem, significantly improving the algorithm of van 't Hof and Villanger, which runs in time O(6kn6)O(6^k \cdot n^6).

Keywords

Cite

@article{arxiv.1504.04470,
  title  = {Unit Interval Editing is Fixed-Parameter Tractable},
  author = {Yixin Cao},
  journal= {arXiv preprint arXiv:1504.04470},
  year   = {2017}
}

Comments

An extended abstract of this paper has appeared in the proceedings of ICALP 2015. Update: The proof of Lemma 4.2 has been completely rewritten; an appendix is provided for a brief overview of related graph classes

R2 v1 2026-06-22T09:17:48.231Z