Tractability of parameterized completion problems on chordal, strongly chordal, and proper interval graphs

被引:89
作者
Kaplan, H
Shamir, R
Tarjan, RE
机构
[1] AT&T Labs Res, Florham Pk, NJ 07932 USA
[2] Tel Aviv Univ, Sackler Fac Exact Sci, Dept Comp Sci, IL-69978 Tel Aviv, Israel
[3] Princeton Univ, Dept Comp Sci, Princeton, NJ 08544 USA
关键词
design and analysis of algorithms; parameterized complexity; chordal graphs; proper interval graphs; strongly chordal graphs; minimum fill-in; physical mapping of DNA;
D O I
10.1137/S0097539796303044
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We study the parameterized complexity of three NP-hard graph completion problems. The minimum fill-in problem asks if a graph can be triangulated by adding at most k edges. We develop O(c(k)m) and O(k(2)mn + f(k)) algorithms for this problem on a graph with n vertices and m edges. Here f(k) is exponential in k and the constants hidden by the big-O notation are small and do not depend on k. In particular, this implies that the problem is fixed-parameter tractable (FPT). The proper interval graph completion problem, motivated by molecular biology, asks if a graph can be made proper interval by adding no more than k edges. We show that the problem is FPT by providing a simple search-tree-based algorithm that solves it in O(c(k)m)-time. Similarly, we show that the parameterized version of the strongly chordal graph completion problem is FPT by giving an O(c(k)m log n)-time algorithm for it. All of our algorithms can actually enumerate all possible k-completions within the same time bounds.
引用
收藏
页码:1906 / 1922
页数:17
相关论文
共 41 条