Category:計算複雑性理論
量子超越性
Quantum supremacyP≠NP予想
P versus NP problem最大クリーク問題
Clique problem複雑性クラス
Complexity classチューリング次数
Turing degree近似アルゴリズム
Approximation algorithm複雑性
Complexityアルゴリズム解析
Analysis of algorithmsNTIME
NTIME指数時間仮説
Exponential time hypothesis対話型証明系
Interactive proof system頂点被覆問題
Vertex-cover problemArthur–Merlinプロトコル
Arthur–Merlin protocolESPACE
ESPACE圧縮定理
Compression theoremTemplate:複雑性クラス
Template:Complexity classesE (計算複雑性理論)
E (complexity)L (計算複雑性理論)
L (complexity)LOGCFL
LOGCFLNC (計算複雑性理論)
NC (complexity)NL (計算複雑性理論)
NL (complexity)P (計算複雑性理論)
P (complexity)PCP (計算複雑性理論)
Probabilistically checkable proofPH (計算複雑性理論)
PH (complexity)PR (計算複雑性理論)
PR (complexity)R (計算複雑性理論)
R (complexity)RE (計算複雑性理論)
RE (complexity)SL (計算複雑性理論)
SL (complexity)