22066 articles – 15901 Notices  [english version]

hal-00186951, version 1

Decomposing Berge graphs and detecting balanced skew partitions

Nicolas Trotignon () 1

JOURNAL OF COMBINATORIAL THEORY SERIES B 98, 1 (2008) 173-225

Résumé : A hole in a graph is an induced cycle on at least four vertices. A graph is Berge if it has no odd hole and if its complement has no odd hole. In 2002, Chudnovsky, Robertson, Seymour and Thomas proved a decomposition theorem for Berge graphs saying that every Berge graph either is in a well understood basic class, or has some kind of decomposition. Then, Chudnovsky proved stronger theorems. One of them restricts the allowed decompositions to 2-joins and balanced skew partitions. We prove that the problem of deciding whether a graph has a balanced skew partition is NP-hard.We give an O(n9)-time algorithm for the same problem restricted to Berge graphs. Our algorithm is not constructive: it only certifies whether a graph has a balanced skew partition or not. It relies on a new decomposition theorem for Berge graphs that is more precise than the previously known theorems. Our theorem also implies that every Berge graph can be decomposed in a first step by using only balanced skew partitions, and in a second step by using only 2-joins. Our proof of this new theorem uses at an essential step one of the theorems of Chudnovsky.

  • 1 :  Centre d'économie de la Sorbonne (CES)
  • CNRS : UMR8174 – Université Paris I - Panthéon-Sorbonne
  • Domaine : Informatique/Mathématique discrète
    Mathématiques/Combinatoire
  • Mots-clés : Perfect graph – Berge graph – 2-Join – Balanced skew partition – Decomposition – Detection – Recognition
 
  • hal-00186951, version 1
  • oai:hal.archives-ouvertes.fr:hal-00186951
  • Contributeur : 
  • Soumis le : Mardi 13 Novembre 2007, 09:46:07
  • Dernière modification le : Jeudi 22 Novembre 2012, 14:54:19