Coloriages d`arêtes
Transcription
Coloriages d`arêtes
Coloriages d’arêtes Coloriages d’arêtes Coloriages d’arêtes Le casse-tête des horaires C’est la rentrée! Chaque professeur doit enseigner à un certain nombre de classes, pendant un certain nombre d’heures. Contraintes: un professeur ne peut pas enseigner deux cours au même moment, une classe ne peut pas recevoir deux cours en même temps. Si on s’autorise samedis, dimanches, soirées, la confection de l’horaire est facile. On veut ramasser l’horaire hebdomadaire sur le plus petit nombre de périodes possible. Comment faire? Coloriages d’arêtes Coloriage d’arêtes Un coloriage des arêtes d’un graphe en k couleurs est l’assignation à chaque arête d’une couleur 1, 2, . . . , ou k. Ce coloriage est dit propre si deux arêtes adjacentes sont toujours de couleurs différentes. On suppose dans ce thème des graphes sans boucle. Trouver un coloriage propre en k couleurs consiste à séparer les arêtes en k couplages distincts. L’indice chromatique d’un graphe G, noté χ′ (G) est le nombre minimal de couleurs nécessaire pour obtenir un coloriage propre des arêtes de G. Coloriages d’arêtes Indice chromatique et degré maximum Clairement, χ′ ≥ degré max. Théorème (König): Pour un graphe biparti, χ′ = degré max. Coloriages d’arêtes Indice chromatique et degré maximum Pour les graphes simples: Théorème de Vizing (1964): Pour un graphe simple, χ′ = degré max ou χ′ = degré max + 1. Il n’y pas d’algorithme efficace connu pour décider si pour graphe donné, χ′ = degré max. Encore un problème à un million de dollars. En général: Théorème de Vizing (1964): S’il y a au plus m arêtes entre deux noeuds, degré max. ≤ χ′ ≤ degré max. + m Coloriages d’arêtes Confection d’horaires Le problème de confection d’horaires est modélisé par la recherche d’un coloriage propre sur un graphe biparti reliant professeurs et cours. Par le théorème de König, si tous les professeurs enseignent pendant au plus k périodes hebdomadaires et que toutes les classes ont au plus k périodes, il y a un horaire sur k périodes qui évite tout conflit. De plus, on connaît un algorithme efficace pour le trouver.