Le document traite de la théorie de la NP-complétude dans le cadre de l'algorithmique, en présentant les problèmes de décision et leur classification en classes P et NP. Il explique la notion de réduction entre problèmes, ainsi que les difficultés associées à la question ouverte de savoir si P est égal à NP. Plusieurs exemples de problèmes NP-complets, tels que SAT, 3-SAT et 3-coloriabilité, illustrent la théorie tout en notant l'importance de ces problèmes en informatique théorique.