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 modifier

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,  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 dont le coefficient du terme de degré n vaut 1), de terme constant nul et dont les coefficients alternent en signe.

Exemples modifier

 
Les 3 graphes avec un polynôme chromatique égal à
 
Exemples de polynômes chromatiques
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.

Notes et références modifier

  1. (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 modifier