next up previous contents
suivant : Exercice 2 - K-COLORATION/ENSEMBLE remonter : 10.4.4 Un espoir vain précédent : 10.4.4 Un espoir vain

Exercice 1 - 3-SAT/CLIQUE

3-SAT est défini de la façon suivante :

Une clique est un sous-graphe complet. La taille d'une clique est le nombre de sommets qu'elle contient. On définit le problème CLIQUE de la façon suivante :

Nous considérons la réduction suivante :

3-SAT est connu pour être NP-Complet, montrez que CLIQUE est NP-Complet.


next up previous contents
suivant : Exercice 2 - K-COLORATION/ENSEMBLE remonter : 10.4.4 Un espoir vain précédent : 10.4.4 Un espoir vain
Alexandre
2009-07-20