Title :
Tractability of parameterized completion problems on chordal and interval graphs: minimum fill-in and physical mapping
Author :
Kaplan, Haim ; Shamir, Ron ; Tarjan, Robert E.
Author_Institution :
Dept. of Comput. Sci., Princeton Univ., NJ, USA
Abstract :
We study the parameterized complexity of several NP-Hard graph completion problems: The minimum fill-in problem is to decide if a graph can be triangulated by adding at most k edges. We develop an O(k5 mn+f(K)) algorithm for the problem on a graph with n vertices and m edges. In particular, this implies that the problem is fixed parameter tractable (FPT). proper interval graph completion problems, motivated by molecular biology, ask for adding edges in order to obtain a proper interval graph, so that a parameter in that graph does not exceed k. We show that the problem is FPT when k is the number of added edges. For the problem where k is the clique size, we give an O(f(k)nk-1) algorithm, so it is polynomial for fixed k. On the other hand, we prove its hardness in the parameterized hierarchy, so it is probably not FPT. Those results are obtained even when a set of edges which should not be added is given. That set can be given either explicitly or by a proper vertex coloring which the added edges should respect
Keywords :
computational complexity; graph theory; NP-Hard graph completion problem; added edges; interval graphs; minimum fill-in; parameterized completion problems; parameterized complexity; physical mapping; tractability; vertex coloring; Art; Bandwidth; Computer science; Contracts; NP-hard problem; National electric code; Polynomials; Sparse matrices; Symmetric matrices;
Conference_Titel :
Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on
Conference_Location :
Santa Fe, NM
Print_ISBN :
0-8186-6580-7
DOI :
10.1109/SFCS.1994.365715