PLANAR F-DELETION: Approximation, Kernelization and Optimal FPT Algorithms (Extended Abstract)

被引:125
作者
Fomin, Fedor V. [1 ]
Lokshtanov, Daniel [2 ]
Misra, Neeldhara [3 ]
Saurabh, Saket [3 ]
机构
[1] Univ Bergen, N-5020 Bergen, Norway
[2] Univ Calif Oaklang, Oakland, CA USA
[3] Inst Math Sci, Madras, Tamil Nadu, India
来源
2012 IEEE 53RD ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS) | 2012年
关键词
approximation; f-deletion; kernelization; fpt; algorithms; graphs; FEEDBACK VERTEX SET; FORBIDDEN MINORS; UPPER-BOUNDS; KERNEL; COVER; OBSTRUCTIONS; COMPRESSION; GRAPHS;
D O I
10.1109/FOCS.2012.62
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Let F be a finite set of graphs. In the F-DELETION problem, we are given an n-vertex graph G and an integer k as input, and asked whether at most k vertices can be deleted from G such that the resulting graph does not contain a graph from F as a minor. F-DELETION is a generic problem and by selecting different sets of forbidden minors F, one can obtain various fundamental problems such as VERTEX COVER, FEEDBACK VERTEX SET or TREEWIDTH eta-DELETION. In this paper we obtain a number of generic algorithmic results about F-DELETION, when F contains at least one planar graph. The highlights of our work are A constant factor approximation algorithm for the optimization version of F-DELETION; A linear time and single exponential parameterized algorithm, that is, an algorithm running in time O(2(O(k))n), for the parameterized version of F-DELETION where all graphs in F are connected; A polynomial kernel for parameterized F-DELETION. These algorithms unify, generalize, and improve a multitude of results in the literature. Our main results have several direct applications, but also the methods we develop on the way have applicability beyond the scope of this paper. Our results - constant factor approximation, polynomial kernelization and FPT algorithms - are stringed together by a common theme of polynomial time preprocessing.
引用
收藏
页码:470 / 479
页数:10
相关论文
共 58 条
[11]  
Bodlaender HL, 2009, LECT NOTES COMPUT SC, V5917, P17, DOI 10.1007/978-3-642-11269-0_2
[12]   (Meta) Kernelization [J].
Bodlaender, Hans L. ;
Fomin, Fedor V. ;
Lokshtanov, Daniel ;
Penninkx, Eelko ;
Saurabh, Saket ;
Thilikos, Dimitrios M. .
2009 50TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE: FOCS 2009, PROCEEDINGS, 2009, :629-638
[13]   On problems without polynomial kernels [J].
Bodlaender, Hans L. ;
Downey, Rodney G. ;
Fellows, Michael R. ;
Hermelin, Danny .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2009, 75 (08) :423-434
[14]   A linear-time ie algorithm for finding three-decompositions of small treewidth [J].
Bodlaender, HL .
SIAM JOURNAL ON COMPUTING, 1996, 25 (06) :1305-1317
[15]  
Burrage K, 2006, LECT NOTES COMPUT SC, V4169, P192
[16]  
Cao YX, 2010, LECT NOTES COMPUT SC, V6139, P93
[17]   Tight lower bounds for certain parameterized NP-hard problems [J].
Chen, J ;
Chor, B ;
Fellows, M ;
Huang, XZ ;
Juedes, D ;
Kanj, IA ;
Xia, G .
INFORMATION AND COMPUTATION, 2005, 201 (02) :216-231
[18]   Vertex Cover: Further observations and further improvements [J].
Chen, J ;
Kanj, IA ;
Jia, WJ .
JOURNAL OF ALGORITHMS, 2001, 41 (02) :280-301
[19]   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
[20]   Improved upper bounds for vertex cover [J].
Chen, Jianer ;
Kanj, Iyad A. ;
Xia, Ge .
THEORETICAL COMPUTER SCIENCE, 2010, 411 (40-42) :3736-3756