SATがNP完全であることをどのように証明しますか？

それでは、SATがNP完全であることをどのように証明しますか？

私はそれがNPコンプリートによって何を意味するかを知っているので、それについての説明は必要ありません。

私が知りたいのは、SATなどの1つの問題が、ハミルトニアン問題などのその他の問題への還元に頼らずにNP完全であることをどのように知っているかです。

3-SATはもともと、21のNP完全問題を概説したKarpの論文のより一般的なSATISFIABILITYから削減されたと思います。

ウィキペディアには、 SATISFIABILITYがNP完全であることを示す方法の説明があり、これはCook-Levinの定理として知られています。この証明のアイデアは、多項式時間の非決定性チューリングマシンが多項式サイズのブール式としてモデル化できることを示すことです。ブール式には、チューリングマシンの有効な構成スペースを表す用語があります。テープヘッドの場所、現在の状態、テープに書き込まれているシンボル、およびすべての位置で有効な遷移です。NTMは多項式時間で停止するため、構成空間は有界であり、それを表す（大きな）多項式を作成できます。