Category:計算複雑性理論
マトロイド
Matroid
複雑性
Complexity
記述計算量
Descriptive complexity theory
計算複雑性理論
Computational complexity theory
多項式階層
Polynomial hierarchy
EXPTIME
EXPTIME
TQBF問題
True quantified Boolean formula
自然な証明
Natural proof
ブラムの公理
Blum axioms
最長共通部分列問題
Longest common subsequence
指数関数時間
Exponential time
定数時間
Time complexity#Constant time
NTIME
NTIME通信複雑性
Communication complexity
ESPACE
ESPACE
圧縮定理
Compression theorem
Template:複雑性クラス
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)