Category:計算複雑性理論
グジェゴルチク階層
Grzegorczyk hierarchy計算資源
Computational resource指数関数時間
Exponential time最長共通部分列問題
Longest common subsequenceアルゴリズム解析
Analysis of algorithmsELEMENTARY
Elementary recursive function頂点被覆
Vertex coverブラムの公理
Blum axiomsESPACE
ESPACE圧縮定理
Compression theoremTemplate:複雑性クラス
Template:Complexity classesArthur–Merlinプロトコル
Arthur–Merlin protocolE (計算複雑性理論)
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)UP (計算複雑性理論)
UP (complexity)還元 (計算複雑性理論)
Reduction (complexity)記述計算量
Descriptive complexity theoryグリードイド
Greedoid