• DocumentCode
    2434028
  • Title

    Planar F-Deletion: Approximation, Kernelization and Optimal FPT Algorithms

  • Author

    Fomin, Fedor V. ; Lokshtanov, Daniel ; Misra, Neeldhara ; Saurabh, Saket

  • Author_Institution
    Univ. of Bergen, Bergen, Norway
  • fYear
    2012
  • fDate
    20-23 Oct. 2012
  • Firstpage
    470
  • Lastpage
    479
  • Abstract
    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 η-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(2O(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.
  • Keywords
    approximation theory; computational complexity; optimisation; polynomials; set theory; trees (mathematics); constant factor approximation algorithm; feedback vertex set; finite graph set; fixed-parameter tractable; generic algorithmic; linear time algorithm; n-vertex graph; optimal FPT algorithm; optimization version; planar F-deletion problem; planar graph; polynomial kernelization algorithm; polynomial time preprocessing; single exponential parameterized algorithm; treewidth η-deletion; vertex cover; Approximation algorithms; Approximation methods; Complexity theory; Indexes; Kernel; Optimization; Polynomials; algorithms; approximation; f-deletion; fpt; graphs; kernelization;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science (FOCS), 2012 IEEE 53rd Annual Symposium on
  • Conference_Location
    New Brunswick, NJ
  • ISSN
    0272-5428
  • Print_ISBN
    978-1-4673-4383-1
  • Type

    conf

  • DOI
    10.1109/FOCS.2012.62
  • Filename
    6375325