Graphe trop plein

En théorie des graphes, un graphe trop plein est un graphe dont le nombre d'arêtes est supérieur au produit de son degré maximum et de la moitié de son nombre de sommets, c'est-à-dire

|E|>\Delta (G)\lfloor |V|/2\rfloor

où $|E|$ est le nombre d'arêtes, $\Delta (G)$ est le degré maximum, et $|V|$ est le nombre de sommets de $G$ . Un sous-graphe trop plein d'un graphe est un sous-graphe qui est trop plein. Une autre définition, plus forte, d'un sous-graphe trop plein $S$ d'un graphe $G$ demande qu'en plus $\displaystyle \Delta (G)=\Delta (S)$ .

Exemples[modifier | modifier le code]

Un graphe cycle impair de longueur cinq ou plus est trop plein : en effet, le produit de son degré (égal à 2) par la moitié de sa longueur (arrondie à l'entier inférieur) est égal le nombre d'arêtes de ce cycle moins 1.

Plus généralement, un graphe régulier de degré $\Delta$ avec un nombre impair $n$ de sommets est trop plein, car son nombre d'arêtes qui est égal à $(\Delta n)/2$ est plus grand que $\Delta \lfloor n/2\rfloor$ .

Propriétés[modifier | modifier le code]

Les graphes trop pleins sont d'ordre impair.
Les graphes trop pleins sont de classe de coloration 2, c'est-à-dire toute coloration des arêtes nécessite au moins $Δ + 1$ couleurs.
Un graphe $G$ qui possède un sous-graphe trop plein $S$ et tel que $\Delta (G)=\Delta (S)$ est de classe 2.

Conjecture du graphe trop plein[modifier | modifier le code]

En 1986, Amanda Chetwynd et Anthony Hilton ont formulé la conjecture suivante^[1] qui est maintenant connue sous le nom de conjecture du graphe trop plein :

Un graphe

G

à

n

sommets tel que

\Delta (G)>n/3

est de classe 2 si et seulement s'il a un sous-graphe

S

trop plein tel que

\Delta (G)=\Delta (S)

.

Cette conjecture, si elle est vraie, a de nombreuses implications en théorie des graphes, et notamment la conjecture de 1-factorisation^[2].

Algorithmes[modifier | modifier le code]

Un graphe dans lequel $\Delta \geq n/3$ a au plus trois sous-graphes trop pleins induits, et on peut trouver un sous-graphe trop plein en temps polynomial. Quand $\Delta \geq n/2$ , il y a au plus un sous-graphe induit trop plein, et on peut le trouver en temps linéaire^[3].

Références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « overfull graph » (voir la liste des auteurs).

↑ Amanda G. Chetwynd et Anthony J. W. Hilton, « Star multigraphs with three vertices of maximum degree », Mathematical Proceedings of the Cambridge Philosophical Society, vol. 100, n^o 2,‎ 1986, p. 303–317 (DOI 10.1017/S030500410006610X, MR 848854, lire en ligne).
↑ Amanda G. Chetwynd et Anthony J. W. Hilton, « 1-factorizing regular graphs of high degree—an improved bound », Discrete Mathematics, vol. 75, n^os 1–3,‎ 1989, p. 103–112 (DOI 10.1016/0012-365X(89)90082-4 , MR 1001390).
↑ Thomas Niessen, « How to find overfull subgraphs in graphs with large maximum degree. II », Electronic Journal of Combinatorics, vol. 8, n^o 1,‎ 2001, article n^o R7 (11 p.) (MR 1814514, lire en ligne).

Bibliographie[modifier | modifier le code]

Gary Chartrand et Ping Zhang, Chromatic graph theory, Chapman & Hall/CRC Press, coll. « Discrete mathematics and its applications », 2009 (ISBN 978-1-58488-800-0)
Overfull graphs sur Google Scholar

[1] Amanda G. Chetwynd et Anthony J. W. Hilton, « Star multigraphs with three vertices of maximum degree », Mathematical Proceedings of the Cambridge Philosophical Society, vol. 100, n^o 2,‎ 1986, p. 303–317 (DOI 10.1017/S030500410006610X, MR 848854, lire en ligne).

[2] Amanda G. Chetwynd et Anthony J. W. Hilton, « 1-factorizing regular graphs of high degree—an improved bound », Discrete Mathematics, vol. 75, n^os 1–3,‎ 1989, p. 103–112 (DOI 10.1016/0012-365X(89)90082-4 , MR 1001390).

[3] Thomas Niessen, « How to find overfull subgraphs in graphs with large maximum degree. II », Electronic Journal of Combinatorics, vol. 8, n^o 1,‎ 2001, article n^o R7 (11 p.) (MR 1814514, lire en ligne).

[1]

[2]

[3]