# Coloration gloutonne

Dans l'étude des problèmes de coloration de graphes en mathématiques et en informatique, une coloration gloutonne ou coloration séquentielle est une coloration des sommets d'un graphe obtenue par un algorithme glouton qui examine les sommets du graphe en séquence et attribue à chaque sommet la première couleur disponible. Les colorations gloutonnes peuvent être obtenues en temps linéaire, mais elles n'utilisent en général pas le nombre minimum possible de couleurs.
Différents choix pour la suite des sommets produisent généralement des colorations différentes du graphe donné. Une grande partie de l'étude des colorations gloutonnes porte donc sur la façon de trouver un bon ordre. Il existe toujours un ordre qui produit une coloration optimale, et même si l'on trouve aisément pour de nombreuses classes particulières de graphes, ils sont difficiles à trouver en général. Les stratégies couramment utilisées pour l'ordre des sommets impliquent de choisir les sommets de degré élevé avant les sommets de degré inférieur, ou de choisir des sommets avec moins de couleurs disponibles de préférence aux sommets qui sont moins contraints.
Des variantes de coloration gloutonne consistent à choisir les couleurs par un algorithme online, donc sans connaissance de la structure de la partie non colorée du graphe, ou de choisir d'autres couleurs que la première couleur disponible afin de réduire le nombre total de couleurs. Des algorithmes de coloration gloutonne ont été appliqués à des problèmes d'ordonnancement et d'allocation de registres, à l'analyse de jeux combinatoires et aux preuves d'autres résultats mathématiques, notamment le théorème de Brooks sur la relation entre coloration et degré. D'autres concepts de théorie des graphes dérivés des colorations gloutonnes incluent le nombre de Grundy d'un graphe (le plus grand nombre de couleurs que l'on peut trouver dans une coloration gloutonne), et les graphes bien colorés, qui sont les graphes pour lesquels toutes les colorations gloutonnes utilisent le même nombre de couleurs.

## Algorithme

