Théorème de Cook
De AgregmathKL
Révision de 16 juin 2012 à 14:19 par Kevin (discuter | contributions) (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 … »)
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é.
