データ構造とアルゴリズム

第十三回 (2013年 1月15日)

NP-完全性、帰着可能性

http://www.sw.it.aoyama.ac.jp/2012/DA/lecture13.html

Martin J. Dürst

AGU

© 2009-13 Martin J. Dürst 青山学院大学

今日の予定

これからの予定

今回の目的

前回の問題例

前回の問題例の共通点

多項式時間と指数的時間

多項式時間の特徴

NP 問題

問題の種類

決定問題

(decision problem)

NP 内の問題の比較

帰着

(reduction)

NP 完全性

(NP-Completeness)

計算複雑性理論

(computational complexity theory)

参考: Complexity Zoo

ポストの対応問題

(Post's correspondence problem; Emil Post, 1946)

まとめ