Category:計算複雑性理論

量子コンピュータ
Quantum computer▲1 trendsナップサック問題
Knapsack problemランダウの記号
Big O notation部分和問題
Subset sum problem
マトロイド
Matroid
NP困難
NP-hardness
最長共通部分列問題
Longest common subsequence
頂点被覆
Vertex cover
板取り問題
Cutting stock problem
指数時間仮説
Exponential time hypothesis計算資源
Computational resource
Arthur–Merlinプロトコル
Arthur–Merlin protocol
加速定理
Speedup theorem
定数時間
Time complexity#Constant time
EXPSPACE
EXPSPACE
Co-NP
Co-NP
線形時間
Time complexity#Linear time
対話型証明系
Interactive proof system
ブラムの公理
Blum axioms
NEXPTIME
NEXPTIME
最大クリーク問題
Clique problem
頂点被覆問題
Vertex-cover problem
ESPACE
ESPACE
圧縮定理
Compression theorem
Template:複雑性クラス
Template:Complexity classes
E (計算複雑性理論)
E (complexity)
L (計算複雑性理論)
L (complexity)
LOGCFL
LOGCFL