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 … ») |
|||
| Ligne 6 : | Ligne 6 : | ||
== Recasements == | == Recasements == | ||
| − | |||
* [[913 -- Machines de Turing. Applications.]] | * [[913 -- Machines de Turing. Applications.]] | ||
* [[915 -- Classes de complexité : exemples.]] | * [[915 -- Classes de complexité : exemples.]] | ||
| Ligne 13 : | Ligne 12 : | ||
== Références == | == Références == | ||
* Olivier Carton. Langages formels, calculabilité et complexité. | * Olivier Carton. Langages formels, calculabilité et complexité. | ||
| + | |||
| + | [[Category: Développement de la leçon 913]] | ||
| + | [[Category: Développement de la leçon 915]] | ||
| + | [[Category: Développement de la leçon 916]] | ||
Version actuelle en date du 26 février 2015 à 21:16
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é.
