Category:計算複雑性理論
E (計算複雑性理論)
E (complexity)EXPSPACE
EXPSPACEL (計算複雑性理論)
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)UP (計算複雑性理論)
UP (complexity)加速定理
Speedup theorem還元 (計算複雑性理論)
Reduction (complexity)グリードイド
GreedoidArthur–Merlinプロトコル
Arthur–Merlin protocol対話型証明系
Interactive proof systemグジェゴルチク階層
Grzegorczyk hierarchy指数関数時間
Exponential timeNEXPTIME
NEXPTIME自然な証明
Natural proof関数問題
Function problem複雑性クラス
Complexity class記述計算量
Descriptive complexity theory細矢インデックス
Hosoya index多項式階層
Polynomial hierarchy