Category:計算複雑性理論
指数時間仮説
Exponential time hypothesis
EXPTIME
EXPTIME
回路計算量
Circuit complexity
線形時間
Time complexity#Linear time
PSPACE
PSPACE
自然な証明
Natural proof
対話型証明系
Interactive proof system記述計算量
Descriptive complexity theory
複雑性
Complexity
頂点被覆問題
Vertex-cover problem
定数時間
Time complexity#Constant time
NTIME
NTIME
Arthur–Merlinプロトコル
Arthur–Merlin protocol
ESPACE
ESPACE
圧縮定理
Compression theorem
Template:複雑性クラス
Template:Complexity classes
E (計算複雑性理論)
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)