Category:計算複雑性理論

NP困難
NP-hardness
頂点被覆
Vertex cover
NP
NP (complexity)
複雑性クラス
Complexity class
PSPACE
PSPACE
板取り問題
Cutting stock problem
多項式時間
Time complexity#Polynomial timeナップサック問題
Knapsack problem
組合せ最適化
Combinatorial optimization
最長共通部分列問題
Longest common subsequence
マトロイド
Matroid
近似アルゴリズム
Approximation algorithm
複雑性
Complexity
EXPSPACE
EXPSPACE
最大クリーク問題
Clique problem
量子超越性
Quantum supremacy
自然な証明
Natural proof
頂点被覆問題
Vertex-cover problem
EXPTIME
EXPTIME
チューリング次数
Turing degree
NEXPTIME
NEXPTIME
記述計算量
Descriptive complexity theory
ESPACE
ESPACE
圧縮定理
Compression theorem
Template:複雑性クラス
Template:Complexity classes
Arthur–Merlinプロトコル
Arthur–Merlin protocol
E (計算複雑性理論)
E (complexity)
L (計算複雑性理論)
L (complexity)