Théorème des graphes parfaits
En mathématiques, et plus précisément en théorie des graphes, le théorème des graphes parfaits (parfois appelé théorème fort des graphes parfaits) est une caractérisation des graphes parfaits par certains sous-graphes exclus (en), conjecturée par Claude Berge en 1961. Maria Chudnovsky, Neil Robertson, Paul Seymour, et Robin Thomas en annoncèrent la démonstration en 2002[1], et la publièrent en 2006. Elle valut à leurs auteurs le prix Fulkerson de 2009[2].
Définitions et énoncé du théorème
On appelle sous-graphe induit par un certain ensemble de sommets d'un graphe G le graphe formé de ces sommets et des arêtes de G les reliant ; une clique est un sous-graphe induit isomorphe à un graphe complet, c'est-à-dire que tous les sommets sont connectés ; le nombre de clique d'un graphe est le nombre de sommets de sa plus grande clique. Le nombre chromatique d'un graphe est le plus petit nombre de couleurs nécessaire pour qu'il existe une coloration de ce graphe, c'est-à-dire une fonction associant à chaque sommet du graphe une couleur, de telle sorte que deux sommets reliés par une arête aient des couleurs différentes (le nombre chromatique est toujours supérieur ou égal au nombre de clique). Enfin, le graphe complémentaire de G est le graphe ayant les mêmes sommets que G, et dans lequel deux sommets sont reliés si et seulement si ils ne le sont pas dans G.
Avec ces définitions, un graphe parfait est un graphe pour lequel chaque sous-graphe induit a un nombre de clique égal à son nombre chromatique.
De nombreuses classes de graphes sont parfaits, par exemple les graphes bipartis, les graphes cordaux, et les graphes de comparabilité. Dans des travaux de 1961 et 1963 où il définissait pour la première fois ces graphes, Claude Berge remarquait qu'un graphe parfait ne peut contenir de trou impair, c'est-à-dire de graphe induit qui soit un cycle d'ordre impair supérieur à 5, car ceux-ci ont 2 pour nombre de clique et 3 pour nombre chromatique. De même, un graphe parfait ne peut contenir un antitrou impair (c'est-à-dire un trou du graphe complémentaire) car un antitrou de 2k + 1 sommets a k pour nombre de clique et k + 1 pour nombre chromatique (si k > 1). Les graphes n'ayant ni trous, ni antitrous furent appelés des graphes de Berge.
Berge conjectura que ces graphes étaient tous parfaits (et donc que les graphes de Berge s'identifiaient aux graphes parfaits), ce qui fut appelé la conjecture (forte) des graphes parfaits, jusqu'à sa démonstration en 2002, où elle devint le
Théorème des graphes parfaits — Un graphe est parfait si et seulement si ni lui, ni son complémentaire ne contient de sous-graphe induit qui soit un cycle d'ordre impair ≥ 5.
Cette caractérisation s'appliquant identiquement à un graphe et à son complémentaire, il en résulte immédiatement le résultat plus faible suivant :
Théorème faible des graphes parfaits — Si un graphe est parfait, son complémentaire est également parfait.
Ce dernier résultat, conjecturé également par Claude Berge, fut démontré en 1972 par László Lovász. Le théorème des graphes parfaits est, pour cette raison, parfois connu sous le nom de théorème fort des graphes parfaits.
Esquisse de la démonstration
La démonstration du théorème par Maria Chudnovsky, Neil Robertson, Paul Seymour, et Robin Thomas (en 2002) suit un schéma conjecturé en 2001 par Conforti, Gérard Cornuéjols, Robertson, Seymour et Thomas, selon lequel tout graphe de Berge est composé de graphes plus simples au moyen de quatre constructions distinctes, se ramenant finalement à des graphes parfaits de cinq types possibles. Un graphe de Berge imparfait minimal ne peut être ainsi décomposé, ce qui montre qu'un contre-exemple au théorème est impossible[3]. Ce plan d'attaque reprend une conjecture antérieure de décomposition structurale qui s'était avérée erronée[4].
Les cinq classes de graphes parfaits
Les cinq classes de graphes parfaits servant de base à ces décompositions structurales sont les graphes bipartis, les graphes adjoints des graphes bipartis, les graphes complémentaires des graphes bipartis et de leurs graphes adjoints, et les graphes « doublement séparés »[5]. On voit facilement que les graphes bipartis sont parfaits : tout sous-graphe induit non trivial a 2 pour nombre chromatique et pour nombre de clique. La perfection des complémentaires des graphes bipartis et des complémentaires de leurs graphes adjoints sont toutes deux équivalentes au théorème de Kőnig reliant les tailles des couplages maximaux, du stable maximum, et de la couverture minimale pour les graphes bipartis. La perfection des graphes adjoints aux graphes bipartis est équivalente à ce que ces derniers sont d'indice chromatique égal à leur degré maximum, résultat démontré lui aussi par Kőnig[6]. On montre que les graphes « doublement séparés » sont eux aussi parfaits[7].
Les quatre décompositions
Les quatre types de décompositions utilisés dans la démonstration sont les 2-jonctions et leurs complémentaires, les partitions antisymétriques équilibrées, et les paires homogènes (en 2006, Chudnovsky simplifia la démonstration du théorème des graphes parfaits en montrant que les décompositions en paires homogènes pouvaient être éliminées de cette liste[8]).
Une 2-jonction est une partition des sommets d'un graphe en deux sous-ensembles tels que les arêtes reliant l'un à l'autre forment deux graphes bipartis complets sans sommets communs. Un graphe admettant une 2-jonction peut être décomposé en deux sous-graphes induits appelés blocs en remplaçant un des deux sous-ensembles par un chemin minimal de cet ensemble connectant l'un des graphes bipartis complets à l'autre[9], et le graphe est parfait si et seulement si les deux blocs sont parfaits. Ainsi, un graphe imparfait minimal ayant une 2-jonction s'identifie à un de ses blocs ; on montre alors que ce bloc est un cycle d'ordre impair et donc que le graphe n'est pas un graphe de Berge ; le même raisonnement permet de montrer qu'un graphe imparfait minimal dont le complémentaire admet une 2-jonction n'est pas un graphe de Berge[10].
Une partition antisymétrique (en) est une partition des sommets du graphe en deux sous-ensembles induisant respectivement un sous-graphe non connexe et le complémentaire d'un sous-graphe ; Chvátal a conjecturé qu'un graphe de Berge imparfait minimal ne pouvait admettre de partition antisymétrique[11]. Chudnovsky introduisit quelques contraintes techniques supplémentaires, démontrant ainsi la conjecture de Chvátal pour les partitions antisymétriques « équilibrées »[12].
Une paire homogène est une sorte de décomposition modulaire (en) d'un graphe. C'est une partition du graphe en trois sous-ensembles de sommets, V1, V2 et V3, tels que V1 et V2 ont ensemble au moins trois sommets et V3 au moins deux sommets, et que pour chaque sommet v de V3 et chaque i de {1,2}, ou bien v est adjacent à tous les sommets de Vi, ou bien il ne l'est à aucun. Un graphe de Berge imparfait minimal ne peut posséder de paire homogène[13].
Démonstration de l'existence d'une décomposition
La démonstration de ce que tout graphe de Berge admet une des quatre décompositions (ou est d'un des cinq types de base) suit une analyse par décomposition en cas, selon la présence de certaines configurations dans le graphe : un extenseur, sous-graphe pouvant être décomposé en trois chemins induits (avec certaines contraintes supplémentaires), le complémentaire d'un extenseur, ou enfin une roue propre, configuration proche d'un graphe roue, formée d'un cycle induit et d'un sommet « moyeu » adjacent à au moins trois sommets du cycle (avec certaines contraintes supplémentaires). Tout graphe de Berge contient au moins une de ces trois configurations, et pour chacun de ces trois cas, on montre qu'il est décomposable[14] ; ceci achève la démonstration du théorème.
Notes
- ↑ Mackenzie 2002 ; Cornuéjols 2002.
- ↑ (en) « 2009 Fulkerson Prizes », Notices Amer. Math. Soc., , p. 1475-1476 (lire en ligne).
- ↑ Cornuéjols 2002, conjecture 5.1.
- ↑ Reed 1986 ; Hougardy 1991 ; Rusu 1997 ; Roussel, Rusu et Thuillier 2009, section 4.6 « The first conjectures ».
- ↑ Ou « doublement scindés ». Voir l'article graphe scindé pour une définition rigoureuse de ces graphes.
- ↑ Kőnig 1916
- ↑ Roussel, Rusu et Thuillier 2009, définition 4.39.
- ↑ Chudnovsky 2006
- ↑ S'il n'existe pas de tel chemin, le bloc est formé en remplaçant le sous-ensemble par deux sommets, correspondant aux deux graphes bipartis.
- ↑ Cornuéjols et Cunningham 1985 ; Cornuéjols 2002, théorème 3.2 et corollaire 3.3.
- ↑ Chvátal 1985
- ↑ Seymour 2006 ; Roussel, Rusu et Thuillier 2009, section 4.7 « The skew partition » ; Cornuéjols 2002, théorèmes 4.1 et 4.2.
- ↑ Chvátal et Sbihi 1987 ; Cornuéjols 2002, théorème 4.10.
- ↑ Cornuéjols 2002, théorèmes 5.4, 5.5, et 5.6 ; Roussel, Rusu et Thuillier 2009, théorème 4.42.
Références
- (de) Claude Berge, « Färbung von Graphen, deren sämtliche bzw. deren ungerade Kreise starr sind », Wiss. Z. Martin-Luther-Univ. Halle-Wittenberg Math.-Natur. Reihe, vol. 10, , p. 114
- (en) Claude Berge, Six Papers on Graph Theory, Calcutta, Indian Statistical Institute, , p. 1-21
- (en) Maria Chudnovsky, « Berge trigraphs », Journal of Graph Theory, vol. 53, no 1, , p. 1-55 (DOI 10.1002/jgt.20165, MR 2245543)
- (en) Maria Chudnovsky, Neil Robertson, Paul Seymour et Robin Thomas, « The strong perfect graph theorem », Annals of Mathematics, vol. 164, no 1, , p. 51-229 (DOI 10.4007/annals.2006.164.51, lire en ligne)
- (en) Vašek Chvátal, « Star-cutsets and perfect graphs », J. Combin. Theory, b, vol. 39, no 3, , p. 189-199 (DOI 10.1016/0095-8956(85)90049-8, MR 815391)
- (en) Vašek Chvátal et Najiba Sbihi, « Bull-free Berge graphs are perfect », Graphs and Combinatorics, vol. 3, no 2, , p. 127-139 (DOI 10.1007/BF01788536, MR 932129)
- Gérard Cornuéjols, « Le théorème fort des graphes parfaits », Séminaire Bourbaki, no 48, 2005-2006, p. 123-136 (lire en ligne [archive du ], consulté le )
- (en) Gérard Cornuéjols, Proceedings of the ICM (Beijing, 2002), vol. III, Pékin, Higher Ed. Press, (MR 1957560, lire en ligne), « The strong perfect graph conjecture », p. 547-559
- (en) G. Cornuéjols et W. H. Cunningham, « Compositions for perfect graphs », Discrete Math., vol. 55, no 3, , p. 245-254 (DOI 10.1016/S0012-365X(85)80001-7, MR 802663)
- (en) S. Hougardy, Counterexamples to three conjectures concerning perfect graphs, Grenoble, France, Laboratoire Artemis-IMAG, Universitá Joseph Fourier, ; cité par Roussel, Rusu et Thuillier 2009
- (hu) Dénes Kőnig, « Gráfok és alkalmazásuk a determinánsok és a halmazok elméletére », Matematikai és Természettudományi Értesítő, vol. 34, , p. 104-119
- (en) László Lovász, « Normal hypergraphs and the perfect graph conjecture », Discrete Math., vol. 2, no 3, 1972a, p. 253-267 (DOI 10.1016/0012-365X(72)90006-4)
- (en) László Lovász, « A characterization of perfect graphs », J. Combin. Theory, series B, vol. 13, no 2, 1972b, p. 95-98 (DOI 10.1016/0095-8956(72)90045-7)
- (en) Dana Mackenzie, « Mathematics: Graph theory uncovers the roots of perfection », Science, vol. 297, no 5578, , p. 38 (PMID 12098683, DOI 10.1126/science.297.5578.38)
- (en) B. A. Reed, A semi-strong perfect graph theorem, Montréal, Department of Computer Science, McGill University, ; cité par Roussel, Rusu et Thuillier 2009
- (en) F. Roussel, I. Rusu et H. Thuillier, « The strong perfect graph conjecture: 40 années of attempts, and its resolution », Discrete Math., vol. 309, no 20, , p. 6092-6113 (DOI 10.1016/j.disc.2009.05.024, MR 2552645)
- (en) Irena Rusu, « Building counterexamples », Discrete Math., vol. 171, nos 1-3, , p. 213-227 (DOI 10.1016/S0012-365X(96)00081-7, MR 1454452)
- (en) Paul Seymour, « How the proof of the strong perfect graph conjecture was found », Gazette des Mathématiciens, no 109, , p. 69-83 (MR 2245898, lire en ligne)
Liens externes
- (en) Vašek Chvátal, « The Strong Perfect Graph Theorem »
- (en) Eric W. Weisstein, « Strong Perfect Graph Theorem », sur MathWorld
Portail des mathématiques
Portail de l'informatique théorique