Category:計算複雑性理論
P≠NP予想
P versus NP problem
量子超越性
Quantum supremacy
板取り問題
Cutting stock problem
チューリング次数
Turing degree
アルゴリズム解析
Analysis of algorithms
マトロイド
Matroid
多項式階層
Polynomial hierarchy
指数時間仮説
Exponential time hypothesis
最長共通部分列問題
Longest common subsequence
グジェゴルチク階層
Grzegorczyk hierarchy
自然な証明
Natural proof
頂点被覆問題
Vertex-cover problem
NTIME
NTIME部分和問題
Subset sum problem
近似アルゴリズム
Approximation algorithm
対話型証明系
Interactive proof system
Arthur–Merlinプロトコル
Arthur–Merlin protocol
ESPACE
ESPACE
圧縮定理
Compression theorem
Template:複雑性クラス
Template:Complexity classes
E (計算複雑性理論)
E (complexity)L (計算複雑性理論)
L (complexity)LOGCFL
LOGCFLNC (計算複雑性理論)
NC (complexity)NL (計算複雑性理論)
NL (complexity)P (計算複雑性理論)
P (complexity)PCP (計算複雑性理論)
Probabilistically checkable proofPH (計算複雑性理論)
PH (complexity)
