SUBEXPONENTIAL PARAMETERIZED ALGORITHM FOR MINIMUM FILL-IN

被引:38
作者
Fomin, Fedor V. [1 ]
Villanger, Yngve [1 ]
机构
[1] Univ Bergen, Bergen, Norway
基金
欧洲研究理事会;
关键词
chordal graph; parameterized complexity; subexponential algorithm; INTERVAL COMPLETION; TREEWIDTH; GRAPHS; TRIANGULATIONS; TRACTABILITY;
D O I
10.1137/11085390X
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The MINIMUM FILL-IN problem is used to decide if a graph can be triangulated by adding at most k edges. In 1994, Kaplan, Shamir, and Tarjan showed that the problem is solvable in time O(2(O(k)) + k(2)nm) on graphs with n vertices and m edges and thus is fixed parameter tractable. Here, we give the first subexponential parameterized algorithm solving MINIMUM FILL-IN in time O(2(O(root k log k)) + k(2)nm). This substantially lowers the complexity of the problem. Techniques developed for MINIMUM FILL-IN can be used to obtain subexponential parameterized algorithms for several related problems, including MINIMUM CHAIN COMPLETION, CHORDAL GRAPH SANDWICH, and TRIANGULATING COLORED GRAPH.
引用
收藏
页码:2197 / 2216
页数:20
相关论文
共 54 条
[1]  
Alon N, 2009, LECT NOTES COMPUT SC, V5555, P49, DOI 10.1007/978-3-642-02927-1_6
[2]  
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theory of NP-Completeness
[3]  
[Anonymous], 2005, GRAD TEXTS MATH
[4]  
Arvind V, 2011, BULL EUR ASSOC THEOR, P41
[5]   ON THE DESIRABILITY OF ACYCLIC DATABASE SCHEMES [J].
BEERI, C ;
FAGIN, R ;
MAIER, D ;
YANNAKAKIS, M .
JOURNAL OF THE ACM, 1983, 30 (03) :479-513
[6]  
Blair Jean R. S., 1993, GRAPH THEORY SPARSE, P1, DOI [DOI 10.1007/978-1-4613-8369-7, DOI 10.1007/978-1-4613-8369-71]
[7]   Faster Parameterized Algorithms for Minimum Fill-in [J].
Bodlaender, Hans L. ;
Heggernes, Pinar ;
Villanger, Yngve .
ALGORITHMICA, 2011, 61 (04) :817-838
[8]  
BODLAENDER HL, 1992, LECT NOTES COMPUT SC, V623, P273
[9]   The hardness of perfect phylogeny, feasible register assignment and other problems on thin colored graphs [J].
Bodlaender, HL ;
Fellows, MR ;
Hallett, MT ;
Wareham, HT ;
Warnow, TJ .
THEORETICAL COMPUTER SCIENCE, 2000, 244 (1-2) :167-188
[10]  
Bonet M., 1996, Proceedings of the Twenty-Eighth Annual ACM Symposium on the Theory of Computing, P220, DOI 10.1145/237814.237867