The P = NP problem 計算量理論入門(P=NP 問題の紹介)- アルゴリズムの評価と問題の複雑さ アルゴリズムの複雑さ,問題の複雑さを定義し, 同程度に複雑な問題のグループ分けを定義したい. チューリングマシンとよばれる計算機のモデルを定義し, 計算とは何か,問題とは何かについて議論する. つぎに問題の複雑さの尺度を導入し, 問題を複雑さでグループ分けする場合の有名なグループである P と NP を紹介し,重要な未解決問題である P = NP 問題を紹介する. 計算機のモデル 一般に計算とは,コンピュータなどの計算機に入力を与 え,出力を得る過程という意味で使われる. 正しい出力を得る計算が存在するかどうか,すなわち 計算が可能かどうか,また可能であればどれぐらいの時間がかか るのかに興味があるが,これらは計算を行う機械として何を使うかによって変化 する. いろいろな問題