Category:計算複雑性理論
還元 (計算複雑性理論)
Reduction (complexity)
グジェゴルチク階層
Grzegorczyk hierarchy
グリードイド
Greedoid
関数問題
Function problem
NTIME
NTIME
指数時間仮説
Exponential time hypothesis
ブラムの公理
Blum axioms
EXPSPACE
EXPSPACE
TQBF問題
True quantified Boolean formula
通信複雑性
Communication complexity
チューリング次数
Turing degree
アルゴリズム解析
Analysis of algorithms
Arthur–Merlinプロトコル
Arthur–Merlin protocolELEMENTARY
Elementary recursive function
計算論的トポロジー
Computational topology
細矢インデックス
Hosoya index
加速定理
Speedup theorem
自然な証明
Natural proof
最大クリーク問題
Clique problem
指数関数時間
Exponential time計算資源
Computational resource
近似アルゴリズム
Approximation algorithm
記述計算量
Descriptive complexity theory
複雑性クラス
Complexity class
Co-NP
Co-NP
最長共通部分列問題
Longest common subsequence
多項式時間
Time complexity#Polynomial time
量子超越性
Quantum supremacy