La théorie de la complexité informatique est une branche de la théorie du calcul en informatique théorique et en mathématiques qui se concentre sur la classification des problèmes de calcul en fonction de leur difficulté inhérente. * L'analyse amortie * pour le temps ou l'espace est particulièrement courante en programmation
Il existe de nombreux problèmes d'optimisation qui sont connus pour être durs NP, tels que le problème du vendeur de voyage, max-sat ou la recherche du nombre minimum chromatiq ...