title: Nombre achromatique
text: # Nombre achromatique
  
  En théorie des graphes, une coloration complète est l'opposé d'une coloration harmonieuse en ce sens que c'est une coloration des sommets dans laquelle toute paire de couleurs apparait au moins sur une paire de sommets adjacents. Le nombre achromatique ψ(G) d'un graphe G est le nombre maximum de couleurs possibles dans une coloration complète de G.
  
  ## Exemple
  
  Dans la figure ci-contre, on a réussi à colorier le graphe de Clebsch avec huit couleurs, de manière que chaque paire de couleurs apparaisse sur au moins une arête. On ne peut pas avoir de coloration complète avec plus de couleurs : dans toute coloration à neuf couleurs, une des couleurs n'apparaîtrait que sur un des sommets, et il n'y aurait donc pas assez d'arêtes incidentes pour avoir toutes les paires de couleurs contenant cette couleur. Le nombre achromatique de ce graphe est donc 8.
  
  ## Calcul du nombre achromatique
  
  ### Définition du problème algorithmique
  
  Trouver ψ(G) est un problème d'optimisation. Le problème de décision pour le problème de coloration complète peut être exprimé ainsi :
  
      INSTANCE : un graphe $G=(S,A)$ et un entier positif $k$
      QUESTION : existe-t-il une partition de $S$ en au plus $k$ ensembles $S_{1},S_{2},\ldots ,S_{k}$ disjoints deux à deux, telle que chaque $S_{i}$ soit un ensemble indépendant pour $G$ et telle que pour chaque paire d'ensembles distincts $S_{i},S_{j},S_{i}\cup S_{j}$ ne soit pas un ensemble indépendant.
  
  ### NP-complétude
  
  Déterminer le nombre achromatique est NP-difficile ; déterminer s'il est supérieur à un nombre donné est NP-complet, comme l'ont montré Yannakakis et Gavril en 1978 par une transformation depuis le problème minimum maximal matching. Le problème reste NP-complet même si on le restreint aux graphes qui sont le complément d'un graphe biparti (c’est-à-dire d'un graphe qui n'a pas d'ensemble indépendant de plus de deux sommets).
  
  ### Approximation
  
  Le problème d'optimisation est approximable en $O\left(|S|/{\sqrt {\log |S|}}\right)$
  
  