Category:計算複雑性理論
ナップサック問題
Knapsack problem
最長共通部分列問題
Longest common subsequence部分和問題
Subset sum problem
Arthur–Merlinプロトコル
Arthur–Merlin protocol
マトロイド
Matroid
線形時間
Time complexity#Linear time
複雑性
Complexity
最大クリーク問題
Clique problem
加速定理
Speedup theorem
頂点被覆
Vertex cover
EXPSPACE
EXPSPACE
指数関数時間
Exponential time
回路計算量
Circuit complexity
指数時間仮説
Exponential time hypothesis
NEXPTIME
NEXPTIME
頂点被覆問題
Vertex-cover problem
対話型証明系
Interactive proof system
ブラムの公理
Blum axiomsESPACE
ESPACE
圧縮定理
Compression theorem
Template:複雑性クラス
Template:Complexity classes
E (計算複雑性理論)
E (complexity)
EXPTIME
EXPTIMEL (計算複雑性理論)
L (complexity)LOGCFL
LOGCFLNC (計算複雑性理論)
NC (complexity)NL (計算複雑性理論)
NL (complexity)P (計算複雑性理論)
P (complexity)