Similar to 計算複雑性理論
指数時間仮説
Exponential time hypothesis
自然な証明
Natural proof
線形時間
Time complexity#Linear time
対話型証明系
Interactive proof system
多項式階層
Polynomial hierarchy
多項式時間
Time complexity#Polynomial time
チューリング次数
Turing degree
頂点被覆
Vertex cover
頂点被覆問題
Vertex-cover problem
通信複雑性
Communication complexity
定数時間
Time complexity#Constant time複雑性
Complexity
複雑性クラス
Complexity class部分和問題
Subset sum problem
ブラムの公理
Blum axioms
細矢インデックス
Hosoya indexランダウの記号
Big O notation▲1 trends
量子コンピュータ
Quantum computer▲6 trends
量子超越性
Quantum supremacy
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC一階述語論理
First-order logic
後向き連鎖
Backward chaining
オートマトン
Automata theory
型付きラムダ計算
Typed lambda calculus
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language
帰納的可算集合
Computably enumerable set
計算可能関数
Computable function