1
スティーブンクックは、実際に証明する前に、SATがNPハードであることを示すことの重要性を理解しましたか？
私が正しく理解している場合、問題がNP困難であることを証明するには、NPにあるすべての可能な問題B iを選択し、各B iのインスタンスをマップする多項式時間計算可能関数を使用して、問題がAに減少することを証明する必要があります。Aのインスタンスに。あAAB私BiB_{i}あAAB私BiB_{i}あAA 最初のNPハード問題を見つけたら、削減を使用して、他の多くの問題がNP完全またはNPハードであることがわかります。しかし、これは状況次第だと思います。運が悪ければ、問題はすべてAに減少するかもしれませんが、Aはどこにも減少しないため、証明は本質的に役に立ちません。B私BiB_{i}AAAAAA 私の質問は、SAT問題がNP難しいことを示す背後にあるスティーブンクックの動機についてです。彼はこの問題の背後にある多くの可能性を見ましたか？この問題がNP困難であることを示した場合、他の多くの問題もNP困難であることが示される可能性があることを彼は知っていましたか？ 要するに、この証明の背後にある物語は何ですか？いくつかの基本的な複雑さの理論を研究した後、この証明はこの分野で最も重要なものの1つであるように思えます。