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 problemNTIME
NTIME部分和問題
Subset sum problem近似アルゴリズム
Approximation algorithm対話型証明系
Interactive proof systemArthur–Merlinプロトコル
Arthur–Merlin protocolESPACE
ESPACE圧縮定理
Compression theoremTemplate:複雑性クラス
Template:Complexity classesE (計算複雑性理論)
E (complexity)L (計算複雑性理論)
L (complexity)LOGCFL
LOGCFLNC (計算複雑性理論)
NC (complexity)NL (計算複雑性理論)
NL (complexity)P (計算複雑性理論)
P (complexity)PCP (計算複雑性理論)
Probabilistically checkable proofPH (計算複雑性理論)
PH (complexity)