The recently announced Strong Perfect Graph Theorem states that the class of perfect graphs coincides with the class of graphs containing no induced odd cycle of length at least 5 or the complement of such a cycle. A graph in this second class is called Berge. A bull is a graph with five vertices and five edges . A graph is bull-reducible if no vertex is in two bulls. In this paper we give a simple proof that every bull-reducible Berge graph is perfect. Although this result follows directly from the Strong Perfect Graph Theorem, our proof leads to a recognition algorithm for this new class of perfect graphs whose complexity, , is much lower than that announced for perfect graphs.
@article{ITA_2005__39_1_145_0,
author = {Everett, Hazel and de Figueiredo, Celina M. H. and Klein, Sulamita and Reed, Bruce},
title = {The perfection and recognition of bull-reducible Berge graphs},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
volume = {39},
year = {2005},
pages = {145-160},
doi = {10.1051/ita:2005009},
mrnumber = {2132584},
zbl = {1063.05055},
language = {en},
url = {http://dml.mathdoc.fr/item/ITA_2005__39_1_145_0}
}
Everett, Hazel; de Figueiredo, Celina M. H.; Klein, Sulamita; Reed, Bruce. The perfection and recognition of bull-reducible Berge graphs. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 39 (2005) pp. 145-160. doi : 10.1051/ita:2005009. http://gdmltest.u-ga.fr/item/ITA_2005__39_1_145_0/
[1] and, Topics on Perfect Graphs. North-Holland, Amsterdam, Ann. Discrete Math. 21 (1984). | MR 778744 | Zbl 0546.00006
[2] , Star-cutsets and perfect graphs. J. Combin. Theory Ser. B 39 (1985) 189-199. | Zbl 0674.05058
[3] ,,, and, Cleaning for Bergeness, manuscript (2003).
[4] ,, and, The Strong Perfect Graph Theorem, manuscript (2003).
[5] and, Recognizing Berge graphs, manuscript (2003).
[6] and, Bull-free Berge graphs are perfect. Graphs Combin. 3 (1987) 127-139. | Zbl 0633.05056
[7] , and, On the structure of bull-free perfect graphs. Graphs Combin. 13 (1997) 31-55. | Zbl 0869.05028
[8] , and, On the structure of bull-free perfect graphs, 2: The weakly chordal case. Graphs Combin. 17 (2001) 435-456. | Zbl 1008.05074
[9] , and, Polynomial algorithms for perfect graphs, in Topics on Perfect Graphs, edited by C. Berge and V. Chvátal. North-Holland, Amsterdam, Ann. Discrete Math. 21 (1984) 325-356. | Zbl 0554.05041
[10] , Discs in unbreakable graphs. Graphs Combin. 11 (1995) 249-254. | Zbl 0833.05032
[11] , Bull-free weakly chordal perfectly orderable graphs. Graphs Combin. 17 (2001) 479-500. | Zbl 1010.05028
[12] and, -reducible graphs - a class of uniquely tree-representable graphs. Stud. Appl. Math. 81 (1989) 79-87. | Zbl 0699.05054
[13] , and, A polynomial algorithm for recognizing perfect graphs, manuscript (2003).
[14] , Normal hypergraphs and the weak perfect graph conjecture. Discrete Math. 2 (1972) 253-267. | Zbl 0239.05111
[15] and, Perfect Graphs. Wiley (2001). | MR 1858793 | Zbl 0972.00015
[16] and, Recognizing bull-free perfect graphs. Graphs Combin. 11 (1995) 171-178. | Zbl 0832.05039