Approximation algorithms for classes of graphs excluding single-crossing graphs as minors

  • Authors:

  • Erik D. Demaine;Mohammad Taghi Hajiaghayi;Naomi Nishimura;Prabhakar Ragde;Dimitrios M. Thilikos

  • Affiliations:

  • Laboratory for Computer Science, Massachusetts Institute of Technology, 200 Technoloyy Square, Cambridge, MA;Laboratory for Computer Science, Massachusetts Institute of Technology, 200 Technoloyy Square, Cambridge, MA;School of Computer Science, University of Waterloo, 200 University Ave. West, Waterloo, Ontario, Canada N2L 3G1;School of Computer Science, University of Waterloo, 200 University Ave. West, Waterloo, Ontario, Canada N2L 3G1;Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Campus Nord--Mòdul C5, Desp. 211b, c/Jordi Girona Salgado, 1-3. E-08034, Barcelona, Spain

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

Many problems that are intractable for general graphs allow polynomial-time solutions for structured classes of graphs, such as planar graphs and graphs of bounded treewidth. In this paper, we demonstrate structural properties of larger classes of graphs and show how to exploit the properties to obtain algorithms. The classes considered are those formed by excluding as a minor a graph that can be embedded in the plane with at most one crossing. We show that graphs in these classes can be decomposed into planar graphs and graphs of small treewidth; we use the decomposition to show that all such graphs have locally bounded treewidth (all subgraphs of a certain form are graphs of bounded treewidth). Finally, we make use of the structural properties to derive polynomial-time algorithms for approximating treewidth within a factor of 1.5 and branchwidth within a factor of 2.25 as well as polynomial-time approximation schemes for both minimization and maximization problems and fixed-parameter algorithms for problems such as vertex cover, edge-dominating set, feedback vertex set, and others.