Category:計算複雑性理論
アルゴリズム解析
Analysis of algorithms
加速定理
Speedup theorem
還元 (計算複雑性理論)
Reduction (complexity)
記述計算量
Descriptive complexity theory
グリードイド
Greedoid
ブラムの公理
Blum axioms
Arthur–Merlinプロトコル
Arthur–Merlin protocolELEMENTARY
Elementary recursive function
定数時間
Time complexity#Constant time
頂点被覆問題
Vertex-cover problem
関数問題
Function problem
通信複雑性
Communication complexity
EXPSPACE
EXPSPACE回路計算量
Circuit complexity
自然な証明
Natural proof
計算論的トポロジー
Computational topology
細矢インデックス
Hosoya index
EXPTIME
EXPTIME
線形時間
Time complexity#Linear time
近似アルゴリズム
Approximation algorithm
指数関数時間
Exponential time
TQBF問題
True quantified Boolean formula
最長共通部分列問題
Longest common subsequence
マトロイド
Matroid複雑性
Complexity
Co-NP
Co-NP計算資源
Computational resource部分和問題
Subset sum problem