J'ai entendu parler d'un résultat de coloration approximative du graphique, mais je ne trouve pas la source. Le résultat est:
Pour chaque constante il existe un suffisamment grand pour que la coloration d'un graphique colorable avec des couleurs soit NP-difficile.
Quelqu'un pourrait-il me signaler le document pertinent?