La coloration gloutonne pour un ordre de sommets donné peut être calculée par un algorithme qui s'exécute en temps linéaire. L'algorithme traite les sommets dans l'ordre donné, en attribuant une couleur à chacun au fur et à mesure qu'il est traité. Les couleurs peuvent être représentées par les entiers $0,1,2,\dots$ et chaque sommet reçoit la couleur qui est le plus petit entier qui n'est pas déjà utilisé par l'un de ses voisins. Pour trouver la plus petite couleur disponible, on peut utiliser un tableau qui compte le nombre de voisins de chaque couleur (ou qui représente l'ensemble des couleurs des voisins), puis parcourir le tableau pour trouver l'indice de sa première valeur nulle.
En langage Python, l'algorithme peut être exprimé sous la forme suivante :
La procédure first_available prend un temps proportionnel à la longueur de sa liste d'arguments, car il effectue deux boucles, une sur la liste elle-même et une sur une liste des couleurs de même longueur. Le temps global de l'algorithme de coloration est dominé par les appels à ce sous-programme. Chaque arête du graphe contribue à un seul de ces appels, celui de l'extrémité de l'arête qui se trouve le plus loin dans l'ordre des sommets. Par conséquent, la somme des longueurs des listes d'arguments jusqu'à first_available et le temps total de l'algorithme sont proportionnels au nombre d'arêtes du graphe.
Un autre algorithme, produisant la même coloration, consiste à déterminer les ensembles de sommets de même couleur, une couleur à la fois. Dans cette méthode, chaque classe de couleur $C$ est calculée en examinant les sommets dans l'ordre donné. Lorsque ce parcours rencontre un sommet non coloré $v$ qui n'a pas de voisin dans $C$, on ajoute $v$ à $C$. De cette façon, $C$ devient un stable maximal parmi les sommets qui n'ont pas encore reçu des couleurs plus petites. L'algorithme trouve ainsi itérativement les classes de couleurs jusqu'à ce que tous les sommets soient colorés. Cependant, cette méthode demande plusieurs parcours du graphe, un parcours pour chaque classe de couleur, au lieu de la méthode décrite ci-dessus qui n'utilise qu'un seul parcours.

## Choix de l'ordre

Des ordres différents pour les sommets d'un graphe peuvent conduire la coloration gloutonne à utiliser des nombres différents de couleurs, allant du nombre optimal de couleurs à, dans certains cas, un nombre de couleurs proportionnel au nombre de sommets du graphe. Par exemple, un graphe couronne (qui est un graphe formé de deux ensembles disjoints de n/2 sommets {a$_1$, a$_2$, ... } et {b$_1$, b$_2$, ... } avec une arête entre a$_i$ à b$_j$ chaque fois qui i ≠ j ) peut être un cas particulièrement mauvais pour la coloration gloutonne : avec l'ordre des sommets a$_1$, b$_1$, a$_2$, b$_2$, ..., une coloration gloutonne utilise n/2 couleurs, une couleur pour chaque paire (a$_i$, b$_i$). Cependant, le nombre optimal de couleurs pour ce graphe est de deux, une couleur pour les sommets a$_i$ et une autre pour les sommets b$_i$. Il existe aussi des graphes tels qu'avec une probabilité élevée, un ordre de sommets choisi au hasard conduit à un nombre de couleurs beaucoup plus grand que le minimum. Par conséquent, il importe de choisir avec soin l'ordre des sommets pour une coloration gloutonne.

### Bons ordres

Les sommets d'un graphe peuvent toujours être ordonnés de telle sorte que l'algorithme glouton produise une coloration optimale ; en effet, étant donné une coloration optimale, on peut ordonner les sommets par leurs couleurs puis, lorsqu'on utilise un algorithme glouton avec cet ordre, la coloration résultante est automatiquement optimale. Cependant, parce que la coloration optimale d'un graphe est un problème NP-complet, tout sous-problème qui permettrait de résoudre ce problème rapidement, y compris la recherche d'un ordre optimal pour la coloration gloutonne, est NP-difficile.
Dans les graphes d'intervalles et les graphes cordaux, si les sommets sont ordonnés dans l'ordre opposé de l'ordre d'élimination parfait, alors les voisins précédent chaque sommet forment une clique. Cette propriété a pour effet que la coloration gloutonne produit une coloration optimale, car elle n'utilise jamais plus de couleurs qu'il n'en faut pour chacune de ces cliques. Un ordre d'élimination peut être trouvé en temps linéaire, lorsqu'il existe.
Mieux encore, tout ordre d'élimination parfait est héréditairement optimal, ce qui signifie qu'il est optimal à la fois pour le graphe lui-même et pour tous ses sous-graphes induits. Les graphes parfaitement ordonnables (qui incluent les graphes cordaux, les graphes de comparabilité et les graphes à distance héréditaire) sont par définition les graphes qui ont un ordre héréditairement optimal. Reconnaître qu'un graphe est parfaitement ordonnable est également NP-complet.

### Ordre mauvais

Le nombre de couleurs produites par la coloration gloutonne pour le plus mauvais des ordres d'un graphe donné est appelé son nombre de Grundy. Trouver un bon ordre des sommets pour une coloration gloutonne est difficile, et il en est de même pour trouver un mauvais ordre des sommets. Il est NP-complet de déterminer, pour un graphe donné G et un nombre k, s'il existe un ordre des sommets de G qui force l'algorithme glouton à utiliser au moins k couleurs. En particulier, cela signifie aussi qu'il est difficile de trouver le plus mauvais ordre pour G.

### Graphes où l'ordre est non pertinent

Les graphes bien colorés (en) sont les graphes pour lesquels toutes les colorations de sommets produisent le même nombre de couleurs. Dans ces graphes, ce nombre est égal à la fois au nombre chromatique et au nombre de Grundy. Ces graphes incluent les cographes, qui sont exactement les graphes dans lesquels tous les sous-graphes induits sont bien colorés. Cependant, il est co-NP-complet de déterminer si un graphe est bien coloré.
Si un graphe aléatoire est tiré selon le modèle d'Erdős-Rényi (en) avec une probabilité constante pour l'inclusion de chaque arête, alors tout ordre des sommets choisi indépendamment des arêtes du graphe conduit à une coloration dont le nombre de couleurs est proche du double de la valeur optimale avec grande probabilité. On ne sait pas s'il existe une méthode en temps polynomial pour trouver des colorations sensiblement meilleures pour ces graphes.

### Dégénérescence

Comme il est difficile de trouver un ordre optimal des sommets, des heuristiques ont été utilisées pour tenter de réduire le nombre de couleurs sans garantir un nombre optimal de couleurs. Un ordre couramment utilisé pour la coloration gloutonne est de choisir un sommet v de degré minimum, d'ordonner récursivement le sous-graphe sans le sommet v, puis de re placer v comme dernier dans l'ordre. Le plus grand des degrés d'un sommet supprimé que cet algorithme rencontre est appelé la dégénérescence du graphe, et est notée d. Dans le contexte de la coloration gloutonne, la même stratégie d'ordonnancement est également appelée « ordre avec le plus petit en dernier ». Cet ordre des sommets et la dégénérescence peuvent être calculés en temps linéaire. Il peut être considéré comme une version améliorée d'une méthode antérieure appelée la « stratégie du plus grand d'abord » qui trie les sommets dans l'ordre décroissant de leurs degrés.
Avec l'ordre de dégénérescence, la coloration gloutonne utilise au plus d + 1 couleurs. En effet, chaque sommet, lorsqu'il est coloré, a au plus d voisins déjà colorés, donc l'une des d + 1 couleurs est libre pour son utilisation. La coloration gloutonne avec l'ordre de dégénérescence peut trouver des colorations optimales pour certaines classes de graphes, y compris les arbres, les pseudo-forêts et les graphes en couronne. Markossian, Gasparian & Reed (1996) définissent un graphe $G$ comme étant $\beta$-parfait si, pour $G$ et chaque sous-graphe induit de $G$, le nombre chromatique est égal à la dégénérescence plus un. Pour ces graphes, l'algorithme glouton avec l'ordre de dégénérescence est toujours optimal. Tout graphe $\beta$-parfait doit être un graphe sans trou pair, car les cycles pairs ont un nombre chromatique égal à deux et une dégénérescence égale à deux, et ne satisfont pas à l'égalité dans la définition des graphes $\beta$-parfaits. Si un graphe et son graphe complémentaire sont tous les deux sans trou pair, ils sont tous les deux $\beta$-parfaits. Les graphes qui sont à la fois des dgraphes parfaits et $\beta$-parfaits sont exactement les graphes cordaux. Sur les graphes sans trou pair plus généralement, l'ordre de dégénérescence se rapproche de la coloration optimale à au plus le double du nombre optimal de couleurs : son rapport d'approximation est de 2. Sur les graphes de disques unitaires, son rapport d'approximation est de 3. Le prisme triangulaire est le plus petit graphe pour lequel l'un de ses ordres de dégénérescence conduit à une coloration non optimale, et le l'antiprisme carré est le plus petit graphe qui ne peut pas être coloré de manière optimale en utilisant l'un de ses ordres de dégénérescence.

### Ordres adaptatifs

Brélaz (1979) propose une stratégie, qu'il appelle DSatur, pour l'ordonnancement des sommets dans la coloration gloutonne qui intercale la construction de l'ordonnancement avec le processus de coloration. Dans sa version de l'algorithme de coloration gloutonne, le sommet suivant à colorier à chaque étape est celui qui a le plus grand nombre de couleurs distinctes dans son voisinage. En cas d'égalité, un sommet de degré maximal dans le sous-graphe des sommets non colorés est choisi parmi les sommets liés. En gardant la trace des ensembles de couleurs voisines et de leurs cardinalités à chaque étape, il est possible d'implémenter cette méthode en temps linéaire.
Cette méthode permet de trouver les colorations optimales pour les graphes bipartis,, les graphes cactus, les graphes roues, les graphes à au plus six sommets, et presque tous les graphes $k$-colorables. Lévêque et Maffray ont affirmé en 2005 que cette méthode permet aussi de trouver des colorations optimales pour les graphes de Meyniel (en), mais ils ont plus tard trouvé un contre-exemple.

## Autres schémas de sélection de couleurs

Il est possible de définir des variantes de l'algorithme de coloration gloutonne dans lesquelles les sommets du graphe donné sont colorés séquentiellement mais dans lesquels la couleur choisie pour chaque sommet n'est pas nécessairement la première couleur disponible. Ces variantesiincluent des méthodes dans lesquelles la partie non colorée du graphe est inconnue de l'algorithme, ou dans lesquelles l'algorithme dispose d'une certaine liberté pour faire des choix de coloration meilleurs que ne le ferait l'algorithme glouton de base.

### Sélection en ligne

Des variantes de stratégies de sélection de couleurs ont été étudiées dans le cadre des algorithmes en ligne. Dans ce cas, les sommets d'un graphe sont présentés un par un dans un ordre arbitraire à un algorithme de coloration ; l'algorithme ne peut choisir une couleur pour chaque sommet uniquement sur la base des couleurs et des contiguïtés parmi les sommets déjà traités. Dans ce contexte, on mesure la qualité d'une stratégie de sélection de couleurs par son rapport de compétitivité qui est le rapport entre le nombre de couleurs qu'il utilise et le nombre optimal de couleurs pour le graphe donné.
Sans autre restriction sur le graphe, le rapport de compétitivité optimal n'est que légèrement sous-linéaire. Pour les graphes d'intervalles, un ratio constant est possible, tandis que pour les graphes bipartis et les graphes creux, un rapport logarithmique peut être atteint. En effet, pour les graphes creux, la stratégie standard de coloration gloutonne qui consiste à choisir la première couleur disponible permet d'atteindre ce rapport compétitif, et il est possible de prouver une limite inférieure correspondante sur le rapport compétitif de tout algorithme de coloration en ligne.

### Coloration parcimonieuse

Une coloration parcimonieuse, pour un graphe et un ordre des sommets donnés, est par définition une coloration produite par un algorithme glouton qui colorie les sommets dans l'ordre donné, et qui n'introduit une nouvelle couleur que lorsque toutes les couleurs précédentes sont adjacentes au sommet donné, mais l'algorithme peut choisir laquelle des couleurs utiliser (au lieu de toujours choisir la plus petite) lorsqu'il est capable de réutiliser une couleur existante. Le nombre chromatique ordonné est le plus petit nombre de couleurs que l'on peut obtenir de cette manière pour l'ordonnancement donné, et le nombre ochromatique est le plus grand nombre chromatique ordonné parmi toutes les colorations de sommets d'un graphe donné. Malgré sa définition différente, le nombre ochromatique est toujours égal au nombre de Grundy.

## Applications

La coloration gloutonne, comme elle est rapide et, dans de nombreux cas, n'utilise que peu de couleurs, peut être utilisée dans des applications où une coloration bonne sans être optimale est souhaitée. L'une des premières applications de l'algorithme glouton concerne des problèmes tels que l'ordonnancement des travaux, dans lequel une collection de tâches doit être affectée à un ensemble donné de créneaux horaires, en évitant que des tâches incompatibles ne soient affectées au même créneau horaire. Elle peut aussi être utilisée dans les compilateurs pour l'allocation de registres, en l'appliquant à un graphe dont les sommets représentent les valeurs à affecter aux registres et dont les arêtes représentent les conflits entre deux valeurs qui ne peuvent être affectées au même registre. Dans de nombreux cas, ces graphes d'interférence sont des graphes cordaux, ce qui permet de produire une affectation optimale des registres par coloration gloutonne.
En théorie des jeux combinatoires, pour un jeu impartial donné sous la forme d'un graphe acyclique orienté dont les sommets représentent les positions du jeu et les arêtes les mouvements valides d'une position à l'autre, l'algorithme de coloration gloutonne (utilisant l'inverse d'un ordre topologique du graphe) calcule la valeur de Nim de chaque position. Ces valeurs peuvent être utilisées pour déterminer le jeu optimal dans tout jeu unique ou toute somme disjonctive de jeux.
Pour un graphe de degré maximal Δ, toute coloration gloutonne utilise au plus Δ + 1 couleurs. Le théorème de Brooks dit qu'à deux exceptions près, à savoir des cliques et des cycles impairs, au plus Δ couleurs sont nécessaires. Une preuve du théorème de Brooks consiste à trouver un ordonnancement des sommets dans lequel les deux premiers sommets sont adjacents au dernier sommet sans être adjacents entre eux, et tel que chaque sommet autre que le dernier a au moins un voisin suivant. Pour un tel ordonnancement, l'algorithme de coloration glouton utilise au plus Δ couleurs.