Calculabilité complexité : ressources pédago.
Quelques exercices des séances 3 et 4
2-SAT dans P avec composantes
2-COL dans P avec 2-SAT
Questions diverses de cours sur NP-complétude
3-SAT est NP-complet
3-COL est NP-complet