Category:計算複雑性理論
組合せ最適化
Combinatorial optimization
頂点被覆
Vertex cover計算資源
Computational resource
NP困難
NP-hardness
量子超越性
Quantum supremacy
頂点被覆問題
近似アルゴリズム
Approximation algorithm
NP
NP (complexity)
対話型証明系
Interactive proof system
複雑性
Complexity
TQBF問題
True quantified Boolean formula
指数時間仮説
Exponential time hypothesis
Co-NP
Co-NP
マトロイド
Matroid
ブラムの公理
Blum axioms
最大クリーク問題
Clique problem
加速定理
Speedup theorem
チューリング次数
Turing degree
NTIME
NTIME
ESPACE
ESPACE
圧縮定理
Compression theorem
Template:複雑性クラス
Template:Complexity classes
E (計算複雑性理論)
E (complexity)L (計算複雑性理論)
L (complexity)LOGCFL
LOGCFLNC (計算複雑性理論)
NC (complexity)NL (計算複雑性理論)
NL (complexity)P (計算複雑性理論)
P (complexity)