Théorème de Cook : Différence entre versions
De AgregmathKL
(Page créée avec « Où l'on (re)découvre avec nostalgie son premier problème NP-complet… == Développement == *24px [[Média:dvt_cook.tex | Théorème de … ») |
(Aucune différence)
|
Version du 16 juin 2012 à 14:19
Où l'on (re)découvre avec nostalgie son premier problème NP-complet…
Développement
Recasements
- 904 -- Problèmes NP-complets : exemples.
- 913 -- Machines de Turing. Applications.
- 915 -- Classes de complexité : exemples.
- 916 -- Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.
Références
- Olivier Carton. Langages formels, calculabilité et complexité.
