Polynôme chromatique
En mathématiques, plus particulièrement en théorie des graphes, le polynôme chromatique d'un graphe est une fonction polynômiale donnant le nombre de colorations distinctes d'un graphe, en fonction du nombre de couleurs autorisées. Il a été introduit d'abord en 1912 pour les graphes planaires, par George David Birkhoff, qui cherchait à démontrer le théorème des quatre couleurs[1].
Ce polynôme a pour racines tous les entiers positifs ou nuls strictement inférieurs au nombre chromatique du graphe et a pour degré l'ordre du graphe.
Le polynôme chromatique d'un graphe est un invariant, c'est-à-dire une propriété dépendant uniquement de sa structure et indépendante de son étiquetage. Autrement dit, deux graphes isomorphes auront le même polynôme chromatique.
Le terme de chromatiquement équivalent est employé pour désigner des graphes ayant le même polynôme chromatique. À l'opposé, un graphe chromatiquement unique est déterminé par son polynôme chromatique.
Définition
Soit G un graphe ayant n sommets. Notant le nombre de colorations des sommets de G avec k couleurs (distinctes), le polynôme chromatique de G, , est défini comme étant l'unique polynôme d'interpolation de degré n tel que, pour tout k avec , on ait . On a en particulier, pour tout graphe ayant plus d'une arête, , et plus précisément, le nombre chromatique de g est le plus petit entier qui n'est pas une racine de .
Un théorème d'intérêt est le suivant : pour toute arête e du graphe G, où G-e est le graphe G sans l'arête e et G.e le graphe obtenu en contractant l'arête e de G.
Un corollaire de ce théorème a été énoncé par George David Birkhoff en 1912 : Pour un graphe G à n nœuds, est un polynôme monique de degré n (i.e. un polynôme donc le coefficient du terme de degré n vaut 1), de terme constant nul et dont les coefficients alternent en signe.
Exemples
Triangle | |
Graphe complet | |
Arbre avec sommets | |
Graphe cycle | |
Graphe de Petersen | |
Graphe singleton |
- Le graphe diamant est chromatiquement unique : c'est le seul graphe à avoir comme polynôme chromatique.
- Il existe deux graphes chromatiquement équivalents au graphe taureau. L'un d'eux est le graphe criquet.
Note et référence
- (en) G. D. Birkhoff, « A Determinant Formula for the Number of Ways of Coloring a Map », Ann. Math., vol. 14, , p. 42-46
Liens externes
- (en) Eric W. Weisstein, « Chromatic polynomial », sur MathWorld
- (en) « Chromatic polynomial », sur PlanetMath
- (en) Code for computing Tutte, Chromatic and Flow Polynomials, par Gary Haggard, David J. Pearce et Gordon Royle
- (en) Lemme utilisé implicitement dans le film Will Hunting
- Portail de l'informatique théorique