SPLIT VERTEX DELETION meets VERTEX COVER: New fixed-parameter and exact exponential-time algorithms

被引:16
作者
Cygan, Marek [1 ]
Pilipczuk, Marcin [2 ]
机构
[1] Univ Lugano, IDSIA, Lugano, Switzerland
[2] Univ Warsaw, Inst Informat, PL-00325 Warsaw, Poland
关键词
Graph algorithms; Fixed-parameter algorithms; Split graphs; Split vertex deletion; Branching algorithm;
D O I
10.1016/j.ipl.2013.01.001
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In the SPLIT VERTEX DELETION problem, given a graph G and an integer k, we ask whether one can delete k vertices from the graph G to obtain a split graph (i.e., a graph, whose vertex set can be partitioned into two sets: one inducing a clique and the second one inducing an independent set). In this paper we study exact (exponential-time) and fixed-parameter algorithms for SPLIT VERTEX DELETION. We show that, up to a factor quasipolynomial in k and polynomial in n, the SPLIT VERTEX DELETION problem can be solved in the same time as the well-studied VERTEX COVER problem. By plugging in the currently best fixed-parameter algorithm for VERTEX COVER due to Chen et al. [Theor. Comput Sci. 411 (40-42) (2010) 3736-3756], we obtain an algorithm that solves SPLIT VERTEX DELETION in time O(-1.2738(k)k(O(logk)) + n(3)). We show that all maximal induced split subgraphs of a given n-vertex graph can be listed in O(3(n/3) n(O(logn))) time. To achieve our goals, we prove the following structural result that may be of independent interest: for any graph G we may compute a family P of size n(O(logn)) containing partitions of V(C) into two parts, such that for any two disjoint sets X-C, X-I subset of V (G) where G[X-C] is a clique and G[X-I] is an independent set, there is a partition in P which contains all vertices of X-C on one side and all vertices of X-I on the other. Moreover, the family P can be enumerated in O(n(O(logn))) time. (C) 2013 Elsevier B.V. All rights reserved.
引用
收藏
页码:179 / 182
页数:4
相关论文
共 20 条
[1]  
[Anonymous], 2018, Graph theory
[2]  
[Anonymous], 1977, P 8 S E C COMB GRAPH
[3]   Fixed-parameter tractability of graph modification problems for hereditary properties [J].
Cai, LZ .
INFORMATION PROCESSING LETTERS, 1996, 58 (04) :171-176
[4]   Improved upper bounds for vertex cover [J].
Chen, Jianer ;
Kanj, Iyad A. ;
Xia, Ge .
THEORETICAL COMPUTER SCIENCE, 2010, 411 (40-42) :3736-3756
[5]  
Downey R. G., 1999, MG COMP SCI
[6]  
Flum J., 2006, TEXT THEORET COMP S
[7]  
Fomin FV, 2012, LECT NOTES COMPUT SC, V7501, P467, DOI 10.1007/978-3-642-33090-2_41
[8]  
Ghosh Esha, 2012, Algorithm Theory-SWAT 2012. Proceedings 13th Scandinavian Symposium and Workshops, P107, DOI 10.1007/978-3-642-31155-0_10
[9]  
Heggernes Pinar, 2011, Fundamentals of Computation Theory. Proceedings 18th International Symposium, FCT 2011, P240, DOI 10.1007/978-3-642-22953-4_21
[10]   Planarity allowing few error vertices in linear time [J].
Kawarabayashi, Ken-ichi .
2009 50TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE: FOCS 2009, PROCEEDINGS, 2009, :639-648