Planar Feedback Vertex Set and Face Cover: Combinatorial Bounds and Subexponential Algorithms

被引:0
作者
Koutsonas, Athanassios [1 ]
Thilikos, Dimitrios M. [1 ]
机构
[1] Univ Athens, Athens 15784, Greece
关键词
Branchwidth; Parameterized algorithms; Feedback vertex set; Face cover; BRANCH DECOMPOSITIONS; PARAMETERIZED ALGORITHMS; LINEAR KERNEL; GRAPHS; RATCATCHER; MINORS;
D O I
10.1007/s00453-010-9390-4
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The Planar Feedback Vertex Set problem asks whether an n-vertex planar graph contains at most k vertices meeting all its cycles. The Face Cover problem asks whether all vertices of a plane graph G lie on the boundary of at most k faces of G. Standard techniques from parameterized algorithm design indicate that both problems can be solved by sub-exponential parameterized algorithms (where k is the parameter). In this paper we improve the algorithmic analysis of both problems by proving a series of combinatorial results relating the branchwidth of planar graphs with their face cover. Combining this fact with duality properties of branchwidth, allows us to derive analogous results on feedback vertex set. As a consequence, it follows that Planar Feedback Vertex Set and Face Cover can be solved in O(2(15.11).root(k) + n(2)) and O(2(10.1).root(k) + n(2)) steps, respectively.
引用
收藏
页码:987 / 1003
页数:17
相关论文
共 31 条
[1]   Randomized algorithms for the loop cutset problem [J].
Becker, A ;
Bar-Yehuda, R ;
Geiger, D .
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2000, 12 :219-234
[2]  
Bodlaender H., 2009, P 50 ANN IEEE S FDN
[3]  
Bodlaender HL, 2008, LECT NOTES COMPUT SC, V5018, P160, DOI 10.1007/978-3-540-79723-4_16
[4]  
Bodlaender HL, 2007, LECT NOTES COMPUT SC, V4393, P320
[5]  
Bodlaender HL, 2008, LECT NOTES COMPUT SC, V5369, P306, DOI 10.1007/978-3-540-92182-0_29
[6]   Improved algorithms for feedback vertex set problems [J].
Chen, Jianer ;
Fomin, Fedor V. ;
Liu, Yang ;
Lu, Songjian ;
Villanger, Yngve .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2008, 74 (07) :1188-1198
[7]   A primal-dual interpretation of two 2-approximation algorithms for the feedback vertex set problem in undirected graphs [J].
Chudak, FA ;
Goemans, MX ;
Hochbaum, DS ;
Williamson, DP .
OPERATIONS RESEARCH LETTERS, 1998, 22 (4-5) :111-118
[8]   Subexponential parameterized algorithms on bounded-genus graphs and H-minor-free graphs [J].
Demaine, ED ;
Fomin, FV ;
Hajiaghayi, M ;
Thilikos, DM .
JOURNAL OF THE ACM, 2005, 52 (06) :866-893
[9]   Exponential speedup of fixed-parameter algorithms for classes of graphs excluding single-crossing graphs as minors [J].
Demaine, ED ;
Hajiaghayi, M ;
Thilikos, DM .
ALGORITHMICA, 2005, 41 (04) :245-267
[10]  
Dorn F, 2005, LECT NOTES COMPUT SC, V3669, P95