講義ノートの目次へ アルゴリズムの計算量理論の講義ノートPDF。 チューリングマシンやオートマトン，ラムダ計算などを使って，アルゴリズムの複雑さを判定する。 例えば，処理の複雑さを「P」と「NP」のクラスに分類したり（＝計算複雑性）， ある処理が決して終わらないので実行不可能だと判定したり（＝計算可能性）。 独学に使える資料を集めた。 ※計算量理論とあわせて学習するとよいのは，ラムダ計算（ノート）や，グラフ理論・組み合わせ最適化（ノート）など。 ラムダ計算がわかれば「計算」を抽象化して扱える。組み合わせ最適化は，計算困難な問題の具体例を学べる。 計算量理論（計算複雑性・計算可能性）の講義ノート 計算量理論の，クラスPとNPからの入門を学べるノート： 計算量の理論 http://www.jaist.ac.jp/~uehara/course... 北陸先端大の講義スライド。 (1)計算の基本要
