title: Théorème des cinq couleurs
text: # Théorème des cinq couleurs
  
  Le théorème des cinq couleurs est l'affirmation de la possibilité, à l'aide de cinq couleurs au maximum, de colorier n'importe quelle carte composée de régions connexes, de sorte que toute paire de régions limitrophes apparaisse avec deux couleurs, autrement dit qu'aucune paire ne soit d'une couleur.
  
  Le théorème des cinq couleurs est un affaiblissement du théorème des quatre couleurs, mais il est beaucoup plus facile à prouver. Sa démonstration utilise les techniques de la tentative de preuve du théorème des quatre couleurs par Alfred Kempe en 1879. Percy John Heawood y a trouvé une erreur 11 ans plus tard et a prouvé le théorème des cinq couleurs en utilisant le travail de $Kempe^,^,.$
  
  ## Démonstration
  
  Tout d'abord, on associe à la carte un graphe planaire simple $G$ en plaçant un sommet dans chaque région, et en reliant deux sommets par une arête si et seulement si les régions correspondantes ont une frontière commune. Le problème se traduit en un problème de coloration de graphe : il faut attribuer une couleur aux sommets du graphe de sorte qu'aucune arête n'ait ses extrémités de la même couleur. $G$ étant planaire et simple, c'est-à-dire qu'il peut être plongé dans le plan sans arêtes sécantes et qu'il n'a ni d'arêtes multiples ni boucles, on peut montrer (en utilisant la caractéristique d'Euler du plan) qu'il existe au moins un sommet auquel aboutissent au plus cinq arêtes (i.e. de degré inférieur ou égal à cinq). Remarquons que si on pouvait abaisser le nombre cinq à quatre, on pourrait prouver par cette méthode le théorème des quatre couleurs. Malheureusement il existe des graphes planaire n'ayant pas de sommet de degré inférieur ou égal à quatre, comme par exemple, le graphe icosaédrique qui est 5-régulier (voir un autre exemple ci-contre).
  
  Soit $v$ un tel sommet et supprimons $v$ de $G$ . Le graphe $G'$ ainsi obtenu a un sommet de moins que $G$, nous pouvons donc supposer par récurrence sur le nombre de sommets que ses sommets peuvent être colorés avec cinq couleurs au maximum.
  
  Si la coloration n'utilise pas les cinq couleurs pour les cinq sommets voisins de $v$, on peut colorer ce dernier dans $G$ avec une couleur non utilisée par les voisins.
  
  Sinon, on peut supposer que les cinq sommets $v_{1}$, $v_{2}$, $v_{3}$, $v_{4}$, $v_{5}$ adjacents à $v$ dans cet ordre (qui dépend de la façon dont nous écrivons $G$) sont colorés avec les couleurs 1, 2, 3, 4, 5 respectivement.
  
  Considérons maintenant le sous-graphe $G_{1,3}$ de $G'$ composé des sommets colorés uniquement avec les couleurs 1 et 3 et des arêtes qui les relient. Chaque arête relie donc un sommet de couleur 1 à un sommet de couleur 3. Si $v_{1}$ et $v_{3}$ se situent dans différentes composantes connexes de $G_{1,3}$, on peut intervertir les couleurs 1 et 3 dans la composante contenant $v_{1}$ (dite composante de kempe) sans affecter la coloration du reste de $G'$. Cela libère la couleur 1 pour $v$ et le travail est terminé. Si au contraire $v_{1}$ et $v_{3}$ se trouvent dans la même composante connexe de $G_{1,3}$, nous pouvons trouver un chemin dans $G_{1,3}$ les joignant qui se compose uniquement des sommets de couleur 1 et 3.
  
  Passons maintenant au sous-graphe $G_{2,4}$ de $G'$ composé des sommets colorés uniquement avec les couleurs 2 et 4 et des arêtes qui les relient, et appliquons les mêmes arguments que précédemment. Alors soit on est capable d'inverser la coloration 2-4 sur le sous-graphe de $G_{2,4}$ contenant $v_{2}$ et peindre $v$ avec la couleur 2, soit on peut connecter $v_{2}$ et $v_{4}$ par un chemin composé uniquement de sommets de couleur 2 et 4. Un tel chemin croiserait le chemin de 1 à 3 couleurs que nous avons construit auparavant depuis $v_{1}$ par $v_{5}$ étaient en ordre cyclique. Ceci est clairement absurde car cela contredit la planéité du graphe.
  
  Donc $G$ peut être coloré en cinq couleurs.
  
  ## Algorithme de coloration en temps linéaire
  
  En 1996, Robertson, Sanders, Seymour et Thomas ont décrit un algorithme quadratique pour une coloration en quatre couleurs. Dans ce même article, ils ont décrit brièvement un algorithme pour cinq couleurs en temps linéaire, qui est asymptotiquement optimal.
  
  