計算複雑性理論
L
NL
NC
P
NP(NP困難, NP完全)
co-NP
PSPACE
EXPTIME
BPP
BQP
クラスCに対して、問題PがC完全であるとは、PがCに属しかつC困難ということである。すなわちPはCに属する問題の中で、本質的に最も難しい問題であるということである。
マヌエル・ブラム: ブラムの公理に基づいた公理的複雑性理論を構築した
スティーブン・クック
ユリス・ハルトマニス
リチャード・カープ
アディ・シャミア
リチャード・スターンズ
アンドリュー・チーチー・ヤオ
レスリー・ヴァリアント
Leonid Levin(英語版)