Les expressions et les couleurs Exercices

Soit le langage : Verif-3-Couleur = {(G, c) | c est une 3-coloration valide de G} et le polynome 2. ? n. Si l'on considère que les graphes sont donnés par ...