La notion de réductions de temps polynomiales (réductions Cook) est l'abstraction d'un concept très intuitif: résoudre efficacement un problème en utilisant un algorithme pour un problème différent. Cependant, dans la théorie de la complétude de , la notion de dureté de N P est capturée par des...