Split Vertex Deletion meets Vertex Cover: New fixed-parameter and exact exponential-time algorithms

Split Vertex Deletion meets Vertex Cover: New fixed-parameter and exact exponential-time algorithms

0.00 Avg rating0 Votes
Article ID: iaor20131571
Volume: 113
Issue: 5-6
Start Page Number: 179
End Page Number: 182
Publication Date: Mar 2013
Journal: Information Processing Letters
Authors: ,
Keywords: graphs, heuristics
Abstract:

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 ( log k ) + 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 ( log n ) ) 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 equ3 of size n O ( log n ) equ4 containing partitions of V ( G ) equ5 into two parts, such that for any two disjoint sets X C , X I V ( G ) equ6 where G [ X C ] equ7 is a clique and G [ X I ] equ8 is an independent set, there is a partition in P equ9 which contains all vertices of X C equ10 on one side and all vertices of X I equ11 on the other. Moreover, the family P equ12 can be enumerated in O ( n O ( log n ) ) equ13 time.

    Reviews

    Required fields are marked *. Your email address will not be published.