La théorie de la complexité computationnelle est une branche de la théorie du calcul en science informatique et en mathématiques qui met l'accent sur la classification des problèmes de calcul selon leur difficulté inhérente.
La théorie de la complexité est une branche de l'informatique.