Théorème de Cook
De AgregmathKL
Révision de 26 février 2015 à 21:16 par Mathias Millet (discuter | contributions)
Où l'on (re)découvre avec nostalgie son premier problème NP-complet…
Développement
Recasements
- 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é.
