A structure theorem for graphs with no cycle with a unique chord and its consequences

  • Authors:
  • Nicolas Trotignon;Kristina Vušković

  • Affiliations:
  • CNRS, Université Paris 7, Paris Diderot, Liafa, Case 7014, 75205 Paris Cedex 13, France;School of Computing, University of Leeds, Leeds LS2 9JT, United Kingdom

  • Venue:
  • Journal of Graph Theory
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

We give a structural description of the class 𝒞 of graphs that do not contain a cycle with a unique chord as an induced subgraph. Our main theorem states that any connected graph in 𝒞 is either in some simple basic class or has a decomposition. Basic classes are chordless cycles, cliques, bipartite graphs with one side containing only nodes of degree 2 and induced subgraphs of the famous Heawood or Petersen graph. Decompositions are node cutsets consisting of one or two nodes and edge cutsets called 1-joins. Our decomposition theorem actually gives a complete structure theorem for 𝒞, i.e. every graph in 𝒞 can be built from basic graphs that can be explicitly constructed, and gluing them together by prescribed composition operations, and all graphs built this way are in 𝒞. This has several consequences: an 𝒪(nm) -time algorithm to decide whether a graph is in 𝒞, an 𝒪(n+ m) -time algorithm that finds a maximum clique of any graph in 𝒞, and an 𝒪(nm) -time coloring algorithm for graphs in 𝒞. We prove that every graph in 𝒞 is either 3-colorable or has a coloring with ω colors where ω is the size of a largest clique. The problem of finding a maximum stable set for a graph in 𝒞 is known to be NP-hard. © 2009 Wiley Periodicals, Inc. J Graph Theory 63: 31–67, 2010