An FPT 2-Approximation for Tree-cut Decomposition

被引:7
作者
Kim, Eunjung [1 ]
Oum, Sang-il [2 ]
Paul, Christophe [3 ]
Sau, Ignasi [3 ]
Thilikos, Dimitrios M. [3 ,4 ,5 ]
机构
[1] CNRS, LAMSADE, Paris, France
[2] Korea Adv Inst Sci & Technol, Dept Math Sci, Daejeon, South Korea
[3] Univ Montpellier, CNRS, LIRMM, F-34059 Montpellier, France
[4] Univ Athens, Dept Math, Athens, Greece
[5] Comp Technol Inst Press Diophantus, Patras, Greece
来源
APPROXIMATION AND ONLINE ALGORITHMS, WAOA 2015 | 2015年 / 9499卷
关键词
Fixed-parameter tractable algorithm; Tree-cut width; Approximation algorithm; LINEAR-TIME; GRAPH MINORS; ALGORITHMS; TREEWIDTH; WIDTH;
D O I
10.1007/978-3-319-28684-6_4
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The tree-cut width of a graph is a graph parameter defined by Wollan [J. Comb. Theory, Ser. B, 110: 47-66, 2015] with the help of tree-cut decompositions. In certain cases, tree-cut width appears to be more adequate than treewidth as an invariant that, when bounded, can accelerate the resolution of intractable problems. While designing algorithms for problems with bounded tree-cut width, it is important to have a parametrically tractable way to compute the exact value of this parameter or, at least, some constant approximation of it. In this paper we give a parameterized 2-approximation algorithm for the computation of tree-cut width; for an input n-vertex graph G and an integer w, our algorithm either confirms that the tree-cut width of G is more than w or returns a tree-cut decomposition of G certifying that its tree-cut width is at most 2w, in time 2(O(w2 log w)) . n(2). Prior to this work, no constructive parameterized algorithms, even approximated ones, existed for computing the tree-cut width of a graph. As a consequence of the Graph Minors series by Robertson and Seymour, only the existence of a decision algorithm was known.
引用
收藏
页码:35 / 46
页数:12
相关论文
共 24 条
[1]  
Bodlaender HL, 2004, LECT NOTES COMPUT SC, V3162, P37
[2]   A linear-time ie algorithm for finding three-decompositions of small treewidth [J].
Bodlaender, HL .
SIAM JOURNAL ON COMPUTING, 1996, 25 (06) :1305-1317
[3]   Efficient and constructive algorithms for the pathwidth and treewidth of graphs [J].
Bodlaender, HL ;
Kloks, T .
JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 1996, 21 (02) :358-402
[4]  
BODLAENDER HL, 2013, IEEE S FDN COMP SCI, P499, DOI DOI 10.1109/FOCS.2013.60
[5]   THE MONADIC 2ND-ORDER LOGIC OF GRAPHS .1. RECOGNIZABLE SETS OF FINITE GRAPHS [J].
COURCELLE, B .
INFORMATION AND COMPUTATION, 1990, 85 (01) :12-75
[6]  
Dom M, 2008, LECT NOTES COMPUT SC, V5018, P78, DOI 10.1007/978-3-540-79723-4_9
[7]   On the complexity of some colorful problems parameterized by treewidth [J].
Fellows, Michael R. ;
Fomin, Fedor V. ;
Lokshtanov, Daniel ;
Rosamond, Frances ;
Saurabh, Saket ;
Szeider, Stefan ;
Thomassen, Carsten .
INFORMATION AND COMPUTATION, 2011, 209 (02) :143-153
[8]   Algorithmic Applications of Tree-Cut Width [J].
Ganian, Robert ;
Kim, Eun Jung ;
Szeider, Stefan .
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015, PT II, 2015, 9235 :348-360
[9]  
Garey MR., 1979, Computers and Intractability
[10]  
A Guide to the Theory of NP-Completeness