Computational Complexity: A Modern Approach

Sanjeev Arora, Boaz Barak

Utilisée dans les 0 développements suivants :


Utilisée dans les 3 leçons suivantes :

913 (2021) Machines de Turing. Applications.
915 (2021) Classes de complexité. Exemples.
28 (2022) Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.

Utilisée dans les 0 versions de développements suivants :


Utilisée dans les 4 versions de leçons suivantes :