hal-00186951, version 1
Decomposing Berge graphs and detecting balanced skew partitions
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 :
- 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
- http://hal.archives-ouvertes.fr/hal-00186951
- 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



Documents associés
Exporter