Pages qui pointent vers « Modèle:Computational Complexity (Arora et Barak) »
Aller à la navigation
Aller à la recherche
Les pages ci-dessous contiennent un lien vers Modèle:Computational Complexity (Arora et Barak) :
Affichage de 29 éléments.
- Fonction à sens unique (inclusion) (← liens)
- Hiérarchie polynomiale (inclusion) (← liens)
- Problème 3-SAT (inclusion) (← liens)
- Théorème de Savitch (inclusion) (← liens)
- Analyse de la complexité des algorithmes (inclusion) (← liens)
- Théorème d'accélération linéaire (inclusion) (← liens)
- PSPACE (inclusion) (← liens)
- RP (complexité) (inclusion) (← liens)
- ZPP (complexité) (inclusion) (← liens)
- BPP (complexité) (inclusion) (← liens)
- Théorème d'Immerman-Szelepcsényi (inclusion) (← liens)
- P (complexité) (inclusion) (← liens)
- Complémentaire (complexité) (inclusion) (← liens)
- Co-NP (inclusion) (← liens)
- NL (complexité) (inclusion) (← liens)
- Théorème de Sipser-Gács-Lautemann (inclusion) (← liens)
- EXPTIME (inclusion) (← liens)
- NP (complexité) (inclusion) (← liens)
- P/poly (inclusion) (← liens)
- NC (complexité) (inclusion) (← liens)
- Circuit booléen (inclusion) (← liens)
- L (complexité) (inclusion) (← liens)
- Théorème PCP (inclusion) (← liens)
- EXPSPACE (inclusion) (← liens)
- NEXPSPACE (inclusion) (← liens)
- Preuve naturelle (inclusion) (← liens)
- Principe de Yao (inclusion) (← liens)
- Machine de Turing alternante (inclusion) (← liens)
- Fonction négligeable (informatique) (inclusion) (← liens)