L’objet de ce livre est la question P versus NP et la théorie de la NP-complétude. Il fournit également des préliminaires adéquats concernant les problèmes de calcul et les modèles de calcul. La question P versus NP demande s’il est plus difficile de trouver des solutions que de vérifier l’exactitude des solutions. Une autre formulation pose la question de savoir s’il est plus difficile de découvrir des preuves que de vérifier leur exactitude. Il est largement admis que la réponse à ces formulations équivalentes est positive et cela est capturé en disant que P est différent de NP. Bien que la question P versus NP reste non résolue, la théorie de la NP-complétude offre des preuves de l’insoluble des problèmes spécifiques de NP en montrant qu’ils sont universels pour l’ensemble de la classe. Il est étonnant qu’il existe suffisamment de problèmes NP-complets et, en outre, des centaines de problèmes de calcul naturels se posant dans de nombreux domaines différents des mathématiques et des sciences sont NP-complets. Langue : Anglais