La théorie de la complexité numérique s'attache à classer les problèmes informatiques en fonction de leur difficulté inhérente et à les relier les uns aux autres. Un problème informatique est une tâche résolue par un ordinateur. Un problème de calcul peut être résolu par application mécanique d'étapes mathématiques, telles qu'un algorithme.