Développement #206
Titre : Théorème de Cook
Contenu : SAT est NP-complet.
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 913 | Machines de Turing. Applications.2021 |
| 5 | 915 | Classes de complexité. Exemples.2021 |
| 5 | 26 | Classes P et NP. Problèmes NP-complets. Exemples.2022 |
| 4 | 28 | Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.2022 |