Si je comprends bien, pour prouver que le problème est NP difficile, vous devez sélectionner tous les problèmes possibles qui sont dans NP, puis prouver qu'ils se réduisent à en utilisant une fonction calculable en temps polynomial, qui mappe les instances de chaque aux instances de .
Une fois que vous avez trouvé le premier problème NP difficile, en utilisant des réductions, vous pouvez alors trouver que de nombreux autres problèmes sont NP Complete ou NP Hard. Cependant j'imagine que cela dépend. Si vous n'avez pas de chance, alors peut-être que tous les problèmes se réduisent à , mais réduit nulle part ailleurs, donc votre preuve est essentiellement inutile.
Ma question porte sur la motivation derrière laquelle Stephen Cook montre que le problème SAT est difficile à NP. A-t-il vu beaucoup de potentiel derrière ce problème? Savait-il que s'il montrait que ce problème était difficile à NP, alors beaucoup d'autres problèmes pourraient également se révéler difficiles à NP?
En bref, quelle est l'histoire derrière cette preuve? Parce qu'après avoir étudié une théorie de la complexité de base, il semble vraiment que cette preuve était l'une des plus importantes dans ce domaine.