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|>\mathrm{\Delta }(G)\lfloor |V|/2\rfloor$

où $|E|$ est le nombre d'arêtes, $\mathrm{\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 $\mathrm{\Delta }(G)=\mathrm{\Delta }(S)$.

Exemples

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é $\mathrm{\Delta }$ avec un nombre impair $n$ de sommets est trop plein, car son nombre d'arêtes qui est égal à $(\mathrm{\Delta }n)/2$ est plus grand que $\mathrm{\Delta }\lfloor n/2\rfloor$.

Propriétés

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

Conjecture du graphe trop plein

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

Un graphe $G$ à $n$ sommets tel que $\mathrm{\Delta }(G)>n/3$ est de classe 2 si et seulement s'il a un sous-graphe $S$ trop plein tel que $\mathrm{\Delta }(G)=\mathrm{\Delta }(S)$ .

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

Algorithmes

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

Bibliographie

• Modèle:Ouvrage
• Overfull graphs sur Google Scholar