Étude sur la théorie de la décidabilité et complexité algorithmique

Abstract

On s’intéresse dans ce mémoire à l’étude de la théorie de la décidabilité et à la classification des problèmes de décision en fonction de la complexité algorithmique. Des classes de problèmes P, NP, NP-complet, etc. sont dégagées. La démarche consiste à partir de la notion théorique de la machine de Turing pour définir d’une manière rigoureuse la notion de décidabilité et les différentes classes de complexité et souligner le lien entre elles